{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":10,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":10,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"d8311e2d17b5","filters":{"venue":"Automation and Remote Control"}},"results":[{"id":"W2089698141","doi":"10.1134/s0005117908050068","title":"Invariance for impulsive control systems","year":2008,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Stability and Controllability of Differential Equations","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Fundação para a Ciência e a Tecnologia; Conselho Nacional de Desenvolvimento Científico e Tecnológico","keywords":"Extension (predicate logic); Context (archaeology); Control (management); Mathematics; Control theory (sociology); Differential inclusion; Measure (data warehouse); Differential (mechanical device); Computer science; Mathematical analysis; Artificial intelligence; Engineering; Geography; Aerospace engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.01134015069553299,"gpt":0.2082073046732836,"spread":0.1968671539777506,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001572668,0.0001352025,0.0002838296,0.00005656371,0.0001980842,0.00004191095,0.00006890522,0.00009864751,0.00001399937],"category_scores_gemma":[0.0001696734,0.0001272109,0.00007688848,0.00006744284,0.00006526637,0.0001413282,0.000003730278,0.00007077761,0.00001317436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003846573,"about_ca_system_score_gemma":0.00002706255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003348699,"about_ca_topic_score_gemma":0.00001582375,"domain_scores_codex":[0.9991822,0.00004925941,0.0002989971,0.0001636597,0.0001124105,0.0001934424],"domain_scores_gemma":[0.9992231,0.0003539317,0.00004975003,0.0001694695,0.0001218213,0.00008194882],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001226258,0.0004350505,0.003842407,0.002757822,0.0026484,0.00001998569,0.007138337,0.3385347,0.06276865,0.07867234,0.006482078,0.495474],"study_design_scores_gemma":[0.004338624,0.00005031173,0.009364377,0.00001829086,0.00004592519,0.00001139313,0.00004334851,0.983525,0.00004233755,0.0009546442,0.001458682,0.00014701],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1035456,0.0009523324,0.8921625,0.0006664718,0.0004905747,0.001244156,0.00007462305,0.0004297833,0.0004339319],"genre_scores_gemma":[0.9988928,0.0000545499,0.0006075224,0.0001584657,0.0001288928,0.00004701008,0.00001306168,0.00001564644,0.00008206371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8953472,"threshold_uncertainty_score":0.518751,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4401367936","doi":"10.1134/s000511792403007x","title":"Genetic Engineering Algorithm (GEA): An Efficient Metaheuristic Algorithm for Solving Combinatorial Optimization Problems","year":2024,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Metaheuristic Optimization Algorithms Research","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Metaheuristic; Genetic algorithm; Parallel metaheuristic; Computer science; Mathematical optimization; Algorithm; Meta-optimization; Optimization algorithm; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.009434068072688354,"gpt":0.2482859273020918,"spread":0.2388518592294034,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009478187,0.0002596262,0.0003162001,0.0004266428,0.000246699,0.001049775,0.0003928767,0.0001320918,0.00002011396],"category_scores_gemma":[0.0002606354,0.0002409625,0.00009014214,0.0005773242,0.00004290914,0.0004460989,0.00008372076,0.0001777859,0.00001326593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008866486,"about_ca_system_score_gemma":0.0001532115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001727272,"about_ca_topic_score_gemma":2.550614e-7,"domain_scores_codex":[0.9977272,0.0001188378,0.0005301851,0.0006695644,0.0005254438,0.0004288336],"domain_scores_gemma":[0.9984982,0.0004190167,0.0001021378,0.0003904172,0.0003487696,0.0002414775],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001582624,0.00003451432,3.43756e-7,0.00008202472,0.00005065719,0.00000868397,0.0001462819,0.4970497,0.00007315782,0.002268175,0.0000387533,0.500246],"study_design_scores_gemma":[0.001357844,0.0001481652,0.00006035191,0.00007350167,0.00005316288,0.000038551,0.000006521367,0.9966027,0.00004798583,0.000524432,0.0008113658,0.0002754422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005490215,0.001057715,0.9944773,0.0003406051,0.001956099,0.00123598,0.00002503423,0.0008219305,0.00003046482],"genre_scores_gemma":[0.01427127,0.00008568047,0.9850134,0.00006137104,0.0003369161,0.00005465635,0.00003616584,0.00004548383,0.00009506482],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4999706,"threshold_uncertainty_score":0.9999872,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":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","retraction":null,"screen_n_in":null,"score":{"opus":0.004391407227117604,"gpt":0.2267376925551426,"spread":0.2223462853280249,"validation_status":"score_only:v0-immature-baseline"},"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"},"labels":[],"label_agreement":null},{"id":"W2159356489","doi":"10.1023/b:aurc.0000030902.91316.b9","title":"Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New Technologies","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Arithmetic function; Linearization; Logical data model; Very-large-scale integration; Computer science; Logical conjunction; Theoretical computer science; Arithmetic; Control (management); Mathematics; Algebra over a field; Pure mathematics; Nonlinear system; Programming language; Discrete mathematics; Artificial intelligence; Software engineering; Embedded system; Data modeling","retraction":null,"screen_n_in":null,"score":{"opus":0.04248148558181747,"gpt":0.3155178514476328,"spread":0.2730363658658154,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006214666,0.0001462978,0.0002413724,0.0001187597,0.00008999836,0.0001827727,0.0006219518,0.000159807,0.000002017568],"category_scores_gemma":[0.0007678068,0.0001118003,0.00002045826,0.000172844,0.0001351068,0.0006477816,0.0001116136,0.0001156954,0.000001377247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003329747,"about_ca_system_score_gemma":0.0001293648,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000653231,"about_ca_topic_score_gemma":0.000007020971,"domain_scores_codex":[0.9988368,0.0001098344,0.0002792896,0.0004304106,0.0001312497,0.0002124347],"domain_scores_gemma":[0.998922,0.0002721661,0.000141196,0.0005551429,0.00004052961,0.00006892125],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005152427,0.000008724929,0.00001459767,0.000009729362,0.00001429112,0.000001957024,0.0002845097,0.001219473,0.001174919,0.259492,0.000165982,0.7375623],"study_design_scores_gemma":[0.004913981,0.0001409103,0.003210746,0.00002922405,0.00001415125,0.00002937397,0.00005064561,0.7468283,0.0008706491,0.2428544,0.0009086911,0.0001489974],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001180778,0.001006389,0.9899046,0.006514663,0.0001226098,0.0008761128,0.000006435268,0.0003641094,0.00002423537],"genre_scores_gemma":[0.4021798,0.00004783351,0.5973784,0.0003379833,0.00002894366,0.000002872529,0.00000442124,0.000004647762,0.00001500297],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7456087,"threshold_uncertainty_score":0.4559084,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1506168292","doi":"10.1023/a:1016125907861","title":"Linear Models of Circuits Based on the Multivalued Components","year":2002,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Electronic circuit; Mathematics; Very-large-scale integration; Linearization; Algebraic number; Circuit diagram; Planar; Diagram; Computer science; Algorithm; Arithmetic; Nonlinear system; Electronic engineering; Engineering; Mathematical analysis; Electrical engineering; Embedded system","retraction":null,"screen_n_in":null,"score":{"opus":0.0441986689814488,"gpt":0.2312712548234125,"spread":0.1870725858419637,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002390866,0.00007947541,0.0001222658,0.00006087638,0.0001243203,0.0000352489,0.0002244308,0.00003553871,0.000009049621],"category_scores_gemma":[0.00009725926,0.00005274767,0.00004178752,0.0001362209,0.00003231671,0.000132796,0.00001539839,0.00007174903,0.0000134195],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008458998,"about_ca_system_score_gemma":0.000007881087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001697274,"about_ca_topic_score_gemma":4.309376e-7,"domain_scores_codex":[0.9992463,0.0001033459,0.0001812991,0.0001535108,0.0001985122,0.000117024],"domain_scores_gemma":[0.9992346,0.0003048828,0.0001102985,0.0002457261,0.00006363775,0.00004088794],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[7.813749e-7,0.0001229217,0.0001618739,0.00003176442,0.00002745329,0.00000542907,0.0008029816,0.0257178,0.01005436,0.01635227,0.0001674129,0.946555],"study_design_scores_gemma":[0.0007802679,0.00003182892,0.002118614,0.00005482322,0.00000468127,0.000002353768,0.000004212159,0.9956931,0.0001868755,0.00103106,0.00002991894,0.0000622095],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02324796,0.00006842129,0.9695787,0.00243818,0.00007372382,0.0001980872,0.000002061646,0.0001385532,0.004254317],"genre_scores_gemma":[0.9979265,0.000004387217,0.0009201135,0.001082219,0.00002050126,9.27604e-7,8.212585e-7,0.000004134785,0.00004042892],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9746785,"threshold_uncertainty_score":0.2150988,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1967672506","doi":"10.1023/b:aurc.0000044269.32890.3e","title":"Periodic Poisson Processes and Almost-lack-of-memory Distributions","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Stochastic processes and statistical mechanics","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Poisson distribution; Monte Carlo method; Mathematics; Class (philosophy); Statistical physics; Applied mathematics; Characterization (materials science); Poisson process; Sample (material); Statistics; Computer science; Physics; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.03027218818158077,"gpt":0.3124254096415425,"spread":0.2821532214599617,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001294693,0.0001106363,0.0002264125,0.00003963266,0.0001303833,0.00003324362,0.00004855506,0.00007193982,0.00001621489],"category_scores_gemma":[0.00176718,0.00008967988,0.00002108351,0.0001191305,0.00008381869,0.00007636249,0.00001806431,0.00006906188,0.000003487462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001787392,"about_ca_system_score_gemma":0.00009169503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001844779,"about_ca_topic_score_gemma":0.0000116524,"domain_scores_codex":[0.999297,0.00001554646,0.0002583937,0.0001540999,0.0001366883,0.0001382858],"domain_scores_gemma":[0.9992128,0.0003146251,0.0001233755,0.0001012916,0.0001637551,0.00008416033],"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.00009481925,0.0002042965,0.00002173369,0.002249689,0.00009761254,0.0000128694,0.001927335,0.00001456889,0.002616188,0.8514041,0.0001583184,0.1411985],"study_design_scores_gemma":[0.003693082,0.0002782278,0.001102258,0.0003727514,0.0001845811,0.00009874304,0.0003862138,0.04109569,0.001322244,0.951038,0.0001621519,0.0002660584],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05807986,0.0005983867,0.9393781,0.001181952,0.00005586469,0.0002858208,0.00007611125,0.00008834982,0.0002555183],"genre_scores_gemma":[0.9823503,0.00006950018,0.01739261,0.00009712901,0.00002536435,0.000004151441,0.000008923569,0.00000951394,0.00004249734],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9242705,"threshold_uncertainty_score":0.3657039,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4396920847","doi":"10.31857/s0005117924030037","title":"Genetic Engineering Algorithm (GEA): An Efficient Metaheuristic Algorithm for Solving Combinatorial Optimization Problems","year":2024,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Metaheuristic Optimization Algorithms Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Crossover; Metaheuristic; Benchmark (surveying); Genetic algorithm; Computer science; Combinatorial optimization; Algorithm; Mathematical optimization; Convergence (economics); Heuristic; Randomness; Exploit; Quality control and genetic algorithms; Premature convergence; Meta-optimization; Mathematics; Artificial intelligence","retraction":null,"screen_n_in":null,"score":{"opus":0.009434068072688354,"gpt":0.2482859273020918,"spread":0.2388518592294034,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009478187,0.0002596262,0.0003162001,0.0004266428,0.000246699,0.001049775,0.0003928767,0.0001320918,0.00002011396],"category_scores_gemma":[0.0002606354,0.0002409625,0.00009014214,0.0005773242,0.00004290914,0.0004460989,0.00008372076,0.0001777859,0.00001326593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008866486,"about_ca_system_score_gemma":0.0001532115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001727272,"about_ca_topic_score_gemma":2.550614e-7,"domain_scores_codex":[0.9977272,0.0001188378,0.0005301851,0.0006695644,0.0005254438,0.0004288336],"domain_scores_gemma":[0.9984982,0.0004190167,0.0001021378,0.0003904172,0.0003487696,0.0002414775],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001582624,0.00003451432,3.43756e-7,0.00008202472,0.00005065719,0.00000868397,0.0001462819,0.4970497,0.00007315782,0.002268175,0.0000387533,0.500246],"study_design_scores_gemma":[0.001357844,0.0001481652,0.00006035191,0.00007350167,0.00005316288,0.000038551,0.000006521367,0.9966027,0.00004798583,0.000524432,0.0008113658,0.0002754422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005490215,0.001057715,0.9944773,0.0003406051,0.001956099,0.00123598,0.00002503423,0.0008219305,0.00003046482],"genre_scores_gemma":[0.01427127,0.00008568047,0.9850134,0.00006137104,0.0003369161,0.00005465635,0.00003616584,0.00004548383,0.00009506482],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4999706,"threshold_uncertainty_score":0.9999872,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1974915181","doi":"10.1023/b:aurc.0000030906.25107.25","title":"Linear Decision Diagram Based Mapping for Rapid Prototyping","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Netlist; Computer science; Circuit diagram; Transformation (genetics); Diagram; Rapid prototyping; Influence diagram; Engineering drawing; Computer architecture; Programming language; Embedded system; Software engineering; Engineering; Electronic engineering; Database; Decision tree; Data mining; Mechanical engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.008442057274064203,"gpt":0.2175958123046657,"spread":0.2091537550306015,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000121093,0.00009070891,0.0001091283,0.0000819493,0.00009116561,0.00004242026,0.00003675263,0.00006660811,0.000009333659],"category_scores_gemma":[0.00005251886,0.00008043236,0.00003333484,0.00005939744,0.000008444534,0.0001003177,0.000003138061,0.00004590242,0.000003669988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002568403,"about_ca_system_score_gemma":0.00001360754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003451418,"about_ca_topic_score_gemma":0.000001730242,"domain_scores_codex":[0.9995345,0.000005675214,0.0001645456,0.0001072715,0.00006864843,0.0001193003],"domain_scores_gemma":[0.9997609,0.00005032605,0.00003178185,0.00007629636,0.00004004862,0.00004067329],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000014896,0.000005291972,0.000004185774,0.0001589964,0.000009372692,2.828877e-7,0.00007342995,0.3981135,0.0002166701,0.00008387256,0.00001454373,0.6013049],"study_design_scores_gemma":[0.00226925,0.00002573497,0.0008705157,0.0001200822,0.000008568753,0.000001068714,0.000005380427,0.9894482,0.002016923,0.0006743633,0.00445438,0.000105547],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01114887,0.0002934219,0.9868554,0.0002401993,0.0001239623,0.0008058002,0.000002912448,0.000391788,0.0001376449],"genre_scores_gemma":[0.9082384,0.00007929016,0.09138811,0.000154986,0.00006651662,0.00002926313,0.00001529218,0.00001888857,0.000009251921],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8970895,"threshold_uncertainty_score":0.3279936,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2140718808","doi":"10.1023/b:aurc.0000030911.02374.62","title":"Modeling Combinational Circuits Using Linear Word-level Structures","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Netlist; Combinational logic; Computer science; Sequential logic; Word (group theory); Benchmark (surveying); Electronic circuit; Arithmetic; Algorithm; Register-transfer level; Theoretical computer science; Logic synthesis; Logic gate; Mathematics; Computer hardware; Engineering","retraction":null,"screen_n_in":null,"score":{"opus":0.04086989046032987,"gpt":0.2662269414142213,"spread":0.2253570509538914,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001847812,0.0001093318,0.0001334624,0.0001111794,0.0002859465,0.0001316359,0.0001887607,0.00006220007,0.000002689402],"category_scores_gemma":[0.00008955165,0.0001005063,0.0000382059,0.0001767866,0.00002427977,0.0003918843,0.00003234821,0.0001038095,0.000005128381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004379253,"about_ca_system_score_gemma":0.00009955995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007983106,"about_ca_topic_score_gemma":0.000005048531,"domain_scores_codex":[0.9991217,0.00003280347,0.0002187575,0.0002316215,0.0002160766,0.000178997],"domain_scores_gemma":[0.9995401,0.000042309,0.00007321557,0.0001497565,0.000121474,0.00007313433],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[1.410212e-7,0.00001847518,0.00006597627,0.00001768132,0.00002197073,0.000008263809,0.000407065,0.2765044,0.004536804,0.03843357,0.000002342741,0.6799833],"study_design_scores_gemma":[0.00116693,0.0000114851,0.00300386,0.00004316004,0.000007533211,0.000055521,0.00001026225,0.9705112,0.000075025,0.02498503,0.00000680418,0.0001231606],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1306046,0.0001305728,0.868099,0.0005796769,0.0001424309,0.00009816144,0.000001964757,0.0001904588,0.000153183],"genre_scores_gemma":[0.9843256,0.00000447023,0.01495339,0.0006162912,0.00007911759,4.141196e-7,0.000003479998,0.000006876694,0.0000103201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8537211,"threshold_uncertainty_score":0.4098527,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1991145672","doi":"10.1023/b:aurc.0000030903.92620.b1","title":"HDL Constructs in Linear Word-Level Decision Diagram Based Specification","year":2004,"lang":"en","type":"article","venue":"Automation and Remote Control","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Netlist; Verilog; Computer science; Hardware description language; Application-specific integrated circuit; Field-programmable gate array; Binary decision diagram; Word (group theory); Diagram; Influence diagram; Computer architecture; Programming language; Computer hardware; Decision tree; Database; Artificial intelligence; Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.02629318428151232,"gpt":0.2874417218911082,"spread":0.2611485376095958,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006693549,0.0001187617,0.0001583303,0.0002257734,0.00008958047,0.00009692177,0.0002633504,0.0001046626,0.000005629434],"category_scores_gemma":[0.0003901043,0.0001081786,0.00003267463,0.0004374044,0.00005855139,0.0004761336,0.0000269381,0.0001197943,0.00004160935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009267199,"about_ca_system_score_gemma":0.00009178533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004078389,"about_ca_topic_score_gemma":0.00001906899,"domain_scores_codex":[0.9988001,0.0001131193,0.0003699791,0.0003060596,0.0002376181,0.0001731151],"domain_scores_gemma":[0.9991142,0.0001519061,0.0001583411,0.0004021884,0.00009986323,0.00007356565],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001794198,0.00003014947,0.0001200599,0.000008706544,0.000002708327,0.000002487634,0.0001454659,0.001772592,0.001161038,0.02767987,0.000009627259,0.9690493],"study_design_scores_gemma":[0.00239133,0.00003429876,0.1126435,0.00006611652,0.000003270141,0.00001035658,0.000009872966,0.8732919,0.001818278,0.009209806,0.0003924108,0.0001288702],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04802212,0.0000784599,0.949672,0.00104074,0.0004085157,0.0003495013,0.000002245829,0.0001756139,0.0002507715],"genre_scores_gemma":[0.5120233,0.00001776919,0.4876699,0.0002488456,0.00002202576,0.000002831948,0.000003074849,0.000004100099,0.000008139293],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9689205,"threshold_uncertainty_score":0.4411394,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}