{"id":"W2028594193","doi":"10.2298/fuee0703331y","title":"Teaching Reed-Muller techniques in introductory classes on logic design","year":2007,"lang":"en","type":"article","venue":"Facta universitatis - series Electronics and Energetics","topic":"Experimental Learning in Engineering","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics education; Computer science; Logic synthesis; Logic gate; Mathematics; Algorithm","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.0002339737,0.000206465,0.0001686629,0.0002415902,0.00009253379,0.00002669608,0.0001248057,0.0001160605,0.00001322254],"category_scores_gemma":[0.00002794361,0.0002353847,0.00002414545,0.00013942,0.00004474914,0.0001908963,0.00003930892,0.0004900973,0.000002351459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003671244,"about_ca_system_score_gemma":0.00001628777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001387136,"about_ca_topic_score_gemma":0.0000492454,"domain_scores_codex":[0.9990593,0.00003329895,0.0001587684,0.0001977465,0.0001175194,0.0004333185],"domain_scores_gemma":[0.9996386,0.0001077607,0.00002440073,0.000146207,0.00001657947,0.00006650497],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0002243694,0.0001110225,0.0008231227,0.0001602437,0.000161656,0.0001658017,0.00480177,0.327316,0.4730212,0.1658341,0.003280089,0.02410072],"study_design_scores_gemma":[0.001083277,0.002741247,0.001951678,0.0002363277,0.00005829126,0.00007456784,0.005887631,0.03404149,0.5014552,0.003118812,0.4472414,0.002110068],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8532874,0.004076781,0.1206418,0.0003559274,0.0005086405,0.0003515318,0.000007080014,0.001279498,0.01949136],"genre_scores_gemma":[0.9608919,0.001120721,0.03742031,0.0000381737,0.00005769106,0.000002159147,0.000011099,0.00005092788,0.0004069924],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4439614,"threshold_uncertainty_score":0.9598708,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006539755581221574,"score_gpt":0.2080512536174167,"score_spread":0.2015114980361952,"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."}}