{"id":"W2125676491","doi":"10.1109/ismvl.1992.186785","title":"Incremental gate: a method to compute minimal cost CCD realizations of MVL functions","year":2003,"lang":"en","type":"article","venue":"","topic":"Analog and Mixed-Signal Circuit Design","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Mathematics; Pruning; Set (abstract data type); Range (aeronautics); Algorithm; Exponential function; Very-large-scale integration; Variable (mathematics); Electronic circuit; Discrete mathematics; Computer science","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.0002116173,0.0001041848,0.0001511505,0.0001136761,0.00005794926,0.00001231182,0.00006973561,0.00004843683,0.0004760939],"category_scores_gemma":[0.000022255,0.0001056069,0.00005206664,0.0003395403,0.00001451866,0.00005455298,0.000008976434,0.00006498887,0.00009903462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004656306,"about_ca_system_score_gemma":0.00002367508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006962715,"about_ca_topic_score_gemma":0.00006069,"domain_scores_codex":[0.9993162,0.00006248894,0.0002160716,0.0001221971,0.0001072152,0.0001758189],"domain_scores_gemma":[0.9996143,0.00006687008,0.00001666275,0.0001326521,0.00005440176,0.0001151426],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001525874,0.000186352,0.0007524632,0.0000845765,0.0003027427,0.000009982884,0.000668518,0.2533148,0.09796262,0.490491,0.1389766,0.01723513],"study_design_scores_gemma":[0.00410577,0.0009643015,0.005021324,0.0001856581,0.0005763347,0.0002222763,0.004548868,0.09762589,0.2271287,0.006288792,0.6509476,0.002384579],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001451988,0.00004405289,0.9264035,0.000005651265,0.0001166685,0.0001815051,0.00002593916,0.0001424272,0.07162828],"genre_scores_gemma":[0.9811497,0.000005706052,0.01717983,0.0001254842,0.00003121549,0.00002908647,0.00002457926,0.00002498269,0.001429457],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9796976,"threshold_uncertainty_score":0.5212895,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02190376329370695,"score_gpt":0.2563868686276992,"score_spread":0.2344831053339922,"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."}}