{"id":"W1894891660","doi":"10.1007/978-3-642-28332-1_42","title":"k-Automatic Sets of Rational Numbers","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Closure (psychology); Computer science; Set (abstract data type); Rational number; Discrete mathematics; Algorithm; Theoretical computer science; Mathematics; Programming language","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.0009969263,0.0003872613,0.0004877867,0.0005480977,0.000127465,0.0001847848,0.002774145,0.000233537,0.0001435311],"category_scores_gemma":[0.00006093979,0.0003452191,0.0001386725,0.0004367418,0.0006418852,0.0007505493,0.0009616473,0.0004198941,0.00007758334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001488521,"about_ca_system_score_gemma":0.0004140782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001171536,"about_ca_topic_score_gemma":0.00001088918,"domain_scores_codex":[0.9970726,0.00003631973,0.0005532939,0.0008057592,0.001006387,0.0005256163],"domain_scores_gemma":[0.9975654,0.0005527741,0.0003839633,0.001189199,0.0001587194,0.0001498864],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001377314,0.00003275124,0.00006664552,0.00005826276,0.00001251661,0.00001586556,0.0007879031,0.002129524,0.0001986435,0.1149626,0.00004006457,0.8816938],"study_design_scores_gemma":[0.0002299422,0.0000810523,0.0005113403,0.0004314886,0.0000106887,0.0001089362,2.014612e-7,0.6287498,0.002310022,0.366244,0.0007169949,0.0006055321],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006658439,0.0006990022,0.9931928,0.0003053009,0.001415427,0.0002288742,0.000006875356,0.0001482428,0.003337634],"genre_scores_gemma":[0.4876402,0.00003214902,0.5107478,0.001018313,0.0003424017,0.000007026325,0.000008827554,0.00003314637,0.0001700959],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8810883,"threshold_uncertainty_score":0.9999,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01398813344473442,"score_gpt":0.2415288974523509,"score_spread":0.2275407640076165,"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."}}