{"id":"W2075629863","doi":"10.1023/b:aurc.0000030904.85409.3b","title":"Representation of Logical Circuits by Linear Decision Diagrams with Extension to Nanostructures","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Representation (politics); Extension (predicate logic); Computer science; Binary decision diagram; Influence diagram; Logical conjunction; Electronic circuit; Logical data model; Circuit design; Circuit diagram; Theoretical computer science; Algorithm; Programming language; Computer engineering; Computer architecture; Electronic engineering; Artificial intelligence; Engineering; Embedded system; Electrical engineering; Software engineering; Decision tree; Data modeling","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.00008561677,0.000100102,0.0001673532,0.0000721698,0.00004031987,0.00001660648,0.00004838606,0.00008049715,0.000005328192],"category_scores_gemma":[0.0001263401,0.00007686302,0.0000232388,0.0002072764,0.00002145462,0.00009169225,0.000004953775,0.000071804,0.000005156812],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004903111,"about_ca_system_score_gemma":0.00001214508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001510215,"about_ca_topic_score_gemma":0.00001107086,"domain_scores_codex":[0.9993295,0.00002503448,0.0001905854,0.000145977,0.000182999,0.0001259173],"domain_scores_gemma":[0.9995865,0.0001002066,0.00004611316,0.0001423445,0.00005968182,0.0000651743],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002712973,0.000009953046,0.00004895335,0.00001716719,0.00002172028,0.000001713699,0.0001303099,0.6169302,0.06439838,0.0002142078,0.0001812991,0.3180189],"study_design_scores_gemma":[0.002810565,0.0003186952,0.03594273,0.00008225379,0.00003097806,0.00002545994,0.00001690118,0.9244894,0.03365388,0.002085075,0.0003482907,0.0001957905],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6091101,0.0002315081,0.3900566,0.00009923743,0.00006546199,0.00025045,0.000003176835,0.0001250307,0.00005838298],"genre_scores_gemma":[0.9961958,0.00005060063,0.003559276,0.0001280893,0.00002826378,0.000002463545,0.00001517528,0.00001508759,0.000005222551],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3870857,"threshold_uncertainty_score":0.3134383,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004391407227117604,"score_gpt":0.2267376925551426,"score_spread":0.2223462853280249,"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."}}