{"id":"W2004793105","doi":"10.1007/s00224-010-9264-9","title":"Tilings and Submonoids of Metabelian Groups","year":2010,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Undecidable problem; Mathematics; Rank (graph theory); Group (periodic table); Combinatorics; Wreath product; Free product; Pure mathematics; Discrete mathematics; Product (mathematics); Physics; Decidability","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":[],"consensus_categories":[],"category_scores_codex":[0.00115517,0.00007947396,0.0002172103,0.00007574777,0.00006283313,0.00003557475,0.0004970218,0.00004290809,0.000001600166],"category_scores_gemma":[0.00002373546,0.00007113397,0.00004053664,0.000186892,0.0001146136,0.00007806355,0.0001592097,0.00009516579,0.000004196364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002644006,"about_ca_system_score_gemma":0.00001924323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003103933,"about_ca_topic_score_gemma":0.000001085608,"domain_scores_codex":[0.9991933,0.000076288,0.0003009457,0.0001795802,0.0001305079,0.0001193624],"domain_scores_gemma":[0.9989634,0.000228301,0.0002104251,0.0004829563,0.00006853751,0.00004644534],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001195373,0.00002406258,0.0003595268,0.00007162706,0.0000134915,3.451392e-7,0.001054863,0.00003177877,0.1017861,0.8894638,0.00001782767,0.007175422],"study_design_scores_gemma":[0.001130228,0.0001953032,0.02679969,0.0003128054,0.00008162685,0.0002487789,0.0006695898,0.765774,0.1169148,0.08387728,0.003273614,0.0007223631],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6711665,0.0001968481,0.3273683,0.00002719639,0.0002326715,0.00009854068,0.000001222641,0.00006645895,0.0008422876],"genre_scores_gemma":[0.9925603,0.000001685335,0.007314249,0.000008387967,0.00004409359,0.000001832656,8.916381e-7,0.000005843448,0.00006274239],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8055865,"threshold_uncertainty_score":0.2900759,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008176804284704712,"score_gpt":0.2212271870205408,"score_spread":0.2130503827358361,"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."}}