{"id":"W2290038473","doi":"10.4230/lipics.rta.2015.241","title":"Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification","year":2015,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Rewriting; Unification; Gröbner basis; Computation; Computer science; Coding theory; Algebra over a field; Theoretical computer science; Mathematics; Algorithm; Pure 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":[],"consensus_categories":[],"category_scores_codex":[0.0009477418,0.0002130209,0.0002938077,0.0003487832,0.00008989743,0.0001448315,0.0006336131,0.00008683031,0.000009653607],"category_scores_gemma":[0.0002247964,0.0002031324,0.0001070462,0.0004835726,0.0001123925,0.001626463,0.0002043394,0.0001517631,0.00002021334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001719237,"about_ca_system_score_gemma":0.0003369859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000402228,"about_ca_topic_score_gemma":0.00005766052,"domain_scores_codex":[0.9978009,0.00006782386,0.001033971,0.0002124415,0.0005032379,0.0003815615],"domain_scores_gemma":[0.9983208,0.0002875075,0.0005266425,0.0003377661,0.0003649001,0.0001624515],"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.0001266239,0.0003433233,0.03442413,0.0001864285,0.00008234195,0.000004430033,0.01038588,0.006904229,0.0002945265,0.8898193,0.001220313,0.05620843],"study_design_scores_gemma":[0.006535648,0.0003195487,0.00352052,0.0002039959,0.00002397979,0.00008099076,0.002536261,0.9398116,0.003555383,0.040686,0.002049309,0.000676809],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3161904,0.00001592056,0.6796852,0.0003388267,0.0005748768,0.0004334546,0.0001023252,0.00007462065,0.002584372],"genre_scores_gemma":[0.9217374,0.000001458176,0.07764544,0.0002568795,0.00006559336,0.00003062483,0.0002210729,0.0000110701,0.00003050124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9329073,"threshold_uncertainty_score":0.8283498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05325202344418297,"score_gpt":0.2899484572444939,"score_spread":0.2366964338003109,"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."}}