{"id":"W3037302787","doi":"10.1007/978-3-030-51466-2_25","title":"Theoretical and Implementational Aspects of the Formal Language Server (LaSer)","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Computer science; Prefix; Formal language; Programming language; Theoretical computer science; Linguistics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001809712,0.0006225096,0.0004090066,0.000637153,0.001366764,0.004969523,0.002201561,0.001658761,0.01229529],"category_scores_gemma":[0.004481616,0.001082408,0.0008799797,0.0009716095,0.005993417,0.009084852,0.001762459,0.003868656,0.00394873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001891732,"about_ca_system_score_gemma":0.001720828,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001911072,"about_ca_topic_score_gemma":0.001384645,"domain_scores_codex":[0.9988158,0.0003872902,0.00007100362,0.0001496373,0.0004090717,0.0001671984],"domain_scores_gemma":[0.9982857,0.001075564,0.0000641084,0.0003433211,0.0001768738,0.00005441993],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000104547,0.00001084408,0.00003145922,0.00001970024,0.000001634531,0.00002293118,0.000135938,0.001658335,0.0005762417,0.9890296,0.001339126,0.007163744],"study_design_scores_gemma":[0.00001286974,0.00001198435,0.00003084843,0.00001603854,0.000004539836,0.00008513204,0.00005317691,0.02017667,0.001813294,0.9615607,0.0162223,0.00001235188],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009379446,0.0005194908,0.9300742,0.002772823,0.0002418985,0.00004978679,0.0001274088,0.001903718,0.05493119],"genre_scores_gemma":[0.505913,0.001094163,0.4300948,0.001086227,0.0005462025,0.0004162064,0.0004077912,0.001689589,0.05875197],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01229529,"threshold_uncertainty_score":0.04113179,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008618757042745477,"score_gpt":0.2482243923172686,"score_spread":0.2396056352745231,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}