{"id":"W1976140212","doi":"10.1007/978-3-642-00982-2_21","title":"Decision Problems for Convex Languages","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Regular polygon; Mathematical optimization; Theoretical computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002971646,0.001303146,0.001997029,0.0009994311,0.001644346,0.005268341,0.002103167,0.001957304,0.01927772],"category_scores_gemma":[0.01175793,0.001105221,0.001913932,0.00203379,0.003794942,0.007984458,0.002621814,0.007853258,0.001778563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003703993,"about_ca_system_score_gemma":0.001996456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002294328,"about_ca_topic_score_gemma":0.00183374,"domain_scores_codex":[0.9976291,0.0009315509,0.0001364378,0.0004772721,0.0005289494,0.0002966546],"domain_scores_gemma":[0.9904689,0.007855926,0.0003426783,0.0004107215,0.0004990862,0.0004226901],"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.00005236973,0.00005520005,0.00008519526,0.0001143949,0.00002050785,0.00003510911,0.0001428611,0.009396905,0.0002657972,0.9667553,0.007008953,0.01606739],"study_design_scores_gemma":[0.0000210116,0.00001152918,0.00004061708,0.00002046063,0.000007049572,0.00001956521,0.00004075987,0.02256564,0.0001492169,0.9745344,0.002582467,0.000007316301],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06694774,0.004731145,0.7398245,0.00961021,0.0005759887,0.0003469239,0.001316522,0.0004716266,0.1761752],"genre_scores_gemma":[0.6396174,0.005210549,0.220821,0.001717465,0.001621603,0.001266945,0.003074592,0.0005875716,0.126083],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01927772,"threshold_uncertainty_score":0.06449038,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01319541366835892,"score_gpt":0.2554913312474427,"score_spread":0.2422959175790838,"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."}}