{"id":"W2512194986","doi":"10.1007/978-3-540-28629-5_56","title":"Decidability of Trajectory-Based Equations","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Catenation; Decidability; Constructive; Computer science; Trajectory; Quotient; Integer (computer science); Algebra over a field; Discrete mathematics; Algorithm; Mathematics; Programming language; Pure mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001104704,0.0003957479,0.0005086022,0.0006918046,0.0001537034,0.000185091,0.003218612,0.0002620462,0.00006235359],"category_scores_gemma":[0.0001917124,0.0003596827,0.0001956218,0.0006778736,0.0009643338,0.0003734553,0.0005400831,0.0004875023,0.00002093407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003697749,"about_ca_system_score_gemma":0.001549125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003393004,"about_ca_topic_score_gemma":0.00004426591,"domain_scores_codex":[0.9968076,0.00003946507,0.0005936624,0.001175503,0.0009192185,0.0004645191],"domain_scores_gemma":[0.9964764,0.001064862,0.000332251,0.00174717,0.0002438946,0.0001353885],"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.000006709886,0.0001142993,0.00007844144,0.00009607428,0.00001112202,0.00003246055,0.0005721729,0.2047154,0.0006318372,0.3271617,0.000003490358,0.4665763],"study_design_scores_gemma":[0.000281449,0.0001402625,0.0002374133,0.0003294398,0.00000636177,0.000005814627,7.17196e-8,0.4491447,0.00590795,0.5434794,0.00007263776,0.0003944962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002561086,0.0002432326,0.9960556,0.0003445507,0.0008556652,0.0003346257,0.00001010112,0.0001563923,0.001743705],"genre_scores_gemma":[0.608978,0.000003878409,0.3903105,0.0005534479,0.0001026466,0.000006502706,0.000003474524,0.00001712287,0.00002447457],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6087219,"threshold_uncertainty_score":0.9998855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01825032286877343,"score_gpt":0.2449511614274609,"score_spread":0.2267008385586875,"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."}}