{"meta":{"query_hash":"0f9ad4425e23","filters":{"venue":"Discrete Event Dynamic Systems"},"cohort_total":36,"direct_labels_cover":0,"predictions_cover":36,"exported":36,"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/0f9ad4425e23","api":"https://metacan.xera.ac/api/v1/cohort?venue=Discrete+Event+Dynamic+Systems"},"results":[{"id":"W1497798875","doi":"10.1023/a:1015617431563","title":"Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":20,"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 Toronto","funders":"","keywords":"Mathematics","score_opus":0.027451851135352024,"score_gpt":0.25685431344501203,"score_spread":0.22940246230966,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1497798875","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.021774286,0.005631726,0.93558663,0.0055479845,0.00044270177,0.000026908243,0.00008648025,0.00012822082,0.030775083],"genre_scores_gemma":[0.9043041,0.003779019,0.08294016,0.0008437134,0.0011586001,0.00011141856,0.00013006016,0.00011602215,0.006616884],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9965211,0.0013282904,0.00025601132,0.0006821229,0.0008426581,0.00036989385],"domain_scores_gemma":[0.99009097,0.0054529253,0.0007625312,0.0017486777,0.0010787181,0.0008661355],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00518177,0.0010146087,0.0014346979,0.0017427863,0.0017938442,0.007355307,0.0021741383,0.00196661,0.0028071909],"category_scores_gemma":[0.010644568,0.00083518773,0.0015248974,0.001626628,0.011254102,0.019107362,0.0051929513,0.0056273853,0.0003194307],"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.000057550966,0.0000114826735,0.00030870351,0.000037268208,0.000016582568,0.00003738647,0.00071611285,0.007890689,0.00023791917,0.98127455,0.00041029628,0.009001404],"study_design_scores_gemma":[0.000018758894,0.00004208733,0.0001722248,0.000036990397,0.000026707216,0.000029720666,0.00026481657,0.021904422,0.0002536105,0.9705522,0.0066728415,0.000025477035],"about_ca_topic_score_codex":0.003063653,"about_ca_topic_score_gemma":0.0022561657,"teacher_disagreement_score":0.007355307,"about_ca_system_score_codex":0.0020129287,"about_ca_system_score_gemma":0.0014653403,"threshold_uncertainty_score":0.02740419},"labels":[],"label_agreement":null},{"id":"W1507306347","doi":"10.1023/a:1013339920783","title":"Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":98,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Supervisor; Abstraction; Supervisory control; State space; Hybrid system; Existential quantification; State (computer science); Approximation theory; Control (management); Space (punctuation); Mathematics; Control system; Point (geometry); Computer science; Discrete mathematics; Applied mathematics; Algorithm; Mathematical analysis; Artificial intelligence; Engineering","score_opus":0.028259702149076235,"score_gpt":0.23876332502029574,"score_spread":0.2105036228712195,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1507306347","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.038512915,0.00016012279,0.9583837,0.00012873604,0.00004495431,0.00002807463,0.00004502854,0.00029265936,0.002403832],"genre_scores_gemma":[0.96024156,0.00010630869,0.037865594,0.000044027754,0.000023633675,0.00010760082,0.000070916474,0.000029295035,0.0015110975],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9991573,0.00028430024,0.00004749353,0.00017157003,0.00024016766,0.00009914081],"domain_scores_gemma":[0.9968618,0.0020858683,0.0003906841,0.00020810765,0.00033667317,0.000116788375],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014618824,0.00052099576,0.0014544902,0.00033583885,0.00056212075,0.0015116178,0.0011600554,0.00070824247,0.0014681966],"category_scores_gemma":[0.004495182,0.0004272604,0.0006309141,0.0003104021,0.0014596491,0.0010418349,0.0012225559,0.0015825643,0.0001869823],"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.0002834548,0.000041144747,0.00028741188,0.000104492225,0.00004352479,0.00006490508,0.00020661758,0.9437531,0.0028666032,0.032397386,0.00037072605,0.019580588],"study_design_scores_gemma":[0.00001779621,0.000026406602,0.00005442982,0.0000056733184,0.0000046505766,0.0000044432645,0.000007455964,0.99298227,0.0004212413,0.006315409,0.00015545248,0.000004763623],"about_ca_topic_score_codex":0.0064393776,"about_ca_topic_score_gemma":0.005641593,"teacher_disagreement_score":0.0064393776,"about_ca_system_score_codex":0.001272247,"about_ca_system_score_gemma":0.0013464296,"threshold_uncertainty_score":0.012803793},"labels":[],"label_agreement":null},{"id":"W1554366315","doi":"10.1023/a:1022145020786","title":"Approximate Gradient Methods in Policy-Space Optimization of Markov Reward Processes","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Reinforcement Learning in Robotics","field":"Computer Science","cited_by":52,"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 Toronto","funders":"","keywords":"Convergence (economics); Variance (accounting); Markov chain; Computer science; Markov process; Gradient descent; Path (computing); Set (abstract data type); Mathematics; Process (computing); Mathematical optimization; Algorithm; Artificial intelligence; Statistics; Artificial neural network","score_opus":0.012337159850539526,"score_gpt":0.3126734131687594,"score_spread":0.3003362533182199,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1554366315","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.010953435,0.0010283438,0.9852496,0.0006218191,0.000084750136,0.000043710254,0.000035823436,0.00015682126,0.0018257117],"genre_scores_gemma":[0.72626597,0.0015258052,0.2616753,0.0003154683,0.00023832536,0.00054050505,0.00021573552,0.00032884727,0.008893954],"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9987594,0.0007455999,0.000052479445,0.00010575531,0.00022217902,0.00011458521],"domain_scores_gemma":[0.99141616,0.007359692,0.000307921,0.0001682218,0.00052041886,0.00022771479],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004817448,0.0012555681,0.0027991338,0.0011624896,0.0007666865,0.0018106377,0.0019682588,0.0027034816,0.002466081],"category_scores_gemma":[0.019708246,0.0015434354,0.00074099266,0.0012426878,0.0026755407,0.0024863759,0.0024564539,0.0027696919,0.0003386377],"study_design_candidate":"theoretical_or_conceptual","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.000056971006,0.000033700875,0.00020089246,0.00006723974,0.000030962077,0.000020448317,0.000045978755,0.9444474,0.00010780404,0.04538145,0.0005482123,0.009059083],"study_design_scores_gemma":[0.00000816884,0.000004806346,0.000015954374,0.000003879809,0.0000023178623,0.0000012753052,0.0000022638408,0.98872656,0.000022813278,0.011120452,0.00008958683,0.0000020333969],"about_ca_topic_score_codex":0.018871395,"about_ca_topic_score_gemma":0.010996341,"teacher_disagreement_score":0.018871395,"about_ca_system_score_codex":0.0025392203,"about_ca_system_score_gemma":0.003166313,"threshold_uncertainty_score":0.03752309},"labels":[],"label_agreement":null},{"id":"W1568162912","doi":"10.1023/a:1015621532472","title":"Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","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":"Western University","funders":"","keywords":"Petri net; Computer science; Executable; Concurrency; Programmable logic controller; Scalability; Embedded system; Computer hardware; Computer architecture; Programming language; Operating system","score_opus":0.02011874566278746,"score_gpt":0.2673905539095044,"score_spread":0.24727180824671693,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1568162912","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.00503014,0.0001647553,0.9892936,0.000117613105,0.000121189834,0.00012161846,0.000030657462,0.0011912991,0.0039291726],"genre_scores_gemma":[0.33678666,0.0005680229,0.65640414,0.0001908086,0.00006826524,0.00034425728,0.0001689539,0.00015040289,0.005318493],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9993111,0.00014589711,0.000047047255,0.000087445944,0.00032020122,0.00008829104],"domain_scores_gemma":[0.9993413,0.00025362143,0.00006241395,0.00011593621,0.00018460011,0.000042015752],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009219996,0.0007007244,0.0004975131,0.00055633194,0.00040705982,0.0016923775,0.0026208474,0.00083423447,0.0033921117],"category_scores_gemma":[0.0014525874,0.0004906111,0.00060732296,0.00033003092,0.0007660464,0.0009570824,0.00044490513,0.0010744035,0.00065765367],"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.00034851022,0.00034912597,0.0009176891,0.00091265765,0.0001761743,0.00043993682,0.00024562792,0.47575304,0.0665755,0.21369548,0.0038220896,0.23676416],"study_design_scores_gemma":[0.00013347452,0.00023869406,0.00031698184,0.00009381714,0.0001432348,0.00012711812,0.000042775984,0.89155036,0.06348287,0.025212659,0.018617723,0.000040327668],"about_ca_topic_score_codex":0.0029881585,"about_ca_topic_score_gemma":0.0044745845,"teacher_disagreement_score":0.0033921117,"about_ca_system_score_codex":0.00088134495,"about_ca_system_score_gemma":0.0019243235,"threshold_uncertainty_score":0.011347711},"labels":[],"label_agreement":null},{"id":"W1574212434","doi":"10.1023/a:1014536803451","title":"N-dimensional Cell-DEVS Models","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":68,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Extension (predicate logic); Hierarchy; Base (topology); Distributed computing; Theoretical computer science; Simulation; Modeling and simulation; Programming language; Mathematics","score_opus":0.08963847491027477,"score_gpt":0.36627215396460494,"score_spread":0.2766336790543302,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1574212434","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.20512536,0.0022970363,0.6924837,0.00405533,0.0006639843,0.00022656907,0.009156105,0.0007832389,0.085208714],"genre_scores_gemma":[0.9061705,0.0016195951,0.034444686,0.00038478462,0.0001752041,0.00044916448,0.002514274,0.00012396893,0.054117776],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9993506,0.00019603556,0.000038149166,0.00015685955,0.00013318402,0.0001252158],"domain_scores_gemma":[0.99769104,0.0013252818,0.00028031383,0.00017342072,0.0003312939,0.00019858868],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011585928,0.00070711586,0.0018483857,0.0009755483,0.0007717806,0.0023167182,0.004101084,0.0032764252,0.010683255],"category_scores_gemma":[0.0047935583,0.00077695795,0.0011347114,0.0018592974,0.0014284273,0.00203958,0.0016694552,0.0015173545,0.0015951418],"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.000041650677,0.000027095972,0.0007290147,0.000029154746,0.000018196928,0.0001021903,0.00003885289,0.9509084,0.0002329551,0.04474662,0.00096229796,0.0021634884],"study_design_scores_gemma":[0.000009838438,0.0000064790215,0.00010576339,0.000002808413,0.0000062271665,0.000015597512,0.000012536564,0.9934151,0.00007943879,0.005647421,0.00069202227,0.000006750326],"about_ca_topic_score_codex":0.020833997,"about_ca_topic_score_gemma":0.0129213,"teacher_disagreement_score":0.020833997,"about_ca_system_score_codex":0.0017795347,"about_ca_system_score_gemma":0.0010613494,"threshold_uncertainty_score":0.041425467},"labels":[],"label_agreement":null},{"id":"W1589610332","doi":"10.1023/a:1008347431468","title":"Central Limit Theorems for Stochastic Optimization Algorithms Using Infinitesimal Perturbation Analysis","year":2000,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Stochastic Gradient Optimization Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Mathematics; Queue; Mathematical optimization; Constant (computer programming); Convergence (economics); Context (archaeology); Asymptotically optimal algorithm; Rate of convergence; Perturbation (astronomy); Applied mathematics; Computer science; Key (lock)","score_opus":0.013175682301082887,"score_gpt":0.268686991798461,"score_spread":0.2555113094973781,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1589610332","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.002641952,0.0006058415,0.99303174,0.00041605852,0.00011042752,0.000030301697,0.000034359186,0.0000740502,0.0030553124],"genre_scores_gemma":[0.43130103,0.006179421,0.5288752,0.0014544905,0.001242949,0.0018229553,0.00046008965,0.001293191,0.027370619],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9961039,0.0022816572,0.00017067665,0.00037651169,0.0008800344,0.0001872783],"domain_scores_gemma":[0.9734427,0.021337189,0.0011505797,0.0008923959,0.0025008847,0.00067636446],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.014798874,0.0030363612,0.0029338093,0.00294775,0.00126983,0.0036186995,0.0034786935,0.0027023172,0.0043587363],"category_scores_gemma":[0.03972426,0.0014525019,0.0022123673,0.0026863038,0.005830094,0.0066812024,0.0055075055,0.0070279064,0.0007388175],"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.00007089914,0.000072029245,0.00022541094,0.0002081782,0.0001238573,0.000077466466,0.00012130391,0.15255508,0.0009869644,0.83241874,0.0017445913,0.011395385],"study_design_scores_gemma":[0.00001761315,0.000024463305,0.000089148736,0.00003006571,0.000023201075,0.000023247365,0.000014539258,0.6940515,0.00040879947,0.3043833,0.00091409555,0.000020000234],"about_ca_topic_score_codex":0.0029391802,"about_ca_topic_score_gemma":0.0024983317,"teacher_disagreement_score":0.014798874,"about_ca_system_score_codex":0.0026239108,"about_ca_system_score_gemma":0.0034025607,"threshold_uncertainty_score":0.07826489},"labels":[],"label_agreement":null},{"id":"W1965577683","doi":"10.1007/s10626-014-0208-4","title":"Distributed supervisory control of discrete-event systems with communication delay","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"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 Toronto","funders":"National Natural Science Foundation of China; Fundamental Research Funds for the Central Universities; Ministry of Education, Culture, Sports, Science and Technology","keywords":"Supervisory control; Workcell; Constraint (computer-aided design); Control (management); Distributed control system; Property (philosophy); Work (physics); Control theory (sociology)","score_opus":0.022638165295439373,"score_gpt":0.258564789865084,"score_spread":0.23592662456964464,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1965577683","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.06639162,0.0002506335,0.9292669,0.00017346855,0.0001848279,0.00003904544,0.000051946005,0.0005318789,0.0031096528],"genre_scores_gemma":[0.9861157,0.000088289344,0.012071613,0.000022804303,0.0000322745,0.000051577998,0.00002812622,0.00001605867,0.0015735772],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99951684,0.000096988784,0.000030575655,0.00014883284,0.00013880977,0.000067953675],"domain_scores_gemma":[0.99846625,0.0009799672,0.0001808473,0.000109384724,0.00019207889,0.000071470065],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00073698524,0.0005686594,0.0007709008,0.0002850414,0.00048410395,0.0010403383,0.0010839909,0.0004968087,0.0015570348],"category_scores_gemma":[0.0022509883,0.0002916477,0.0003211924,0.00028648073,0.0007393355,0.00075586827,0.00074822543,0.0008959771,0.00014356742],"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.00039110452,0.00011274009,0.0004470031,0.0001373329,0.000054564724,0.00022288418,0.00014342558,0.9266579,0.011111386,0.025516666,0.00055785273,0.034647085],"study_design_scores_gemma":[0.00004441595,0.000055277706,0.00012291434,0.0000045432207,0.00001047037,0.00001689116,0.000010108724,0.9892812,0.0022472297,0.00776977,0.0004318231,0.000005328519],"about_ca_topic_score_codex":0.002210731,"about_ca_topic_score_gemma":0.0028878027,"teacher_disagreement_score":0.002210731,"about_ca_system_score_codex":0.0006101517,"about_ca_system_score_gemma":0.0011276063,"threshold_uncertainty_score":0.0052087307},"labels":[],"label_agreement":null},{"id":"W1969453217","doi":"10.1007/s10626-013-0172-4","title":"Sampled-data supervisory control","year":2013,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","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":"McMaster University","funders":"","keywords":"Supervisory control; Control (management); Control theory (sociology); Control engineering; Computer science; Engineering; Environmental science; Artificial intelligence","score_opus":0.03559868243982537,"score_gpt":0.2686477436380219,"score_spread":0.23304906119819654,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1969453217","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.037517723,0.00022640546,0.9563127,0.00014586447,0.00024085387,0.00008400203,0.00021775589,0.0019018517,0.0033528775],"genre_scores_gemma":[0.9774122,0.0000714302,0.02047839,0.000058823825,0.000042755633,0.00008488502,0.00010159038,0.000039564144,0.0017102897],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99938166,0.000117566284,0.00004206925,0.00018763439,0.00021341862,0.000057688656],"domain_scores_gemma":[0.9987909,0.0004996288,0.00010711107,0.00025930142,0.00028804882,0.000055013046],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000711209,0.00065178453,0.0009436224,0.00032142858,0.00044327843,0.001058979,0.0011331134,0.00051267433,0.0036402734],"category_scores_gemma":[0.0021327436,0.0002571454,0.00039976017,0.00036988643,0.00080391,0.00084232807,0.0009104364,0.00097247766,0.00038907572],"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.0024052314,0.000608105,0.002110151,0.0007911312,0.00017196251,0.00034434526,0.00050784653,0.59981084,0.03979326,0.04789968,0.005044427,0.30051306],"study_design_scores_gemma":[0.00008520249,0.00014010136,0.0003967623,0.000011511455,0.000018063489,0.000028322298,0.000016144086,0.98103595,0.0073133176,0.009849816,0.0010933614,0.000011425097],"about_ca_topic_score_codex":0.0017437622,"about_ca_topic_score_gemma":0.0025520253,"teacher_disagreement_score":0.0036402734,"about_ca_system_score_codex":0.0005497684,"about_ca_system_score_gemma":0.000889693,"threshold_uncertainty_score":0.012177885},"labels":[],"label_agreement":null},{"id":"W1969752454","doi":"10.1007/s10626-011-0100-4","title":"Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs","year":2011,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","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":"Polytechnique Montréal","funders":"","keywords":"Reachability; Petri net; Computer science; Stochastic Petri net; Construct (python library); State space; State (computer science); Reachability problem; Theoretical computer science; Distributed computing; Mathematics; Algorithm; Programming language","score_opus":0.020116442522705332,"score_gpt":0.2521523024658863,"score_spread":0.232035859943181,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1969752454","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.008532179,0.000052734213,0.985518,0.000027231641,0.000029356917,0.0002045859,0.00095008896,0.00091706787,0.0037688217],"genre_scores_gemma":[0.18729074,0.0003080314,0.8041847,0.00003592165,0.000018482595,0.00048252448,0.0043043275,0.0005110019,0.0028642584],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99940073,0.00013133965,0.00005334255,0.000110693414,0.00023046542,0.00007342678],"domain_scores_gemma":[0.9993537,0.00024229384,0.00007079993,0.000112420894,0.00018649329,0.00003431591],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006345689,0.0013036155,0.0004721653,0.002444527,0.00074140384,0.0010956472,0.0012398232,0.00053654023,0.005454293],"category_scores_gemma":[0.0030850659,0.00065586757,0.0011663957,0.0017393527,0.00049391703,0.0011473311,0.0005784588,0.0010255373,0.0015356475],"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.00033570803,0.00029981785,0.0015359899,0.0007586451,0.00009320204,0.0007442122,0.00031975462,0.40526363,0.027552152,0.34935775,0.0053073177,0.20843175],"study_design_scores_gemma":[0.00006245312,0.0000892293,0.00055023533,0.000108205575,0.0001691146,0.00015775637,0.00014322884,0.72237647,0.043711986,0.220491,0.0120826075,0.000057642097],"about_ca_topic_score_codex":0.0053746505,"about_ca_topic_score_gemma":0.009095242,"teacher_disagreement_score":0.005454293,"about_ca_system_score_codex":0.0009998031,"about_ca_system_score_gemma":0.002060244,"threshold_uncertainty_score":0.018246472},"labels":[],"label_agreement":null},{"id":"W2011012624","doi":"10.1007/s10626-006-0020-x","title":"Near-Optimal Online Control of Dynamic Discrete-Event Systems","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Normalization (sociology); Modular design; Computer science; Simple (philosophy); Optimal control; Discrete time and continuous time; Discrete event dynamic system; Algorithm; Control theory (sociology); Set (abstract data type); Event (particle physics); String (physics); Control (management); Mathematical optimization; Mathematics; Discrete system; Artificial intelligence","score_opus":0.007083788743341146,"score_gpt":0.2549401869041265,"score_spread":0.24785639816078536,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2011012624","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.05174587,0.0003190129,0.9396619,0.00032240676,0.00015923113,0.00005003401,0.000061317274,0.00038991674,0.0072902995],"genre_scores_gemma":[0.9860416,0.00011212178,0.011399469,0.000056585806,0.00003211868,0.000046357763,0.000037612903,0.000029476934,0.0022447133],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9991683,0.00023822652,0.000041985724,0.00017770425,0.000206172,0.0001676993],"domain_scores_gemma":[0.99711454,0.0019822065,0.00028100784,0.0001526089,0.0003250299,0.00014465045],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015151341,0.0009431676,0.0018781215,0.0004993151,0.0006558557,0.0016223761,0.0010576567,0.0010175447,0.0025713304],"category_scores_gemma":[0.0043303547,0.0006117742,0.00045584442,0.00038728278,0.0012883573,0.0013377329,0.0016199943,0.001362962,0.00022752707],"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.0002461766,0.00008050113,0.0001907659,0.000075154625,0.000033604912,0.00007077387,0.00004366731,0.964563,0.0016566942,0.017864663,0.0005116825,0.014663234],"study_design_scores_gemma":[0.000009870298,0.000021995831,0.00004114013,0.0000024488547,0.000003450575,0.000004960462,0.000004060923,0.994732,0.0001823629,0.0048941807,0.00010071016,0.0000027562012],"about_ca_topic_score_codex":0.0063950103,"about_ca_topic_score_gemma":0.0045851106,"teacher_disagreement_score":0.0063950103,"about_ca_system_score_codex":0.00090991217,"about_ca_system_score_gemma":0.0015211717,"threshold_uncertainty_score":0.012715578},"labels":[],"label_agreement":null},{"id":"W2016380948","doi":"10.1023/b:disc.0000005009.40749.b6","title":"Supervisor Reduction for Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":172,"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 Toronto","funders":"","keywords":"Sublanguage; Supervisor; Supervisory control; Supervisory control theory; Automaton; Reduction (mathematics); Event (particle physics); Controllability; State (computer science); Computer science; Product (mathematics); Observability; Mathematics; Control theory (sociology); Control (management); Algorithm; Theoretical computer science; Programming language; Artificial intelligence; Physics; Applied mathematics","score_opus":0.018287080530695606,"score_gpt":0.277910279274752,"score_spread":0.25962319874405637,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2016380948","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.014595563,0.00016421895,0.977215,0.00019076528,0.00007735803,0.00008399426,0.00010135575,0.0013808716,0.0061908625],"genre_scores_gemma":[0.72507185,0.00036082018,0.2605397,0.00014459142,0.00011174938,0.00031340533,0.0006417665,0.00033404198,0.012482028],"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9989208,0.00022534886,0.000059946353,0.00019500645,0.0004719996,0.00012699251],"domain_scores_gemma":[0.99816966,0.0011269927,0.00007354455,0.00035449554,0.0002057537,0.00006957058],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008982465,0.0005500564,0.00093868107,0.00064925104,0.00056334905,0.0010262404,0.0010836388,0.00052200386,0.0044045267],"category_scores_gemma":[0.002699386,0.0004041589,0.0013148217,0.00037973936,0.0011229962,0.0012200507,0.0017032445,0.002021096,0.00067544717],"study_design_candidate":"theoretical_or_conceptual","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.000440874,0.00039820283,0.0008246943,0.0005558265,0.00013700715,0.00045966217,0.0006142273,0.42649698,0.015189238,0.29353228,0.007241705,0.25410926],"study_design_scores_gemma":[0.00008249418,0.000067618064,0.00022890368,0.000021077993,0.000037512174,0.00006161094,0.00006144635,0.66047674,0.007483535,0.32748377,0.003979148,0.000016065875],"about_ca_topic_score_codex":0.0015343963,"about_ca_topic_score_gemma":0.0023980504,"teacher_disagreement_score":0.0044045267,"about_ca_system_score_codex":0.000607635,"about_ca_system_score_gemma":0.0010609708,"threshold_uncertainty_score":0.014734566},"labels":[],"label_agreement":null},{"id":"W2018093794","doi":"10.1007/s10626-013-0160-8","title":"A stochastic hybrid state model for optimizing hedging policies in manufacturing systems with randomly occurring defects","year":2013,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Advanced Queuing Theory Analysis","field":"Business, Management and Accounting","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":"Polytechnique Montréal; Group for Research in Decision Analysis","funders":"","keywords":"Piecewise; Mode (computer interface); Observable; State (computer science); Extension (predicate logic); Class (philosophy); Production (economics); Mathematical optimization; Computer science; Control theory (sociology); Mathematics; Control (management); Applied mathematics; Algorithm; Economics; Mathematical analysis; Physics","score_opus":0.008350037458738831,"score_gpt":0.22818035020779395,"score_spread":0.21983031274905512,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2018093794","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.07139093,0.00044826345,0.9234628,0.0004796626,0.000084844876,0.00006361852,0.00024480865,0.0002720759,0.0035528836],"genre_scores_gemma":[0.97840095,0.00024846738,0.016225155,0.000069232265,0.000036901238,0.00009536693,0.00016353892,0.00003910773,0.004721395],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9991473,0.0003202379,0.000044947385,0.000165876,0.00018749558,0.00013420206],"domain_scores_gemma":[0.9974527,0.0017861853,0.00027277117,0.00008718191,0.0002889689,0.0001122095],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0024865402,0.0010599025,0.0020229965,0.0007782462,0.0005326708,0.0025354659,0.0018551357,0.00202655,0.0029298544],"category_scores_gemma":[0.0043741534,0.0012035874,0.0009124063,0.0009925602,0.0014431744,0.0017728911,0.0012865688,0.001362169,0.00025454318],"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.000022510996,0.0000090964795,0.00010622451,0.000011103546,0.000011331726,0.000017469729,0.000010131784,0.9943731,0.00013660286,0.0044041374,0.00006700064,0.0008312715],"study_design_scores_gemma":[0.0000030892397,0.0000057052544,0.000030984116,0.0000010847634,0.0000034218874,0.0000013738874,0.0000015269164,0.9990024,0.000025784318,0.00089593837,0.000026560036,0.000002136243],"about_ca_topic_score_codex":0.0138854515,"about_ca_topic_score_gemma":0.009436098,"teacher_disagreement_score":0.0138854515,"about_ca_system_score_codex":0.0018843443,"about_ca_system_score_gemma":0.0015331338,"threshold_uncertainty_score":0.02760923},"labels":[],"label_agreement":null},{"id":"W2019115393","doi":"10.1007/s10626-011-0122-y","title":"Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems","year":2011,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Decidability; Undecidable problem; Inference; Event (particle physics); Decision problem; Architecture; Theoretical computer science; Artificial intelligence; Distributed computing; Algorithm","score_opus":0.032162927421441265,"score_gpt":0.30617132823873017,"score_spread":0.2740084008172889,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2019115393","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.07778815,0.00030093142,0.91817003,0.0003914311,0.00007972027,0.00008702563,0.000037559952,0.0012283208,0.0019168284],"genre_scores_gemma":[0.91273177,0.0000630404,0.086323395,0.000072223316,0.000027620588,0.000039170307,0.000038233673,0.000021817805,0.0006827639],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9990609,0.0003048845,0.000057216435,0.0002112653,0.00024050157,0.00012525068],"domain_scores_gemma":[0.997874,0.0011914506,0.00021940238,0.00032603118,0.00026300954,0.00012609315],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0017774098,0.00056650303,0.0006478414,0.0006905678,0.0005756974,0.0010121169,0.0013059338,0.000997368,0.0014400835],"category_scores_gemma":[0.0037507496,0.00040365235,0.00036203084,0.00042315802,0.00082579756,0.0015200872,0.0011933498,0.0008917761,0.00020801794],"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.0013981978,0.00042389779,0.006692642,0.00028238876,0.00017331749,0.0010539526,0.0005291082,0.5812878,0.03547156,0.042825818,0.0026541487,0.3272071],"study_design_scores_gemma":[0.000053063708,0.0000910285,0.0003912883,0.000009550142,0.000036295834,0.000090947455,0.000032783046,0.97701275,0.009294077,0.012131627,0.00084342185,0.000013163895],"about_ca_topic_score_codex":0.0018237117,"about_ca_topic_score_gemma":0.0025800867,"teacher_disagreement_score":0.0018237117,"about_ca_system_score_codex":0.00065011973,"about_ca_system_score_gemma":0.0011142239,"threshold_uncertainty_score":0.0093999505},"labels":[],"label_agreement":null},{"id":"W2028436354","doi":"10.1007/s10626-005-4059-x","title":"A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Supervisor; Automaton; Computer science; Event (particle physics); Timed automaton; Supervisory control theory; Supervisory control; Set (abstract data type); Transformation (genetics); Relation (database); Finite-state machine; State (computer science); Automata theory; Conformance testing; Control (management); Programming language; Theoretical computer science; Operating system; Data mining; Artificial intelligence","score_opus":0.01639649275589925,"score_gpt":0.2835779494511766,"score_spread":0.2671814566952773,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2028436354","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.005744635,0.000035282395,0.99276066,0.000023759176,0.000029428562,0.000032987733,0.000010871262,0.0009609285,0.00040146298],"genre_scores_gemma":[0.60530573,0.00009565372,0.39161763,0.000102116544,0.00009340316,0.00026364662,0.00008983609,0.00021094416,0.002221004],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9985656,0.00022711026,0.00010493338,0.0003743094,0.00062489253,0.00010303271],"domain_scores_gemma":[0.9966581,0.0017062649,0.00028935896,0.0005263965,0.00070065254,0.000119349184],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0015301818,0.00057935156,0.00088087237,0.0005856979,0.000606039,0.0008569452,0.0013457765,0.0007144854,0.0016127771],"category_scores_gemma":[0.0043358887,0.00038446448,0.0005104141,0.00032321268,0.0011656643,0.00074268365,0.00094259076,0.0014310007,0.00029064453],"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.0008637723,0.00027380674,0.0011019579,0.00046214738,0.00013814702,0.0007603052,0.0012867505,0.29448912,0.10475503,0.056198604,0.0046304055,0.53503984],"study_design_scores_gemma":[0.0001521764,0.00021259322,0.0003523237,0.000028313989,0.00004097163,0.00013838823,0.000031761432,0.95955247,0.024272015,0.012031368,0.0031538063,0.00003384813],"about_ca_topic_score_codex":0.0019468802,"about_ca_topic_score_gemma":0.002216299,"teacher_disagreement_score":0.0019468802,"about_ca_system_score_codex":0.0004231649,"about_ca_system_score_gemma":0.0013130115,"threshold_uncertainty_score":0.008092463},"labels":[],"label_agreement":null},{"id":"W2037637901","doi":"10.1007/s10626-005-2865-9","title":"Ghost Simulation Model for the Optimization of an Urban Subway System","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Transportation Planning and Optimization","field":"Social Sciences","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Bishop's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Headway; Overhead (engineering); Computer science; Function (biology); Event (particle physics); Control (management); Filter (signal processing); Service (business); Mathematical optimization; Engineering; Simulation; Control theory (sociology); Mathematics; Artificial intelligence","score_opus":0.016488809153549742,"score_gpt":0.30882021994499165,"score_spread":0.2923314107914419,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2037637901","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.2060968,0.00037068757,0.7711572,0.00086795597,0.00018363504,0.00012888317,0.00075091835,0.00064551685,0.019798437],"genre_scores_gemma":[0.96648705,0.00014253105,0.025012257,0.00006425003,0.000020449357,0.00011742525,0.00025866108,0.000050836476,0.0078467],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9996779,0.00013906138,0.000012440353,0.00004019803,0.000071406146,0.000059033773],"domain_scores_gemma":[0.99906045,0.0005143053,0.00009404745,0.0000685084,0.00013513392,0.00012746445],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00075601594,0.0004931331,0.0013878247,0.0006041123,0.00059637567,0.0011241249,0.001399717,0.0014307274,0.004396064],"category_scores_gemma":[0.0020852317,0.0004983522,0.00067402667,0.00080753776,0.00097448006,0.0011209933,0.0010574235,0.0011775683,0.00025980468],"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.000020118774,0.00000519435,0.00009388318,0.0000036821725,0.0000034830205,0.000010640087,0.000006105777,0.99613094,0.00005789609,0.00324127,0.00007237522,0.00035433605],"study_design_scores_gemma":[0.0000058035407,0.0000040773357,0.000022929142,5.689274e-7,0.0000013676224,0.0000015439026,0.0000017770396,0.99903715,0.000023457225,0.00080461084,0.00009540908,0.0000013646193],"about_ca_topic_score_codex":0.019719075,"about_ca_topic_score_gemma":0.009219439,"teacher_disagreement_score":0.019719075,"about_ca_system_score_codex":0.0015348821,"about_ca_system_score_gemma":0.002225822,"threshold_uncertainty_score":0.03920859},"labels":[],"label_agreement":null},{"id":"W2038118972","doi":"10.1007/s10626-014-0184-8","title":"Robustness of synchronous communication protocols with delay for decentralized discrete-event control","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Mount Allison University; Concordia University","funders":"","keywords":"Robustness (evolution); Control theory (sociology); Computer science; Upper and lower bounds; Decentralised system; Communications protocol; Distributed computing; Control (management); Mathematics; Computer network","score_opus":0.011155627054089344,"score_gpt":0.28551058829920306,"score_spread":0.2743549612451137,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2038118972","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.07688785,0.00026474032,0.9178196,0.00031391383,0.00009453651,0.00006237699,0.000095544485,0.0004412993,0.0040201624],"genre_scores_gemma":[0.9889824,0.00013206333,0.009366648,0.000045063083,0.000046019584,0.0000846282,0.0000523651,0.00004664694,0.001244176],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99749964,0.0006943949,0.00015433962,0.0006206979,0.0006776236,0.00035317408],"domain_scores_gemma":[0.9859432,0.009812192,0.0018739831,0.001048591,0.000907656,0.00041435077],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0038503108,0.001107301,0.0014200244,0.0009917388,0.0007597904,0.0019487194,0.0015750673,0.001167742,0.0018572641],"category_scores_gemma":[0.016267218,0.00051604694,0.0010018097,0.0005847962,0.0019526483,0.0019064967,0.0020544562,0.0015544122,0.00018011969],"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.00053789007,0.00006697109,0.0003635817,0.00011723713,0.000092026,0.00013175404,0.0000921537,0.9150121,0.004959481,0.06791791,0.0003589913,0.01034992],"study_design_scores_gemma":[0.00003644082,0.00007656479,0.0001128356,0.0000056390422,0.000020734422,0.000015081162,0.000009020759,0.977027,0.0010684523,0.021457974,0.00016131847,0.000008901748],"about_ca_topic_score_codex":0.0026849129,"about_ca_topic_score_gemma":0.0011767676,"teacher_disagreement_score":0.0038503108,"about_ca_system_score_codex":0.0018049722,"about_ca_system_score_gemma":0.0016443736,"threshold_uncertainty_score":0.020362616},"labels":[],"label_agreement":null},{"id":"W2052404333","doi":"10.1007/s10626-011-0126-7","title":"A pseudometric in supervisory control of probabilistic discrete event systems","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","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":"McMaster University","funders":"","keywords":"Mathematics; Probabilistic logic; Supervisory control; Generator (circuit theory); Event (particle physics); Monotone polygon; Characterization (materials science); Discrete mathematics; Algorithm; Control (management); Artificial intelligence; Computer science; Statistics; Power (physics)","score_opus":0.012964024939932104,"score_gpt":0.252160529195101,"score_spread":0.23919650425516892,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2052404333","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.016746873,0.001931915,0.9759846,0.00090663804,0.00038067915,0.000038689992,0.00009213938,0.00013578519,0.0037826425],"genre_scores_gemma":[0.7155803,0.003983231,0.26916447,0.000517362,0.002051534,0.00039914442,0.00029902463,0.00023811738,0.0077667865],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.995619,0.002040456,0.00029728562,0.00063373777,0.0012522377,0.00015716295],"domain_scores_gemma":[0.98904115,0.0075531066,0.0009788463,0.00068880746,0.0010699964,0.0006681132],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004431903,0.0010057852,0.0013651424,0.0017719758,0.0010540576,0.0028199824,0.0017179954,0.0016014064,0.0022045716],"category_scores_gemma":[0.019124007,0.0005230463,0.0010833781,0.0023407137,0.0037468409,0.006715479,0.0035089816,0.0037476257,0.00033959627],"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.00011343949,0.00004040553,0.000344882,0.00020062742,0.000025536876,0.00008402929,0.00021426713,0.061470658,0.001506706,0.89728117,0.001273293,0.037444893],"study_design_scores_gemma":[0.000025433628,0.00021189204,0.0003006273,0.000039627645,0.000013559492,0.00010451502,0.00003940857,0.46014386,0.000764828,0.53383046,0.0044885534,0.00003711903],"about_ca_topic_score_codex":0.0006892039,"about_ca_topic_score_gemma":0.0003599682,"teacher_disagreement_score":0.004431903,"about_ca_system_score_codex":0.0014036067,"about_ca_system_score_gemma":0.0013555554,"threshold_uncertainty_score":0.023438454},"labels":[],"label_agreement":null},{"id":"W2055536026","doi":"10.1007/s10626-014-0194-6","title":"New results on supervisor localization, with case studies","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":22,"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 Toronto","funders":"","keywords":"Supervisor; Supervisory control; Supervisory control theory; Event (particle physics); Computer science; Congruence (geometry); Pairwise comparison; Set (abstract data type); Information exchange; Disjoint sets; Theoretical computer science; Control (management); Distributed computing; Mathematics; Artificial intelligence; Discrete mathematics","score_opus":0.02024861955844544,"score_gpt":0.2816256451740603,"score_spread":0.2613770256156149,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2055536026","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.022006122,0.0035115262,0.9421184,0.00088339765,0.00015659582,0.00007706722,0.00010691553,0.0004151025,0.030724818],"genre_scores_gemma":[0.7117764,0.0060728104,0.2561308,0.00034446293,0.0005019636,0.00036230774,0.00038651002,0.00035587014,0.024068857],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9976961,0.0007680385,0.00016079798,0.00047418967,0.00062927883,0.00027156496],"domain_scores_gemma":[0.98956573,0.007990741,0.0006748273,0.0006944906,0.00080075196,0.00027340426],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002278797,0.0017135107,0.0012043511,0.002318682,0.0014473584,0.0032722016,0.0025105665,0.0029868477,0.009085831],"category_scores_gemma":[0.01298565,0.0007193965,0.0018965501,0.0027831462,0.0041293437,0.0049220715,0.0036960454,0.002877423,0.0009332222],"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.00031922807,0.00034597394,0.0030220607,0.001335379,0.00014261507,0.00712195,0.0014372314,0.36614075,0.005850941,0.48576933,0.0069669452,0.121547595],"study_design_scores_gemma":[0.00007619908,0.00022580205,0.0008524355,0.00020866377,0.00016470542,0.0030025982,0.00087195204,0.48991123,0.004450296,0.48426244,0.015899194,0.00007445814],"about_ca_topic_score_codex":0.0024888783,"about_ca_topic_score_gemma":0.0027545819,"teacher_disagreement_score":0.009085831,"about_ca_system_score_codex":0.0016259567,"about_ca_system_score_gemma":0.000815166,"threshold_uncertainty_score":0.03039515},"labels":[],"label_agreement":null},{"id":"W2057931867","doi":"10.1007/s10626-014-0185-7","title":"Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","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":"McMaster University","funders":"","keywords":"Preorder; Interface (matter); Consistency (knowledge bases); Flexibility (engineering); Computer science; Distributed computing; Supervisory control; Event (particle physics); Control (management); Mathematics; Parallel computing; Artificial intelligence","score_opus":0.024131908261031933,"score_gpt":0.26616512064209524,"score_spread":0.24203321238106332,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2057931867","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.0092925,0.00023429682,0.9871329,0.00011003212,0.000031786953,0.00005865414,0.00012861297,0.0002771795,0.0027340297],"genre_scores_gemma":[0.54341656,0.0010837123,0.4498253,0.00008379965,0.000068443755,0.00027325764,0.0005292562,0.00013377436,0.0045858594],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9987897,0.00040380404,0.00013923972,0.0001597101,0.0003877839,0.00011985886],"domain_scores_gemma":[0.9987858,0.0006514642,0.00019620523,0.00016185413,0.00012714547,0.000077487115],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0012386652,0.0008532213,0.0009243623,0.0012720852,0.0007888336,0.0023874126,0.0019372514,0.0010696057,0.003166524],"category_scores_gemma":[0.0025495938,0.00089170644,0.0014511269,0.001328343,0.001236773,0.0031005074,0.0012811738,0.0015021547,0.00052526256],"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.0000795435,0.000050701477,0.0005637656,0.00012202016,0.00004939039,0.00031097664,0.00019615951,0.7886604,0.0036752755,0.1905638,0.00042772162,0.015300223],"study_design_scores_gemma":[0.000013901494,0.000021758071,0.00015258495,0.000017188988,0.000020692847,0.0000426347,0.000027502656,0.9244938,0.0015314813,0.07143928,0.002224989,0.000014263945],"about_ca_topic_score_codex":0.006437264,"about_ca_topic_score_gemma":0.007725084,"teacher_disagreement_score":0.006437264,"about_ca_system_score_codex":0.0012703225,"about_ca_system_score_gemma":0.0015670042,"threshold_uncertainty_score":0.012799621},"labels":[],"label_agreement":null},{"id":"W2069208287","doi":"10.1007/s10626-008-0040-9","title":"Control of Parameterized Discrete Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke; Université Laval","funders":"","keywords":"Parameterized complexity; Bounded function; Event (particle physics); Control (management); Discrete event dynamic system; Scale (ratio); Control system; Similarity (geometry); Mathematics; Computer science; Control theory (sociology); Discrete system; Algorithm; Engineering; Mathematical analysis; Artificial intelligence; Physics","score_opus":0.015533049604021227,"score_gpt":0.25927274548525137,"score_spread":0.24373969588123015,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2069208287","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.016760463,0.0002720969,0.97709334,0.00010315378,0.00006669235,0.000047093305,0.000091667105,0.00064201764,0.00492352],"genre_scores_gemma":[0.9537394,0.0004523237,0.041849297,0.00004216408,0.00004750909,0.00015170407,0.00019760334,0.00007158691,0.0034484218],"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9990434,0.00029004485,0.00006694829,0.0002136516,0.00028679232,0.00009920914],"domain_scores_gemma":[0.99829334,0.0009138877,0.00024525257,0.0002721804,0.0002131417,0.000062150284],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009879684,0.0007275725,0.0009672122,0.00030817615,0.000340821,0.0019521799,0.0011140597,0.00058994297,0.0029983562],"category_scores_gemma":[0.003991402,0.00037255016,0.0005514583,0.0005079376,0.00079039304,0.001418957,0.00085896644,0.0009229867,0.00031556352],"study_design_candidate":"theoretical_or_conceptual","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.00023517694,0.00007616191,0.000355601,0.0001550501,0.000063016334,0.00018155828,0.00010424999,0.8178988,0.00939307,0.1220795,0.00093841826,0.048519462],"study_design_scores_gemma":[0.000026776672,0.000026998396,0.00008259508,0.0000054072434,0.000010242188,0.000016819797,0.000008065687,0.97569025,0.0011600421,0.021757139,0.0012097788,0.00000591358],"about_ca_topic_score_codex":0.0022820192,"about_ca_topic_score_gemma":0.0015889845,"teacher_disagreement_score":0.0029983562,"about_ca_system_score_codex":0.0007543435,"about_ca_system_score_gemma":0.0008610069,"threshold_uncertainty_score":0.010030508},"labels":[],"label_agreement":null},{"id":"W2073923541","doi":"10.1007/s10626-007-0033-0","title":"Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","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":"Queen's University","funders":"","keywords":"Supervisor; Comparability; Reduction (mathematics); Event (particle physics); Relation (database); Supervisory control; Representation (politics); Control (management); Computer science; Control theory (sociology); Mathematics; Control engineering; Engineering; Artificial intelligence; Data mining; Physics","score_opus":0.025863003665592018,"score_gpt":0.2715687262432636,"score_spread":0.2457057225776716,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2073923541","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.13226704,0.0005474665,0.8359249,0.0010382383,0.00009230017,0.00014472812,0.00008479445,0.00083860167,0.029061824],"genre_scores_gemma":[0.9307429,0.00031792978,0.063888736,0.000107184555,0.00005144345,0.000076259275,0.00006769328,0.000117809155,0.00462992],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9989485,0.00027217125,0.00003998616,0.00014350079,0.00047712686,0.00011862329],"domain_scores_gemma":[0.9955591,0.0030099696,0.00022267,0.0006820203,0.0003995992,0.00012660473],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013823491,0.0003346992,0.0006802885,0.00057147606,0.0005520578,0.0012126756,0.001229865,0.0004858806,0.0029152094],"category_scores_gemma":[0.006011363,0.00026415926,0.0008104742,0.00052665727,0.001919209,0.0018821205,0.0012351214,0.00131603,0.00021311744],"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.0004655701,0.00029205,0.0037118823,0.0004049019,0.00009131329,0.0004913746,0.0014505847,0.33037472,0.011820453,0.48392552,0.002172111,0.1647995],"study_design_scores_gemma":[0.000036486286,0.00015698778,0.0012368445,0.000027934297,0.000037852817,0.00010971832,0.00032509546,0.6417648,0.005020026,0.3483906,0.002873362,0.000020173195],"about_ca_topic_score_codex":0.00203192,"about_ca_topic_score_gemma":0.0020435718,"teacher_disagreement_score":0.0029152094,"about_ca_system_score_codex":0.00053459196,"about_ca_system_score_gemma":0.0009339605,"threshold_uncertainty_score":0.009752333},"labels":[],"label_agreement":null},{"id":"W2087111390","doi":"10.1007/s10626-012-0138-y","title":"Methods for the estimation of the size of lookahead tree state-space","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Tree (set theory); State space; State (computer science); Estimation; Computer science; Space (punctuation); Mathematics; Algorithm; Statistics; Combinatorics; Engineering","score_opus":0.02138148781266268,"score_gpt":0.3420575111813494,"score_spread":0.3206760233686867,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2087111390","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.0025332323,0.0001417586,0.99642295,0.000039443443,0.000017814906,0.00003228537,0.00007824115,0.0005131009,0.00022113015],"genre_scores_gemma":[0.20026961,0.0004156264,0.79627407,0.000086091495,0.00011105743,0.0005273822,0.0006283628,0.0004432809,0.0012444509],"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9976547,0.0007162652,0.00021432147,0.0005038781,0.0007375125,0.00017330395],"domain_scores_gemma":[0.9647583,0.029245064,0.0018988783,0.0017669547,0.0018666695,0.0004641034],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00402184,0.0016456563,0.0021700654,0.0028333701,0.00067241595,0.001934272,0.00317607,0.0016920392,0.004505359],"category_scores_gemma":[0.028097494,0.0010540908,0.0013604454,0.0019826472,0.0010850049,0.0032382403,0.0023502603,0.0029621134,0.00072319125],"study_design_candidate":"theoretical_or_conceptual","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.0005645658,0.00019779323,0.0029284107,0.00047676417,0.0002462309,0.000083949555,0.00018664176,0.6874122,0.006181781,0.03421043,0.0017893054,0.26572195],"study_design_scores_gemma":[0.000013577994,0.000017523436,0.00020066448,0.000016845697,0.000012640944,0.000013057531,0.000007894275,0.9875354,0.0009253527,0.011012109,0.00023152378,0.000013393213],"about_ca_topic_score_codex":0.0054506473,"about_ca_topic_score_gemma":0.0062974077,"teacher_disagreement_score":0.0054506473,"about_ca_system_score_codex":0.0016159044,"about_ca_system_score_gemma":0.0023471855,"threshold_uncertainty_score":0.021269739},"labels":[],"label_agreement":null},{"id":"W2091559615","doi":"10.1023/b:disc.0000005010.55515.27","title":"On the Computation of Observers in Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":85,"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 Toronto","funders":"","keywords":"Observer (physics); Automaton; Supervisor; Equivalence (formal languages); Computation; Event (particle physics); Mathematics; Supervisory control; Computer science; Hierarchy; Supervisory control theory; Theoretical computer science; Blocking (statistics); Algorithm; Property (philosophy); Control (management); Artificial intelligence; Discrete mathematics","score_opus":0.020320978854881846,"score_gpt":0.2727381858779031,"score_spread":0.2524172070230213,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2091559615","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.013788347,0.00022751391,0.9826063,0.00020029244,0.00007304658,0.00004797223,0.000054566277,0.00056882517,0.0024331878],"genre_scores_gemma":[0.70994526,0.0005264669,0.28402796,0.00016326534,0.0001157198,0.0002475101,0.00038301354,0.000280336,0.0043104743],"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9975344,0.0008836851,0.00018575176,0.0004282376,0.00067367667,0.00029429447],"domain_scores_gemma":[0.98015904,0.016578455,0.00059260434,0.0014725114,0.00087604555,0.000321204],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0035020607,0.0013192758,0.001782046,0.00083565386,0.0011245143,0.0033800527,0.002602361,0.0015033224,0.0036706007],"category_scores_gemma":[0.019649206,0.00094030175,0.0014107729,0.0009088737,0.0032996093,0.0050062397,0.0027785616,0.0025393472,0.00042668756],"study_design_candidate":"theoretical_or_conceptual","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.0006878555,0.000088535126,0.0013147944,0.00029087707,0.00008984312,0.0002270822,0.00050765625,0.55836606,0.002458187,0.38469905,0.0017424842,0.049527537],"study_design_scores_gemma":[0.00003993667,0.00002539505,0.000095722724,0.000022098664,0.000024364906,0.000014472533,0.000027552032,0.8300348,0.0013076641,0.16743457,0.000961311,0.000012185096],"about_ca_topic_score_codex":0.0058583356,"about_ca_topic_score_gemma":0.0052775503,"teacher_disagreement_score":0.0058583356,"about_ca_system_score_codex":0.0015516409,"about_ca_system_score_gemma":0.0015781176,"threshold_uncertainty_score":0.018520892},"labels":[],"label_agreement":null},{"id":"W2093645787","doi":"10.1007/s10626-014-0193-7","title":"Enforcing opacity of regular predicates on modal transition systems","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Opacity; Sigma; Predicate (mathematical logic); Modal; Lift (data mining); Controller (irrigation); Mathematics; Discrete mathematics; Combinatorics; Algorithm; Computer science; Physics; Programming language","score_opus":0.008616318623974216,"score_gpt":0.2355877878856722,"score_spread":0.22697146926169798,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2093645787","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.15883937,0.00015108887,0.830922,0.00063050166,0.00015423524,0.00017420182,0.00020340829,0.0026814353,0.0062437286],"genre_scores_gemma":[0.94612414,0.000103024104,0.05173327,0.00019408371,0.000104912106,0.000069692454,0.00013747183,0.0002884141,0.0012450201],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9888837,0.002519685,0.0008458728,0.001522696,0.0038256866,0.0024024646],"domain_scores_gemma":[0.9317643,0.043937158,0.0046397904,0.01361309,0.0039269705,0.0021186953],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008845143,0.0008972701,0.0017685756,0.0015322763,0.0016927304,0.004169674,0.0028853004,0.0017421716,0.002217128],"category_scores_gemma":[0.05021325,0.001581561,0.0023635128,0.00094582135,0.005448138,0.008747025,0.010172361,0.0063944138,0.00026080263],"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.0017920595,0.0003180554,0.0070348824,0.0003333788,0.0002059162,0.001485588,0.0027305481,0.12268466,0.03255042,0.7783328,0.0016921856,0.050839525],"study_design_scores_gemma":[0.00015035314,0.00013234813,0.0007282893,0.000066604756,0.00014343187,0.0001606886,0.00024481417,0.39744997,0.021350592,0.57690567,0.0026087377,0.000058457717],"about_ca_topic_score_codex":0.004588165,"about_ca_topic_score_gemma":0.0039865053,"teacher_disagreement_score":0.008845143,"about_ca_system_score_codex":0.002294355,"about_ca_system_score_gemma":0.0031050842,"threshold_uncertainty_score":0.046778083},"labels":[],"label_agreement":null},{"id":"W2097523314","doi":"10.1007/s10626-008-0054-3","title":"On the Computation of Natural Observers in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":53,"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 Toronto","funders":"","keywords":"Observer (physics); Projection (relational algebra); Extension (predicate logic); Property (philosophy); Computation; Mathematics; Algorithm; Computational complexity theory; Computer science; Control theory (sociology); Control (management); Artificial intelligence","score_opus":0.021369411764692977,"score_gpt":0.26751890780485715,"score_spread":0.24614949604016417,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2097523314","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.029734775,0.00011476722,0.96591747,0.00021273895,0.00006132487,0.00006548538,0.00006365574,0.00058261707,0.0032471549],"genre_scores_gemma":[0.7171558,0.00019395952,0.2781238,0.00014015299,0.00005625574,0.00021712661,0.0002808816,0.00018257582,0.0036495184],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99784315,0.0008466181,0.00015627709,0.00037686492,0.0005521594,0.00022489911],"domain_scores_gemma":[0.9842815,0.012906382,0.0004689384,0.0013202446,0.0007607834,0.0002620278],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003317939,0.0007411805,0.001007858,0.0006519843,0.0010285175,0.0024109741,0.0020230995,0.0010043618,0.003377808],"category_scores_gemma":[0.016730232,0.0005969125,0.0012574436,0.00057575613,0.0033058096,0.004662194,0.0027372949,0.0018489249,0.0002768536],"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.00058247166,0.000094657844,0.0018352877,0.00024673282,0.000054134714,0.00022610708,0.0007335318,0.25951034,0.0027106183,0.6879561,0.0016087528,0.044441234],"study_design_scores_gemma":[0.000042584772,0.000033605884,0.00014488511,0.000022107757,0.000021998832,0.000024382463,0.000050582436,0.6695285,0.00162136,0.32717037,0.0013235647,0.000016061724],"about_ca_topic_score_codex":0.0041449955,"about_ca_topic_score_gemma":0.0051341597,"teacher_disagreement_score":0.0041449955,"about_ca_system_score_codex":0.0013907148,"about_ca_system_score_gemma":0.0013021915,"threshold_uncertainty_score":0.01754713},"labels":[],"label_agreement":null},{"id":"W2098906570","doi":"10.1007/s10626-005-4058-y","title":"Multitasking Supervisory Control of Discrete-Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":64,"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 Toronto","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Supervisory control; Supervisory control theory; Liveness; Human multitasking; Automaton; Computer science; Event (particle physics); Control (management); Generator (circuit theory); Controller (irrigation); Control engineering; Distributed computing; Engineering; Theoretical computer science; Artificial intelligence","score_opus":0.01568633172866216,"score_gpt":0.2610896481615611,"score_spread":0.24540331643289895,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2098906570","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.10117758,0.0002636513,0.89298534,0.00012852084,0.00016697324,0.000047064685,0.00004336352,0.0009830517,0.004204466],"genre_scores_gemma":[0.97738975,0.00008855421,0.020816615,0.000021360154,0.000036445275,0.000056400248,0.000032386422,0.00002596197,0.0015324615],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9995999,0.00009884025,0.000032943124,0.000102469705,0.00010663459,0.00005935516],"domain_scores_gemma":[0.99867225,0.00073606917,0.00015073158,0.00014744025,0.00019129836,0.000102233535],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00079456944,0.00044688286,0.0005803121,0.0002944713,0.0003858465,0.00082591485,0.0007420467,0.000304451,0.0016392877],"category_scores_gemma":[0.0018546989,0.00019257203,0.00027204514,0.0002080544,0.0004769219,0.0005803248,0.00079119066,0.00075725577,0.00017546829],"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.00082498335,0.0002770129,0.0012017835,0.0002530389,0.000078512516,0.00044308056,0.00048443998,0.7440914,0.047666274,0.045667626,0.0019157578,0.15709609],"study_design_scores_gemma":[0.00004111026,0.00006662012,0.00027772022,0.000007881353,0.000011133426,0.000027089245,0.00001584094,0.98263633,0.004827373,0.011209255,0.0008720323,0.000007635409],"about_ca_topic_score_codex":0.0012031215,"about_ca_topic_score_gemma":0.001649637,"teacher_disagreement_score":0.0016392877,"about_ca_system_score_codex":0.000281649,"about_ca_system_score_gemma":0.0006709369,"threshold_uncertainty_score":0.0054839253},"labels":[],"label_agreement":null},{"id":"W2104923402","doi":"10.1007/s10626-006-6178-4","title":"Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"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 Toronto; University of Waterloo","funders":"","keywords":"Consistency (knowledge bases); Scalability; Computation; Computer science; Event (particle physics); Fault (geology); Algorithm; Computational complexity theory; Local consistency; Distributed computing; Mathematics; Theoretical computer science; Artificial intelligence","score_opus":0.01537455306363327,"score_gpt":0.2859732222513008,"score_spread":0.2705986691876675,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2104923402","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.05664009,0.00017407701,0.94114894,0.00015632357,0.00004342249,0.00006600441,0.00010666596,0.00078358676,0.00088089897],"genre_scores_gemma":[0.9155674,0.00009619984,0.08332979,0.00006368075,0.00002992398,0.000053814078,0.00019242619,0.000043503067,0.00062336784],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99834895,0.00030325234,0.00012742264,0.0003531163,0.0006388454,0.00022837201],"domain_scores_gemma":[0.9933276,0.0037043283,0.0008243578,0.0010998945,0.00084397243,0.00019978713],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0024521484,0.0006236563,0.0015007799,0.0013435762,0.00061272044,0.0012256608,0.0013543249,0.00082812965,0.001102221],"category_scores_gemma":[0.009403888,0.00048095259,0.0008512261,0.0008530571,0.0013160369,0.002242311,0.0017083244,0.001181691,0.00013683984],"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.00107743,0.0001609435,0.00864512,0.00039060463,0.00026121517,0.0005981995,0.0003701667,0.7885418,0.01444186,0.07672667,0.0012725046,0.10751343],"study_design_scores_gemma":[0.00004710215,0.000057760644,0.0009301679,0.000012560542,0.000058225545,0.000054553173,0.000034050063,0.9492728,0.0045924317,0.044654608,0.00027378698,0.000011887161],"about_ca_topic_score_codex":0.0040117716,"about_ca_topic_score_gemma":0.0045537073,"teacher_disagreement_score":0.0040117716,"about_ca_system_score_codex":0.0012339072,"about_ca_system_score_gemma":0.0015935032,"threshold_uncertainty_score":0.012968361},"labels":[],"label_agreement":null},{"id":"W2163358872","doi":"10.1007/s10626-010-0089-0","title":"Conceptual Design of Discrete-Event Systems Using Templates","year":2010,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Usability; Software engineering; Software; Event (particle physics); Systems engineering; Human–computer interaction; Programming language; Engineering","score_opus":0.030740102878598834,"score_gpt":0.29232436500172165,"score_spread":0.2615842621231228,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2163358872","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.0013411379,0.000033992827,0.9962838,0.00004142677,0.000022145727,0.00011573482,0.00007004345,0.0008543233,0.0012373772],"genre_scores_gemma":[0.0751704,0.0002843565,0.92064553,0.0000830868,0.000021738455,0.0005785157,0.00053115847,0.00036950278,0.002315659],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99747723,0.00078029704,0.00041509376,0.00038946487,0.0007699225,0.00016801513],"domain_scores_gemma":[0.9966832,0.0014805436,0.0002688648,0.00091912353,0.0005125093,0.00013568973],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0038579958,0.0010371623,0.00092512654,0.00079297123,0.00056143536,0.0039613955,0.0032709795,0.0014001869,0.00513052],"category_scores_gemma":[0.0076179253,0.0011868451,0.0024276807,0.00074797735,0.0014097798,0.0032545743,0.0016894733,0.0020004371,0.0018755775],"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.00015622778,0.00011931768,0.0008512198,0.00064644107,0.00013879094,0.00061668246,0.0010310906,0.12825029,0.009034913,0.7573106,0.0030832186,0.09876113],"study_design_scores_gemma":[0.000121741636,0.000140695,0.00014636065,0.00024751684,0.00013737724,0.00037953502,0.00020773889,0.61284655,0.028833352,0.291794,0.06507966,0.00006536919],"about_ca_topic_score_codex":0.0017998283,"about_ca_topic_score_gemma":0.0018261994,"teacher_disagreement_score":0.00513052,"about_ca_system_score_codex":0.00095992105,"about_ca_system_score_gemma":0.0019966853,"threshold_uncertainty_score":0.020403326},"labels":[],"label_agreement":null},{"id":"W2178951833","doi":"10.1007/s10626-015-0212-3","title":"Minimal sensor activation and minimal communication in discrete-event systems","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Event (particle physics); Discrete event dynamic system; Computer science; State (computer science); Real-time computing; Distributed computing; Discrete system; Control theory (sociology); Artificial intelligence; Algorithm; Control (management)","score_opus":0.026686252657598008,"score_gpt":0.28976875628386145,"score_spread":0.26308250362626345,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2178951833","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.05575153,0.00019970383,0.93361205,0.00038680737,0.00004576935,0.00006240549,0.0001357659,0.00035675714,0.009449144],"genre_scores_gemma":[0.9054366,0.00016725066,0.08952577,0.0001016153,0.000044142766,0.00018032151,0.00014801897,0.00009627645,0.004299998],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9977985,0.00055692333,0.00015328104,0.00049769116,0.00065520295,0.00033836043],"domain_scores_gemma":[0.99387157,0.004183702,0.00043611208,0.00063737563,0.00052858994,0.0003426475],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014319767,0.0007828294,0.0013595128,0.0005735598,0.0008885708,0.0017548726,0.0019585544,0.0009848182,0.002767192],"category_scores_gemma":[0.005687859,0.00063566124,0.0009812934,0.00051402044,0.0022056869,0.002842987,0.002200398,0.0021079478,0.00035167288],"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.00035200658,0.00010418748,0.0006102303,0.0002036296,0.000062295476,0.00026901704,0.00035302114,0.22799315,0.008885008,0.73978007,0.00072022015,0.020667307],"study_design_scores_gemma":[0.000045281206,0.000068565925,0.00019025305,0.000018509614,0.000030061152,0.00007369617,0.000054221397,0.36651048,0.0045912005,0.62708783,0.0013060303,0.000023876133],"about_ca_topic_score_codex":0.0013153852,"about_ca_topic_score_gemma":0.0015888104,"teacher_disagreement_score":0.002767192,"about_ca_system_score_codex":0.00090981845,"about_ca_system_score_gemma":0.0014424084,"threshold_uncertainty_score":0.009257197},"labels":[],"label_agreement":null},{"id":"W2603469395","doi":"10.1007/s10626-017-0243-z","title":"Augmented finite transition systems as abstractions for control synthesis","year":2017,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":47,"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 Waterloo","funders":"Defense Advanced Research Projects Agency; National Science Foundation","keywords":"Realizability; Liveness; Preorder; Transition system; Abstraction; Computer science; Representation (politics); Class (philosophy); Temporal logic; Theoretical computer science; Mathematics; Algorithm; Discrete mathematics","score_opus":0.020220997884108624,"score_gpt":0.3220518371624749,"score_spread":0.30183083927836624,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2603469395","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.006154663,0.00020740178,0.99124616,0.000025221329,0.00004154453,0.000033045104,0.000052833737,0.0005528457,0.0016862876],"genre_scores_gemma":[0.50589687,0.0006082047,0.48844066,0.0000650853,0.00004828539,0.00024368789,0.0002639606,0.00019696813,0.0042363857],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9987903,0.00043623714,0.00009441667,0.00020042695,0.0003557925,0.00012284367],"domain_scores_gemma":[0.997962,0.0012103654,0.00015863078,0.00048364684,0.0001389778,0.0000465043],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013364167,0.0007645182,0.0008288256,0.0007479432,0.00040288753,0.0018207906,0.0011845981,0.0007951144,0.0035312388],"category_scores_gemma":[0.0030277285,0.0006127873,0.0013968905,0.0006588733,0.001520927,0.0017571888,0.0015685181,0.0021032249,0.00061834615],"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.0002460972,0.00006106787,0.00041475167,0.00041226455,0.00010428472,0.00026070545,0.00042969867,0.4149927,0.01521193,0.5015217,0.0007277443,0.065617],"study_design_scores_gemma":[0.000049202063,0.00010624617,0.00011893095,0.000093957766,0.00009451586,0.000065783155,0.000047697376,0.72138107,0.008325463,0.25918832,0.010502494,0.00002628215],"about_ca_topic_score_codex":0.0012608267,"about_ca_topic_score_gemma":0.0016398411,"teacher_disagreement_score":0.0035312388,"about_ca_system_score_codex":0.0006879538,"about_ca_system_score_gemma":0.0010672585,"threshold_uncertainty_score":0.011813223},"labels":[],"label_agreement":null},{"id":"W2966410070","doi":"10.1007/s10626-019-00282-0","title":"A controller synthesis framework for automated service composition","year":2019,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","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":"Queen's University","funders":"","keywords":"Web service; Computer science; WS-Policy; Supervisor; Service-oriented architecture; Web modeling; Service (business); Services computing; Task (project management); Business Process Execution Language; Supervisory control; Software engineering; Distributed computing; World Wide Web; Web development; Control (management); Web application security; Engineering; Artificial intelligence; Systems engineering","score_opus":0.0053150001246636425,"score_gpt":0.2540139106544575,"score_spread":0.24869891052979384,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2966410070","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.000658616,0.00003719976,0.9956456,0.000024730543,0.00002291898,0.00005499897,0.00004424407,0.002500311,0.0010113134],"genre_scores_gemma":[0.119017854,0.00015563518,0.87617975,0.000109547414,0.0000597007,0.00037636087,0.00035777164,0.0005610799,0.0031823344],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9990959,0.00013259037,0.000064604974,0.00020041621,0.00040375433,0.00010278429],"domain_scores_gemma":[0.99923885,0.0003573214,0.000051160234,0.0001398805,0.00017336274,0.000039546878],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0011528137,0.0013300261,0.0012816595,0.0010034436,0.0009264541,0.0016394273,0.0018402867,0.0013246534,0.007867199],"category_scores_gemma":[0.002047134,0.0009267507,0.0016301381,0.00056479825,0.0008433946,0.00092757057,0.0012923016,0.0018172675,0.002316954],"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.00028159612,0.00027129368,0.0002919302,0.0003874684,0.00015189334,0.00044059026,0.00016970998,0.5350133,0.043807667,0.109811835,0.0073853405,0.30198738],"study_design_scores_gemma":[0.00006789481,0.00005277245,0.000036709098,0.000027754098,0.000038051192,0.000059852704,0.000013845052,0.9558365,0.00819857,0.028611396,0.007035733,0.00002086969],"about_ca_topic_score_codex":0.005410012,"about_ca_topic_score_gemma":0.0077401805,"teacher_disagreement_score":0.007867199,"about_ca_system_score_codex":0.0008533526,"about_ca_system_score_gemma":0.0022599334,"threshold_uncertainty_score":0.026318371},"labels":[],"label_agreement":null},{"id":"W3011527454","doi":"10.1007/s10626-019-00306-9","title":"Arborescent architecture for decentralized diagnosis of discrete event systems","year":2020,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Medical diagnosis; Inference; Computer science; Event (particle physics); Fault (geology); Decision tree; Fault tree analysis; Architecture; Artificial intelligence; Machine learning; Engineering; Medicine; Reliability engineering","score_opus":0.017450328585175433,"score_gpt":0.27475329119569775,"score_spread":0.2573029626105223,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3011527454","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.025844207,0.00009196388,0.9705916,0.00008409595,0.000017758643,0.000060196235,0.000079054196,0.0016092288,0.0016219531],"genre_scores_gemma":[0.6592978,0.00015294143,0.3370296,0.00007908102,0.00002287023,0.00012508921,0.00037710805,0.00010711127,0.0028084517],"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9994343,0.00015047933,0.000046622372,0.00015615592,0.00015234071,0.000060102622],"domain_scores_gemma":[0.9985393,0.0006042949,0.00015234691,0.00030433678,0.00031722858,0.000082423525],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009973951,0.00041654336,0.0004549005,0.0008453642,0.0004477811,0.0007676807,0.0011939558,0.00050429726,0.0027245304],"category_scores_gemma":[0.0025235417,0.00030288156,0.00039459145,0.00048997457,0.0006008074,0.0014737626,0.0012340301,0.00082767446,0.00040113082],"study_design_candidate":"theoretical_or_conceptual","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.00076296856,0.00025302786,0.004418034,0.00031441482,0.000117921525,0.0006735226,0.00038138137,0.5240673,0.036973074,0.18555091,0.003549457,0.24293803],"study_design_scores_gemma":[0.000018522775,0.0000615962,0.00023567512,0.000010140142,0.000016043676,0.00005131152,0.000016571816,0.96743035,0.0040307418,0.026852598,0.0012686142,0.000007853829],"about_ca_topic_score_codex":0.0032349422,"about_ca_topic_score_gemma":0.005898781,"teacher_disagreement_score":0.0032349422,"about_ca_system_score_codex":0.0007744074,"about_ca_system_score_gemma":0.0012106391,"threshold_uncertainty_score":0.009114444},"labels":[],"label_agreement":null},{"id":"W3158571805","doi":"10.1007/s10626-020-00337-7","title":"A receding horizon event-driven control strategy for intelligent traffic management","year":2021,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Concordia University","funders":"Università della Calabria","keywords":"Benchmark (surveying); Model predictive control; Controller (irrigation); Event (particle physics); Horizon; Control (management); Set (abstract data type); Computer science; Control theory (sociology); Engineering; Control engineering; Real-time computing; Artificial intelligence; Mathematics","score_opus":0.023301001222893736,"score_gpt":0.29166162837212184,"score_spread":0.2683606271492281,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3158571805","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.017223464,0.000064187996,0.977849,0.00007587735,0.000034249697,0.000044495533,0.00002490084,0.00022789741,0.0044559427],"genre_scores_gemma":[0.9625704,0.000055617347,0.035315633,0.00004601887,0.000013286719,0.000056979567,0.000034214147,0.000012698023,0.0018950203],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9998141,0.00004590299,0.000008528921,0.000041336985,0.00006669915,0.000023419254],"domain_scores_gemma":[0.9998356,0.00006203355,0.000030118748,0.000015560448,0.000043193504,0.000013481247],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000321795,0.00042726146,0.0003236703,0.00022151164,0.00023187957,0.0004924435,0.00070358213,0.00035394725,0.0015081213],"category_scores_gemma":[0.00045466074,0.00015124155,0.00025292693,0.00014216102,0.000350088,0.00039451206,0.00046318537,0.0004974045,0.00014937021],"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.000058390015,0.000054341977,0.00012676697,0.00005186327,0.000022083486,0.00010970557,0.00004684205,0.94915307,0.007543561,0.018388297,0.0004454404,0.023999704],"study_design_scores_gemma":[0.0000069442826,0.0000355322,0.000037522932,0.0000022294885,0.0000041173184,0.000008295737,0.0000041928356,0.99674594,0.00088873686,0.0018653026,0.00039823525,0.0000029911998],"about_ca_topic_score_codex":0.0033464024,"about_ca_topic_score_gemma":0.0035635212,"teacher_disagreement_score":0.0033464024,"about_ca_system_score_codex":0.0004031457,"about_ca_system_score_gemma":0.0006016343,"threshold_uncertainty_score":0.0066538453},"labels":[],"label_agreement":null},{"id":"W3189479682","doi":"10.1007/s10626-023-00381-z","title":"Do what you know: coupling knowledge with action in discrete-event systems","year":2023,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Formalism (music); Novelty; Inference; Computer science; Event (particle physics); Theoretical computer science; Binary number; Mathematics; Artificial intelligence; Psychology; Physics","score_opus":0.02526314545497558,"score_gpt":0.3087296647393855,"score_spread":0.2834665192844099,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3189479682","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.076629385,0.0010923134,0.8856604,0.010271859,0.00032715427,0.00015761069,0.0001819159,0.0006250489,0.025054246],"genre_scores_gemma":[0.87688386,0.0005903569,0.117914245,0.00079526677,0.00008950771,0.00010452233,0.00014121977,0.00006945247,0.00341148],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99770516,0.0010525516,0.000121290075,0.0004907711,0.00045755104,0.00017270654],"domain_scores_gemma":[0.9834383,0.012826059,0.00068824406,0.0015194305,0.0008162055,0.00071172015],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0043164887,0.00064698374,0.00071408006,0.00078278536,0.0009352165,0.0034312294,0.0017669769,0.0027331337,0.0040346617],"category_scores_gemma":[0.029714555,0.00063007645,0.00061602436,0.0008793787,0.0035230117,0.014690921,0.0034431035,0.0023982602,0.0006150986],"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.00074723177,0.0006378905,0.010071808,0.00069529004,0.00034956762,0.00084541977,0.0064113503,0.1545841,0.0031970304,0.49006698,0.0053461688,0.3270471],"study_design_scores_gemma":[0.000065827,0.0001157457,0.001395974,0.00016765903,0.0001116063,0.00014992825,0.0009063307,0.2112381,0.0027884487,0.7758286,0.0071422355,0.000089627996],"about_ca_topic_score_codex":0.005070608,"about_ca_topic_score_gemma":0.003230666,"teacher_disagreement_score":0.005070608,"about_ca_system_score_codex":0.0008559781,"about_ca_system_score_gemma":0.0014104344,"threshold_uncertainty_score":0.022828102},"labels":[],"label_agreement":null},{"id":"W3207178583","doi":"10.1007/s10626-022-00365-5","title":"Using Subobservers to Synthesize Opacity-Enforcing Supervisors","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Opacity; Computer science; Business; Physics; Optics","score_opus":0.03919351297862473,"score_gpt":0.28784614505925554,"score_spread":0.24865263208063082,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3207178583","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.03113365,0.000036137342,0.96342933,0.00007672005,0.000060535753,0.00009519397,0.000043715514,0.0024167723,0.0027079808],"genre_scores_gemma":[0.64511317,0.000056984583,0.35122004,0.000078586396,0.00003088198,0.00017702018,0.00015901556,0.00057633955,0.0025878542],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9980336,0.0005453775,0.00015485301,0.0003951487,0.00062514807,0.00024591468],"domain_scores_gemma":[0.9913701,0.004724037,0.0006910088,0.0017426276,0.0011531946,0.00031906975],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0029405092,0.00053634617,0.0005926998,0.00057048345,0.0007894348,0.001326453,0.0013823247,0.000817803,0.0031172466],"category_scores_gemma":[0.010179829,0.000726937,0.00087396335,0.0002828519,0.0015384268,0.0014175153,0.0025972878,0.0018018872,0.00045989602],"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.00083164644,0.00054852007,0.005729715,0.00052305125,0.00011293398,0.0012981618,0.0028287668,0.36930656,0.09521106,0.28800675,0.003805745,0.23179717],"study_design_scores_gemma":[0.000116297255,0.00015742988,0.00030224328,0.000075982105,0.000082648345,0.000075395554,0.00016639775,0.8106371,0.06626088,0.11574553,0.0063402806,0.00003986434],"about_ca_topic_score_codex":0.0020280713,"about_ca_topic_score_gemma":0.004341168,"teacher_disagreement_score":0.0031172466,"about_ca_system_score_codex":0.00078421633,"about_ca_system_score_gemma":0.0018691603,"threshold_uncertainty_score":0.01555109},"labels":[],"label_agreement":null},{"id":"W4283256992","doi":"10.1007/s10626-022-00363-7","title":"Epistemic interpretations of decentralized discrete-event system problems","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","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":"Queen's University","funders":"","keywords":"Observability; Event (particle physics); Supervisory control; Set (abstract data type); Control (management); Epistemology; Mathematics; Computer science; Theoretical computer science; Algebra over a field; Pure mathematics; Artificial intelligence; Applied mathematics; Philosophy; Physics; Programming language","score_opus":0.010529904656038988,"score_gpt":0.26200311821372246,"score_spread":0.2514732135576835,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4283256992","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.033152178,0.00047847166,0.8981541,0.0039218697,0.00015957376,0.0000983082,0.00028095095,0.00016748565,0.06358709],"genre_scores_gemma":[0.90463364,0.000581531,0.08229706,0.00035797548,0.00035899942,0.00027115474,0.00037955883,0.00006555733,0.011054571],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99654216,0.0018115412,0.00024058233,0.00039241265,0.000718915,0.0002943853],"domain_scores_gemma":[0.9903454,0.0073637175,0.0006398245,0.000662574,0.0006341145,0.00035432968],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0043242057,0.0008953166,0.0010947405,0.0012758408,0.0014670576,0.0049301824,0.0015683426,0.0021681169,0.0065639196],"category_scores_gemma":[0.012475481,0.00069283776,0.0014469147,0.0012732217,0.0032774128,0.0063475743,0.0032566832,0.003812871,0.00035069895],"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.000019455272,0.000015827103,0.00007069403,0.000035084373,0.000012137155,0.00007532392,0.00015665352,0.021811545,0.00008827851,0.9754132,0.00041550974,0.0018862768],"study_design_scores_gemma":[0.000019606869,0.0000050834888,0.000031957967,0.000012456502,0.0000082523475,0.00001752853,0.000067001565,0.060378384,0.00009973146,0.9380349,0.0013197368,0.0000054326133],"about_ca_topic_score_codex":0.0013093855,"about_ca_topic_score_gemma":0.0018772295,"teacher_disagreement_score":0.0065639196,"about_ca_system_score_codex":0.0023686793,"about_ca_system_score_gemma":0.0015481153,"threshold_uncertainty_score":0.022868872},"labels":[],"label_agreement":null}]}