{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":36,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":36,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"query_hash":"0f9ad4425e23","filters":{"venue":"Discrete Event Dynamic Systems"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01828708053069561,"gpt":0.277910279274752,"spread":0.2596231987440564,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002405716,0.000592309,0.0008401648,0.0003615555,0.00044203,0.0006962602,0.001493679,0.0002735016,0.00000471134],"category_scores_gemma":[0.0001715852,0.0005351235,0.0004288771,0.0007481046,0.00006229142,0.0009207524,0.0001807457,0.0002428854,0.00008137436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000764799,"about_ca_system_score_gemma":0.000216111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002660902,"about_ca_topic_score_gemma":0.00001271863,"domain_scores_codex":[0.9942957,0.0007298083,0.001512544,0.001364026,0.001026319,0.001071667],"domain_scores_gemma":[0.9967177,0.0001940377,0.0005949515,0.001872122,0.0002999509,0.0003212372],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007573957,0.0002923933,0.0006148604,0.002699109,0.0006165209,0.0000488719,0.003560816,0.4521903,0.007394471,0.5255723,0.004249715,0.002684959],"study_design_scores_gemma":[0.0009604737,0.0001826359,0.00003269199,0.0007131331,0.00004572736,0.0004519274,0.001658235,0.9815032,0.0001187351,0.0006604638,0.01290397,0.0007687487],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01954826,0.004771663,0.9566953,0.0002165914,0.01427565,0.002730626,0.000100436,0.0004915818,0.001169924],"genre_scores_gemma":[0.9907442,0.00005458797,0.003713364,0.00001673978,0.0003409933,0.001123941,0.00008141365,0.00009140448,0.003833356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9711959,"threshold_uncertainty_score":0.99971,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02825970214907624,"gpt":0.2387633250202957,"spread":0.2105036228712195,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001243393,0.0005420216,0.001021661,0.0005482115,0.0002624861,0.0003336728,0.00196992,0.0001173355,0.00001675123],"category_scores_gemma":[0.0001100431,0.0004810521,0.0003865664,0.0006879893,0.0001043411,0.0005492037,0.0001528308,0.0002860107,0.0001588463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003517674,"about_ca_system_score_gemma":0.00006605681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002089217,"about_ca_topic_score_gemma":0.000004335109,"domain_scores_codex":[0.9943362,0.0008321758,0.001622279,0.001004045,0.001431167,0.0007740785],"domain_scores_gemma":[0.9959188,0.000517261,0.0007581293,0.002305773,0.0002456392,0.0002544081],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002363217,0.0001773289,0.0005693185,0.0008849525,0.0001712227,0.0000536128,0.000495703,0.9685553,0.001006707,0.02688516,0.0005470069,0.0006300657],"study_design_scores_gemma":[0.001331062,0.0001721226,0.00008673088,0.0009991594,0.0000367392,0.00007964727,0.0001846027,0.9956156,0.00001751428,0.00007376794,0.0008891365,0.0005139099],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008183829,0.002033374,0.9810448,0.0003220384,0.002768099,0.001642791,0.0004956814,0.0003797375,0.003129677],"genre_scores_gemma":[0.9974483,0.00001655117,0.001218292,0.00007225944,0.0001304681,0.0003645681,0.000062834,0.00006370617,0.0006229773],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9892645,"threshold_uncertainty_score":0.9997641,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02032097885488185,"gpt":0.2727381858779031,"spread":0.2524172070230213,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002640563,0.0003615943,0.000607948,0.000298654,0.0001401053,0.000211038,0.001234288,0.0001400134,0.000002252022],"category_scores_gemma":[0.0002033451,0.0002623814,0.00020365,0.000962051,0.00006518791,0.0003391818,0.0001417438,0.0002623704,0.00003437873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005305891,"about_ca_system_score_gemma":0.0001338006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005954793,"about_ca_topic_score_gemma":0.0000456489,"domain_scores_codex":[0.9950177,0.001353115,0.001313784,0.0006933152,0.001076922,0.0005451345],"domain_scores_gemma":[0.9973823,0.0005360492,0.0006977774,0.001145943,0.0001276839,0.0001102897],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009184751,0.00005441051,0.0009052824,0.0002270022,0.00004973745,0.00001617193,0.0007442637,0.7256803,0.0001788625,0.2718776,0.0001214187,0.0001357801],"study_design_scores_gemma":[0.0005311909,0.0001072831,0.0005565416,0.001418893,0.00001028386,0.00003654926,0.001254834,0.9945461,0.00003219399,0.001026621,0.0001699663,0.000309567],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.247876,0.001276545,0.7444305,0.0001797483,0.003383722,0.001301832,0.00002401861,0.0001034846,0.001424118],"genre_scores_gemma":[0.9990917,0.00001611019,0.000308912,0.00002517902,0.00002997087,0.0001590102,0.00001372822,0.00003285239,0.0003225096],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7512158,"threshold_uncertainty_score":0.9999828,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.08963847491027477,"gpt":0.3662721539646049,"spread":0.2766336790543302,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008264406,0.000170924,0.0002685845,0.0001866307,0.0002113935,0.0002004428,0.0005999189,0.00009857515,0.0006022697],"category_scores_gemma":[0.00007427912,0.0001271177,0.0001755545,0.0005293689,0.00004999662,0.0002899513,0.0000992729,0.0001089775,0.0012414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007524594,"about_ca_system_score_gemma":0.00001494566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007306173,"about_ca_topic_score_gemma":0.000005230974,"domain_scores_codex":[0.9969857,0.0001333989,0.0008214116,0.0005171146,0.00128133,0.0002609854],"domain_scores_gemma":[0.9981459,0.0003732555,0.0002842679,0.000840753,0.0002158828,0.00013997],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001650235,0.0003104152,0.001419636,0.00002757292,0.00004105896,0.00001400322,0.001148902,0.7890783,0.001700108,0.07563698,0.1165486,0.01405795],"study_design_scores_gemma":[0.0001815718,0.00002090253,0.0001801812,0.00001873207,0.000006320387,0.000009373868,0.0002701567,0.9693887,0.00002566913,0.01503888,0.01468831,0.0001712509],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2075524,0.002113786,0.7001487,0.001945694,0.001404652,0.001882051,0.0003200522,0.0006361237,0.08399656],"genre_scores_gemma":[0.9679666,0.00001251602,0.0005724567,0.00008532558,0.00005743253,0.0001038079,0.00002689627,0.00001920688,0.03115573],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7604143,"threshold_uncertainty_score":0.9995363,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01568633172866216,"gpt":0.2610896481615611,"spread":0.2454033164328989,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002144481,0.0006025455,0.001185002,0.0004409302,0.0002289006,0.0003439992,0.002341574,0.0002584613,0.000007195027],"category_scores_gemma":[0.000105936,0.0005357732,0.0004457476,0.0006366764,0.00009760897,0.001023526,0.0004053482,0.0003258056,0.0001116927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006354647,"about_ca_system_score_gemma":0.0001652919,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006703609,"about_ca_topic_score_gemma":0.00005568593,"domain_scores_codex":[0.9935895,0.0007560835,0.002108363,0.001097875,0.001461655,0.0009865733],"domain_scores_gemma":[0.9960907,0.0003587446,0.0009437183,0.002011682,0.0002911202,0.0003040333],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004161329,0.0001795524,0.002867967,0.00105011,0.0004353333,0.00004832777,0.002528802,0.9513845,0.005306453,0.03189851,0.0002960339,0.003962731],"study_design_scores_gemma":[0.001382494,0.0000969777,0.000320332,0.001266589,0.00004842832,0.000130204,0.000798628,0.9928982,0.00006505364,0.00003879543,0.002347368,0.0006068831],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04481007,0.0101188,0.9382808,0.0002671685,0.003668929,0.001463701,0.0001492756,0.000370765,0.0008704581],"genre_scores_gemma":[0.9963871,0.00005620543,0.001924719,0.00004078339,0.0003920635,0.0002421841,0.00003483534,0.00007414236,0.0008479496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9515771,"threshold_uncertainty_score":0.9997094,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02136941176469298,"gpt":0.2675189078048572,"spread":0.2461494960401642,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001408696,0.0003727528,0.0006376904,0.0003157592,0.0002108514,0.0001256277,0.001509203,0.0001299517,0.000001106994],"category_scores_gemma":[0.0001183911,0.0002641736,0.0002308026,0.0009221995,0.0001051637,0.0004227757,0.0002540395,0.0003429288,0.00003058384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005549911,"about_ca_system_score_gemma":0.000131071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001044172,"about_ca_topic_score_gemma":0.00005124322,"domain_scores_codex":[0.9954295,0.0008223157,0.001288848,0.0006890847,0.001228928,0.0005413195],"domain_scores_gemma":[0.9975088,0.0004969949,0.0006977826,0.001049409,0.0001469235,0.0001000649],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003129055,0.00007664232,0.001969561,0.0003032209,0.00008656893,0.00007699803,0.002143479,0.9351433,0.0003808396,0.05921149,0.0003419445,0.0002346721],"study_design_scores_gemma":[0.0005373339,0.00009624236,0.002645361,0.0012406,0.00000755367,0.0001135024,0.000725886,0.9940389,0.00001984897,0.0002144623,0.00005318876,0.0003071199],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5856136,0.001860269,0.4064494,0.0002651107,0.004133308,0.001170152,0.00002487106,0.000128031,0.0003552246],"genre_scores_gemma":[0.9990684,0.0000292187,0.000220228,0.00002866114,0.00006374178,0.0001250585,0.00002667552,0.00003159166,0.0004064523],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4134547,"threshold_uncertainty_score":0.999981,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01233715985053953,"gpt":0.3126734131687594,"spread":0.3003362533182199,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001403634,0.0002268556,0.0003852737,0.0003893686,0.00006020597,0.0001068268,0.0006584824,0.00009310546,0.00000294395],"category_scores_gemma":[0.0006004188,0.0002076881,0.00007370704,0.001358536,0.0000494124,0.000349654,0.0001255042,0.0001367032,0.000003451212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002625462,"about_ca_system_score_gemma":0.0002384951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000156252,"about_ca_topic_score_gemma":0.000006859453,"domain_scores_codex":[0.9973853,0.0006198775,0.0007143887,0.0004290075,0.0004306875,0.0004207222],"domain_scores_gemma":[0.998437,0.0001660047,0.0004920283,0.0006750582,0.0001430186,0.0000868676],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003499345,0.00002301605,0.00101688,0.000437326,0.00002068611,0.000002879493,0.0008221722,0.9731426,0.00009012218,0.02424264,0.00001716355,0.0001809789],"study_design_scores_gemma":[0.000323111,0.00007683814,0.0001264845,0.0003126537,0.000007744342,0.00001841013,0.0002797845,0.9979719,0.0002009609,0.0001747211,0.0002872846,0.0002201256],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000519559,0.0003928673,0.994657,0.000142821,0.0005365216,0.000613825,0.000002862724,0.00009454922,0.003039972],"genre_scores_gemma":[0.6605505,0.0001087105,0.3380757,0.00001619285,0.00001672406,0.00007923828,0.00001645473,0.00002808598,0.001108389],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.660031,"threshold_uncertainty_score":0.8469273,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02022099788410862,"gpt":0.3220518371624749,"spread":0.3018308392783662,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00134217,0.000236419,0.0003716608,0.0001336382,0.0008588544,0.0008430377,0.001181815,0.0001470864,0.000004276025],"category_scores_gemma":[0.0004603596,0.0002222991,0.0002037346,0.00007085148,0.00006927981,0.001115683,0.00004238651,0.0001238688,0.0001045539],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002198524,"about_ca_system_score_gemma":0.0000711528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005496756,"about_ca_topic_score_gemma":0.00001331505,"domain_scores_codex":[0.9978321,0.0002611471,0.0006158616,0.0005140323,0.0003944936,0.0003823982],"domain_scores_gemma":[0.9970879,0.0004060653,0.0006992479,0.001503945,0.0001768435,0.0001260106],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004099271,0.0004614869,0.0003796941,0.002224121,0.001127259,0.00004487676,0.002454233,0.3848588,0.009231047,0.5705798,0.0009383032,0.02729045],"study_design_scores_gemma":[0.0005965584,0.00008630792,0.001401912,0.0002875618,0.00005953699,0.00003731071,0.0002609373,0.9948276,0.0001084659,0.0003643569,0.001704713,0.000264799],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004161236,0.0001760915,0.9873903,0.0005891116,0.004493731,0.001663299,0.000232864,0.0002174906,0.001075922],"genre_scores_gemma":[0.9895452,0.00001771304,0.008139918,0.00002366634,0.0001431846,0.001411907,0.00003342011,0.00002701691,0.0006580356],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9853839,"threshold_uncertainty_score":0.9065096,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.02263816529543937,"gpt":0.258564789865084,"spread":0.2359266245696446,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002453424,0.0005014762,0.001021701,0.0002553965,0.000181467,0.0003192166,0.002537187,0.0002074182,0.000001337075],"category_scores_gemma":[0.0001026857,0.0003960912,0.0001957835,0.0008047001,0.0001498865,0.0008243588,0.0004079385,0.0002971698,0.00003025377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006622229,"about_ca_system_score_gemma":0.0003219793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001387363,"about_ca_topic_score_gemma":0.0000832759,"domain_scores_codex":[0.9942986,0.001240113,0.001548673,0.0007713601,0.001461543,0.0006797627],"domain_scores_gemma":[0.9948543,0.0002877313,0.001007667,0.002790091,0.0006687439,0.0003915237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00017825,0.0002111761,0.008741708,0.000717107,0.0005676606,0.00005965028,0.002882445,0.9510947,0.0003396072,0.03409024,0.0006288645,0.0004885268],"study_design_scores_gemma":[0.002052495,0.0002609024,0.0003718573,0.001265083,0.00006692352,0.0002145093,0.002027704,0.9920852,0.00001177722,0.0001159901,0.001013924,0.0005136341],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04220299,0.007405804,0.9462779,0.000245672,0.001306937,0.001483964,0.0003438381,0.0002932994,0.0004395922],"genre_scores_gemma":[0.9977601,0.00003929002,0.001209964,0.00001739051,0.00006725265,0.0003144138,0.0002814706,0.00005645381,0.0002537234],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.955557,"threshold_uncertainty_score":0.9998491,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.02668625265759801,"gpt":0.2897687562838615,"spread":0.2630825036262635,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002368991,0.0004100697,0.0006424464,0.0004076703,0.0001556259,0.0005285337,0.001174325,0.0002251911,7.675963e-7],"category_scores_gemma":[0.0001697178,0.0003837715,0.00009745245,0.000641592,0.00008324768,0.001126163,0.0005566535,0.0003023877,0.00002944271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007773642,"about_ca_system_score_gemma":0.0001692197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001486044,"about_ca_topic_score_gemma":0.00007767415,"domain_scores_codex":[0.9953467,0.001022095,0.001255621,0.0008342509,0.0009431337,0.0005981768],"domain_scores_gemma":[0.9971529,0.0002750518,0.0006267242,0.001452704,0.0002033318,0.0002892722],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007810934,0.001007377,0.06781166,0.003939535,0.0007746438,0.0003152238,0.05136841,0.707583,0.01399891,0.1380348,0.003873104,0.01051223],"study_design_scores_gemma":[0.001088909,0.0001232267,0.002081284,0.001109605,0.0000132096,0.000135014,0.003951651,0.9900025,0.00003177861,0.0001304339,0.0008625722,0.0004698071],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5232695,0.002888477,0.4693577,0.0005476472,0.001526132,0.001340946,0.00003900043,0.0002311411,0.000799495],"genre_scores_gemma":[0.9964493,0.00004480744,0.002342709,0.00002006541,0.000105297,0.0002348746,0.00007324307,0.00004255032,0.0006871872],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4731798,"threshold_uncertainty_score":0.9998614,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.007083788743341146,"gpt":0.2549401869041265,"spread":0.2478563981607854,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001627311,0.0007880853,0.001521518,0.0003969135,0.00030066,0.0005577601,0.002494722,0.0003377273,0.000005618186],"category_scores_gemma":[0.00006787507,0.0007021406,0.0005518185,0.0009443772,0.0001980469,0.0007336411,0.0004403328,0.0004135009,0.00006489934],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007922227,"about_ca_system_score_gemma":0.0002994674,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00264267,"about_ca_topic_score_gemma":0.0001651299,"domain_scores_codex":[0.9922507,0.0007677459,0.002655224,0.001371241,0.001743091,0.001212009],"domain_scores_gemma":[0.9952733,0.000318459,0.001481195,0.002278333,0.0003698098,0.0002789287],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005234872,0.0002606238,0.001509949,0.0007309971,0.0002499238,0.00009249882,0.0003401212,0.9786495,0.002557879,0.01460776,0.0002390235,0.000709381],"study_design_scores_gemma":[0.001664349,0.0002054621,0.001367796,0.001101244,0.00007515723,0.0002195971,0.0004131742,0.9931725,0.000012786,0.0001140756,0.0009019612,0.0007519326],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1662945,0.005712767,0.8210366,0.0001987311,0.003880315,0.001532119,0.0005807452,0.0004065341,0.0003576467],"genre_scores_gemma":[0.9941822,0.0000300743,0.003267693,0.00002118253,0.0002214452,0.0001962937,0.0002623273,0.0001024231,0.001716407],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8278877,"threshold_uncertainty_score":0.999543,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01537455306363327,"gpt":0.2859732222513008,"spread":0.2705986691876675,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001894224,0.0007834448,0.001162753,0.0002464019,0.0007035306,0.0009600227,0.002238396,0.000390794,0.000003295679],"category_scores_gemma":[0.0001412665,0.0006933683,0.0006576638,0.0008792921,0.0001732227,0.000657815,0.0005251754,0.0003939951,0.00007312688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001448887,"about_ca_system_score_gemma":0.0003040383,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002972838,"about_ca_topic_score_gemma":0.0002808602,"domain_scores_codex":[0.9925765,0.0009643058,0.002079754,0.001499625,0.001469268,0.001410595],"domain_scores_gemma":[0.9958608,0.0007352893,0.0007756157,0.001927075,0.0003245526,0.000376651],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005142642,0.0003982527,0.005974942,0.001341076,0.0003559857,0.00007365757,0.0003311877,0.4382479,0.0001627811,0.5472046,0.00442264,0.001435497],"study_design_scores_gemma":[0.001316996,0.0002517077,0.001454435,0.001106601,0.00008156051,0.000266681,0.0006577352,0.9839745,0.000009219914,0.006343823,0.003556364,0.0009803467],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03631288,0.004904817,0.9450063,0.0006832905,0.007320728,0.002711631,0.0006734445,0.0006257534,0.001761151],"genre_scores_gemma":[0.9932089,0.00002939555,0.002480785,0.00007061008,0.0005703592,0.001966497,0.0002202156,0.00007741432,0.001375755],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9568961,"threshold_uncertainty_score":0.9995518,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03074010287859883,"gpt":0.2923243650017217,"spread":0.2615842621231228,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002415506,0.0005964646,0.001076006,0.0003868453,0.0002775296,0.0003913159,0.002317569,0.0003461628,0.000007713151],"category_scores_gemma":[0.0001513743,0.000520008,0.0002930679,0.0007434379,0.0002561768,0.0008360163,0.0005116204,0.0004917688,0.00004104407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002881061,"about_ca_system_score_gemma":0.000313945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009739291,"about_ca_topic_score_gemma":0.00002080571,"domain_scores_codex":[0.9941087,0.0007434625,0.001850171,0.001073606,0.001316519,0.0009075592],"domain_scores_gemma":[0.9957709,0.0004714293,0.001180968,0.001942157,0.000326189,0.000308343],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003364812,0.00009917706,0.00168902,0.0004541232,0.0002793693,0.00006709506,0.002561138,0.8575141,0.0652982,0.07142309,0.0001523054,0.0004286867],"study_design_scores_gemma":[0.000587898,0.0001243912,0.00007788536,0.0008170783,0.00004261813,0.0003298431,0.001251141,0.9953384,0.0002879775,0.0001565282,0.0003697877,0.0006164144],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1402769,0.001564387,0.8483019,0.000034608,0.007919018,0.001361326,0.00007729389,0.0002641842,0.0002004582],"genre_scores_gemma":[0.9890551,0.00001561104,0.0100628,0.000008402496,0.0002610054,0.0001203759,0.00002431818,0.00007367056,0.0003787088],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8487782,"threshold_uncertainty_score":0.9997252,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01648880915354974,"gpt":0.3088202199449916,"spread":0.2923314107914419,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007861903,0.0001002225,0.0001520239,0.00006379656,0.0004234243,0.0000632458,0.0001811919,0.00009568701,0.000004439121],"category_scores_gemma":[0.00004433904,0.00008030349,0.00007437059,0.0001718516,0.0000553024,0.0003450808,0.000003341304,0.00004152451,0.00000169186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001463669,"about_ca_system_score_gemma":0.00008548068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004084279,"about_ca_topic_score_gemma":0.0004776639,"domain_scores_codex":[0.9987496,0.0001313455,0.0004133386,0.0001821457,0.000344446,0.0001790919],"domain_scores_gemma":[0.9990802,0.0001775906,0.0002888085,0.0001869935,0.0002073904,0.00005898226],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002476873,0.00001546469,0.0003866999,0.00004938256,0.00001584274,7.45972e-8,0.007884152,0.9817518,0.000004697295,0.00959688,0.00002287191,0.000247396],"study_design_scores_gemma":[0.0002665047,0.00002067005,0.00022647,0.0000794581,0.00004754517,2.067844e-7,0.006114149,0.9927604,0.00000142984,0.000007905297,0.0003744764,0.0001008456],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01240735,0.0001889244,0.9852009,0.000166489,0.0003610797,0.0009541863,0.0001345993,0.0001185003,0.000468009],"genre_scores_gemma":[0.9954041,0.00001305777,0.002880112,0.00001004718,0.0001557371,0.00007805268,0.0003801362,0.00001889806,0.001059879],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9829968,"threshold_uncertainty_score":0.3274682,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.008616318623974216,"gpt":0.2355877878856722,"spread":0.226971469261698,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002045765,0.0003282217,0.000655745,0.0002982353,0.0001538273,0.0001814198,0.001152059,0.0001817829,0.000001206414],"category_scores_gemma":[0.00007629982,0.0002912568,0.0001994538,0.0004334346,0.00006343598,0.0004762561,0.0001101081,0.0001937678,0.0000237555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000253169,"about_ca_system_score_gemma":0.00005276869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004030227,"about_ca_topic_score_gemma":0.000004871927,"domain_scores_codex":[0.9960793,0.0006080227,0.001064265,0.0007019928,0.001064847,0.0004815622],"domain_scores_gemma":[0.9976054,0.0002113034,0.0005670934,0.001302726,0.0001501343,0.0001633571],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002971472,0.00006862163,0.0001808644,0.001127469,0.0001065034,0.000008027067,0.001822804,0.8978187,0.004776808,0.09247253,0.000116929,0.001470989],"study_design_scores_gemma":[0.0004627047,0.0001952878,0.0001300272,0.001502503,0.00001887694,0.00005516185,0.0002806353,0.9962279,0.000285557,0.0003582396,0.0001869787,0.0002960871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.130052,0.000446641,0.8651261,0.00008939877,0.002134077,0.0006472414,0.00003880362,0.0002513997,0.001214317],"genre_scores_gemma":[0.9985683,0.0000102378,0.0008722659,0.00001575342,0.0001714391,0.00009187628,0.00003305423,0.00003244893,0.0002046295],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8685163,"threshold_uncertainty_score":0.999954,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02024861955844544,"gpt":0.2816256451740603,"spread":0.2613770256156149,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001005057,0.0003131725,0.0004475605,0.000190714,0.0002457874,0.0002270256,0.0007272603,0.00008144821,8.84002e-7],"category_scores_gemma":[0.0001740779,0.0002270384,0.00007090014,0.0005822106,0.00003718439,0.0003447392,0.0001745776,0.0001222186,0.00006938813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000226402,"about_ca_system_score_gemma":0.00008641448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003778775,"about_ca_topic_score_gemma":0.000180192,"domain_scores_codex":[0.9970871,0.0003618154,0.0007016554,0.0007776063,0.0006605329,0.0004113297],"domain_scores_gemma":[0.9977376,0.0002772031,0.0002784909,0.001308524,0.0002112912,0.0001868873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001255926,0.00006577062,0.000602214,0.000465777,0.0003559197,0.001118068,0.008339231,0.9098089,0.00003257898,0.06108014,0.006852748,0.01115301],"study_design_scores_gemma":[0.001002274,0.0002992458,0.00001702686,0.0007196757,0.00001669907,0.001394797,0.0007617543,0.9926469,0.00001022036,0.0002238053,0.002565905,0.0003416921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01060718,0.0006846687,0.9849215,0.0003637762,0.001580224,0.0004719105,0.00001595126,0.0003098623,0.00104499],"genre_scores_gemma":[0.9940104,0.00001853047,0.003883056,0.00009717164,0.0001896448,0.00004258208,0.00001695246,0.00003208652,0.001709585],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9834032,"threshold_uncertainty_score":0.9258358,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01553304960402123,"gpt":0.2592727454852514,"spread":0.2437396958812302,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001619666,0.0006136824,0.001485209,0.0003970344,0.0002813742,0.0001939829,0.0022596,0.0002539759,0.000004751083],"category_scores_gemma":[0.0001354194,0.0005267903,0.0005160652,0.0007906894,0.0001730905,0.0006832285,0.0003476067,0.0002911996,0.00008045657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004075816,"about_ca_system_score_gemma":0.0002326649,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008109431,"about_ca_topic_score_gemma":0.000007706748,"domain_scores_codex":[0.9931804,0.0009681107,0.002205991,0.001112152,0.001586095,0.0009472531],"domain_scores_gemma":[0.9954463,0.0003976726,0.001274855,0.002249925,0.0003002793,0.0003309453],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003845726,0.000529238,0.01075062,0.003155741,0.002002949,0.0008443828,0.005910967,0.8716852,0.02790892,0.07383621,0.001309131,0.00168203],"study_design_scores_gemma":[0.001886472,0.0001989122,0.0004809436,0.0008589704,0.00004456111,0.0005835695,0.0002379136,0.9940268,0.00006352148,0.00008445949,0.0009201292,0.0006136863],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1261247,0.00365216,0.862894,0.00009930728,0.004707922,0.001569655,0.0001481541,0.0003415737,0.0004625416],"genre_scores_gemma":[0.9969449,0.00008264444,0.001377676,0.00002629022,0.0001662722,0.0003446875,0.00003599258,0.00006722614,0.0009543083],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8708202,"threshold_uncertainty_score":0.9997184,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics","retraction":null,"screen_n_in":null,"score":{"opus":0.02745185113535202,"gpt":0.256854313445012,"spread":0.22940246230966,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002332459,0.0005071065,0.001255773,0.0007527171,0.0004310815,0.0001429932,0.001410959,0.0002357751,0.000003858921],"category_scores_gemma":[0.0001627596,0.0004768114,0.000178101,0.0013262,0.0001599952,0.000720246,0.002256765,0.0005812794,0.00001517794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001922554,"about_ca_system_score_gemma":0.00004402354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005222952,"about_ca_topic_score_gemma":0.001186199,"domain_scores_codex":[0.9944804,0.001305516,0.001135251,0.001135366,0.001239014,0.0007044725],"domain_scores_gemma":[0.9974329,0.0003022244,0.0007455373,0.001094371,0.0002113594,0.0002135735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001186553,0.0003590393,0.9087664,0.0005617013,0.0001911981,0.0001714773,0.01319857,0.05145514,0.00008985023,0.02474119,0.00005661503,0.0002901586],"study_design_scores_gemma":[0.002736123,0.0003547864,0.1270266,0.00147467,0.00003191069,0.00003365793,0.001675228,0.8654671,0.000006521531,0.0006558496,0.00002067166,0.0005168582],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8039788,0.002353187,0.1862551,0.0001675261,0.00174397,0.003225773,0.0002396402,0.0001463288,0.001889622],"genre_scores_gemma":[0.9993573,0.0001140423,0.00005893699,0.00002023808,0.0000456848,0.00007649388,0.000008171965,0.00002463502,0.0002945135],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.814012,"threshold_uncertainty_score":0.9997684,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01115562705408934,"gpt":0.2855105882992031,"spread":0.2743549612451137,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002036147,0.0004042025,0.0008985099,0.0001686644,0.0002319674,0.0002193911,0.002084449,0.0001550564,0.000001814821],"category_scores_gemma":[0.0001060043,0.0003167147,0.0002282649,0.0003767114,0.0001093192,0.0004851494,0.0001508031,0.0001599737,0.00000288666],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003354764,"about_ca_system_score_gemma":0.0001697379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001402726,"about_ca_topic_score_gemma":0.00006718676,"domain_scores_codex":[0.9958988,0.0007853147,0.001244486,0.0006868274,0.0007455916,0.0006389862],"domain_scores_gemma":[0.9956867,0.0004818873,0.001096086,0.002166124,0.0003906589,0.0001785537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002386651,0.0001379659,0.00102452,0.001010108,0.0002356747,0.000002365844,0.0005350001,0.9719453,0.0003515835,0.02042698,0.00008584732,0.004005961],"study_design_scores_gemma":[0.003558805,0.0003922948,0.0002212156,0.001768545,0.00005151598,0.00005643138,0.0001297321,0.9925514,0.00004824878,0.000127914,0.0006748869,0.0004189569],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008043587,0.0004870666,0.9714091,0.000185548,0.0004173127,0.01906538,0.00006619181,0.0001850288,0.000140763],"genre_scores_gemma":[0.9636818,0.000009045922,0.02086326,0.00001393603,0.00005627542,0.0151965,0.00005409134,0.00004526785,0.0000798898],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9556382,"threshold_uncertainty_score":0.9999285,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03216292742144126,"gpt":0.3061713282387302,"spread":0.2740084008172889,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002889428,0.0005417023,0.000940696,0.0003456967,0.0003175136,0.000253772,0.002603397,0.0001955742,0.000002162863],"category_scores_gemma":[0.001035978,0.0003747235,0.0003264329,0.0008002034,0.0001251245,0.0004199441,0.0005526879,0.0003128867,0.000005421354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003048829,"about_ca_system_score_gemma":0.0001373266,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00230256,"about_ca_topic_score_gemma":0.0004517328,"domain_scores_codex":[0.9938483,0.0009885891,0.002104939,0.001094411,0.001006517,0.0009572073],"domain_scores_gemma":[0.9948105,0.002150353,0.0009720277,0.001620218,0.0002616683,0.0001852252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002293141,0.0003971365,0.03553595,0.001419808,0.0002497457,0.00006072095,0.0208992,0.9230853,0.001588284,0.007034607,0.0001467825,0.009353149],"study_design_scores_gemma":[0.001516288,0.0001422973,0.003347304,0.004774742,0.00003041218,0.00004934186,0.001337801,0.9877506,0.0002705162,0.0001721177,0.0001434059,0.0004652026],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2562489,0.006325997,0.7311699,0.0000588836,0.002738385,0.003218032,0.00009260518,0.0001155302,0.00003177763],"genre_scores_gemma":[0.9832152,0.0001604185,0.0142317,0.00001807971,0.0000791781,0.002151295,0.0000171694,0.00005999988,0.00006698925],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7269663,"threshold_uncertainty_score":0.9998705,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01639649275589925,"gpt":0.2835779494511766,"spread":0.2671814566952773,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004818996,0.0005356308,0.001141259,0.0002550285,0.0003297971,0.0003088503,0.002392152,0.0001992586,0.000003280359],"category_scores_gemma":[0.0001108842,0.0003856606,0.0004909452,0.0004751711,0.00008805336,0.0007331014,0.0003067831,0.0002313336,0.00004377928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004276849,"about_ca_system_score_gemma":0.0001830545,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006412936,"about_ca_topic_score_gemma":0.00002920981,"domain_scores_codex":[0.9942653,0.0008506713,0.002002909,0.000871636,0.001075949,0.0009335564],"domain_scores_gemma":[0.9953414,0.001079151,0.00109064,0.001941523,0.0003514746,0.000195807],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001272934,0.00008491061,0.0003389816,0.001597314,0.0006388722,0.000009341452,0.003766977,0.9329941,0.01297255,0.04141576,0.0005665175,0.005487351],"study_design_scores_gemma":[0.001373876,0.0001239747,0.0001274688,0.0009213631,0.00006960559,0.0001116023,0.0005548514,0.9929674,0.0001297053,0.00007403467,0.003077618,0.000468533],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01537642,0.003158821,0.9746381,0.0004440231,0.002028836,0.003038994,0.0002497961,0.0002722643,0.0007927493],"genre_scores_gemma":[0.9880878,0.00008034544,0.008824768,0.00004234809,0.000379461,0.0008034887,0.00003152899,0.00006802489,0.001682285],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9727113,"threshold_uncertainty_score":0.9998595,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Opacity; Computer science; Business; Physics; Optics","retraction":null,"screen_n_in":null,"score":{"opus":0.03919351297862473,"gpt":0.2878461450592555,"spread":0.2486526320806308,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002268264,0.0003594958,0.0005563051,0.0004415934,0.0008855698,0.0003650933,0.002426823,0.00006596105,0.00002275477],"category_scores_gemma":[0.0001067409,0.000381318,0.0002298212,0.001375185,0.00002373255,0.0006159503,0.001485414,0.0003380115,0.00004449983],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001385694,"about_ca_system_score_gemma":0.0001780008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001262434,"about_ca_topic_score_gemma":0.00002759034,"domain_scores_codex":[0.9953329,0.0007881503,0.0008448508,0.0009345373,0.001291095,0.0008084429],"domain_scores_gemma":[0.9977404,0.0002122412,0.00027216,0.001414251,0.00008380249,0.0002770963],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001285079,0.00003689811,0.001166861,0.0001170951,0.00006322319,0.00006863032,0.003247373,0.9863508,0.002469015,0.005722712,0.0001178745,0.0006266749],"study_design_scores_gemma":[0.000237986,0.00009152263,0.000102337,0.0001889856,0.0000155541,0.0002161369,0.003279534,0.9939104,0.00003547085,0.00009133657,0.001338921,0.000491789],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3556781,0.0003958592,0.6390968,0.0001635328,0.003202101,0.000677194,0.00004746989,0.000299272,0.0004396861],"genre_scores_gemma":[0.9920011,0.000003020708,0.006934266,0.0001205241,0.00008502335,0.0001916726,0.00001235088,0.00005460255,0.0005974328],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.636323,"threshold_uncertainty_score":0.9998639,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02413190826103193,"gpt":0.2661651206420952,"spread":0.2420332123810633,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004763584,0.0006741381,0.001463757,0.000351585,0.000475213,0.000805686,0.001853864,0.0002736754,9.05266e-7],"category_scores_gemma":[0.00008537557,0.0004705668,0.0003253522,0.0003797924,0.0003254107,0.0006178445,0.0007595873,0.0004988564,0.000007796791],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003019543,"about_ca_system_score_gemma":0.0001098062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002531098,"about_ca_topic_score_gemma":0.000009150194,"domain_scores_codex":[0.9922432,0.001957727,0.002157341,0.001197655,0.001493321,0.0009507434],"domain_scores_gemma":[0.9953745,0.0009124171,0.001232366,0.001986952,0.0001987328,0.0002950564],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004415137,0.00001731135,0.0001169289,0.0009784458,0.0001745834,0.000006230602,0.001341686,0.9503244,0.0001412872,0.04662259,0.000008577773,0.0002237858],"study_design_scores_gemma":[0.001550099,0.00006758092,0.00003008309,0.002229224,0.00008509286,0.0003096358,0.0006934086,0.9935767,0.00003431397,0.000314117,0.0005510927,0.0005586621],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1493103,0.005644539,0.839188,0.00008953438,0.00331985,0.001830343,0.00003651257,0.0001837899,0.0003971542],"genre_scores_gemma":[0.9972312,0.0001129163,0.00165716,0.00001588926,0.0003058302,0.0001878823,0.00001547134,0.00008170384,0.0003919779],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8479209,"threshold_uncertainty_score":0.9997746,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.008350037458738831,"gpt":0.228180350207794,"spread":0.2198303127490551,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007828749,0.0004788568,0.0007753898,0.0006853119,0.0002957554,0.0007428799,0.0003788591,0.00006889483,0.000003836578],"category_scores_gemma":[0.00009391305,0.0004028093,0.0001874785,0.0002998246,0.00005756226,0.001712383,0.0001502473,0.0002530383,0.00003575185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002810251,"about_ca_system_score_gemma":0.00002610992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002034656,"about_ca_topic_score_gemma":0.0002056373,"domain_scores_codex":[0.9973442,0.000049948,0.0007722287,0.0006110187,0.0003754912,0.0008471204],"domain_scores_gemma":[0.9985295,0.0002049517,0.0006356854,0.0004508072,0.0001370484,0.00004200165],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001630036,0.00001913536,0.0003138567,0.0008779918,0.0001031036,0.000008560353,0.0002030953,0.9968411,0.0001399052,0.001187347,0.00001871293,0.0001242438],"study_design_scores_gemma":[0.001990854,0.00001464041,0.00007032582,0.00145647,0.0001271845,0.00001183853,0.00159177,0.9926787,0.00001027388,0.001477244,0.00002379793,0.0005469056],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.485908,0.0002068889,0.5117891,0.00003509295,0.0002300108,0.001552672,0.00001353279,0.0001589332,0.0001057569],"genre_scores_gemma":[0.9978009,0.000002658202,0.0002673213,0.00008797519,0.0001915677,0.001063124,0.0000618229,0.0001157626,0.0004089038],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5118929,"threshold_uncertainty_score":0.9998424,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.005315000124663643,"gpt":0.2540139106544575,"spread":0.2486989105297938,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003656142,0.0003152482,0.0005006634,0.0001633836,0.0001674508,0.000280532,0.001166162,0.0001836036,0.000009102555],"category_scores_gemma":[0.00001119546,0.0002636244,0.0001942787,0.0005510096,0.00001162566,0.0003555611,0.0001711407,0.0001509662,0.0002599853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009498503,"about_ca_system_score_gemma":0.00004821465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003056738,"about_ca_topic_score_gemma":0.00004371202,"domain_scores_codex":[0.9977078,0.0001920353,0.0005031162,0.0006684852,0.0004240107,0.0005045384],"domain_scores_gemma":[0.9978317,0.0007095441,0.000305334,0.000821859,0.0001977387,0.00013385],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008112948,0.000636137,0.004028881,0.004977585,0.001918402,0.00003428813,0.0132646,0.1608018,0.02704166,0.7784711,0.0009369612,0.007077381],"study_design_scores_gemma":[0.0006868432,0.00008604595,0.0009779503,0.0005580722,0.00004070318,0.00002319827,0.0003835515,0.9932392,0.0001233962,0.002181989,0.001340415,0.0003586587],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1091375,0.0005104084,0.8816938,0.0021969,0.002419427,0.002105499,0.0001086371,0.001330098,0.0004977261],"genre_scores_gemma":[0.987641,0.000005191261,0.01060897,0.001041858,0.00010473,0.0004118091,0.00007248593,0.00003652312,0.00007744949],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8785035,"threshold_uncertainty_score":0.9999816,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02526314545497558,"gpt":0.3087296647393855,"spread":0.2834665192844099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002913812,0.0006724286,0.0009637015,0.001010798,0.0003168368,0.001725825,0.001770547,0.00028936,0.000002625601],"category_scores_gemma":[0.00005811966,0.0005662985,0.0002170433,0.002895305,0.00007383815,0.002321919,0.0005843671,0.0004848891,0.0003866403],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001293535,"about_ca_system_score_gemma":0.0002646908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005496803,"about_ca_topic_score_gemma":0.0002657225,"domain_scores_codex":[0.9939789,0.0004512471,0.001486593,0.001564444,0.001275985,0.001242821],"domain_scores_gemma":[0.9966863,0.0003099572,0.000644329,0.001834702,0.0002255977,0.0002991417],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000443143,0.00009213037,0.002535202,0.001147081,0.0001523533,0.0001846028,0.003266053,0.9787751,0.0004541336,0.008202024,0.0002274621,0.004919538],"study_design_scores_gemma":[0.0008894706,0.0001280766,0.0005928559,0.006035664,0.00002443292,0.0001475478,0.00769191,0.9817641,0.00001612248,0.0000671095,0.001902411,0.0007402378],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2880785,0.01637473,0.6776888,0.0002611503,0.01328323,0.002406454,0.00003703622,0.001298892,0.0005712449],"genre_scores_gemma":[0.9950565,0.0008445635,0.0001871168,0.000006843594,0.0003048503,0.0006329899,0.0000877386,0.0001076619,0.002771718],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.706978,"threshold_uncertainty_score":0.9996789,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.01317568230108289,"gpt":0.268686991798461,"spread":0.2555113094973781,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004469814,0.0003100029,0.0004220287,0.0004991396,0.0002613027,0.0003503798,0.0006497041,0.0001395749,0.00004674341],"category_scores_gemma":[0.0000950393,0.0002956122,0.0002877753,0.001380668,0.0000563632,0.0006017668,0.0000581884,0.00009477014,0.000004122811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000315996,"about_ca_system_score_gemma":0.00007777981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008072839,"about_ca_topic_score_gemma":0.000003528209,"domain_scores_codex":[0.9974839,0.0001513173,0.0006801608,0.0006644948,0.0004784421,0.0005416533],"domain_scores_gemma":[0.9984779,0.0002092044,0.0003105444,0.0006364299,0.0002124603,0.0001534646],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001595861,0.00003908609,0.00005175728,0.00001880497,0.000163207,9.686511e-7,0.0005210208,0.985169,0.00001609704,0.01224954,0.00001110031,0.001743486],"study_design_scores_gemma":[0.0004056047,0.0001080896,0.00009958293,0.0000661633,0.0002489871,0.00001334137,0.00008705268,0.9976388,0.000006652646,0.0009573806,0.00001941525,0.0003489323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002295808,0.0001402442,0.9950023,0.00008262162,0.0005190351,0.001268228,0.00007891823,0.0004382895,0.0001746033],"genre_scores_gemma":[0.8139042,0.00001140503,0.184841,0.00003980266,0.0000942562,0.0001937605,0.0003683025,0.00003752956,0.0005098214],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8116083,"threshold_uncertainty_score":0.9999496,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.03559868243982537,"gpt":0.2686477436380219,"spread":0.2330490611981965,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001112878,0.0003347666,0.0005213508,0.0001849002,0.0001756307,0.000638606,0.004449483,0.0001366721,0.00003356954],"category_scores_gemma":[0.0001056153,0.0002872584,0.000119498,0.0004096197,0.0000458987,0.001650611,0.0008748451,0.0001991854,0.0009039912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001850226,"about_ca_system_score_gemma":0.000107424,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001489426,"about_ca_topic_score_gemma":0.00003874475,"domain_scores_codex":[0.9962687,0.0003997612,0.0008474358,0.00102569,0.0007652378,0.0006931028],"domain_scores_gemma":[0.9954301,0.0002608327,0.0002582378,0.003653553,0.0001650189,0.000232251],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001080351,0.001291016,0.06482412,0.004397146,0.003891486,0.0005258822,0.01224964,0.2657211,0.02460798,0.2808771,0.1278499,0.2136566],"study_design_scores_gemma":[0.0005854662,0.00003174776,0.001100023,0.0001695863,0.00001313782,0.00007323218,0.0002038534,0.9938163,0.000002080275,0.0004552304,0.003180758,0.0003686243],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01728728,0.002267493,0.9739107,0.0006577697,0.003017097,0.001137629,0.000127141,0.0004585683,0.00113629],"genre_scores_gemma":[0.995127,0.00002182153,0.00326265,0.0001465959,0.0001869424,0.0002066351,0.00009968038,0.00003734753,0.0009113828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9778396,"threshold_uncertainty_score":0.999958,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02011874566278746,"gpt":0.2673905539095044,"spread":0.2472718082467169,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002022436,0.0004966619,0.0009103859,0.0004224946,0.0002085367,0.0003797801,0.001064212,0.0001639609,0.000009198927],"category_scores_gemma":[0.00004233329,0.0004402434,0.000198728,0.0006481748,0.0000708672,0.0006191749,0.0001728513,0.0001925471,0.00001435605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003664543,"about_ca_system_score_gemma":0.00009511569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005148539,"about_ca_topic_score_gemma":0.000007728861,"domain_scores_codex":[0.9944059,0.001200724,0.001534479,0.001001923,0.001155452,0.0007014695],"domain_scores_gemma":[0.99705,0.0003335266,0.0009637008,0.001195546,0.0002142201,0.0002429753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004698737,0.0001309532,0.002418295,0.001950298,0.0003718941,0.00003579666,0.002705303,0.9821562,0.0009652416,0.005772731,0.0007311243,0.002715193],"study_design_scores_gemma":[0.002243381,0.0002217138,0.0002722969,0.0005289299,0.00006812476,0.00009282363,0.001317444,0.9945379,0.00002524212,0.00002340445,0.0002018727,0.0004668996],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006834505,0.00514249,0.9834206,0.000123529,0.001142706,0.002803848,0.0001518707,0.0002039802,0.000176461],"genre_scores_gemma":[0.9916798,0.00004254025,0.007282862,0.00002755623,0.00008463714,0.0005366922,0.00005525519,0.00005163351,0.0002389502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9848453,"threshold_uncertainty_score":0.9998049,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02138148781266268,"gpt":0.3420575111813494,"spread":0.3206760233686867,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003348258,0.0001683781,0.0003475902,0.00005397579,0.0001186285,0.00004409281,0.001307536,0.00006224754,9.046867e-7],"category_scores_gemma":[0.0004315577,0.00009375754,0.0002159597,0.0004081062,0.0000738368,0.000316416,0.0002368964,0.0000881128,0.000001991873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001155698,"about_ca_system_score_gemma":0.00007060026,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001661983,"about_ca_topic_score_gemma":0.00001263315,"domain_scores_codex":[0.9977417,0.0005790761,0.0006929106,0.0002272024,0.0004237684,0.0003353221],"domain_scores_gemma":[0.9960305,0.001920108,0.0006942921,0.001172594,0.0001289531,0.00005353304],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005433068,0.0001512435,0.002719585,0.001587601,0.0004303156,3.160244e-7,0.01356972,0.7503768,0.01236318,0.08554842,0.0004233231,0.1327752],"study_design_scores_gemma":[0.000236907,0.00003118263,0.001370914,0.0002445,0.00003197565,0.000009385749,0.0002916932,0.9957735,0.0009074215,0.0006656115,0.0003258173,0.0001111215],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01310399,0.00264918,0.9800524,0.0002709032,0.002617419,0.001065596,0.00002640174,0.00003834688,0.0001757204],"genre_scores_gemma":[0.9338862,0.00000869509,0.06539294,0.000009753852,0.0000424174,0.0001171165,0.000001745127,0.00001648005,0.0005246541],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9207822,"threshold_uncertainty_score":0.3823321,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02011644252270533,"gpt":0.2521523024658863,"spread":0.232035859943181,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002433379,0.0004893142,0.000790039,0.00035765,0.0002545704,0.0002064931,0.001694371,0.0002381852,0.00001269973],"category_scores_gemma":[0.0003771385,0.0004492823,0.0003809476,0.0007402145,0.0001403291,0.0005833181,0.0003707728,0.0002789658,0.0001077129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003864954,"about_ca_system_score_gemma":0.0001790895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003226924,"about_ca_topic_score_gemma":0.00001691678,"domain_scores_codex":[0.995357,0.000460628,0.001330655,0.001239878,0.0007007814,0.0009109954],"domain_scores_gemma":[0.9965056,0.0004526997,0.0007121675,0.0017688,0.0002803642,0.0002803789],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007352341,0.0009242471,0.05022798,0.004677844,0.00215172,0.000214156,0.01850482,0.01236312,0.01737676,0.8547533,0.001396588,0.03667421],"study_design_scores_gemma":[0.0008329131,0.000243479,0.0004946053,0.0005081489,0.00004249009,0.0001524825,0.0005340106,0.9914616,0.0001615464,0.004448892,0.0004318221,0.0006880116],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2641579,0.0009328639,0.7261624,0.00005900112,0.003972056,0.001931899,0.0001051841,0.0007020521,0.0019767],"genre_scores_gemma":[0.9629506,0.000008104038,0.03613794,0.00001690383,0.0001098323,0.0002397594,0.00004489276,0.00005919692,0.0004327336],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9790985,"threshold_uncertainty_score":0.9997959,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02586300366559202,"gpt":0.2715687262432636,"spread":0.2457057225776716,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00210598,0.0004761917,0.0008511704,0.0007441751,0.0002021819,0.0001585516,0.001474766,0.0002667007,0.000003111195],"category_scores_gemma":[0.00007984396,0.0004573011,0.0001994591,0.001176776,0.0001112214,0.001614564,0.0002728625,0.0002928041,0.00002358942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007764203,"about_ca_system_score_gemma":0.0001387941,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001697504,"about_ca_topic_score_gemma":0.00007105109,"domain_scores_codex":[0.9936689,0.00124512,0.001860081,0.001142672,0.001397948,0.0006853394],"domain_scores_gemma":[0.9969229,0.0001165216,0.0007729197,0.001692416,0.0002734642,0.0002217895],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001196807,0.001090985,0.003816094,0.002951217,0.000252498,0.0003908362,0.02946994,0.8501154,0.05855396,0.03419071,0.0002178944,0.01883083],"study_design_scores_gemma":[0.0008137843,0.0002223299,0.01093009,0.000963387,0.00001592176,0.0003795626,0.002154072,0.9836149,0.0002195013,0.00003765465,0.0001140313,0.0005347797],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6623459,0.0009093906,0.332078,0.00005307324,0.003069018,0.00108791,0.00004872511,0.0001810594,0.0002269501],"genre_scores_gemma":[0.9978321,0.0001014919,0.000754268,0.000006476884,0.0002337343,0.0002434685,0.0001068476,0.00005844044,0.0006631368],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3354862,"threshold_uncertainty_score":0.9997879,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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)","retraction":null,"screen_n_in":null,"score":{"opus":0.0129640249399321,"gpt":0.252160529195101,"spread":0.2391965042551689,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002503231,0.0005199432,0.001236348,0.0006203742,0.0001054685,0.0002015734,0.001463258,0.0002325784,0.0000056283],"category_scores_gemma":[0.0001938261,0.0004376353,0.0003235345,0.001907571,0.00009693943,0.00095195,0.0002152867,0.0002992159,0.00006650207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004929302,"about_ca_system_score_gemma":0.0001354591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001316422,"about_ca_topic_score_gemma":0.0000364744,"domain_scores_codex":[0.9942313,0.0008011773,0.001922455,0.0007575082,0.001100294,0.001187226],"domain_scores_gemma":[0.9969113,0.0003278169,0.0007499218,0.001433603,0.0002071243,0.0003701861],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002897475,0.002818015,0.2556946,0.01114454,0.001119995,0.0001920978,0.009101275,0.2814418,0.004624134,0.4263278,0.001344389,0.005901573],"study_design_scores_gemma":[0.002037081,0.0001799189,0.0245714,0.001345301,0.00004451498,0.0001325975,0.0008320583,0.968142,0.000008731708,0.0001053695,0.001891228,0.0007098387],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1522444,0.01848699,0.8196331,0.0001293148,0.005280631,0.002854937,0.0004320855,0.0001930978,0.0007454884],"genre_scores_gemma":[0.9985132,0.00004074265,0.000117785,0.00001555901,0.0001643792,0.0005585183,0.00006018055,0.00004320141,0.0004864253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8462688,"threshold_uncertainty_score":0.9998075,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01052990465603899,"gpt":0.2620031182137225,"spread":0.2514732135576835,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002063734,0.0004781474,0.0009487447,0.0004782196,0.0004960422,0.0002051999,0.002769107,0.0001035733,0.00001537499],"category_scores_gemma":[0.00005915693,0.0004610415,0.0004639853,0.001241205,0.0000801917,0.0005022073,0.0009001635,0.0003868133,0.00002472052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001595519,"about_ca_system_score_gemma":0.0002717458,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005090241,"about_ca_topic_score_gemma":0.00002716385,"domain_scores_codex":[0.9931254,0.001309806,0.002097139,0.001045393,0.001611894,0.0008103997],"domain_scores_gemma":[0.9962361,0.000245135,0.001305986,0.001783547,0.0001918622,0.0002373826],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005929814,0.0002075612,0.001855389,0.002563311,0.0004774971,0.00007703635,0.008197068,0.8433794,0.003345437,0.1373886,0.0003924393,0.002056898],"study_design_scores_gemma":[0.0008426874,0.0001703213,0.0001586125,0.001131024,0.00005171213,0.0003714174,0.003531853,0.9920484,0.00003058051,0.0003131958,0.0008446536,0.0005054759],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03227615,0.004430952,0.9538473,0.0002821008,0.004995432,0.001993419,0.0003011995,0.0005221302,0.001351271],"genre_scores_gemma":[0.9966068,0.00002690211,0.001504867,0.00001706548,0.00004454383,0.001031526,0.0001018005,0.0000542551,0.0006122309],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9643307,"threshold_uncertainty_score":0.9997841,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.02330100122289374,"gpt":0.2916616283721218,"spread":0.2683606271492281,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001042038,0.0004143447,0.000637579,0.0002345594,0.0002393964,0.0005280703,0.00121776,0.000151689,0.000006170451],"category_scores_gemma":[0.00004555401,0.0004041139,0.0003722913,0.0006193014,0.00002756735,0.0004022895,0.0002601838,0.0001840354,0.0000432564],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000588135,"about_ca_system_score_gemma":0.0001400536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000161541,"about_ca_topic_score_gemma":0.00003104454,"domain_scores_codex":[0.9958731,0.0003408549,0.001120994,0.001128908,0.0007373063,0.0007988727],"domain_scores_gemma":[0.9977825,0.0002017084,0.0003996626,0.001150986,0.0002513022,0.0002138629],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003321173,0.000110575,0.00005124929,0.0007460541,0.0004732819,0.0002129164,0.0005571392,0.9043093,0.0006190753,0.04632855,0.0004981213,0.0460605],"study_design_scores_gemma":[0.001110275,0.0002015949,0.00002255108,0.0007661046,0.00006272383,0.0001285187,0.001436856,0.9928592,0.00004343754,0.0002988969,0.002602687,0.000467172],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01516018,0.002248549,0.9751918,0.0002397894,0.004285371,0.001707812,0.00006738047,0.0003133518,0.0007857059],"genre_scores_gemma":[0.9917976,0.0001150097,0.005457895,0.00003535244,0.0002093312,0.0006040837,0.00007349198,0.00005221803,0.001654963],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9766375,"threshold_uncertainty_score":0.9998411,"prediction_status":"machine_predicted_unvalidated"},"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","retraction":null,"screen_n_in":null,"score":{"opus":0.01745032858517543,"gpt":0.2747532911956977,"spread":0.2573029626105223,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009690243,0.00062627,0.001269763,0.000226878,0.0001823868,0.0003115234,0.002315892,0.0002277123,0.0000040641],"category_scores_gemma":[0.0002662106,0.0005340822,0.0006163536,0.0007948192,0.00008059468,0.0003387865,0.0004689994,0.0002770466,0.00001792142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003480545,"about_ca_system_score_gemma":0.0001798805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002846581,"about_ca_topic_score_gemma":0.00002018473,"domain_scores_codex":[0.994058,0.0005566325,0.001878682,0.001262766,0.001251334,0.0009926453],"domain_scores_gemma":[0.9963566,0.0004465477,0.001037314,0.001366215,0.0002610618,0.000532246],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003511391,0.0002600525,0.008292831,0.0073515,0.001038376,0.00007743637,0.007142914,0.9154665,0.003307165,0.04789039,0.0031646,0.005657042],"study_design_scores_gemma":[0.001509751,0.0002917778,0.000211298,0.001450664,0.00008013743,0.00003444492,0.0003693332,0.9865035,0.0002536237,0.0001713444,0.008482342,0.000641814],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02066807,0.007377194,0.9628525,0.001543856,0.003338494,0.003327425,0.0004613944,0.0003455493,0.00008554506],"genre_scores_gemma":[0.9938532,0.0001877986,0.004240806,0.00008362545,0.0002716487,0.001096289,0.0000997191,0.00008535469,0.00008152379],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9731852,"threshold_uncertainty_score":0.9997111,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}