{"id":"W1966288006","doi":"10.1007/978-3-540-87531-4_7","title":"Extensional Uniformity for Boolean Circuits","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal; Université du Québec à Montréal","funders":"","keywords":"Circuit complexity; Duality (order theory); Extensional definition; Order (exchange); Connection (principal bundle); Class (philosophy); Bounded function; Property (philosophy); Coupling (piping); Boolean circuit; Discrete mathematics; Combinatorics; Computer science; Electronic circuit; Complexity class; Boolean function; Topology (electrical circuits); Mathematics; Physics; Geometry; Time complexity; Mathematical analysis; Materials science; Quantum mechanics; Artificial intelligence; Composite material","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.001906727,0.0005807381,0.0009212392,0.001160202,0.001020162,0.001870962,0.001021851,0.0006506394,0.004965938],"category_scores_gemma":[0.003544197,0.0006370015,0.001355331,0.001559788,0.003549587,0.005625934,0.002046663,0.003689672,0.0008212552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001396511,"about_ca_system_score_gemma":0.0004646316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004372283,"about_ca_topic_score_gemma":0.0004205845,"domain_scores_codex":[0.9987125,0.000358345,0.0001070085,0.0003042772,0.000383413,0.0001344567],"domain_scores_gemma":[0.9982998,0.001049979,0.00006278473,0.000362598,0.0001722042,0.00005260529],"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.00001861017,0.000007905044,0.00005955327,0.00004231131,0.000006571399,0.00002559984,0.0001139437,0.0005578915,0.0005236367,0.9829105,0.0009471299,0.0147865],"study_design_scores_gemma":[0.000009886397,0.00001079683,0.0001104045,0.0000144598,0.00001110993,0.00006956424,0.00001583122,0.001438568,0.0006680405,0.9895384,0.00810593,0.000006881115],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05439713,0.005450334,0.707181,0.001368513,0.0005466638,0.0001232277,0.0004404824,0.000649808,0.2298429],"genre_scores_gemma":[0.8161385,0.004430956,0.1220513,0.0008026203,0.001352231,0.0004853698,0.0008524802,0.0005328939,0.05335359],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004965938,"threshold_uncertainty_score":0.01661271,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04206150276281763,"score_gpt":0.2832405391224276,"score_spread":0.24117903635961,"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."}}