{"id":"W4391213133","doi":"10.1145/3611315.3633246","title":"Reducing the Complexity of Operational Domain Computation in Silicon Dangling Bond Logic","year":2023,"lang":"en","type":"article","venue":"","topic":"Semiconductor materials and devices","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Computation; Domain (mathematical analysis); Tracing; Computer engineering; Computational complexity theory; CMOS; Quadratic equation; Implementation; Theoretical computer science; Distributed computing; Algorithm; Electronic engineering; Engineering; Mathematics; Programming language","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.0002123739,0.00004947281,0.0000851808,0.00004826277,0.00002672109,0.00002259553,0.00005383842,0.00002262648,0.00006303867],"category_scores_gemma":[0.00001052229,0.00003535421,0.00001371697,0.0001657832,0.00003571779,0.00006309251,0.00001709018,0.00003583617,0.00001518212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000149246,"about_ca_system_score_gemma":0.000005707799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001252606,"about_ca_topic_score_gemma":0.00005481226,"domain_scores_codex":[0.9995942,0.00001693992,0.0001708099,0.00006556839,0.0000698595,0.00008265962],"domain_scores_gemma":[0.9998469,0.00005654415,0.00001516425,0.00005688324,0.00001476568,0.000009744816],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002678682,0.000006059675,0.0005002039,0.00005253387,0.000007273178,0.000001299885,0.0009537051,0.2939903,0.6892236,0.01452165,0.0005775562,0.0001631741],"study_design_scores_gemma":[0.0005450556,0.00002537821,0.05591311,0.00008000873,0.000005515141,0.000005736277,0.002843403,0.6889071,0.2159652,0.03527506,0.0001933769,0.0002411258],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9970602,0.00004864382,0.0003041583,0.0001478978,0.000207826,0.00007698724,0.000004822603,0.0001061207,0.002043356],"genre_scores_gemma":[0.9985826,0.000005360112,0.001279886,0.0000378835,0.00004635305,0.000004495555,0.00002911586,0.000006368913,0.000007906016],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4732584,"threshold_uncertainty_score":0.1441703,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06062378282560127,"score_gpt":0.276009987448133,"score_spread":0.2153862046225318,"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."}}