{"id":"W3034161672","doi":"10.1007/978-3-031-43587-4","title":"Fundamentals of Computation Theory","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Sorbonne Université; Université Clermont-Auvergne; Korea Advanced Institute of Science and Technology; Akademia Górniczo-Hutnicza im. Stanislawa Staszica; Università di Bologna; Uniwersytet Warszawski; Universidad de Chile; Indian Institute of Technology Madras; Technische Universität Wien; University of Haifa; Georg-August-Universität Göttingen; Université de Bordeaux; Montana State University; Augusta University; University of Regina; Centre National de la Recherche Scientifique; Universidade do Porto; Universität Trier; Université Paris Diderot; University of Ottawa; Uniwersytet Wrocławski; Univerzita Karlova v Praze","keywords":"Computer science; Computation; Theoretical computer science; Algorithm","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003316807,0.0006346182,0.0009333299,0.001468667,0.00022001,0.0004469215,0.00510573,0.0003683871,0.00001526122],"category_scores_gemma":[0.0003198733,0.0006023517,0.0002531413,0.002932779,0.001362723,0.0006347941,0.003523143,0.0008110884,0.0001015943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008255311,"about_ca_system_score_gemma":0.001699038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002145156,"about_ca_topic_score_gemma":0.00003524305,"domain_scores_codex":[0.9940237,0.0002732874,0.001031517,0.002058437,0.001727656,0.0008854505],"domain_scores_gemma":[0.9940931,0.002905577,0.0006106673,0.001748639,0.0004455899,0.0001964257],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007489436,0.000109465,0.0001027768,0.0001600907,0.00002400916,0.00007741697,0.001265048,0.1190201,0.0001266077,0.009374169,0.0001781044,0.8695547],"study_design_scores_gemma":[0.000235977,0.0002128739,0.0006259374,0.0002512431,0.000007690979,0.00003035364,4.734748e-7,0.4804957,0.0007614936,0.5167873,0.0001128457,0.0004781058],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002920728,0.0003038929,0.9924814,0.0003336569,0.00398893,0.0006869345,0.00001417302,0.0004773244,0.001421586],"genre_scores_gemma":[0.1156271,0.00004025205,0.8802565,0.001066417,0.0009271873,0.00003737284,0.00003870347,0.0001077083,0.001898649],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8690766,"threshold_uncertainty_score":0.9996428,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02218604563635754,"score_gpt":0.2771379641686573,"score_spread":0.2549519185322998,"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."}}