{"meta":{"query_hash":"0f9ad4425e23","filters":{"venue":"Discrete Event Dynamic Systems"},"cohort_total":36,"direct_labels_cover":0,"predictions_cover":36,"exported":36,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/0f9ad4425e23","api":"https://metacan.xera.ac/api/v1/cohort?venue=Discrete+Event+Dynamic+Systems"},"results":[{"id":"W1497798875","doi":"10.1023/a:1015617431563","title":"Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics","score_opus":0.027451851135352024,"score_gpt":0.25685431344501203,"score_spread":0.22940246230966,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1497798875","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.8039788,0.0023531874,0.18625513,0.00016752607,0.0017439701,0.0032257729,0.00023964018,0.00014632882,0.0018896221],"genre_scores_gemma":[0.9993573,0.00011404235,0.000058936992,0.000020238083,0.000045684803,0.00007649388,0.0000081719645,0.00002463502,0.00029451348],"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9944804,0.0013055165,0.0011352506,0.0011353656,0.0012390143,0.00070447254],"domain_scores_gemma":[0.99743295,0.0003022244,0.00074553734,0.0010943714,0.00021135942,0.00021357354],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002332459,0.0005071065,0.0012557735,0.0007527171,0.00043108154,0.00014299317,0.0014109586,0.00023577514,0.000003858921],"category_scores_gemma":[0.00016275956,0.00047681143,0.00017810099,0.0013261996,0.00015999518,0.000720246,0.0022567655,0.0005812794,0.0000151779395],"study_design_candidate":"observational","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00011865526,0.00035903926,0.9087664,0.0005617013,0.0001911981,0.00017147727,0.01319857,0.051455136,0.00008985023,0.024741188,0.00005661503,0.00029015855],"study_design_scores_gemma":[0.0027361228,0.00035478643,0.12702659,0.0014746696,0.000031910688,0.000033657932,0.0016752275,0.86546713,0.000006521531,0.00065584964,0.000020671658,0.0005168582],"about_ca_topic_score_codex":0.005222952,"about_ca_topic_score_gemma":0.0011861991,"teacher_disagreement_score":0.814012,"about_ca_system_score_codex":0.0019225541,"about_ca_system_score_gemma":0.000044023538,"threshold_uncertainty_score":0.9997684},"labels":[],"label_agreement":null},{"id":"W1507306347","doi":"10.1023/a:1013339920783","title":"Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":98,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Supervisor; Abstraction; Supervisory control; State space; Hybrid system; Existential quantification; State (computer science); Approximation theory; Control (management); Space (punctuation); Mathematics; Control system; Point (geometry); Computer science; Discrete mathematics; Applied mathematics; Algorithm; Mathematical analysis; Artificial intelligence; Engineering","score_opus":0.028259702149076235,"score_gpt":0.23876332502029574,"score_spread":0.2105036228712195,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1507306347","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.008183829,0.0020333736,0.98104477,0.00032203837,0.0027680986,0.0016427905,0.0004956814,0.00037973747,0.0031296771],"genre_scores_gemma":[0.9974483,0.00001655117,0.0012182924,0.00007225944,0.0001304681,0.00036456814,0.000062834,0.000063706175,0.0006229773],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99433625,0.0008321758,0.0016222794,0.0010040454,0.0014311675,0.0007740785],"domain_scores_gemma":[0.9959188,0.00051726104,0.0007581293,0.0023057729,0.0002456392,0.0002544081],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001243393,0.00054202165,0.0010216614,0.00054821145,0.00026248614,0.00033367277,0.0019699202,0.00011733551,0.000016751232],"category_scores_gemma":[0.00011004315,0.00048105215,0.00038656642,0.0006879893,0.00010434105,0.0005492037,0.00015283079,0.00028601068,0.00015884629],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000023632174,0.0001773289,0.00056931854,0.00088495255,0.00017122274,0.000053612803,0.00049570296,0.9685553,0.001006707,0.026885156,0.0005470069,0.0006300657],"study_design_scores_gemma":[0.0013310622,0.00017212256,0.000086730885,0.0009991594,0.000036739202,0.00007964727,0.00018460269,0.9956156,0.000017514283,0.000073767944,0.00088913646,0.00051390985],"about_ca_topic_score_codex":0.00020892167,"about_ca_topic_score_gemma":0.0000043351088,"teacher_disagreement_score":0.9892645,"about_ca_system_score_codex":0.0003517674,"about_ca_system_score_gemma":0.00006605681,"threshold_uncertainty_score":0.99976414},"labels":[],"label_agreement":null},{"id":"W1554366315","doi":"10.1023/a:1022145020786","title":"Approximate Gradient Methods in Policy-Space Optimization of Markov Reward Processes","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Reinforcement Learning in Robotics","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Convergence (economics); Variance (accounting); Markov chain; Computer science; Markov process; Gradient descent; Path (computing); Set (abstract data type); Mathematics; Process (computing); Mathematical optimization; Algorithm; Artificial intelligence; Statistics; Artificial neural network","score_opus":0.012337159850539526,"score_gpt":0.3126734131687594,"score_spread":0.3003362533182199,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1554366315","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.00051955896,0.0003928673,0.99465704,0.00014282102,0.0005365216,0.000613825,0.0000028627242,0.00009454922,0.0030399722],"genre_scores_gemma":[0.66055053,0.00010871054,0.33807567,0.000016192846,0.000016724063,0.00007923828,0.000016454727,0.000028085982,0.0011083891],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9973853,0.0006198775,0.00071438873,0.00042900752,0.00043068748,0.00042072218],"domain_scores_gemma":[0.99843705,0.00016600474,0.0004920283,0.0006750582,0.00014301857,0.0000868676],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0014036342,0.00022685557,0.00038527368,0.00038936856,0.00006020597,0.00010682685,0.00065848243,0.00009310546,0.00000294395],"category_scores_gemma":[0.0006004188,0.00020768806,0.000073707044,0.0013585363,0.0000494124,0.00034965397,0.00012550416,0.00013670315,0.0000034512116],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000034993445,0.000023016048,0.0010168804,0.00043732597,0.000020686106,0.0000028794934,0.00082217215,0.9731426,0.00009012218,0.02424264,0.000017163551,0.00018097891],"study_design_scores_gemma":[0.00032311105,0.00007683814,0.00012648453,0.0003126537,0.000007744342,0.000018410132,0.0002797845,0.9979719,0.00020096095,0.00017472106,0.00028728458,0.0002201256],"about_ca_topic_score_codex":0.000156252,"about_ca_topic_score_gemma":0.0000068594527,"teacher_disagreement_score":0.66003096,"about_ca_system_score_codex":0.00026254618,"about_ca_system_score_gemma":0.00023849514,"threshold_uncertainty_score":0.84692734},"labels":[],"label_agreement":null},{"id":"W1568162912","doi":"10.1023/a:1015621532472","title":"Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Western University","funders":"","keywords":"Petri net; Computer science; Executable; Concurrency; Programmable logic controller; Scalability; Embedded system; Computer hardware; Computer architecture; Programming language; Operating system","score_opus":0.02011874566278746,"score_gpt":0.2673905539095044,"score_spread":0.24727180824671693,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1568162912","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0068345047,0.0051424904,0.9834206,0.00012352904,0.001142706,0.0028038481,0.00015187066,0.00020398018,0.00017646099],"genre_scores_gemma":[0.99167985,0.000042540247,0.007282862,0.000027556234,0.00008463714,0.0005366922,0.000055255186,0.00005163351,0.00023895018],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9944059,0.0012007237,0.0015344794,0.0010019233,0.001155452,0.00070146954],"domain_scores_gemma":[0.99705005,0.00033352658,0.0009637008,0.0011955464,0.00021422014,0.00024297534],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002022436,0.0004966619,0.0009103859,0.00042249463,0.00020853667,0.0003797801,0.0010642116,0.0001639609,0.000009198927],"category_scores_gemma":[0.000042333293,0.0004402434,0.000198728,0.00064817484,0.0000708672,0.00061917485,0.00017285129,0.00019254709,0.000014356051],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000046987367,0.00013095317,0.0024182955,0.0019502977,0.00037189413,0.000035796664,0.0027053035,0.98215616,0.00096524163,0.0057727313,0.0007311243,0.0027151925],"study_design_scores_gemma":[0.0022433815,0.00022171378,0.0002722969,0.00052892993,0.00006812476,0.000092823626,0.001317444,0.9945379,0.000025242121,0.000023404446,0.00020187274,0.0004668996],"about_ca_topic_score_codex":0.00051485386,"about_ca_topic_score_gemma":0.0000077288605,"teacher_disagreement_score":0.98484534,"about_ca_system_score_codex":0.00036645427,"about_ca_system_score_gemma":0.00009511569,"threshold_uncertainty_score":0.9998049},"labels":[],"label_agreement":null},{"id":"W1574212434","doi":"10.1023/a:1014536803451","title":"N-dimensional Cell-DEVS Models","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":68,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Extension (predicate logic); Hierarchy; Base (topology); Distributed computing; Theoretical computer science; Simulation; Modeling and simulation; Programming language; Mathematics","score_opus":0.08963847491027477,"score_gpt":0.36627215396460494,"score_spread":0.2766336790543302,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1574212434","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.20755236,0.0021137856,0.7001487,0.0019456944,0.0014046525,0.0018820508,0.00032005223,0.0006361237,0.083996564],"genre_scores_gemma":[0.9679666,0.000012516016,0.0005724567,0.00008532558,0.000057432535,0.000103807884,0.000026896267,0.00001920688,0.031155728],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99698573,0.00013339889,0.0008214116,0.0005171146,0.0012813304,0.00026098543],"domain_scores_gemma":[0.9981459,0.00037325546,0.0002842679,0.000840753,0.00021588284,0.00013996997],"candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008264406,0.000170924,0.00026858452,0.00018663066,0.00021139352,0.00020044282,0.0005999189,0.000098575154,0.00060226966],"category_scores_gemma":[0.00007427912,0.0001271177,0.0001755545,0.0005293689,0.000049996615,0.00028995133,0.000099272904,0.00010897755,0.0012413999],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000016502347,0.00031041517,0.0014196358,0.000027572916,0.000041058956,0.000014003215,0.0011489016,0.7890783,0.0017001077,0.075636975,0.11654861,0.014057949],"study_design_scores_gemma":[0.00018157181,0.000020902531,0.00018018116,0.00001873207,0.000006320387,0.000009373868,0.00027015674,0.96938866,0.000025669127,0.015038876,0.014688307,0.0001712509],"about_ca_topic_score_codex":0.00007306173,"about_ca_topic_score_gemma":0.0000052309742,"teacher_disagreement_score":0.7604143,"about_ca_system_score_codex":0.00007524594,"about_ca_system_score_gemma":0.000014945659,"threshold_uncertainty_score":0.9995363},"labels":[],"label_agreement":null},{"id":"W1589610332","doi":"10.1023/a:1008347431468","title":"Central Limit Theorems for Stochastic Optimization Algorithms Using Infinitesimal Perturbation Analysis","year":2000,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Stochastic Gradient Optimization Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Mathematics; Queue; Mathematical optimization; Constant (computer programming); Convergence (economics); Context (archaeology); Asymptotically optimal algorithm; Rate of convergence; Perturbation (astronomy); Applied mathematics; Computer science; Key (lock)","score_opus":0.013175682301082887,"score_gpt":0.268686991798461,"score_spread":0.2555113094973781,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1589610332","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.002295808,0.00014024416,0.99500227,0.00008262162,0.0005190351,0.0012682278,0.00007891823,0.0004382895,0.00017460325],"genre_scores_gemma":[0.81390417,0.000011405026,0.18484098,0.00003980266,0.0000942562,0.00019376051,0.0003683025,0.00003752956,0.0005098214],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9974839,0.00015131732,0.0006801608,0.0006644948,0.00047844215,0.0005416533],"domain_scores_gemma":[0.9984779,0.00020920443,0.00031054445,0.0006364299,0.0002124603,0.00015346463],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00044698143,0.0003100029,0.00042202865,0.0004991396,0.00026130275,0.00035037982,0.00064970413,0.00013957487,0.000046743407],"category_scores_gemma":[0.0000950393,0.0002956122,0.0002877753,0.0013806685,0.000056363202,0.0006017668,0.000058188398,0.00009477014,0.0000041228113],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000015958612,0.00003908609,0.00005175728,0.000018804965,0.000163207,9.686511e-7,0.0005210208,0.985169,0.000016097036,0.012249542,0.000011100313,0.0017434863],"study_design_scores_gemma":[0.00040560472,0.00010808965,0.000099582925,0.0000661633,0.00024898708,0.000013341365,0.00008705268,0.9976388,0.0000066526463,0.00095738063,0.00001941525,0.00034893226],"about_ca_topic_score_codex":0.00008072839,"about_ca_topic_score_gemma":0.000003528209,"teacher_disagreement_score":0.8116083,"about_ca_system_score_codex":0.00031599603,"about_ca_system_score_gemma":0.00007777981,"threshold_uncertainty_score":0.9999496},"labels":[],"label_agreement":null},{"id":"W1965577683","doi":"10.1007/s10626-014-0208-4","title":"Distributed supervisory control of discrete-event systems with communication delay","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"National Natural Science Foundation of China; Fundamental Research Funds for the Central Universities; Ministry of Education, Culture, Sports, Science and Technology","keywords":"Supervisory control; Workcell; Constraint (computer-aided design); Control (management); Distributed control system; Property (philosophy); Work (physics); Control theory (sociology)","score_opus":0.022638165295439373,"score_gpt":0.258564789865084,"score_spread":0.23592662456964464,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1965577683","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.042202994,0.0074058035,0.9462779,0.00024567195,0.0013069371,0.0014839638,0.00034383812,0.00029329938,0.0004395922],"genre_scores_gemma":[0.99776006,0.000039290022,0.0012099638,0.000017390508,0.00006725265,0.00031441383,0.00028147062,0.000056453806,0.00025372335],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9942986,0.0012401132,0.0015486727,0.0007713601,0.0014615431,0.00067976274],"domain_scores_gemma":[0.9948543,0.00028773132,0.0010076674,0.0027900906,0.00066874386,0.00039152367],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002453424,0.0005014762,0.001021701,0.00025539647,0.00018146695,0.0003192166,0.0025371872,0.00020741817,0.0000013370747],"category_scores_gemma":[0.00010268572,0.0003960912,0.00019578355,0.00080470013,0.00014988652,0.0008243588,0.00040793847,0.00029716978,0.000030253774],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00017825002,0.0002111761,0.008741708,0.000717107,0.0005676606,0.000059650276,0.0028824445,0.95109475,0.00033960718,0.03409024,0.0006288645,0.0004885268],"study_design_scores_gemma":[0.0020524955,0.00026090242,0.00037185726,0.0012650829,0.000066923516,0.00021450926,0.0020277044,0.9920852,0.000011777224,0.00011599013,0.0010139237,0.0005136341],"about_ca_topic_score_codex":0.0013873631,"about_ca_topic_score_gemma":0.000083275896,"teacher_disagreement_score":0.95555705,"about_ca_system_score_codex":0.0006622229,"about_ca_system_score_gemma":0.0003219793,"threshold_uncertainty_score":0.9998491},"labels":[],"label_agreement":null},{"id":"W1969453217","doi":"10.1007/s10626-013-0172-4","title":"Sampled-data supervisory control","year":2013,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Supervisory control; Control (management); Control theory (sociology); Control engineering; Computer science; Engineering; Environmental science; Artificial intelligence","score_opus":0.03559868243982537,"score_gpt":0.2686477436380219,"score_spread":0.23304906119819654,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1969453217","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.017287282,0.002267493,0.97391075,0.0006577697,0.0030170968,0.0011376288,0.00012714103,0.00045856833,0.0011362898],"genre_scores_gemma":[0.99512696,0.000021821534,0.00326265,0.00014659594,0.00018694242,0.00020663513,0.00009968038,0.00003734753,0.00091138284],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99626875,0.00039976122,0.00084743585,0.0010256902,0.00076523784,0.0006931028],"domain_scores_gemma":[0.9954301,0.00026083275,0.00025823776,0.0036535528,0.0001650189,0.00023225104],"candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0011128782,0.00033476664,0.0005213508,0.00018490023,0.00017563069,0.000638606,0.0044494825,0.00013667211,0.000033569544],"category_scores_gemma":[0.00010561526,0.00028725844,0.000119498036,0.0004096197,0.0000458987,0.0016506114,0.0008748451,0.00019918536,0.0009039912],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000108035136,0.0012910162,0.06482412,0.0043971464,0.0038914862,0.00052588223,0.0122496355,0.26572105,0.024607975,0.28087708,0.12784994,0.21365663],"study_design_scores_gemma":[0.0005854662,0.000031747764,0.0011000232,0.0001695863,0.000013137824,0.00007323218,0.0002038534,0.99381626,0.0000020802752,0.00045523045,0.0031807576,0.00036862434],"about_ca_topic_score_codex":0.0014894259,"about_ca_topic_score_gemma":0.000038744747,"teacher_disagreement_score":0.97783965,"about_ca_system_score_codex":0.00018502257,"about_ca_system_score_gemma":0.00010742396,"threshold_uncertainty_score":0.999958},"labels":[],"label_agreement":null},{"id":"W1969752454","doi":"10.1007/s10626-011-0100-4","title":"Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs","year":2011,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Reachability; Petri net; Computer science; Stochastic Petri net; Construct (python library); State space; State (computer science); Reachability problem; Theoretical computer science; Distributed computing; Mathematics; Algorithm; Programming language","score_opus":0.020116442522705332,"score_gpt":0.2521523024658863,"score_spread":0.232035859943181,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1969752454","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.2641579,0.00093286386,0.7261624,0.00005900112,0.003972056,0.0019318991,0.00010518412,0.0007020521,0.0019767003],"genre_scores_gemma":[0.96295065,0.000008104038,0.036137942,0.00001690383,0.00010983232,0.0002397594,0.00004489276,0.000059196922,0.0004327336],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99535704,0.00046062795,0.0013306551,0.0012398779,0.0007007814,0.00091099535],"domain_scores_gemma":[0.9965056,0.00045269966,0.0007121675,0.0017688002,0.0002803642,0.0002803789],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0024333787,0.0004893142,0.00079003896,0.00035765005,0.00025457042,0.00020649307,0.0016943706,0.00023818517,0.0000126997265],"category_scores_gemma":[0.0003771385,0.0004492823,0.00038094763,0.0007402145,0.00014032911,0.0005833181,0.00037077282,0.0002789658,0.00010771289],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0007352341,0.0009242471,0.05022798,0.0046778442,0.0021517195,0.00021415598,0.018504824,0.012363124,0.017376756,0.8547533,0.0013965884,0.036674205],"study_design_scores_gemma":[0.0008329131,0.00024347904,0.0004946053,0.0005081489,0.000042490094,0.00015248253,0.0005340106,0.9914616,0.00016154643,0.0044488916,0.0004318221,0.0006880116],"about_ca_topic_score_codex":0.00032269242,"about_ca_topic_score_gemma":0.000016916776,"teacher_disagreement_score":0.9790985,"about_ca_system_score_codex":0.00038649538,"about_ca_system_score_gemma":0.00017908955,"threshold_uncertainty_score":0.9997959},"labels":[],"label_agreement":null},{"id":"W2011012624","doi":"10.1007/s10626-006-0020-x","title":"Near-Optimal Online Control of Dynamic Discrete-Event Systems","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Normalization (sociology); Modular design; Computer science; Simple (philosophy); Optimal control; Discrete time and continuous time; Discrete event dynamic system; Algorithm; Control theory (sociology); Set (abstract data type); Event (particle physics); String (physics); Control (management); Mathematical optimization; Mathematics; Discrete system; Artificial intelligence","score_opus":0.007083788743341146,"score_gpt":0.2549401869041265,"score_spread":0.24785639816078536,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2011012624","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.16629453,0.0057127667,0.82103664,0.00019873111,0.0038803155,0.001532119,0.00058074517,0.00040653406,0.00035764667],"genre_scores_gemma":[0.99418217,0.000030074303,0.003267693,0.000021182528,0.0002214452,0.00019629368,0.00026232735,0.000102423095,0.0017164075],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9922507,0.0007677459,0.0026552242,0.0013712412,0.0017430914,0.0012120086],"domain_scores_gemma":[0.9952733,0.00031845903,0.0014811952,0.0022783326,0.00036980983,0.00027892867],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0016273112,0.00078808534,0.0015215178,0.00039691347,0.00030065997,0.00055776007,0.002494722,0.00033772728,0.000005618186],"category_scores_gemma":[0.00006787507,0.0007021406,0.00055181846,0.0009443772,0.00019804694,0.0007336411,0.00044033283,0.00041350094,0.000064899345],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000052348718,0.00026062378,0.0015099491,0.00073099707,0.0002499238,0.00009249882,0.00034012116,0.9786495,0.0025578793,0.014607759,0.00023902352,0.000709381],"study_design_scores_gemma":[0.0016643486,0.00020546211,0.0013677957,0.0011012442,0.00007515723,0.0002195971,0.00041317416,0.99317247,0.000012786001,0.000114075636,0.0009019612,0.0007519326],"about_ca_topic_score_codex":0.0026426704,"about_ca_topic_score_gemma":0.00016512991,"teacher_disagreement_score":0.82788765,"about_ca_system_score_codex":0.0007922227,"about_ca_system_score_gemma":0.00029946744,"threshold_uncertainty_score":0.99954295},"labels":[],"label_agreement":null},{"id":"W2016380948","doi":"10.1023/b:disc.0000005009.40749.b6","title":"Supervisor Reduction for Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":172,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Sublanguage; Supervisor; Supervisory control; Supervisory control theory; Automaton; Reduction (mathematics); Event (particle physics); Controllability; State (computer science); Computer science; Product (mathematics); Observability; Mathematics; Control theory (sociology); Control (management); Algorithm; Theoretical computer science; Programming language; Artificial intelligence; Physics; Applied mathematics","score_opus":0.018287080530695606,"score_gpt":0.277910279274752,"score_spread":0.25962319874405637,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2016380948","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.019548262,0.004771663,0.95669526,0.00021659139,0.014275653,0.002730626,0.00010043599,0.0004915818,0.0011699242],"genre_scores_gemma":[0.9907442,0.000054587967,0.003713364,0.000016739783,0.00034099328,0.001123941,0.00008141365,0.00009140448,0.0038333556],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99429566,0.0007298083,0.0015125445,0.0013640265,0.0010263192,0.0010716666],"domain_scores_gemma":[0.9967177,0.0001940377,0.0005949515,0.0018721223,0.0002999509,0.00032123717],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0024057159,0.000592309,0.0008401648,0.0003615555,0.00044202997,0.00069626025,0.0014936794,0.00027350156,0.0000047113404],"category_scores_gemma":[0.00017158524,0.00053512346,0.00042887707,0.00074810465,0.00006229142,0.0009207524,0.00018074567,0.00024288539,0.00008137436],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00007573957,0.00029239332,0.00061486044,0.0026991093,0.00061652093,0.0000488719,0.0035608164,0.45219028,0.007394471,0.5255723,0.0042497152,0.0026849592],"study_design_scores_gemma":[0.0009604737,0.00018263592,0.000032691994,0.00071313314,0.000045727356,0.00045192736,0.0016582349,0.98150325,0.000118735064,0.0006604638,0.012903967,0.0007687487],"about_ca_topic_score_codex":0.00026609024,"about_ca_topic_score_gemma":0.000012718627,"teacher_disagreement_score":0.97119594,"about_ca_system_score_codex":0.00076479896,"about_ca_system_score_gemma":0.00021611099,"threshold_uncertainty_score":0.99971},"labels":[],"label_agreement":null},{"id":"W2018093794","doi":"10.1007/s10626-013-0160-8","title":"A stochastic hybrid state model for optimizing hedging policies in manufacturing systems with randomly occurring defects","year":2013,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Advanced Queuing Theory Analysis","field":"Business, Management and Accounting","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Polytechnique Montréal; Group for Research in Decision Analysis","funders":"","keywords":"Piecewise; Mode (computer interface); Observable; State (computer science); Extension (predicate logic); Class (philosophy); Production (economics); Mathematical optimization; Computer science; Control theory (sociology); Mathematics; Control (management); Applied mathematics; Algorithm; Economics; Mathematical analysis; Physics","score_opus":0.008350037458738831,"score_gpt":0.22818035020779395,"score_spread":0.21983031274905512,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2018093794","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.485908,0.00020688893,0.5117891,0.00003509295,0.00023001085,0.0015526717,0.000013532789,0.00015893318,0.00010575691],"genre_scores_gemma":[0.9978009,0.0000026582024,0.00026732133,0.00008797519,0.00019156765,0.001063124,0.000061822895,0.00011576263,0.00040890375],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9973442,0.000049948005,0.0007722287,0.00061101874,0.00037549122,0.0008471204],"domain_scores_gemma":[0.9985295,0.00020495174,0.0006356854,0.0004508072,0.00013704841,0.000042001655],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007828749,0.00047885682,0.0007753898,0.0006853119,0.00029575542,0.0007428799,0.00037885914,0.00006889483,0.000003836578],"category_scores_gemma":[0.00009391305,0.0004028093,0.0001874785,0.0002998246,0.000057562258,0.0017123828,0.00015024729,0.00025303834,0.000035751847],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0001630036,0.000019135356,0.00031385667,0.00087799184,0.000103103564,0.000008560353,0.00020309527,0.9968411,0.00013990523,0.0011873469,0.000018712932,0.0001242438],"study_design_scores_gemma":[0.0019908536,0.000014640412,0.00007032582,0.0014564698,0.00012718454,0.000011838531,0.0015917703,0.9926787,0.000010273884,0.0014772444,0.000023797933,0.00054690556],"about_ca_topic_score_codex":0.002034656,"about_ca_topic_score_gemma":0.00020563726,"teacher_disagreement_score":0.51189286,"about_ca_system_score_codex":0.00028102507,"about_ca_system_score_gemma":0.000026109916,"threshold_uncertainty_score":0.9998424},"labels":[],"label_agreement":null},{"id":"W2019115393","doi":"10.1007/s10626-011-0122-y","title":"Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems","year":2011,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Decidability; Undecidable problem; Inference; Event (particle physics); Decision problem; Architecture; Theoretical computer science; Artificial intelligence; Distributed computing; Algorithm","score_opus":0.032162927421441265,"score_gpt":0.30617132823873017,"score_spread":0.2740084008172889,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2019115393","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.25624886,0.0063259974,0.73116994,0.000058883597,0.002738385,0.003218032,0.00009260518,0.00011553015,0.00003177763],"genre_scores_gemma":[0.98321515,0.00016041847,0.014231701,0.000018079709,0.0000791781,0.002151295,0.000017169401,0.00005999988,0.000066989254],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9938483,0.0009885891,0.0021049387,0.0010944115,0.0010065174,0.0009572073],"domain_scores_gemma":[0.9948105,0.002150353,0.0009720277,0.001620218,0.00026166835,0.00018522525],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0028894276,0.00054170226,0.00094069605,0.00034569667,0.0003175136,0.000253772,0.0026033965,0.00019557418,0.000002162863],"category_scores_gemma":[0.0010359775,0.00037472352,0.0003264329,0.00080020336,0.00012512448,0.00041994412,0.0005526879,0.00031288672,0.000005421354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0002293141,0.0003971365,0.03553595,0.0014198084,0.00024974567,0.000060720955,0.020899205,0.9230853,0.0015882838,0.0070346068,0.0001467825,0.009353149],"study_design_scores_gemma":[0.0015162883,0.00014229729,0.0033473042,0.0047747423,0.00003041218,0.00004934186,0.0013378013,0.9877506,0.00027051618,0.00017211767,0.00014340588,0.00046520258],"about_ca_topic_score_codex":0.00230256,"about_ca_topic_score_gemma":0.00045173283,"teacher_disagreement_score":0.7269663,"about_ca_system_score_codex":0.00030488285,"about_ca_system_score_gemma":0.00013732657,"threshold_uncertainty_score":0.9998705},"labels":[],"label_agreement":null},{"id":"W2028436354","doi":"10.1007/s10626-005-4059-x","title":"A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Supervisor; Automaton; Computer science; Event (particle physics); Timed automaton; Supervisory control theory; Supervisory control; Set (abstract data type); Transformation (genetics); Relation (database); Finite-state machine; State (computer science); Automata theory; Conformance testing; Control (management); Programming language; Theoretical computer science; Operating system; Data mining; Artificial intelligence","score_opus":0.01639649275589925,"score_gpt":0.2835779494511766,"score_spread":0.2671814566952773,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2028436354","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.01537642,0.003158821,0.9746381,0.00044402314,0.002028836,0.0030389936,0.0002497961,0.00027226427,0.0007927493],"genre_scores_gemma":[0.9880878,0.00008034544,0.008824768,0.000042348092,0.00037946104,0.00080348866,0.000031528994,0.00006802489,0.0016822851],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99426526,0.0008506713,0.0020029086,0.00087163603,0.0010759494,0.00093355635],"domain_scores_gemma":[0.9953414,0.0010791513,0.0010906397,0.0019415234,0.00035147465,0.00019580699],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0048189964,0.0005356308,0.0011412585,0.00025502846,0.0003297971,0.00030885029,0.0023921516,0.00019925865,0.0000032803587],"category_scores_gemma":[0.00011088425,0.00038566056,0.00049094524,0.00047517105,0.000088053355,0.00073310145,0.0003067831,0.00023133356,0.000043779277],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00012729343,0.000084910615,0.00033898157,0.0015973137,0.0006388722,0.000009341452,0.003766977,0.9329941,0.012972551,0.04141576,0.00056651747,0.0054873507],"study_design_scores_gemma":[0.0013738757,0.00012397468,0.00012746877,0.0009213631,0.000069605594,0.00011160226,0.00055485143,0.99296737,0.00012970525,0.00007403467,0.0030776183,0.00046853305],"about_ca_topic_score_codex":0.00064129365,"about_ca_topic_score_gemma":0.00002920981,"teacher_disagreement_score":0.9727113,"about_ca_system_score_codex":0.00042768486,"about_ca_system_score_gemma":0.00018305452,"threshold_uncertainty_score":0.9998595},"labels":[],"label_agreement":null},{"id":"W2037637901","doi":"10.1007/s10626-005-2865-9","title":"Ghost Simulation Model for the Optimization of an Urban Subway System","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Transportation Planning and Optimization","field":"Social Sciences","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Bishop's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Headway; Overhead (engineering); Computer science; Function (biology); Event (particle physics); Control (management); Filter (signal processing); Service (business); Mathematical optimization; Engineering; Simulation; Control theory (sociology); Mathematics; Artificial intelligence","score_opus":0.016488809153549742,"score_gpt":0.30882021994499165,"score_spread":0.2923314107914419,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2037637901","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.012407347,0.00018892436,0.9852009,0.00016648896,0.00036107973,0.00095418625,0.00013459934,0.00011850029,0.00046800898],"genre_scores_gemma":[0.99540406,0.000013057766,0.0028801123,0.000010047179,0.00015573706,0.00007805268,0.00038013625,0.000018898063,0.0010598793],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9987496,0.00013134546,0.0004133386,0.00018214567,0.00034444605,0.00017909192],"domain_scores_gemma":[0.99908024,0.00017759064,0.00028880851,0.00018699346,0.00020739036,0.00005898226],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007861903,0.00010022247,0.0001520239,0.000063796564,0.0004234243,0.000063245796,0.00018119189,0.00009568701,0.0000044391213],"category_scores_gemma":[0.00004433904,0.00008030349,0.00007437059,0.00017185164,0.000055302397,0.00034508077,0.000003341304,0.00004152451,0.0000016918602],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000024768733,0.000015464688,0.00038669992,0.000049382557,0.000015842741,7.45972e-8,0.007884152,0.9817518,0.0000046972955,0.00959688,0.000022871911,0.000247396],"study_design_scores_gemma":[0.00026650474,0.00002067005,0.00022647005,0.0000794581,0.00004754517,2.0678438e-7,0.0061141485,0.99276036,0.00000142984,0.000007905297,0.00037447643,0.00010084561],"about_ca_topic_score_codex":0.00040842788,"about_ca_topic_score_gemma":0.0004776639,"teacher_disagreement_score":0.98299676,"about_ca_system_score_codex":0.00014636689,"about_ca_system_score_gemma":0.00008548068,"threshold_uncertainty_score":0.32746816},"labels":[],"label_agreement":null},{"id":"W2038118972","doi":"10.1007/s10626-014-0184-8","title":"Robustness of synchronous communication protocols with delay for decentralized discrete-event control","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Mount Allison University; Concordia University","funders":"","keywords":"Robustness (evolution); Control theory (sociology); Computer science; Upper and lower bounds; Decentralised system; Communications protocol; Distributed computing; Control (management); Mathematics; Computer network","score_opus":0.011155627054089344,"score_gpt":0.28551058829920306,"score_spread":0.2743549612451137,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2038118972","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.008043587,0.0004870666,0.97140914,0.00018554798,0.00041731267,0.019065376,0.00006619181,0.00018502878,0.000140763],"genre_scores_gemma":[0.96368176,0.000009045922,0.020863265,0.000013936029,0.00005627542,0.0151965,0.000054091342,0.00004526785,0.000079889796],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9958988,0.00078531465,0.0012444861,0.0006868274,0.00074559165,0.00063898624],"domain_scores_gemma":[0.9956867,0.00048188725,0.001096086,0.002166124,0.00039065894,0.00017855375],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0020361468,0.00040420252,0.0008985099,0.0001686644,0.00023196738,0.0002193911,0.0020844487,0.0001550564,0.0000018148207],"category_scores_gemma":[0.000106004314,0.00031671466,0.00022826491,0.0003767114,0.00010931921,0.00048514936,0.00015080313,0.0001599737,0.00000288666],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00023866507,0.00013796592,0.0010245197,0.0010101076,0.0002356747,0.0000023658442,0.0005350001,0.97194535,0.00035158353,0.02042698,0.00008584732,0.004005961],"study_design_scores_gemma":[0.0035588045,0.00039229478,0.00022121558,0.0017685447,0.000051515977,0.00005643138,0.00012973209,0.99255145,0.000048248778,0.000127914,0.0006748869,0.0004189569],"about_ca_topic_score_codex":0.00014027265,"about_ca_topic_score_gemma":0.00006718676,"teacher_disagreement_score":0.9556382,"about_ca_system_score_codex":0.00033547645,"about_ca_system_score_gemma":0.00016973786,"threshold_uncertainty_score":0.9999285},"labels":[],"label_agreement":null},{"id":"W2052404333","doi":"10.1007/s10626-011-0126-7","title":"A pseudometric in supervisory control of probabilistic discrete event systems","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Probabilistic logic; Supervisory control; Generator (circuit theory); Event (particle physics); Monotone polygon; Characterization (materials science); Discrete mathematics; Algorithm; Control (management); Artificial intelligence; Computer science; Statistics; Power (physics)","score_opus":0.012964024939932104,"score_gpt":0.252160529195101,"score_spread":0.23919650425516892,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2052404333","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.15224439,0.018486986,0.81963307,0.0001293148,0.0052806307,0.002854937,0.00043208548,0.00019309782,0.00074548845],"genre_scores_gemma":[0.9985132,0.00004074265,0.00011778497,0.000015559006,0.00016437922,0.0005585183,0.000060180548,0.00004320141,0.0004864253],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99423134,0.00080117735,0.0019224547,0.00075750815,0.0011002943,0.0011872259],"domain_scores_gemma":[0.99691135,0.0003278169,0.0007499218,0.0014336032,0.00020712432,0.00037018606],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002503231,0.0005199432,0.0012363484,0.00062037417,0.00010546853,0.0002015734,0.0014632579,0.00023257839,0.0000056282997],"category_scores_gemma":[0.00019382607,0.00043763535,0.00032353448,0.0019075706,0.00009693943,0.00095195,0.00021528671,0.0002992159,0.00006650207],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0002897475,0.0028180147,0.25569463,0.011144536,0.0011199949,0.00019209781,0.009101275,0.2814418,0.0046241344,0.4263278,0.0013443889,0.0059015728],"study_design_scores_gemma":[0.0020370807,0.00017991888,0.0245714,0.0013453013,0.000044514978,0.0001325975,0.00083205826,0.968142,0.0000087317085,0.000105369465,0.001891228,0.0007098387],"about_ca_topic_score_codex":0.0013164222,"about_ca_topic_score_gemma":0.000036474397,"teacher_disagreement_score":0.84626883,"about_ca_system_score_codex":0.0004929302,"about_ca_system_score_gemma":0.00013545912,"threshold_uncertainty_score":0.99980754},"labels":[],"label_agreement":null},{"id":"W2055536026","doi":"10.1007/s10626-014-0194-6","title":"New results on supervisor localization, with case studies","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Supervisory control; Supervisory control theory; Event (particle physics); Computer science; Congruence (geometry); Pairwise comparison; Set (abstract data type); Information exchange; Disjoint sets; Theoretical computer science; Control (management); Distributed computing; Mathematics; Artificial intelligence; Discrete mathematics","score_opus":0.02024861955844544,"score_gpt":0.2816256451740603,"score_spread":0.2613770256156149,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2055536026","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0106071755,0.0006846687,0.98492146,0.0003637762,0.0015802244,0.0004719105,0.000015951262,0.0003098623,0.0010449898],"genre_scores_gemma":[0.9940104,0.000018530474,0.003883056,0.00009717164,0.0001896448,0.000042582076,0.000016952463,0.000032086522,0.001709585],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99708706,0.0003618154,0.0007016554,0.0007776063,0.0006605329,0.0004113297],"domain_scores_gemma":[0.9977376,0.00027720313,0.00027849094,0.0013085237,0.0002112912,0.0001868873],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0010050568,0.00031317252,0.0004475605,0.00019071397,0.0002457874,0.00022702558,0.0007272603,0.00008144821,8.84002e-7],"category_scores_gemma":[0.00017407794,0.00022703841,0.00007090014,0.0005822106,0.00003718439,0.00034473918,0.00017457758,0.00012221864,0.00006938813],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00012559256,0.00006577062,0.000602214,0.00046577698,0.00035591968,0.0011180677,0.008339231,0.90980893,0.000032578984,0.061080143,0.006852748,0.011153009],"study_design_scores_gemma":[0.0010022745,0.00029924576,0.000017026856,0.0007196757,0.000016699074,0.0013947975,0.00076175435,0.99264693,0.000010220365,0.00022380531,0.0025659055,0.00034169212],"about_ca_topic_score_codex":0.00037787753,"about_ca_topic_score_gemma":0.00018019199,"teacher_disagreement_score":0.9834032,"about_ca_system_score_codex":0.00022640199,"about_ca_system_score_gemma":0.00008641448,"threshold_uncertainty_score":0.9258358},"labels":[],"label_agreement":null},{"id":"W2057931867","doi":"10.1007/s10626-014-0185-7","title":"Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McMaster University","funders":"","keywords":"Preorder; Interface (matter); Consistency (knowledge bases); Flexibility (engineering); Computer science; Distributed computing; Supervisory control; Event (particle physics); Control (management); Mathematics; Parallel computing; Artificial intelligence","score_opus":0.024131908261031933,"score_gpt":0.26616512064209524,"score_spread":0.24203321238106332,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2057931867","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.14931028,0.005644539,0.839188,0.000089534384,0.0033198497,0.0018303426,0.00003651257,0.00018378993,0.0003971542],"genre_scores_gemma":[0.9972312,0.00011291634,0.0016571599,0.000015889256,0.00030583018,0.00018788227,0.000015471343,0.00008170384,0.0003919779],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99224323,0.0019577267,0.0021573415,0.0011976552,0.001493321,0.0009507434],"domain_scores_gemma":[0.9953745,0.00091241713,0.0012323662,0.001986952,0.0001987328,0.00029505635],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004763584,0.00067413814,0.001463757,0.00035158504,0.00047521302,0.000805686,0.0018538644,0.00027367537,9.05266e-7],"category_scores_gemma":[0.00008537557,0.0004705668,0.00032535222,0.00037979236,0.0003254107,0.0006178445,0.00075958733,0.0004988564,0.000007796791],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000044151366,0.000017311346,0.00011692887,0.0009784458,0.0001745834,0.000006230602,0.0013416857,0.9503244,0.0001412872,0.046622586,0.000008577773,0.00022378578],"study_design_scores_gemma":[0.0015500988,0.00006758092,0.000030083085,0.002229224,0.000085092855,0.00030963583,0.0006934086,0.9935767,0.000034313973,0.00031411697,0.00055109273,0.0005586621],"about_ca_topic_score_codex":0.0025310977,"about_ca_topic_score_gemma":0.000009150194,"teacher_disagreement_score":0.8479209,"about_ca_system_score_codex":0.00030195428,"about_ca_system_score_gemma":0.00010980617,"threshold_uncertainty_score":0.9997746},"labels":[],"label_agreement":null},{"id":"W2069208287","doi":"10.1007/s10626-008-0040-9","title":"Control of Parameterized Discrete Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke; Université Laval","funders":"","keywords":"Parameterized complexity; Bounded function; Event (particle physics); Control (management); Discrete event dynamic system; Scale (ratio); Control system; Similarity (geometry); Mathematics; Computer science; Control theory (sociology); Discrete system; Algorithm; Engineering; Mathematical analysis; Artificial intelligence; Physics","score_opus":0.015533049604021227,"score_gpt":0.25927274548525137,"score_spread":0.24373969588123015,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2069208287","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.12612471,0.0036521598,0.862894,0.00009930728,0.004707922,0.001569655,0.00014815405,0.0003415737,0.00046254165],"genre_scores_gemma":[0.9969449,0.000082644445,0.0013776764,0.000026290216,0.00016627222,0.00034468755,0.000035992583,0.000067226145,0.00095430826],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9931804,0.0009681107,0.0022059914,0.0011121524,0.0015860952,0.00094725314],"domain_scores_gemma":[0.9954463,0.00039767264,0.0012748548,0.0022499247,0.0003002793,0.00033094527],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0016196662,0.0006136824,0.0014852093,0.00039703437,0.00028137417,0.00019398291,0.0022596,0.00025397594,0.0000047510835],"category_scores_gemma":[0.00013541937,0.00052679033,0.00051606516,0.00079068943,0.00017309046,0.00068322854,0.0003476067,0.0002911996,0.00008045657],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0003845726,0.00052923796,0.010750624,0.0031557407,0.0020029487,0.0008443828,0.0059109665,0.8716852,0.027908925,0.07383621,0.0013091306,0.0016820303],"study_design_scores_gemma":[0.001886472,0.0001989122,0.00048094356,0.0008589704,0.000044561115,0.0005835695,0.00023791358,0.99402684,0.00006352148,0.00008445949,0.00092012924,0.0006136863],"about_ca_topic_score_codex":0.00081094314,"about_ca_topic_score_gemma":0.000007706748,"teacher_disagreement_score":0.87082016,"about_ca_system_score_codex":0.0004075816,"about_ca_system_score_gemma":0.00023266491,"threshold_uncertainty_score":0.99971837},"labels":[],"label_agreement":null},{"id":"W2073923541","doi":"10.1007/s10626-007-0033-0","title":"Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Supervisor; Comparability; Reduction (mathematics); Event (particle physics); Relation (database); Supervisory control; Representation (politics); Control (management); Computer science; Control theory (sociology); Mathematics; Control engineering; Engineering; Artificial intelligence; Data mining; Physics","score_opus":0.025863003665592018,"score_gpt":0.2715687262432636,"score_spread":0.2457057225776716,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2073923541","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.66234595,0.00090939057,0.33207795,0.000053073243,0.0030690178,0.0010879097,0.000048725105,0.00018105941,0.00022695007],"genre_scores_gemma":[0.9978321,0.000101491874,0.00075426797,0.0000064768838,0.00023373426,0.00024346849,0.00010684756,0.000058440437,0.00066313683],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99366885,0.0012451204,0.0018600812,0.0011426725,0.0013979479,0.0006853394],"domain_scores_gemma":[0.9969229,0.00011652157,0.0007729197,0.0016924164,0.00027346416,0.00022178948],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00210598,0.00047619172,0.0008511704,0.0007441751,0.00020218185,0.0001585516,0.0014747657,0.00026670072,0.0000031111947],"category_scores_gemma":[0.00007984396,0.0004573011,0.00019945911,0.0011767765,0.00011122139,0.0016145641,0.00027286253,0.00029280412,0.000023589417],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00011968074,0.0010909848,0.003816094,0.002951217,0.00025249796,0.00039083615,0.02946994,0.85011536,0.05855396,0.034190707,0.00021789444,0.018830834],"study_design_scores_gemma":[0.00081378425,0.00022232991,0.010930086,0.000963387,0.000015921758,0.00037956264,0.0021540716,0.98361486,0.00021950126,0.000037654652,0.00011403125,0.0005347797],"about_ca_topic_score_codex":0.0016975038,"about_ca_topic_score_gemma":0.00007105109,"teacher_disagreement_score":0.3354862,"about_ca_system_score_codex":0.00077642035,"about_ca_system_score_gemma":0.00013879414,"threshold_uncertainty_score":0.99978787},"labels":[],"label_agreement":null},{"id":"W2087111390","doi":"10.1007/s10626-012-0138-y","title":"Methods for the estimation of the size of lookahead tree state-space","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Tree (set theory); State space; State (computer science); Estimation; Computer science; Space (punctuation); Mathematics; Algorithm; Statistics; Combinatorics; Engineering","score_opus":0.02138148781266268,"score_gpt":0.3420575111813494,"score_spread":0.3206760233686867,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2087111390","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.013103995,0.0026491801,0.9800524,0.00027090317,0.002617419,0.0010655962,0.00002640174,0.000038346883,0.00017572042],"genre_scores_gemma":[0.9338862,0.00000869509,0.06539294,0.000009753852,0.000042417403,0.000117116535,0.0000017451272,0.000016480055,0.0005246541],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9977417,0.0005790761,0.0006929106,0.00022720237,0.00042376845,0.0003353221],"domain_scores_gemma":[0.9960305,0.0019201076,0.0006942921,0.001172594,0.00012895309,0.000053533044],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0033482583,0.00016837806,0.00034759025,0.000053975793,0.000118628486,0.000044092805,0.001307536,0.00006224754,9.0468666e-7],"category_scores_gemma":[0.00043155774,0.00009375754,0.00021595974,0.00040810616,0.0000738368,0.00031641597,0.00023689643,0.0000881128,0.000001991873],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000054330678,0.00015124351,0.0027195853,0.0015876011,0.00043031556,3.160244e-7,0.013569721,0.75037676,0.012363182,0.08554842,0.00042332307,0.1327752],"study_design_scores_gemma":[0.00023690701,0.00003118263,0.0013709143,0.0002445,0.00003197565,0.000009385749,0.00029169317,0.9957735,0.00090742146,0.0006656115,0.00032581727,0.00011112154],"about_ca_topic_score_codex":0.0001661983,"about_ca_topic_score_gemma":0.0000126331515,"teacher_disagreement_score":0.9207822,"about_ca_system_score_codex":0.0001155698,"about_ca_system_score_gemma":0.00007060026,"threshold_uncertainty_score":0.38233215},"labels":[],"label_agreement":null},{"id":"W2091559615","doi":"10.1023/b:disc.0000005010.55515.27","title":"On the Computation of Observers in Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Automaton; Supervisor; Equivalence (formal languages); Computation; Event (particle physics); Mathematics; Supervisory control; Computer science; Hierarchy; Supervisory control theory; Theoretical computer science; Blocking (statistics); Algorithm; Property (philosophy); Control (management); Artificial intelligence; Discrete mathematics","score_opus":0.020320978854881846,"score_gpt":0.2727381858779031,"score_spread":0.2524172070230213,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2091559615","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.247876,0.0012765455,0.74443054,0.00017974834,0.0033837217,0.0013018323,0.000024018607,0.00010348456,0.0014241183],"genre_scores_gemma":[0.99909174,0.000016110187,0.00030891204,0.00002517902,0.00002997087,0.00015901023,0.000013728216,0.000032852393,0.00032250964],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9950177,0.0013531153,0.0013137838,0.0006933152,0.0010769222,0.0005451345],"domain_scores_gemma":[0.9973823,0.0005360492,0.00069777743,0.0011459431,0.0001276839,0.00011028972],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0026405633,0.00036159426,0.000607948,0.00029865405,0.00014010526,0.00021103802,0.001234288,0.00014001345,0.0000022520223],"category_scores_gemma":[0.00020334507,0.0002623814,0.00020364996,0.000962051,0.00006518791,0.0003391818,0.00014174385,0.00026237045,0.000034378725],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000009184751,0.00005441051,0.00090528245,0.0002270022,0.000049737446,0.000016171934,0.0007442637,0.7256803,0.00017886246,0.2718776,0.00012141866,0.00013578005],"study_design_scores_gemma":[0.0005311909,0.00010728314,0.0005565416,0.0014188933,0.00001028386,0.000036549263,0.0012548337,0.99454606,0.00003219399,0.0010266211,0.00016996627,0.00030956697],"about_ca_topic_score_codex":0.00059547933,"about_ca_topic_score_gemma":0.0000456489,"teacher_disagreement_score":0.75121576,"about_ca_system_score_codex":0.00053058914,"about_ca_system_score_gemma":0.00013380055,"threshold_uncertainty_score":0.99998283},"labels":[],"label_agreement":null},{"id":"W2093645787","doi":"10.1007/s10626-014-0193-7","title":"Enforcing opacity of regular predicates on modal transition systems","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Opacity; Sigma; Predicate (mathematical logic); Modal; Lift (data mining); Controller (irrigation); Mathematics; Discrete mathematics; Combinatorics; Algorithm; Computer science; Physics; Programming language","score_opus":0.008616318623974216,"score_gpt":0.2355877878856722,"score_spread":0.22697146926169798,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2093645787","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.13005203,0.00044664097,0.8651261,0.00008939877,0.0021340768,0.0006472414,0.000038803624,0.0002513997,0.0012143173],"genre_scores_gemma":[0.9985683,0.000010237802,0.0008722659,0.00001575342,0.0001714391,0.00009187628,0.000033054228,0.00003244893,0.00020462954],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9960793,0.0006080227,0.0010642655,0.0007019928,0.001064847,0.00048156222],"domain_scores_gemma":[0.9976054,0.0002113034,0.0005670934,0.0013027265,0.00015013429,0.00016335712],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002045765,0.0003282217,0.00065574504,0.00029823527,0.00015382732,0.00018141982,0.0011520591,0.00018178293,0.000001206414],"category_scores_gemma":[0.00007629982,0.00029125685,0.0001994538,0.0004334346,0.00006343598,0.00047625613,0.000110108056,0.00019376777,0.000023755503],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000029714723,0.00006862163,0.00018086436,0.0011274687,0.00010650341,0.000008027067,0.0018228043,0.89781874,0.0047768075,0.09247253,0.00011692902,0.0014709887],"study_design_scores_gemma":[0.00046270466,0.00019528784,0.00013002715,0.0015025034,0.000018876939,0.000055161847,0.00028063531,0.9962279,0.000285557,0.00035823963,0.00018697874,0.00029608712],"about_ca_topic_score_codex":0.00040302268,"about_ca_topic_score_gemma":0.000004871927,"teacher_disagreement_score":0.86851627,"about_ca_system_score_codex":0.00025316895,"about_ca_system_score_gemma":0.000052768686,"threshold_uncertainty_score":0.999954},"labels":[],"label_agreement":null},{"id":"W2097523314","doi":"10.1007/s10626-008-0054-3","title":"On the Computation of Natural Observers in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Projection (relational algebra); Extension (predicate logic); Property (philosophy); Computation; Mathematics; Algorithm; Computational complexity theory; Computer science; Control theory (sociology); Control (management); Artificial intelligence","score_opus":0.021369411764692977,"score_gpt":0.26751890780485715,"score_spread":0.24614949604016417,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2097523314","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.5856136,0.0018602692,0.4064494,0.00026511075,0.004133308,0.0011701519,0.000024871058,0.00012803095,0.0003552246],"genre_scores_gemma":[0.9990684,0.000029218701,0.000220228,0.000028661145,0.00006374178,0.00012505846,0.000026675518,0.000031591662,0.00040645234],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9954295,0.0008223157,0.001288848,0.0006890847,0.0012289281,0.0005413195],"domain_scores_gemma":[0.9975088,0.0004969949,0.0006977826,0.0010494093,0.00014692351,0.00010006491],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001408696,0.00037275284,0.00063769036,0.00031575921,0.00021085139,0.00012562767,0.0015092026,0.0001299517,0.0000011069936],"category_scores_gemma":[0.000118391064,0.00026417358,0.00023080265,0.00092219946,0.000105163665,0.00042277575,0.0002540395,0.0003429288,0.000030583837],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000031290547,0.00007664232,0.0019695607,0.0003032209,0.00008656893,0.000076998025,0.0021434792,0.9351433,0.00038083963,0.059211485,0.00034194445,0.00023467214],"study_design_scores_gemma":[0.0005373339,0.00009624236,0.0026453608,0.0012406001,0.0000075536695,0.00011350239,0.000725886,0.9940389,0.000019848969,0.00021446231,0.00005318876,0.00030711992],"about_ca_topic_score_codex":0.0010441724,"about_ca_topic_score_gemma":0.000051243216,"teacher_disagreement_score":0.41345474,"about_ca_system_score_codex":0.00055499113,"about_ca_system_score_gemma":0.00013107099,"threshold_uncertainty_score":0.99998105},"labels":[],"label_agreement":null},{"id":"W2098906570","doi":"10.1007/s10626-005-4058-y","title":"Multitasking Supervisory Control of Discrete-Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Supervisory control; Supervisory control theory; Liveness; Human multitasking; Automaton; Computer science; Event (particle physics); Control (management); Generator (circuit theory); Controller (irrigation); Control engineering; Distributed computing; Engineering; Theoretical computer science; Artificial intelligence","score_opus":0.01568633172866216,"score_gpt":0.2610896481615611,"score_spread":0.24540331643289895,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2098906570","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.04481007,0.010118804,0.9382808,0.00026716848,0.0036689292,0.001463701,0.00014927557,0.00037076505,0.00087045814],"genre_scores_gemma":[0.9963871,0.00005620543,0.0019247188,0.000040783387,0.00039206352,0.00024218406,0.00003483534,0.00007414236,0.00084794965],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99358946,0.00075608346,0.0021083634,0.001097875,0.0014616547,0.0009865733],"domain_scores_gemma":[0.9960907,0.0003587446,0.0009437183,0.002011682,0.0002911202,0.00030403328],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002144481,0.0006025455,0.0011850016,0.00044093022,0.0002289006,0.00034399916,0.0023415736,0.00025846125,0.0000071950267],"category_scores_gemma":[0.000105936015,0.0005357732,0.0004457476,0.00063667644,0.00009760897,0.0010235264,0.00040534817,0.0003258056,0.00011169274],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000041613293,0.00017955243,0.002867967,0.0010501103,0.00043533335,0.000048327765,0.0025288018,0.95138454,0.005306453,0.031898506,0.00029603395,0.0039627315],"study_design_scores_gemma":[0.001382494,0.000096977696,0.000320332,0.001266589,0.000048428315,0.00013020397,0.00079862797,0.9928982,0.00006505364,0.00003879543,0.002347368,0.00060688314],"about_ca_topic_score_codex":0.0006703609,"about_ca_topic_score_gemma":0.00005568593,"teacher_disagreement_score":0.95157707,"about_ca_system_score_codex":0.0006354647,"about_ca_system_score_gemma":0.00016529192,"threshold_uncertainty_score":0.99970937},"labels":[],"label_agreement":null},{"id":"W2104923402","doi":"10.1007/s10626-006-6178-4","title":"Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Consistency (knowledge bases); Scalability; Computation; Computer science; Event (particle physics); Fault (geology); Algorithm; Computational complexity theory; Local consistency; Distributed computing; Mathematics; Theoretical computer science; Artificial intelligence","score_opus":0.01537455306363327,"score_gpt":0.2859732222513008,"score_spread":0.2705986691876675,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2104923402","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.036312878,0.0049048173,0.9450063,0.00068329053,0.007320728,0.0027116314,0.0006734445,0.0006257534,0.0017611508],"genre_scores_gemma":[0.99320894,0.000029395553,0.0024807854,0.00007061008,0.00057035923,0.0019664967,0.00022021559,0.00007741432,0.0013757552],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9925765,0.00096430583,0.0020797537,0.0014996254,0.0014692678,0.0014105946],"domain_scores_gemma":[0.9958608,0.0007352893,0.0007756157,0.0019270749,0.00032455262,0.000376651],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0018942235,0.00078344485,0.0011627529,0.00024640188,0.0007035306,0.0009600227,0.002238396,0.00039079395,0.0000032956787],"category_scores_gemma":[0.00014126654,0.0006933683,0.0006576638,0.00087929214,0.0001732227,0.000657815,0.0005251754,0.00039399508,0.00007312688],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000051426425,0.00039825268,0.0059749424,0.0013410755,0.0003559857,0.00007365757,0.0003311877,0.43824792,0.00016278113,0.5472046,0.0044226404,0.0014354971],"study_design_scores_gemma":[0.0013169962,0.0002517077,0.0014544348,0.0011066014,0.00008156051,0.000266681,0.0006577352,0.9839745,0.000009219914,0.0063438234,0.0035563642,0.0009803467],"about_ca_topic_score_codex":0.002972838,"about_ca_topic_score_gemma":0.0002808602,"teacher_disagreement_score":0.95689607,"about_ca_system_score_codex":0.001448887,"about_ca_system_score_gemma":0.0003040383,"threshold_uncertainty_score":0.9995518},"labels":[],"label_agreement":null},{"id":"W2163358872","doi":"10.1007/s10626-010-0089-0","title":"Conceptual Design of Discrete-Event Systems Using Templates","year":2010,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Usability; Software engineering; Software; Event (particle physics); Systems engineering; Human–computer interaction; Programming language; Engineering","score_opus":0.030740102878598834,"score_gpt":0.29232436500172165,"score_spread":0.2615842621231228,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2163358872","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.14027686,0.0015643871,0.8483019,0.000034608,0.007919018,0.0013613256,0.00007729389,0.00026418423,0.00020045822],"genre_scores_gemma":[0.9890551,0.00001561104,0.0100628,0.000008402496,0.00026100536,0.00012037589,0.000024318178,0.00007367056,0.00037870876],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9941087,0.00074346253,0.0018501712,0.0010736058,0.0013165192,0.00090755924],"domain_scores_gemma":[0.99577093,0.00047142932,0.0011809685,0.0019421566,0.00032618904,0.000308343],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0024155057,0.00059646455,0.0010760061,0.00038684532,0.00027752965,0.0003913159,0.0023175688,0.00034616276,0.000007713151],"category_scores_gemma":[0.00015137426,0.00052000803,0.00029306795,0.0007434379,0.00025617683,0.00083601626,0.0005116204,0.00049176876,0.000041044073],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000033648124,0.000099177065,0.0016890201,0.0004541232,0.0002793693,0.00006709506,0.002561138,0.85751414,0.0652982,0.07142309,0.00015230537,0.00042868673],"study_design_scores_gemma":[0.00058789796,0.0001243912,0.00007788536,0.00081707834,0.00004261813,0.00032984314,0.0012511406,0.99533844,0.0002879775,0.00015652821,0.00036978774,0.0006164144],"about_ca_topic_score_codex":0.00097392907,"about_ca_topic_score_gemma":0.000020805706,"teacher_disagreement_score":0.84877825,"about_ca_system_score_codex":0.0002881061,"about_ca_system_score_gemma":0.00031394497,"threshold_uncertainty_score":0.99972516},"labels":[],"label_agreement":null},{"id":"W2178951833","doi":"10.1007/s10626-015-0212-3","title":"Minimal sensor activation and minimal communication in discrete-event systems","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Event (particle physics); Discrete event dynamic system; Computer science; State (computer science); Real-time computing; Distributed computing; Discrete system; Control theory (sociology); Artificial intelligence; Algorithm; Control (management)","score_opus":0.026686252657598008,"score_gpt":0.28976875628386145,"score_spread":0.26308250362626345,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2178951833","genre_codex":"empirical","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":"empirical","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.52326953,0.002888477,0.46935767,0.0005476472,0.0015261323,0.001340946,0.00003900043,0.0002311411,0.000799495],"genre_scores_gemma":[0.9964493,0.000044807442,0.0023427093,0.000020065409,0.00010529702,0.00023487462,0.00007324307,0.000042550317,0.0006871872],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9953467,0.0010220954,0.0012556207,0.0008342509,0.0009431337,0.0005981768],"domain_scores_gemma":[0.9971529,0.00027505177,0.0006267242,0.0014527042,0.00020333182,0.00028927217],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0023689906,0.0004100697,0.0006424464,0.00040767033,0.0001556259,0.0005285337,0.001174325,0.00022519108,7.675963e-7],"category_scores_gemma":[0.00016971782,0.00038377155,0.00009745245,0.00064159196,0.00008324768,0.001126163,0.0005566535,0.0003023877,0.000029442712],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0007810934,0.0010073766,0.06781166,0.0039395355,0.0007746438,0.0003152238,0.05136841,0.70758295,0.013998907,0.13803484,0.0038731045,0.01051223],"study_design_scores_gemma":[0.001088909,0.00012322672,0.0020812836,0.0011096051,0.000013209597,0.00013501396,0.003951651,0.9900025,0.000031778614,0.00013043388,0.00086257217,0.00046980713],"about_ca_topic_score_codex":0.0014860436,"about_ca_topic_score_gemma":0.00007767415,"teacher_disagreement_score":0.47317976,"about_ca_system_score_codex":0.0007773642,"about_ca_system_score_gemma":0.00016921967,"threshold_uncertainty_score":0.9998614},"labels":[],"label_agreement":null},{"id":"W2603469395","doi":"10.1007/s10626-017-0243-z","title":"Augmented finite transition systems as abstractions for control synthesis","year":2017,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Waterloo","funders":"Defense Advanced Research Projects Agency; National Science Foundation","keywords":"Realizability; Liveness; Preorder; Transition system; Abstraction; Computer science; Representation (politics); Class (philosophy); Temporal logic; Theoretical computer science; Mathematics; Algorithm; Discrete mathematics","score_opus":0.020220997884108624,"score_gpt":0.3220518371624749,"score_spread":0.30183083927836624,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2603469395","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.004161236,0.00017609155,0.9873903,0.00058911165,0.0044937306,0.0016632986,0.00023286404,0.0002174906,0.0010759224],"genre_scores_gemma":[0.98954517,0.00001771304,0.008139918,0.00002366634,0.00014318456,0.0014119068,0.000033420114,0.000027016911,0.00065803557],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99783206,0.00026114713,0.00061586156,0.0005140323,0.00039449363,0.00038239823],"domain_scores_gemma":[0.9970879,0.0004060653,0.0006992479,0.0015039447,0.00017684349,0.00012601058],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0013421704,0.00023641899,0.00037166083,0.00013363823,0.0008588544,0.00084303773,0.0011818149,0.00014708641,0.000004276025],"category_scores_gemma":[0.0004603596,0.00022229915,0.00020373464,0.00007085148,0.00006927981,0.0011156825,0.000042386506,0.0001238688,0.00010455391],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00040992707,0.0004614869,0.00037969407,0.0022241212,0.0011272585,0.00004487676,0.002454233,0.3848588,0.009231047,0.5705798,0.0009383032,0.027290449],"study_design_scores_gemma":[0.00059655844,0.00008630792,0.0014019124,0.00028756176,0.00005953699,0.00003731071,0.00026093735,0.99482757,0.00010846594,0.0003643569,0.0017047127,0.000264799],"about_ca_topic_score_codex":0.0005496756,"about_ca_topic_score_gemma":0.000013315049,"teacher_disagreement_score":0.9853839,"about_ca_system_score_codex":0.00021985245,"about_ca_system_score_gemma":0.0000711528,"threshold_uncertainty_score":0.90650964},"labels":[],"label_agreement":null},{"id":"W2966410070","doi":"10.1007/s10626-019-00282-0","title":"A controller synthesis framework for automated service composition","year":2019,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Web service; Computer science; WS-Policy; Supervisor; Service-oriented architecture; Web modeling; Service (business); Services computing; Task (project management); Business Process Execution Language; Supervisory control; Software engineering; Distributed computing; World Wide Web; Web development; Control (management); Web application security; Engineering; Artificial intelligence; Systems engineering","score_opus":0.0053150001246636425,"score_gpt":0.2540139106544575,"score_spread":0.24869891052979384,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2966410070","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.10913749,0.00051040837,0.88169384,0.0021969,0.002419427,0.002105499,0.0001086371,0.0013300983,0.0004977261],"genre_scores_gemma":[0.987641,0.0000051912607,0.0106089655,0.0010418583,0.000104730025,0.00041180907,0.000072485935,0.000036523117,0.00007744949],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99770784,0.00019203532,0.00050311617,0.00066848524,0.00042401065,0.00050453836],"domain_scores_gemma":[0.9978317,0.0007095441,0.00030533405,0.000821859,0.00019773873,0.00013384996],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00036561416,0.00031524815,0.00050066336,0.00016338358,0.0001674508,0.000280532,0.0011661624,0.00018360355,0.000009102555],"category_scores_gemma":[0.000011195462,0.0002636244,0.0001942787,0.0005510096,0.0000116256615,0.0003555611,0.00017114072,0.00015096621,0.0002599853],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0008112948,0.00063613703,0.0040288805,0.0049775853,0.0019184022,0.00003428813,0.013264597,0.16080175,0.02704166,0.77847105,0.0009369612,0.0070773805],"study_design_scores_gemma":[0.0006868432,0.00008604595,0.0009779503,0.0005580722,0.000040703184,0.000023198272,0.00038355147,0.99323916,0.00012339617,0.0021819894,0.0013404147,0.00035865873],"about_ca_topic_score_codex":0.0003056738,"about_ca_topic_score_gemma":0.000043712018,"teacher_disagreement_score":0.8785035,"about_ca_system_score_codex":0.00009498503,"about_ca_system_score_gemma":0.00004821465,"threshold_uncertainty_score":0.9999816},"labels":[],"label_agreement":null},{"id":"W3011527454","doi":"10.1007/s10626-019-00306-9","title":"Arborescent architecture for decentralized diagnosis of discrete event systems","year":2020,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Medical diagnosis; Inference; Computer science; Event (particle physics); Fault (geology); Decision tree; Fault tree analysis; Architecture; Artificial intelligence; Machine learning; Engineering; Medicine; Reliability engineering","score_opus":0.017450328585175433,"score_gpt":0.27475329119569775,"score_spread":0.2573029626105223,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3011527454","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.020668067,0.0073771942,0.9628525,0.0015438556,0.0033384943,0.0033274246,0.00046139443,0.00034554926,0.00008554506],"genre_scores_gemma":[0.9938532,0.0001877986,0.004240806,0.000083625455,0.00027164872,0.0010962893,0.0000997191,0.00008535469,0.000081523795],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99405795,0.00055663247,0.001878682,0.0012627664,0.0012513336,0.0009926453],"domain_scores_gemma":[0.9963566,0.00044654767,0.0010373144,0.0013662147,0.0002610618,0.000532246],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00096902426,0.00062627,0.0012697633,0.00022687804,0.00018238681,0.00031152344,0.0023158921,0.00022771234,0.0000040641003],"category_scores_gemma":[0.00026621055,0.00053408224,0.0006163536,0.0007948192,0.000080594684,0.00033878646,0.00046899935,0.0002770466,0.000017921422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00035113908,0.00026005247,0.0082928315,0.0073514995,0.0010383758,0.000077436365,0.0071429135,0.91546655,0.0033071646,0.047890395,0.0031646,0.005657042],"study_design_scores_gemma":[0.0015097513,0.00029177783,0.000211298,0.0014506635,0.000080137426,0.000034444918,0.0003693332,0.9865035,0.0002536237,0.00017134442,0.008482342,0.00064181397],"about_ca_topic_score_codex":0.00028465813,"about_ca_topic_score_gemma":0.000020184734,"teacher_disagreement_score":0.9731852,"about_ca_system_score_codex":0.0003480545,"about_ca_system_score_gemma":0.00017988046,"threshold_uncertainty_score":0.9997111},"labels":[],"label_agreement":null},{"id":"W3158571805","doi":"10.1007/s10626-020-00337-7","title":"A receding horizon event-driven control strategy for intelligent traffic management","year":2021,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Concordia University","funders":"Università della Calabria","keywords":"Benchmark (surveying); Model predictive control; Controller (irrigation); Event (particle physics); Horizon; Control (management); Set (abstract data type); Computer science; Control theory (sociology); Engineering; Control engineering; Real-time computing; Artificial intelligence; Mathematics","score_opus":0.023301001222893736,"score_gpt":0.29166162837212184,"score_spread":0.2683606271492281,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3158571805","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.015160182,0.0022485491,0.97519183,0.00023978937,0.004285371,0.0017078121,0.00006738047,0.00031335177,0.00078570587],"genre_scores_gemma":[0.9917976,0.000115009694,0.005457895,0.000035352437,0.00020933119,0.0006040837,0.00007349198,0.00005221803,0.0016549629],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9958731,0.00034085492,0.0011209943,0.0011289078,0.0007373063,0.0007988727],"domain_scores_gemma":[0.99778247,0.00020170838,0.00039966265,0.0011509863,0.00025130223,0.0002138629],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0010420376,0.00041434471,0.000637579,0.0002345594,0.00023939635,0.0005280703,0.0012177598,0.00015168905,0.0000061704513],"category_scores_gemma":[0.00004555401,0.0004041139,0.00037229134,0.0006193014,0.000027567346,0.00040228947,0.00026018385,0.00018403535,0.0000432564],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000033211734,0.00011057504,0.000051249288,0.0007460541,0.0004732819,0.00021291643,0.0005571392,0.90430933,0.0006190753,0.04632855,0.0004981213,0.046060503],"study_design_scores_gemma":[0.0011102753,0.00020159494,0.000022551081,0.0007661046,0.00006272383,0.00012851866,0.0014368556,0.9928592,0.00004343754,0.00029889695,0.0026026869,0.000467172],"about_ca_topic_score_codex":0.000016154103,"about_ca_topic_score_gemma":0.000031044536,"teacher_disagreement_score":0.9766375,"about_ca_system_score_codex":0.00058813504,"about_ca_system_score_gemma":0.00014005355,"threshold_uncertainty_score":0.9998411},"labels":[],"label_agreement":null},{"id":"W3189479682","doi":"10.1007/s10626-023-00381-z","title":"Do what you know: coupling knowledge with action in discrete-event systems","year":2023,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Formalism (music); Novelty; Inference; Computer science; Event (particle physics); Theoretical computer science; Binary number; Mathematics; Artificial intelligence; Psychology; Physics","score_opus":0.02526314545497558,"score_gpt":0.3087296647393855,"score_spread":0.2834665192844099,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3189479682","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.28807846,0.016374726,0.6776888,0.0002611503,0.013283226,0.002406454,0.000037036225,0.0012988918,0.0005712449],"genre_scores_gemma":[0.9950565,0.0008445635,0.0001871168,0.000006843594,0.00030485025,0.0006329899,0.0000877386,0.00010766192,0.0027717182],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9939789,0.00045124715,0.0014865927,0.001564444,0.0012759848,0.0012428209],"domain_scores_gemma":[0.9966863,0.0003099572,0.000644329,0.0018347016,0.00022559766,0.0002991417],"candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0029138122,0.0006724286,0.0009637015,0.0010107979,0.0003168368,0.0017258254,0.0017705467,0.00028936,0.000002625601],"category_scores_gemma":[0.000058119662,0.00056629855,0.00021704326,0.0028953047,0.00007383815,0.0023219187,0.0005843671,0.0004848891,0.00038664028],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000443143,0.00009213037,0.0025352023,0.0011470808,0.00015235331,0.00018460285,0.003266053,0.9787751,0.0004541336,0.008202024,0.00022746211,0.004919538],"study_design_scores_gemma":[0.0008894706,0.00012807664,0.0005928559,0.006035664,0.00002443292,0.0001475478,0.00769191,0.98176414,0.000016122478,0.000067109504,0.001902411,0.00074023777],"about_ca_topic_score_codex":0.00054968026,"about_ca_topic_score_gemma":0.00026572248,"teacher_disagreement_score":0.706978,"about_ca_system_score_codex":0.0012935349,"about_ca_system_score_gemma":0.0002646908,"threshold_uncertainty_score":0.99967885},"labels":[],"label_agreement":null},{"id":"W3207178583","doi":"10.1007/s10626-022-00365-5","title":"Using Subobservers to Synthesize Opacity-Enforcing Supervisors","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":true,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Opacity; Computer science; Business; Physics; Optics","score_opus":0.03919351297862473,"score_gpt":0.28784614505925554,"score_spread":0.24865263208063082,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W3207178583","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.35567808,0.00039585916,0.6390968,0.0001635328,0.0032021008,0.000677194,0.00004746989,0.00029927195,0.00043968615],"genre_scores_gemma":[0.9920011,0.0000030207082,0.006934266,0.00012052415,0.00008502335,0.0001916726,0.000012350881,0.000054602555,0.0005974328],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9953329,0.0007881503,0.0008448508,0.0009345373,0.0012910947,0.0008084429],"domain_scores_gemma":[0.99774045,0.00021224115,0.00027215996,0.0014142508,0.000083802486,0.00027709626],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002268264,0.00035949575,0.0005563051,0.00044159338,0.0008855698,0.0003650933,0.002426823,0.000065961045,0.000022754772],"category_scores_gemma":[0.00010674091,0.00038131795,0.00022982118,0.0013751845,0.000023732548,0.00061595027,0.0014854141,0.00033801148,0.00004449983],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000128507945,0.00003689811,0.001166861,0.0001170951,0.00006322319,0.00006863032,0.0032473728,0.9863508,0.0024690148,0.005722712,0.000117874544,0.00062667485],"study_design_scores_gemma":[0.00023798602,0.000091522634,0.000102337,0.00018898559,0.000015554098,0.00021613692,0.0032795337,0.99391043,0.00003547085,0.000091336566,0.0013389207,0.000491789],"about_ca_topic_score_codex":0.0012624343,"about_ca_topic_score_gemma":0.000027590344,"teacher_disagreement_score":0.63632303,"about_ca_system_score_codex":0.0013856938,"about_ca_system_score_gemma":0.00017800082,"threshold_uncertainty_score":0.99986386},"labels":[],"label_agreement":null},{"id":"W4283256992","doi":"10.1007/s10626-022-00363-7","title":"Epistemic interpretations of decentralized discrete-event system problems","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Queen's University","funders":"","keywords":"Observability; Event (particle physics); Supervisory control; Set (abstract data type); Control (management); Epistemology; Mathematics; Computer science; Theoretical computer science; Algebra over a field; Pure mathematics; Artificial intelligence; Applied mathematics; Philosophy; Physics; Programming language","score_opus":0.010529904656038988,"score_gpt":0.26200311821372246,"score_spread":0.2514732135576835,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4283256992","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.032276146,0.0044309516,0.95384735,0.00028210075,0.0049954318,0.0019934191,0.00030119947,0.00052213017,0.0013512712],"genre_scores_gemma":[0.9966068,0.000026902107,0.0015048665,0.00001706548,0.00004454383,0.001031526,0.000101800506,0.0000542551,0.00061223086],"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9931254,0.0013098058,0.0020971394,0.0010453933,0.001611894,0.0008103997],"domain_scores_gemma":[0.9962361,0.00024513502,0.0013059862,0.0017835471,0.00019186223,0.0002373826],"candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002063734,0.00047814744,0.00094874465,0.0004782196,0.0004960422,0.00020519986,0.0027691068,0.00010357333,0.000015374993],"category_scores_gemma":[0.000059156933,0.00046104155,0.00046398534,0.0012412046,0.0000801917,0.0005022073,0.00090016355,0.0003868133,0.000024720517],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000059298138,0.0002075612,0.0018553886,0.0025633108,0.00047749712,0.000077036355,0.008197068,0.84337944,0.0033454366,0.13738862,0.00039243934,0.002056898],"study_design_scores_gemma":[0.0008426874,0.00017032133,0.00015861254,0.0011310236,0.000051712126,0.00037141735,0.0035318525,0.99204844,0.00003058051,0.00031319578,0.00084465364,0.0005054759],"about_ca_topic_score_codex":0.0005090241,"about_ca_topic_score_gemma":0.000027163855,"teacher_disagreement_score":0.9643307,"about_ca_system_score_codex":0.0015955189,"about_ca_system_score_gemma":0.0002717458,"threshold_uncertainty_score":0.9997841},"labels":[],"label_agreement":null}]}