{"id":"W1939527609","doi":"10.1109/ismvl.1990.122637","title":"Step-wise synthesis of CCD MVL functions","year":2002,"lang":"en","type":"article","venue":"","topic":"CCD and CMOS Imaging Sensors","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Realization (probability); Decomposition; Logic synthesis; Variable (mathematics); Computer science; Function (biology); Logic gate; Algorithm; Mathematics; Mathematical analysis; Chemistry","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00001942621,0.00005836269,0.00008074874,0.00004463035,0.00001694081,0.000006791681,0.00004430195,0.00002121553,0.00218989],"category_scores_gemma":[0.0000183069,0.00005389623,0.00004092589,0.00009660744,0.0000160324,0.00004289267,0.000005805557,0.00004153109,0.0003786592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001050107,"about_ca_system_score_gemma":8.447784e-7,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001580784,"about_ca_topic_score_gemma":0.00000764246,"domain_scores_codex":[0.999684,0.000004271607,0.00009446553,0.00005706149,0.00006059576,0.00009962839],"domain_scores_gemma":[0.9997603,0.00004698548,0.000006765143,0.0001434422,0.00001246572,0.00002998871],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005508053,0.000247874,0.004153636,0.000333761,0.000267588,0.00001534903,0.0006796233,0.01656248,0.02703646,0.001933021,0.6026089,0.3461558],"study_design_scores_gemma":[0.0005975235,0.00004400164,0.006838166,0.0001241832,0.0001629608,0.00003504241,0.001089412,0.6150692,0.09910564,0.00008537583,0.2760455,0.0008030544],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2762918,0.0004926035,0.006811033,0.0003090874,0.000500288,0.00008520803,0.00001654912,0.0009028788,0.7145906],"genre_scores_gemma":[0.9915573,0.00003474679,0.0007450202,0.00001817992,0.00003459249,0.000003735892,3.539202e-7,0.00001404818,0.007592043],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7152655,"threshold_uncertainty_score":0.9987223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00982644698439274,"score_gpt":0.1680677734539321,"score_spread":0.1582413264695393,"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."}}