{"meta":{"query_hash":"d8311e2d17b5","filters":{"venue":"Automation and Remote Control"},"cohort_total":10,"direct_labels_cover":0,"predictions_cover":10,"exported":10,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/d8311e2d17b5","api":"https://metacan.xera.ac/api/v1/cohort?venue=Automation+and+Remote+Control"},"results":[{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.0441986689814488,"score_gpt":0.23127125482341251,"score_spread":0.1870725858419637,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1506168292","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.039332967,0.0011202506,0.9403281,0.00031035603,0.0001298176,0.000049769274,0.00020275879,0.00044267927,0.018083267],"genre_scores_gemma":[0.9488363,0.0011638856,0.03117702,0.00014188403,0.00012666812,0.00015370728,0.00023757093,0.000068388916,0.018094443],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9996369,0.00009336513,0.000017329052,0.000074485106,0.00012757558,0.000050297975],"domain_scores_gemma":[0.9995752,0.00021985879,0.00007269157,0.00003615908,0.00008196014,0.000014152943],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00037165763,0.0009239193,0.0006389195,0.0005555019,0.0002595383,0.0019027955,0.0015776153,0.0010277163,0.004080449],"category_scores_gemma":[0.0013764618,0.00040480492,0.0006111352,0.0005478969,0.001240005,0.0013519085,0.00045667074,0.0013215225,0.00081038463],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008372843,0.00005549618,0.00042731708,0.00016331469,0.00007767,0.00014294259,0.00028589676,0.38194945,0.011643578,0.58730817,0.0010921179,0.016770251],"study_design_scores_gemma":[0.000027876466,0.00008705271,0.00021127186,0.00002022499,0.000044986966,0.00007288476,0.000042911877,0.81839633,0.0025992757,0.17494337,0.003531712,0.00002210362],"about_ca_topic_score_codex":0.0024263102,"about_ca_topic_score_gemma":0.0020168342,"teacher_disagreement_score":0.004080449,"about_ca_system_score_codex":0.0008354847,"about_ca_system_score_gemma":0.00047488193,"threshold_uncertainty_score":0.013650417},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.030272188181580773,"score_gpt":0.31242540964154253,"score_spread":0.28215322145996174,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1967672506","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.31873757,0.0025593957,0.65682983,0.0021783533,0.00022049066,0.000045731034,0.00029738375,0.0002870084,0.018844178],"genre_scores_gemma":[0.98198247,0.0011227934,0.01014003,0.00025203772,0.00033503515,0.000059405764,0.00015831269,0.00005154745,0.005898424],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.998808,0.00032640516,0.00008340769,0.00026472827,0.0003470892,0.00017025069],"domain_scores_gemma":[0.98466784,0.009562477,0.0024971177,0.0016055566,0.00096608617,0.0007009099],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002430329,0.0010991651,0.0018869711,0.0016170378,0.0010254962,0.0021512643,0.0021940134,0.0020521472,0.0035891815],"category_scores_gemma":[0.018149227,0.00082093943,0.0011683555,0.0014319611,0.003778844,0.0056728637,0.0021204504,0.0023900317,0.00034426406],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000080800106,0.0000337629,0.0009753931,0.00006415332,0.00004004002,0.00026588963,0.00013961793,0.022860972,0.00084487384,0.97003436,0.00052241737,0.0041377945],"study_design_scores_gemma":[0.000025804116,0.00003657194,0.00084197253,0.000014913753,0.000020731779,0.00027730296,0.0000573176,0.14758205,0.00041409853,0.85029083,0.00041108864,0.000027265498],"about_ca_topic_score_codex":0.0009799639,"about_ca_topic_score_gemma":0.0007406556,"teacher_disagreement_score":0.0035891815,"about_ca_system_score_codex":0.0009110729,"about_ca_system_score_gemma":0.0008217018,"threshold_uncertainty_score":0.012852967},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.008442057274064203,"score_gpt":0.2175958123046657,"score_spread":0.20915375503060152,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1974915181","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0059452453,0.00007724214,0.98936594,0.000040028084,0.000020530155,0.000082052204,0.000114959366,0.0020638045,0.002290158],"genre_scores_gemma":[0.39706698,0.00016791844,0.5969814,0.0000742383,0.00001256732,0.00044500982,0.00033710114,0.00023080633,0.004683897],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99841106,0.00084865326,0.00007685284,0.0001950901,0.00036684834,0.00010142245],"domain_scores_gemma":[0.9975389,0.001835992,0.00012394116,0.00017461044,0.0002793302,0.000047277394],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013841051,0.0008091947,0.00075961335,0.0008173625,0.00041842775,0.0013475515,0.00091295724,0.000583549,0.010556399],"category_scores_gemma":[0.0037019644,0.00056187384,0.00061131816,0.0006574415,0.0005019646,0.0011770547,0.0008633368,0.00079577084,0.0013731597],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0008857846,0.00023763438,0.0007558584,0.00055018876,0.00008062719,0.00023522697,0.00024433856,0.5631666,0.017719483,0.043443758,0.0046858853,0.36799455],"study_design_scores_gemma":[0.000051710933,0.0001446367,0.0001602837,0.000017749682,0.000018087081,0.000042739568,0.000019279285,0.9773721,0.0072693685,0.011689526,0.003194215,0.000020317979],"about_ca_topic_score_codex":0.004315192,"about_ca_topic_score_gemma":0.0038967782,"teacher_disagreement_score":0.010556399,"about_ca_system_score_codex":0.0006325063,"about_ca_system_score_gemma":0.0011903158,"threshold_uncertainty_score":0.03531468},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.026293184281512325,"score_gpt":0.28744172189110817,"score_spread":0.26114853760959583,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1991145672","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0201959,0.000051756924,0.974685,0.000081884675,0.000023799137,0.00006973761,0.00016110914,0.0021479805,0.0025827885],"genre_scores_gemma":[0.5487088,0.0001888753,0.4440518,0.00016770688,0.000026379052,0.00026103063,0.00056475255,0.0006019433,0.005428739],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990865,0.00026996434,0.00010246378,0.00011942363,0.00031660305,0.000105116545],"domain_scores_gemma":[0.9983431,0.0010763579,0.00015328529,0.00024509736,0.00014924942,0.00003292769],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010378718,0.00040830267,0.00028928468,0.00062311505,0.00027815186,0.0014926362,0.00068138534,0.00064929895,0.006104276],"category_scores_gemma":[0.0026488488,0.0005569405,0.0005375074,0.00043184985,0.001047643,0.0014773492,0.00075479614,0.0010027736,0.0011792599],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0004478378,0.00013961566,0.0013379126,0.0005197373,0.000048421818,0.0007137078,0.00080560235,0.07500237,0.051055476,0.7764531,0.0020408903,0.091435276],"study_design_scores_gemma":[0.0003663684,0.00031363041,0.00065428804,0.00024248174,0.00018190102,0.00037629905,0.000120309,0.44935796,0.16373235,0.35706076,0.02750821,0.00008548549],"about_ca_topic_score_codex":0.0017316806,"about_ca_topic_score_gemma":0.0018071247,"teacher_disagreement_score":0.006104276,"about_ca_system_score_codex":0.00052578654,"about_ca_system_score_gemma":0.0007455432,"threshold_uncertainty_score":0.020420909},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.004391407227117604,"score_gpt":0.22673769255514256,"score_spread":0.22234628532802495,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2075629863","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0049770763,0.000114782444,0.9905895,0.000099670804,0.00003152459,0.000036829348,0.00014225225,0.0005513395,0.0034569574],"genre_scores_gemma":[0.31397238,0.00057973195,0.67706126,0.00020198243,0.000071543014,0.00031626402,0.00065359974,0.00020306479,0.006940181],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99911016,0.00029230717,0.000077459525,0.00017924412,0.0002497993,0.00009104689],"domain_scores_gemma":[0.9985783,0.00083670183,0.0001403345,0.00016596426,0.00023320179,0.00004551998],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009212409,0.00061447517,0.00047829357,0.00071789225,0.00044665733,0.00238986,0.0010076142,0.0006810108,0.006346618],"category_scores_gemma":[0.0026173075,0.000374554,0.0010687287,0.00062624965,0.0010831687,0.0022462779,0.00074408675,0.0011691917,0.0012737863],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00017544728,0.00009921415,0.0004148069,0.00029826403,0.000045267218,0.00023945146,0.0003467683,0.13363446,0.009118928,0.7543837,0.002304939,0.098938756],"study_design_scores_gemma":[0.00005767304,0.000087381675,0.00012830061,0.000103827115,0.00008535912,0.0001637919,0.00004991752,0.353825,0.01237875,0.6071045,0.025973966,0.000041588177],"about_ca_topic_score_codex":0.0019551867,"about_ca_topic_score_gemma":0.0021897336,"teacher_disagreement_score":0.006346618,"about_ca_system_score_codex":0.00081028574,"about_ca_system_score_gemma":0.0010601367,"threshold_uncertainty_score":0.021231532},"labels":[],"label_agreement":null},{"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.011340150695532994,"score_gpt":0.2082073046732836,"score_spread":0.19686715397775062,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2089698141","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.04461475,0.001176278,0.9199302,0.0005971422,0.0002558397,0.000041903884,0.00009865964,0.00016756757,0.033117667],"genre_scores_gemma":[0.93841875,0.0015445849,0.04745166,0.00030235952,0.0005085559,0.00012630067,0.00022111267,0.000069648886,0.01135694],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9994223,0.00010514647,0.000038268732,0.00008897712,0.00027682623,0.00006849075],"domain_scores_gemma":[0.99935144,0.00029266678,0.0001119925,0.00006264799,0.00013878192,0.000042464446],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005889497,0.0003979123,0.00033430313,0.0006541147,0.0003084789,0.00086894963,0.00046322512,0.00049618323,0.002805343],"category_scores_gemma":[0.0015875326,0.00013653185,0.0005434474,0.00034908316,0.0011759105,0.0013621994,0.0011373087,0.0010346037,0.0003645861],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000022542472,0.000023423832,0.00017667812,0.000068861584,0.000016153794,0.00021205035,0.00015802623,0.013322452,0.008290128,0.95840013,0.0010263933,0.01828314],"study_design_scores_gemma":[0.000018386067,0.00012914193,0.00059984165,0.000024470179,0.000015828708,0.00034467073,0.00009605822,0.21100554,0.0041361297,0.7745004,0.009100314,0.00002913681],"about_ca_topic_score_codex":0.000594593,"about_ca_topic_score_gemma":0.000265696,"teacher_disagreement_score":0.002805343,"about_ca_system_score_codex":0.0005262483,"about_ca_system_score_gemma":0.0004267313,"threshold_uncertainty_score":0.009384811},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04086989046032987,"score_gpt":0.2662269414142213,"score_spread":0.22535705095389144,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2140718808","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.05519258,0.00032687717,0.9338292,0.000155462,0.000038589944,0.000061519764,0.0001325225,0.0009142466,0.009349148],"genre_scores_gemma":[0.81861687,0.0006085692,0.16751869,0.00012911705,0.000047548278,0.00014772387,0.00023537352,0.00017915462,0.012516936],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99978846,0.0000586018,0.000012777179,0.0000357719,0.00007599426,0.000028349816],"domain_scores_gemma":[0.9996037,0.00020344087,0.000056728877,0.00005236067,0.000073252326,0.000010484724],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00021323311,0.0005061434,0.00025888905,0.00032936616,0.00024365204,0.0010339997,0.0010919205,0.0009029653,0.0040410664],"category_scores_gemma":[0.0009966281,0.00038294864,0.00047998005,0.0004497251,0.0005063472,0.0017890783,0.00034322916,0.000768163,0.00090295414],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000057744066,0.000035749898,0.00034704374,0.00009771581,0.000032831053,0.000119235774,0.00009206291,0.89974904,0.015495969,0.06407543,0.0004962606,0.019400952],"study_design_scores_gemma":[0.0000063095517,0.000028645612,0.000038443064,0.000005396408,0.000012760118,0.000025394005,0.0000068886766,0.9840328,0.0034453715,0.011294294,0.0010989624,0.0000047941435],"about_ca_topic_score_codex":0.0018373776,"about_ca_topic_score_gemma":0.0032713884,"teacher_disagreement_score":0.0040410664,"about_ca_system_score_codex":0.00054470054,"about_ca_system_score_gemma":0.00045957218,"threshold_uncertainty_score":0.013518751},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.04248148558181747,"score_gpt":0.31551785144763284,"score_spread":0.27303636586581537,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2159356489","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0080543915,0.00943348,0.94468105,0.0062156613,0.0013927879,0.00005852347,0.00014149403,0.00052270084,0.029500011],"genre_scores_gemma":[0.50160456,0.014540437,0.44244215,0.0069328705,0.0035121148,0.00076531473,0.00029387538,0.0007017989,0.029206924],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9965404,0.0013281141,0.00023050666,0.00059687387,0.0010370025,0.00026712503],"domain_scores_gemma":[0.992251,0.006077957,0.0003115734,0.00084129,0.00037828708,0.00013996262],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0065960367,0.0016939444,0.0017567707,0.0024956318,0.002475558,0.0057355003,0.0032427933,0.0033022827,0.003900021],"category_scores_gemma":[0.0153446365,0.0008210466,0.0020491048,0.0016180073,0.018633828,0.017117266,0.003981192,0.008826443,0.0010814469],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000016257918,0.0000040068803,0.000032049218,0.00003917753,0.000006154424,0.0000305999,0.00014440942,0.00050285354,0.000098477925,0.9928203,0.0011155356,0.0051900856],"study_design_scores_gemma":[0.000015763226,0.000012571004,0.000020268139,0.000026472886,0.000006919353,0.00004211062,0.000026137232,0.0020790214,0.0005102303,0.9857658,0.011484759,0.000009977408],"about_ca_topic_score_codex":0.0011707798,"about_ca_topic_score_gemma":0.00078788254,"teacher_disagreement_score":0.0065960367,"about_ca_system_score_codex":0.0026512935,"about_ca_system_score_gemma":0.0021401665,"threshold_uncertainty_score":0.03488362},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.009434068072688354,"score_gpt":0.24828592730209176,"score_spread":0.2388518592294034,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4396920847","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00622686,0.0025218094,0.9833771,0.00037420154,0.00012806195,0.00015232916,0.00008629652,0.00061034726,0.006523036],"genre_scores_gemma":[0.116718374,0.003455551,0.87441295,0.00031518014,0.000112131296,0.0005966035,0.0003620706,0.00020489049,0.0038223444],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9993641,0.00022838652,0.000037985585,0.00008751407,0.00023788291,0.000044154363],"domain_scores_gemma":[0.9996557,0.00019997581,0.000049274477,0.000030431416,0.000051263203,0.000013400202],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008783487,0.0015603334,0.0015190901,0.0013882377,0.00066509005,0.0010828164,0.0014743888,0.0019117284,0.0016790143],"category_scores_gemma":[0.0018200357,0.00042063455,0.001443903,0.002290928,0.000858599,0.0010192139,0.0009617831,0.0017829345,0.0005939323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000044424538,0.00010188165,0.00080164184,0.00034919655,0.00020103605,0.00017692134,0.00007939934,0.7675742,0.0045251166,0.036280498,0.0048291925,0.18503648],"study_design_scores_gemma":[0.00005997049,0.00009037674,0.00020155867,0.0000797445,0.00006248386,0.00017586313,0.000030477715,0.95547783,0.0025717288,0.0215356,0.019687893,0.000026508982],"about_ca_topic_score_codex":0.0037532253,"about_ca_topic_score_gemma":0.0035014364,"teacher_disagreement_score":0.0037532253,"about_ca_system_score_codex":0.00075964525,"about_ca_system_score_gemma":0.0017562205,"threshold_uncertainty_score":0.00746274},"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,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_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","score_opus":0.009434068072688354,"score_gpt":0.24828592730209176,"score_spread":0.2388518592294034,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4401367936","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0064112665,0.0025748678,0.982919,0.0003819027,0.00013225395,0.00015229089,0.000089944035,0.0006181477,0.006720308],"genre_scores_gemma":[0.11675064,0.003498438,0.87429446,0.00032049877,0.00011370543,0.0005941179,0.00037195478,0.00021127446,0.003844865],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9993734,0.0002235841,0.000037827776,0.00008685636,0.00023433557,0.000043954497],"domain_scores_gemma":[0.9996519,0.00020179157,0.000049652936,0.000030313207,0.000052663774,0.0000136064755],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008711183,0.0015636747,0.0015153021,0.0013835402,0.00067058596,0.00108159,0.0014662211,0.0019167765,0.0016764363],"category_scores_gemma":[0.0018364682,0.000416707,0.0014428893,0.0023126209,0.00085337984,0.0010225401,0.0009565714,0.0017738981,0.00059832504],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00004493182,0.000102254824,0.0008207444,0.00035079056,0.00020011952,0.00018008775,0.000080587175,0.76725125,0.0045393296,0.03581338,0.0048923595,0.18572415],"study_design_scores_gemma":[0.000061100756,0.00009078557,0.00020760798,0.00008033152,0.00006475029,0.0001797496,0.0000314888,0.9546031,0.002636105,0.02180367,0.020214302,0.000026971196],"about_ca_topic_score_codex":0.0037950268,"about_ca_topic_score_gemma":0.003560123,"teacher_disagreement_score":0.0037950268,"about_ca_system_score_codex":0.0007508769,"about_ca_system_score_gemma":0.0017625542,"threshold_uncertainty_score":0.0075458884},"labels":[],"label_agreement":null}]}