{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002577131,0.0005613596,0.0007728044,0.0009424993,0.001076407,0.002183873,0.0008574206,0.0008722562,0.006632637],"category_scores_gemma":[0.006697703,0.0005528637,0.001586607,0.001239128,0.003286355,0.004228201,0.002748355,0.002420744,0.001459849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001220455,"about_ca_system_score_gemma":0.001059899,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007103345,"about_ca_topic_score_gemma":0.0007308453,"domain_scores_codex":[0.9973872,0.000926413,0.0002289836,0.0004181409,0.0007369629,0.000302357],"domain_scores_gemma":[0.9976233,0.001229748,0.000194176,0.0006043903,0.0002498341,0.00009848257],"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.00004453471,0.00003380722,0.0001976667,0.00008398417,0.00001329376,0.00007174701,0.0003852044,0.005564976,0.001823363,0.9583944,0.0006437249,0.03274323],"study_design_scores_gemma":[0.00002287614,0.00004332336,0.00004790855,0.00003698585,0.00001229855,0.00004552519,0.00005637545,0.01464635,0.002865896,0.9751719,0.007034188,0.00001627025],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07507314,0.0006493288,0.8978004,0.0006424423,0.0002052081,0.0001610159,0.0001299318,0.0004006618,0.02493782],"genre_scores_gemma":[0.550438,0.0007613112,0.4350937,0.0004864883,0.0002235401,0.0002714404,0.0003232855,0.0002630901,0.01213905],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006632637,"threshold_uncertainty_score":0.02218837,"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."}}