{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":36,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":36,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"0f9ad4425e23","filters":{"venue":"Discrete Event Dynamic Systems"}},"results":[{"id":"W2016380948","doi":"10.1023/b:disc.0000005009.40749.b6","title":"Supervisor Reduction for Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":172,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Sublanguage; Supervisor; Supervisory control; Supervisory control theory; Automaton; Reduction (mathematics); Event (particle physics); Controllability; State (computer science); Computer science; Product (mathematics); Observability; Mathematics; Control theory (sociology); Control (management); Algorithm; Theoretical computer science; Programming language; Artificial intelligence; Physics; Applied mathematics","authors":[{"name":"Rong Su","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01828708053069561,"gpt":0.277910279274752,"spread":0.2596231987440564,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008982465,0.0005500564,0.0009386811,0.000649251,0.0005633491,0.00102624,0.001083639,0.0005220039,0.004404527],"category_scores_gemma":[0.002699386,0.0004041589,0.001314822,0.0003797394,0.001122996,0.001220051,0.001703245,0.002021096,0.0006754472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000607635,"about_ca_system_score_gemma":0.001060971,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001534396,"about_ca_topic_score_gemma":0.00239805,"domain_scores_codex":[0.9989208,0.0002253489,0.00005994635,0.0001950064,0.0004719996,0.0001269925],"domain_scores_gemma":[0.9981697,0.001126993,0.00007354455,0.0003544955,0.0002057537,0.00006957058],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000440874,0.0003982028,0.0008246943,0.0005558265,0.0001370072,0.0004596622,0.0006142273,0.426497,0.01518924,0.2935323,0.007241705,0.2541093],"study_design_scores_gemma":[0.00008249418,0.00006761806,0.0002289037,0.00002107799,0.00003751217,0.00006161094,0.00006144635,0.6604767,0.007483535,0.3274838,0.003979148,0.00001606587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01459556,0.0001642189,0.977215,0.0001907653,0.00007735803,0.00008399426,0.0001013557,0.001380872,0.006190863],"genre_scores_gemma":[0.7250718,0.0003608202,0.2605397,0.0001445914,0.0001117494,0.0003134053,0.0006417665,0.000334042,0.01248203],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004404527,"threshold_uncertainty_score":0.01473457,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1507306347","doi":"10.1023/a:1013339920783","title":"Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":98,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Supervisor; Abstraction; Supervisory control; State space; Hybrid system; Existential quantification; State (computer science); Approximation theory; Control (management); Space (punctuation); Mathematics; Control system; Point (geometry); Computer science; Discrete mathematics; Applied mathematics; Algorithm; Mathematical analysis; Artificial intelligence; Engineering","authors":[{"name":"Thomas Moor","is_ca":false},{"name":"Jörg Raisch","is_ca":false},{"name":"Siu O’Young","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02825970214907624,"gpt":0.2387633250202957,"spread":0.2105036228712195,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001461882,0.0005209958,0.00145449,0.0003358388,0.0005621208,0.001511618,0.001160055,0.0007082425,0.001468197],"category_scores_gemma":[0.004495182,0.0004272604,0.0006309141,0.0003104021,0.001459649,0.001041835,0.001222556,0.001582564,0.0001869823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001272247,"about_ca_system_score_gemma":0.00134643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006439378,"about_ca_topic_score_gemma":0.005641593,"domain_scores_codex":[0.9991573,0.0002843002,0.00004749353,0.00017157,0.0002401677,0.00009914081],"domain_scores_gemma":[0.9968618,0.002085868,0.0003906841,0.0002081077,0.0003366732,0.0001167884],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002834548,0.00004114475,0.0002874119,0.0001044922,0.00004352479,0.00006490508,0.0002066176,0.9437531,0.002866603,0.03239739,0.000370726,0.01958059],"study_design_scores_gemma":[0.00001779621,0.0000264066,0.00005442982,0.000005673318,0.000004650577,0.000004443265,0.000007455964,0.9929823,0.0004212413,0.006315409,0.0001554525,0.000004763623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03851292,0.0001601228,0.9583837,0.000128736,0.00004495431,0.00002807463,0.00004502854,0.0002926594,0.002403832],"genre_scores_gemma":[0.9602416,0.0001063087,0.03786559,0.00004402775,0.00002363367,0.0001076008,0.00007091647,0.00002929504,0.001511098],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006439378,"threshold_uncertainty_score":0.01280379,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2091559615","doi":"10.1023/b:disc.0000005010.55515.27","title":"On the Computation of Observers in Discrete-Event Systems","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":85,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Automaton; Supervisor; Equivalence (formal languages); Computation; Event (particle physics); Mathematics; Supervisory control; Computer science; Hierarchy; Supervisory control theory; Theoretical computer science; Blocking (statistics); Algorithm; Property (philosophy); Control (management); Artificial intelligence; Discrete mathematics","authors":[{"name":"K.C. Wong","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02032097885488185,"gpt":0.2727381858779031,"spread":0.2524172070230213,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003502061,0.001319276,0.001782046,0.0008356539,0.001124514,0.003380053,0.002602361,0.001503322,0.003670601],"category_scores_gemma":[0.01964921,0.0009403017,0.001410773,0.0009088737,0.003299609,0.00500624,0.002778562,0.002539347,0.0004266876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001551641,"about_ca_system_score_gemma":0.001578118,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005858336,"about_ca_topic_score_gemma":0.00527755,"domain_scores_codex":[0.9975344,0.0008836851,0.0001857518,0.0004282376,0.0006736767,0.0002942945],"domain_scores_gemma":[0.980159,0.01657845,0.0005926043,0.001472511,0.0008760456,0.000321204],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006878555,0.00008853513,0.001314794,0.0002908771,0.00008984312,0.0002270822,0.0005076563,0.5583661,0.002458187,0.384699,0.001742484,0.04952754],"study_design_scores_gemma":[0.00003993667,0.00002539505,0.00009572272,0.00002209866,0.00002436491,0.00001447253,0.00002755203,0.8300348,0.001307664,0.1674346,0.000961311,0.0000121851],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01378835,0.0002275139,0.9826063,0.0002002924,0.00007304658,0.00004797223,0.00005456628,0.0005688252,0.002433188],"genre_scores_gemma":[0.7099453,0.0005264669,0.284028,0.0001632653,0.0001157198,0.0002475101,0.0003830135,0.000280336,0.004310474],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005858336,"threshold_uncertainty_score":0.01852089,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1574212434","doi":"10.1023/a:1014536803451","title":"N-dimensional Cell-DEVS Models","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":68,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Extension (predicate logic); Hierarchy; Base (topology); Distributed computing; Theoretical computer science; Simulation; Modeling and simulation; Programming language; Mathematics","authors":[{"name":"Gabriel Wainer","is_ca":true},{"name":"Norbert Giambiasi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.08963847491027477,"gpt":0.3662721539646049,"spread":0.2766336790543302,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001158593,0.0007071159,0.001848386,0.0009755483,0.0007717806,0.002316718,0.004101084,0.003276425,0.01068326],"category_scores_gemma":[0.004793558,0.000776958,0.001134711,0.001859297,0.001428427,0.00203958,0.001669455,0.001517355,0.001595142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001779535,"about_ca_system_score_gemma":0.001061349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.020834,"about_ca_topic_score_gemma":0.0129213,"domain_scores_codex":[0.9993506,0.0001960356,0.00003814917,0.0001568595,0.000133184,0.0001252158],"domain_scores_gemma":[0.997691,0.001325282,0.0002803138,0.0001734207,0.0003312939,0.0001985887],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004165068,0.00002709597,0.0007290147,0.00002915475,0.00001819693,0.0001021903,0.00003885289,0.9509084,0.0002329551,0.04474662,0.000962298,0.002163488],"study_design_scores_gemma":[0.000009838438,0.000006479022,0.0001057634,0.000002808413,0.000006227167,0.00001559751,0.00001253656,0.9934151,0.00007943879,0.005647421,0.0006920223,0.000006750326],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2051254,0.002297036,0.6924837,0.00405533,0.0006639843,0.0002265691,0.009156105,0.0007832389,0.08520871],"genre_scores_gemma":[0.9061705,0.001619595,0.03444469,0.0003847846,0.0001752041,0.0004491645,0.002514274,0.0001239689,0.05411778],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.020834,"threshold_uncertainty_score":0.04142547,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2098906570","doi":"10.1007/s10626-005-4058-y","title":"Multitasking Supervisory Control of Discrete-Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Supervisory control; Supervisory control theory; Liveness; Human multitasking; Automaton; Computer science; Event (particle physics); Control (management); Generator (circuit theory); Controller (irrigation); Control engineering; Distributed computing; Engineering; Theoretical computer science; Artificial intelligence","authors":[{"name":"Max H. de Queiroz","is_ca":false},{"name":"José E.R. Cury","is_ca":false},{"name":"W.M. Wonham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01568633172866216,"gpt":0.2610896481615611,"spread":0.2454033164328989,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007945694,0.0004468829,0.0005803121,0.0002944713,0.0003858465,0.0008259148,0.0007420467,0.000304451,0.001639288],"category_scores_gemma":[0.001854699,0.000192572,0.0002720451,0.0002080544,0.0004769219,0.0005803248,0.0007911907,0.0007572558,0.0001754683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000281649,"about_ca_system_score_gemma":0.0006709369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001203122,"about_ca_topic_score_gemma":0.001649637,"domain_scores_codex":[0.9995999,0.00009884025,0.00003294312,0.0001024697,0.0001066346,0.00005935516],"domain_scores_gemma":[0.9986722,0.0007360692,0.0001507316,0.0001474403,0.0001912984,0.0001022335],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008249833,0.0002770129,0.001201784,0.0002530389,0.00007851252,0.0004430806,0.00048444,0.7440914,0.04766627,0.04566763,0.001915758,0.1570961],"study_design_scores_gemma":[0.00004111026,0.00006662012,0.0002777202,0.000007881353,0.00001113343,0.00002708925,0.00001584094,0.9826363,0.004827373,0.01120926,0.0008720323,0.000007635409],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1011776,0.0002636513,0.8929853,0.0001285208,0.0001669732,0.00004706468,0.00004336352,0.0009830517,0.004204466],"genre_scores_gemma":[0.9773898,0.00008855421,0.02081661,0.00002136015,0.00003644528,0.00005640025,0.00003238642,0.00002596197,0.001532461],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001639288,"threshold_uncertainty_score":0.005483925,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2097523314","doi":"10.1007/s10626-008-0054-3","title":"On the Computation of Natural Observers in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Observer (physics); Projection (relational algebra); Extension (predicate logic); Property (philosophy); Computation; Mathematics; Algorithm; Computational complexity theory; Computer science; Control theory (sociology); Control (management); Artificial intelligence","authors":[{"name":"Lei Feng","is_ca":false},{"name":"W.M. Wonham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02136941176469298,"gpt":0.2675189078048572,"spread":0.2461494960401642,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003317939,0.0007411805,0.001007858,0.0006519843,0.001028517,0.002410974,0.002023099,0.001004362,0.003377808],"category_scores_gemma":[0.01673023,0.0005969125,0.001257444,0.0005757561,0.00330581,0.004662194,0.002737295,0.001848925,0.0002768536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001390715,"about_ca_system_score_gemma":0.001302192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004144995,"about_ca_topic_score_gemma":0.00513416,"domain_scores_codex":[0.9978431,0.0008466181,0.0001562771,0.0003768649,0.0005521594,0.0002248991],"domain_scores_gemma":[0.9842815,0.01290638,0.0004689384,0.001320245,0.0007607834,0.0002620278],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005824717,0.00009465784,0.001835288,0.0002467328,0.00005413471,0.0002261071,0.0007335318,0.2595103,0.002710618,0.6879561,0.001608753,0.04444123],"study_design_scores_gemma":[0.00004258477,0.00003360588,0.0001448851,0.00002210776,0.00002199883,0.00002438246,0.00005058244,0.6695285,0.00162136,0.3271704,0.001323565,0.00001606172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02973478,0.0001147672,0.9659175,0.0002127389,0.00006132487,0.00006548538,0.00006365574,0.0005826171,0.003247155],"genre_scores_gemma":[0.7171558,0.0001939595,0.2781238,0.000140153,0.00005625574,0.0002171266,0.0002808816,0.0001825758,0.003649518],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004144995,"threshold_uncertainty_score":0.01754713,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1554366315","doi":"10.1023/a:1022145020786","title":"Approximate Gradient Methods in Policy-Space Optimization of Markov Reward Processes","year":2003,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Reinforcement Learning in Robotics","field":"Computer Science","cited_by":52,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Convergence (economics); Variance (accounting); Markov chain; Computer science; Markov process; Gradient descent; Path (computing); Set (abstract data type); Mathematics; Process (computing); Mathematical optimization; Algorithm; Artificial intelligence; Statistics; Artificial neural network","authors":[{"name":"Peter Marbach","is_ca":true},{"name":"John N. Tsitsiklis","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01233715985053953,"gpt":0.3126734131687594,"spread":0.3003362533182199,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004817448,0.001255568,0.002799134,0.00116249,0.0007666865,0.001810638,0.001968259,0.002703482,0.002466081],"category_scores_gemma":[0.01970825,0.001543435,0.0007409927,0.001242688,0.002675541,0.002486376,0.002456454,0.002769692,0.0003386377],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00253922,"about_ca_system_score_gemma":0.003166313,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01887139,"about_ca_topic_score_gemma":0.01099634,"domain_scores_codex":[0.9987594,0.0007455999,0.00005247945,0.0001057553,0.000222179,0.0001145852],"domain_scores_gemma":[0.9914162,0.007359692,0.000307921,0.0001682218,0.0005204189,0.0002277148],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005697101,0.00003370088,0.0002008925,0.00006723974,0.00003096208,0.00002044832,0.00004597876,0.9444474,0.000107804,0.04538145,0.0005482123,0.009059083],"study_design_scores_gemma":[0.00000816884,0.000004806346,0.00001595437,0.000003879809,0.000002317862,0.000001275305,0.000002263841,0.9887266,0.00002281328,0.01112045,0.00008958683,0.000002033397],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01095343,0.001028344,0.9852496,0.0006218191,0.00008475014,0.00004371025,0.00003582344,0.0001568213,0.001825712],"genre_scores_gemma":[0.726266,0.001525805,0.2616753,0.0003154683,0.0002383254,0.000540505,0.0002157355,0.0003288473,0.008893954],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01887139,"threshold_uncertainty_score":0.03752309,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2603469395","doi":"10.1007/s10626-017-0243-z","title":"Augmented finite transition systems as abstractions for control synthesis","year":2017,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Defense Advanced Research Projects Agency; National Science Foundation","keywords":"Realizability; Liveness; Preorder; Transition system; Abstraction; Computer science; Representation (politics); Class (philosophy); Temporal logic; Theoretical computer science; Mathematics; Algorithm; Discrete mathematics","authors":[{"name":"Petter Nilsson","is_ca":false},{"name":"Necmiye Özay","is_ca":false},{"name":"Jun Liu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02022099788410862,"gpt":0.3220518371624749,"spread":0.3018308392783662,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001336417,0.0007645182,0.0008288256,0.0007479432,0.0004028875,0.001820791,0.001184598,0.0007951144,0.003531239],"category_scores_gemma":[0.003027729,0.0006127873,0.00139689,0.0006588733,0.001520927,0.001757189,0.001568518,0.002103225,0.0006183462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006879538,"about_ca_system_score_gemma":0.001067259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001260827,"about_ca_topic_score_gemma":0.001639841,"domain_scores_codex":[0.9987903,0.0004362371,0.00009441667,0.0002004269,0.0003557925,0.0001228437],"domain_scores_gemma":[0.997962,0.001210365,0.0001586308,0.0004836468,0.0001389778,0.0000465043],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002460972,0.00006106787,0.0004147517,0.0004122645,0.0001042847,0.0002607054,0.0004296987,0.4149927,0.01521193,0.5015217,0.0007277443,0.065617],"study_design_scores_gemma":[0.00004920206,0.0001062462,0.0001189309,0.00009395777,0.00009451586,0.00006578316,0.00004769738,0.7213811,0.008325463,0.2591883,0.01050249,0.00002628215],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006154663,0.0002074018,0.9912462,0.00002522133,0.00004154453,0.0000330451,0.00005283374,0.0005528457,0.001686288],"genre_scores_gemma":[0.5058969,0.0006082047,0.4884407,0.0000650853,0.00004828539,0.0002436879,0.0002639606,0.0001969681,0.004236386],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003531239,"threshold_uncertainty_score":0.01181322,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1965577683","doi":"10.1007/s10626-014-0208-4","title":"Distributed supervisory control of discrete-event systems with communication delay","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"National Natural Science Foundation of China; Fundamental Research Funds for the Central Universities; Ministry of Education, Culture, Sports, Science and Technology","keywords":"Supervisory control; Workcell; Constraint (computer-aided design); Control (management); Distributed control system; Property (philosophy); Work (physics); Control theory (sociology)","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.02263816529543937,"gpt":0.258564789865084,"spread":0.2359266245696446,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007369852,0.0005686594,0.0007709008,0.0002850414,0.0004841039,0.001040338,0.001083991,0.0004968087,0.001557035],"category_scores_gemma":[0.002250988,0.0002916477,0.0003211924,0.0002864807,0.0007393355,0.0007558683,0.0007482254,0.0008959771,0.0001435674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006101517,"about_ca_system_score_gemma":0.001127606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002210731,"about_ca_topic_score_gemma":0.002887803,"domain_scores_codex":[0.9995168,0.00009698878,0.00003057565,0.0001488328,0.0001388098,0.00006795368],"domain_scores_gemma":[0.9984663,0.0009799672,0.0001808473,0.0001093847,0.0001920789,0.00007147007],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003911045,0.0001127401,0.0004470031,0.0001373329,0.00005456472,0.0002228842,0.0001434256,0.9266579,0.01111139,0.02551667,0.0005578527,0.03464708],"study_design_scores_gemma":[0.00004441595,0.00005527771,0.0001229143,0.000004543221,0.00001047037,0.00001689116,0.00001010872,0.9892812,0.00224723,0.00776977,0.0004318231,0.000005328519],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06639162,0.0002506335,0.9292669,0.0001734686,0.0001848279,0.00003904544,0.000051946,0.0005318789,0.003109653],"genre_scores_gemma":[0.9861157,0.00008828934,0.01207161,0.0000228043,0.0000322745,0.000051578,0.00002812622,0.00001605867,0.001573577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002210731,"threshold_uncertainty_score":0.005208731,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2178951833","doi":"10.1007/s10626-015-0212-3","title":"Minimal sensor activation and minimal communication in discrete-event systems","year":2015,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Event (particle physics); Discrete event dynamic system; Computer science; State (computer science); Real-time computing; Distributed computing; Discrete system; Control theory (sociology); Artificial intelligence; Algorithm; Control (management)","authors":[{"name":"David Sears","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02668625265759801,"gpt":0.2897687562838615,"spread":0.2630825036262635,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001431977,0.0007828294,0.001359513,0.0005735598,0.0008885708,0.001754873,0.001958554,0.0009848182,0.002767192],"category_scores_gemma":[0.005687859,0.0006356612,0.0009812934,0.0005140204,0.002205687,0.002842987,0.002200398,0.002107948,0.0003516729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009098185,"about_ca_system_score_gemma":0.001442408,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001315385,"about_ca_topic_score_gemma":0.00158881,"domain_scores_codex":[0.9977985,0.0005569233,0.000153281,0.0004976912,0.000655203,0.0003383604],"domain_scores_gemma":[0.9938716,0.004183702,0.0004361121,0.0006373756,0.0005285899,0.0003426475],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003520066,0.0001041875,0.0006102303,0.0002036296,0.00006229548,0.000269017,0.0003530211,0.2279931,0.008885008,0.7397801,0.0007202202,0.02066731],"study_design_scores_gemma":[0.00004528121,0.00006856593,0.000190253,0.00001850961,0.00003006115,0.00007369617,0.0000542214,0.3665105,0.004591201,0.6270878,0.00130603,0.00002387613],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05575153,0.0001997038,0.933612,0.0003868074,0.00004576935,0.00006240549,0.0001357659,0.0003567571,0.009449144],"genre_scores_gemma":[0.9054366,0.0001672507,0.08952577,0.0001016153,0.00004414277,0.0001803215,0.000148019,0.00009627645,0.004299998],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002767192,"threshold_uncertainty_score":0.009257197,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2011012624","doi":"10.1007/s10626-006-0020-x","title":"Near-Optimal Online Control of Dynamic Discrete-Event Systems","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Normalization (sociology); Modular design; Computer science; Simple (philosophy); Optimal control; Discrete time and continuous time; Discrete event dynamic system; Algorithm; Control theory (sociology); Set (abstract data type); Event (particle physics); String (physics); Control (management); Mathematical optimization; Mathematics; Discrete system; Artificial intelligence","authors":[{"name":"Lenko Grigorov","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.007083788743341146,"gpt":0.2549401869041265,"spread":0.2478563981607854,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001515134,0.0009431676,0.001878122,0.0004993151,0.0006558557,0.001622376,0.001057657,0.001017545,0.00257133],"category_scores_gemma":[0.004330355,0.0006117742,0.0004558444,0.0003872828,0.001288357,0.001337733,0.001619994,0.001362962,0.0002275271],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009099122,"about_ca_system_score_gemma":0.001521172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00639501,"about_ca_topic_score_gemma":0.004585111,"domain_scores_codex":[0.9991683,0.0002382265,0.00004198572,0.0001777042,0.000206172,0.0001676993],"domain_scores_gemma":[0.9971145,0.001982206,0.0002810078,0.0001526089,0.0003250299,0.0001446504],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002461766,0.00008050113,0.0001907659,0.00007515462,0.00003360491,0.00007077387,0.00004366731,0.964563,0.001656694,0.01786466,0.0005116825,0.01466323],"study_design_scores_gemma":[0.000009870298,0.00002199583,0.00004114013,0.000002448855,0.000003450575,0.000004960462,0.000004060923,0.994732,0.0001823629,0.004894181,0.0001007102,0.000002756201],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05174587,0.0003190129,0.9396619,0.0003224068,0.0001592311,0.00005003401,0.00006131727,0.0003899167,0.0072903],"genre_scores_gemma":[0.9860416,0.0001121218,0.01139947,0.00005658581,0.00003211868,0.00004635776,0.0000376129,0.00002947693,0.002244713],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00639501,"threshold_uncertainty_score":0.01271558,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2104923402","doi":"10.1007/s10626-006-6178-4","title":"Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency","year":2006,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Consistency (knowledge bases); Scalability; Computation; Computer science; Event (particle physics); Fault (geology); Algorithm; Computational complexity theory; Local consistency; Distributed computing; Mathematics; Theoretical computer science; Artificial intelligence","authors":[{"name":"Rong Su","is_ca":true},{"name":"W.M. Wonham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01537455306363327,"gpt":0.2859732222513008,"spread":0.2705986691876675,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002452148,0.0006236563,0.00150078,0.001343576,0.0006127204,0.001225661,0.001354325,0.0008281296,0.001102221],"category_scores_gemma":[0.009403888,0.0004809526,0.0008512261,0.0008530571,0.001316037,0.002242311,0.001708324,0.001181691,0.0001368398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001233907,"about_ca_system_score_gemma":0.001593503,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004011772,"about_ca_topic_score_gemma":0.004553707,"domain_scores_codex":[0.998349,0.0003032523,0.0001274226,0.0003531163,0.0006388454,0.000228372],"domain_scores_gemma":[0.9933276,0.003704328,0.0008243578,0.001099895,0.0008439724,0.0001997871],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00107743,0.0001609435,0.00864512,0.0003906046,0.0002612152,0.0005981995,0.0003701667,0.7885418,0.01444186,0.07672667,0.001272505,0.1075134],"study_design_scores_gemma":[0.00004710215,0.00005776064,0.0009301679,0.00001256054,0.00005822555,0.00005455317,0.00003405006,0.9492728,0.004592432,0.04465461,0.000273787,0.00001188716],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05664009,0.000174077,0.9411489,0.0001563236,0.00004342249,0.00006600441,0.000106666,0.0007835868,0.000880899],"genre_scores_gemma":[0.9155674,0.00009619984,0.08332979,0.00006368075,0.00002992398,0.00005381408,0.0001924262,0.00004350307,0.0006233678],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004011772,"threshold_uncertainty_score":0.01296836,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2163358872","doi":"10.1007/s10626-010-0089-0","title":"Conceptual Design of Discrete-Event Systems Using Templates","year":2010,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Usability; Software engineering; Software; Event (particle physics); Systems engineering; Human–computer interaction; Programming language; Engineering","authors":[{"name":"Lenko Grigorov","is_ca":true},{"name":"Brian E. Butler","is_ca":true},{"name":"José E.R. Cury","is_ca":false},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03074010287859883,"gpt":0.2923243650017217,"spread":0.2615842621231228,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003857996,0.001037162,0.0009251265,0.0007929712,0.0005614354,0.003961395,0.00327098,0.001400187,0.00513052],"category_scores_gemma":[0.007617925,0.001186845,0.002427681,0.0007479773,0.00140978,0.003254574,0.001689473,0.002000437,0.001875577],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000959921,"about_ca_system_score_gemma":0.001996685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001799828,"about_ca_topic_score_gemma":0.001826199,"domain_scores_codex":[0.9974772,0.000780297,0.0004150938,0.0003894649,0.0007699225,0.0001680151],"domain_scores_gemma":[0.9966832,0.001480544,0.0002688648,0.0009191235,0.0005125093,0.0001356897],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001562278,0.0001193177,0.0008512198,0.0006464411,0.0001387909,0.0006166825,0.001031091,0.1282503,0.009034913,0.7573106,0.003083219,0.09876113],"study_design_scores_gemma":[0.0001217416,0.000140695,0.0001463606,0.0002475168,0.0001373772,0.000379535,0.0002077389,0.6128466,0.02883335,0.291794,0.06507966,0.00006536919],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001341138,0.00003399283,0.9962838,0.00004142677,0.00002214573,0.0001157348,0.00007004345,0.0008543233,0.001237377],"genre_scores_gemma":[0.0751704,0.0002843565,0.9206455,0.0000830868,0.00002173845,0.0005785157,0.0005311585,0.0003695028,0.002315659],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00513052,"threshold_uncertainty_score":0.02040333,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2037637901","doi":"10.1007/s10626-005-2865-9","title":"Ghost Simulation Model for the Optimization of an Urban Subway System","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Transportation Planning and Optimization","field":"Social Sciences","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Bishop's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Headway; Overhead (engineering); Computer science; Function (biology); Event (particle physics); Control (management); Filter (signal processing); Service (business); Mathematical optimization; Engineering; Simulation; Control theory (sociology); Mathematics; Artificial intelligence","authors":[{"name":"Felisa J. Vázquez-Abad","is_ca":false},{"name":"Lourdes Zubieta","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01648880915354974,"gpt":0.3088202199449916,"spread":0.2923314107914419,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007560159,0.0004931331,0.001387825,0.0006041123,0.0005963757,0.001124125,0.001399717,0.001430727,0.004396064],"category_scores_gemma":[0.002085232,0.0004983522,0.0006740267,0.0008075378,0.0009744801,0.001120993,0.001057424,0.001177568,0.0002598047],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001534882,"about_ca_system_score_gemma":0.002225822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01971908,"about_ca_topic_score_gemma":0.009219439,"domain_scores_codex":[0.9996779,0.0001390614,0.00001244035,0.00004019803,0.00007140615,0.00005903377],"domain_scores_gemma":[0.9990605,0.0005143053,0.00009404745,0.0000685084,0.0001351339,0.0001274644],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002011877,0.00000519435,0.00009388318,0.000003682173,0.00000348302,0.00001064009,0.000006105777,0.9961309,0.00005789609,0.00324127,0.00007237522,0.0003543361],"study_design_scores_gemma":[0.000005803541,0.000004077336,0.00002292914,5.689274e-7,0.000001367622,0.000001543903,0.00000177704,0.9990371,0.00002345723,0.0008046108,0.00009540908,0.000001364619],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2060968,0.0003706876,0.7711572,0.000867956,0.000183635,0.0001288832,0.0007509183,0.0006455168,0.01979844],"genre_scores_gemma":[0.9664871,0.000142531,0.02501226,0.00006425003,0.00002044936,0.0001174252,0.0002586611,0.00005083648,0.0078467],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01971908,"threshold_uncertainty_score":0.03920859,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2093645787","doi":"10.1007/s10626-014-0193-7","title":"Enforcing opacity of regular predicates on modal transition systems","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Mount Allison University","funders":"","keywords":"Opacity; Sigma; Predicate (mathematical logic); Modal; Lift (data mining); Controller (irrigation); Mathematics; Discrete mathematics; Combinatorics; Algorithm; Computer science; Physics; Programming language","authors":[{"name":"Philippe Darondeau","is_ca":false},{"name":"Hervé Marchand","is_ca":false},{"name":"Laurie Ricker","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008616318623974216,"gpt":0.2355877878856722,"spread":0.226971469261698,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008845143,0.0008972701,0.001768576,0.001532276,0.00169273,0.004169674,0.0028853,0.001742172,0.002217128],"category_scores_gemma":[0.05021325,0.001581561,0.002363513,0.0009458213,0.005448138,0.008747025,0.01017236,0.006394414,0.0002608026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002294355,"about_ca_system_score_gemma":0.003105084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004588165,"about_ca_topic_score_gemma":0.003986505,"domain_scores_codex":[0.9888837,0.002519685,0.0008458728,0.001522696,0.003825687,0.002402465],"domain_scores_gemma":[0.9317643,0.04393716,0.00463979,0.01361309,0.003926971,0.002118695],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00179206,0.0003180554,0.007034882,0.0003333788,0.0002059162,0.001485588,0.002730548,0.1226847,0.03255042,0.7783328,0.001692186,0.05083952],"study_design_scores_gemma":[0.0001503531,0.0001323481,0.0007282893,0.00006660476,0.0001434319,0.0001606886,0.0002448142,0.39745,0.02135059,0.5769057,0.002608738,0.00005845772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1588394,0.0001510889,0.830922,0.0006305017,0.0001542352,0.0001742018,0.0002034083,0.002681435,0.006243729],"genre_scores_gemma":[0.9461241,0.0001030241,0.05173327,0.0001940837,0.0001049121,0.00006969245,0.0001374718,0.0002884141,0.00124502],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008845143,"threshold_uncertainty_score":0.04677808,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2055536026","doi":"10.1007/s10626-014-0194-6","title":"New results on supervisor localization, with case studies","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisor; Supervisory control; Supervisory control theory; Event (particle physics); Computer science; Congruence (geometry); Pairwise comparison; Set (abstract data type); Information exchange; Disjoint sets; Theoretical computer science; Control (management); Distributed computing; Mathematics; Artificial intelligence; Discrete mathematics","authors":[{"name":"Kai Cai","is_ca":false},{"name":"W. M. Wonham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02024861955844544,"gpt":0.2816256451740603,"spread":0.2613770256156149,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002278797,0.001713511,0.001204351,0.002318682,0.001447358,0.003272202,0.002510566,0.002986848,0.009085831],"category_scores_gemma":[0.01298565,0.0007193965,0.00189655,0.002783146,0.004129344,0.004922071,0.003696045,0.002877423,0.0009332222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001625957,"about_ca_system_score_gemma":0.000815166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002488878,"about_ca_topic_score_gemma":0.002754582,"domain_scores_codex":[0.9976961,0.0007680385,0.000160798,0.0004741897,0.0006292788,0.000271565],"domain_scores_gemma":[0.9895657,0.007990741,0.0006748273,0.0006944906,0.000800752,0.0002734043],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003192281,0.0003459739,0.003022061,0.001335379,0.0001426151,0.00712195,0.001437231,0.3661408,0.005850941,0.4857693,0.006966945,0.1215476],"study_design_scores_gemma":[0.00007619908,0.0002258021,0.0008524355,0.0002086638,0.0001647054,0.003002598,0.000871952,0.4899112,0.004450296,0.4842624,0.01589919,0.00007445814],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02200612,0.003511526,0.9421184,0.0008833976,0.0001565958,0.00007706722,0.0001069155,0.0004151025,0.03072482],"genre_scores_gemma":[0.7117764,0.00607281,0.2561308,0.0003444629,0.0005019636,0.0003623077,0.00038651,0.0003558701,0.02406886],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009085831,"threshold_uncertainty_score":0.03039515,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2069208287","doi":"10.1007/s10626-008-0040-9","title":"Control of Parameterized Discrete Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke; Université Laval","funders":"","keywords":"Parameterized complexity; Bounded function; Event (particle physics); Control (management); Discrete event dynamic system; Scale (ratio); Control system; Similarity (geometry); Mathematics; Computer science; Control theory (sociology); Discrete system; Algorithm; Engineering; Mathematical analysis; Artificial intelligence; Physics","authors":[{"name":"Hans Bherer","is_ca":false},{"name":"Jules Desharnais","is_ca":true},{"name":"Richard St‐Denis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01553304960402123,"gpt":0.2592727454852514,"spread":0.2437396958812302,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009879684,0.0007275725,0.0009672122,0.0003081762,0.000340821,0.00195218,0.00111406,0.000589943,0.002998356],"category_scores_gemma":[0.003991402,0.0003725502,0.0005514583,0.0005079376,0.000790393,0.001418957,0.0008589664,0.0009229867,0.0003155635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007543435,"about_ca_system_score_gemma":0.0008610069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002282019,"about_ca_topic_score_gemma":0.001588985,"domain_scores_codex":[0.9990434,0.0002900448,0.00006694829,0.0002136516,0.0002867923,0.00009920914],"domain_scores_gemma":[0.9982933,0.0009138877,0.0002452526,0.0002721804,0.0002131417,0.00006215028],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002351769,0.00007616191,0.000355601,0.0001550501,0.00006301633,0.0001815583,0.00010425,0.8178988,0.00939307,0.1220795,0.0009384183,0.04851946],"study_design_scores_gemma":[0.00002677667,0.0000269984,0.00008259508,0.000005407243,0.00001024219,0.0000168198,0.000008065687,0.9756902,0.001160042,0.02175714,0.001209779,0.00000591358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01676046,0.0002720969,0.9770933,0.0001031538,0.00006669235,0.0000470933,0.00009166711,0.0006420176,0.00492352],"genre_scores_gemma":[0.9537394,0.0004523237,0.0418493,0.00004216408,0.00004750909,0.0001517041,0.0001976033,0.00007158691,0.003448422],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002998356,"threshold_uncertainty_score":0.01003051,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1497798875","doi":"10.1023/a:1015617431563","title":"Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics","authors":[{"name":"Xi‐Ren Cao","is_ca":false},{"name":"Guy Cohen","is_ca":false},{"name":"Alessandro Giua","is_ca":false},{"name":"W.M. Wonham","is_ca":true},{"name":"Jan H. van Schuppen","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02745185113535202,"gpt":0.256854313445012,"spread":0.22940246230966,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00518177,0.001014609,0.001434698,0.001742786,0.001793844,0.007355307,0.002174138,0.00196661,0.002807191],"category_scores_gemma":[0.01064457,0.0008351877,0.001524897,0.001626628,0.0112541,0.01910736,0.005192951,0.005627385,0.0003194307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002012929,"about_ca_system_score_gemma":0.00146534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003063653,"about_ca_topic_score_gemma":0.002256166,"domain_scores_codex":[0.9965211,0.00132829,0.0002560113,0.0006821229,0.0008426581,0.0003698939],"domain_scores_gemma":[0.990091,0.005452925,0.0007625312,0.001748678,0.001078718,0.0008661355],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005755097,0.00001148267,0.0003087035,0.00003726821,0.00001658257,0.00003738647,0.0007161128,0.007890689,0.0002379192,0.9812745,0.0004102963,0.009001404],"study_design_scores_gemma":[0.00001875889,0.00004208733,0.0001722248,0.0000369904,0.00002670722,0.00002972067,0.0002648166,0.02190442,0.0002536105,0.9705522,0.006672841,0.00002547703],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02177429,0.005631726,0.9355866,0.005547985,0.0004427018,0.00002690824,0.00008648025,0.0001282208,0.03077508],"genre_scores_gemma":[0.9043041,0.003779019,0.08294016,0.0008437134,0.0011586,0.0001114186,0.0001300602,0.0001160222,0.006616884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007355307,"threshold_uncertainty_score":0.02740419,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2038118972","doi":"10.1007/s10626-014-0184-8","title":"Robustness of synchronous communication protocols with delay for decentralized discrete-event control","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Mount Allison University; Concordia University","funders":"","keywords":"Robustness (evolution); Control theory (sociology); Computer science; Upper and lower bounds; Decentralised system; Communications protocol; Distributed computing; Control (management); Mathematics; Computer network","authors":[{"name":"Waselul Haque Sadid","is_ca":true},{"name":"Laurie Ricker","is_ca":true},{"name":"Shahin Hashtrudi-Zad","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01115562705408934,"gpt":0.2855105882992031,"spread":0.2743549612451137,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003850311,0.001107301,0.001420024,0.0009917388,0.0007597904,0.001948719,0.001575067,0.001167742,0.001857264],"category_scores_gemma":[0.01626722,0.0005160469,0.00100181,0.0005847962,0.001952648,0.001906497,0.002054456,0.001554412,0.0001801197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001804972,"about_ca_system_score_gemma":0.001644374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002684913,"about_ca_topic_score_gemma":0.001176768,"domain_scores_codex":[0.9974996,0.0006943949,0.0001543396,0.0006206979,0.0006776236,0.0003531741],"domain_scores_gemma":[0.9859432,0.009812192,0.001873983,0.001048591,0.000907656,0.0004143508],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005378901,0.00006697109,0.0003635817,0.0001172371,0.000092026,0.000131754,0.0000921537,0.9150121,0.004959481,0.06791791,0.0003589913,0.01034992],"study_design_scores_gemma":[0.00003644082,0.00007656479,0.0001128356,0.000005639042,0.00002073442,0.00001508116,0.000009020759,0.977027,0.001068452,0.02145797,0.0001613185,0.000008901748],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07688785,0.0002647403,0.9178196,0.0003139138,0.00009453651,0.00006237699,0.00009554448,0.0004412993,0.004020162],"genre_scores_gemma":[0.9889824,0.0001320633,0.009366648,0.00004506308,0.00004601958,0.0000846282,0.0000523651,0.00004664694,0.001244176],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003850311,"threshold_uncertainty_score":0.02036262,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2019115393","doi":"10.1007/s10626-011-0122-y","title":"Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems","year":2011,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Decidability; Undecidable problem; Inference; Event (particle physics); Decision problem; Architecture; Theoretical computer science; Artificial intelligence; Distributed computing; Algorithm","authors":[{"name":"Hicham Chakib","is_ca":true},{"name":"Ahmed Khoumsi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03216292742144126,"gpt":0.3061713282387302,"spread":0.2740084008172889,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00177741,0.000566503,0.0006478414,0.0006905678,0.0005756974,0.001012117,0.001305934,0.000997368,0.001440083],"category_scores_gemma":[0.00375075,0.0004036523,0.0003620308,0.000423158,0.0008257976,0.001520087,0.00119335,0.0008917761,0.0002080179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006501197,"about_ca_system_score_gemma":0.001114224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001823712,"about_ca_topic_score_gemma":0.002580087,"domain_scores_codex":[0.9990609,0.0003048845,0.00005721644,0.0002112653,0.0002405016,0.0001252507],"domain_scores_gemma":[0.997874,0.001191451,0.0002194024,0.0003260312,0.0002630095,0.0001260931],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001398198,0.0004238978,0.006692642,0.0002823888,0.0001733175,0.001053953,0.0005291082,0.5812878,0.03547156,0.04282582,0.002654149,0.3272071],"study_design_scores_gemma":[0.00005306371,0.0000910285,0.0003912883,0.000009550142,0.00003629583,0.00009094745,0.00003278305,0.9770128,0.009294077,0.01213163,0.0008434218,0.0000131639],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07778815,0.0003009314,0.91817,0.0003914311,0.00007972027,0.00008702563,0.00003755995,0.001228321,0.001916828],"genre_scores_gemma":[0.9127318,0.0000630404,0.0863234,0.00007222332,0.00002762059,0.00003917031,0.00003823367,0.0000218178,0.0006827639],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001823712,"threshold_uncertainty_score":0.009399951,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2028436354","doi":"10.1007/s10626-005-4059-x","title":"A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems","year":2005,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Supervisor; Automaton; Computer science; Event (particle physics); Timed automaton; Supervisory control theory; Supervisory control; Set (abstract data type); Transformation (genetics); Relation (database); Finite-state machine; State (computer science); Automata theory; Conformance testing; Control (management); Programming language; Theoretical computer science; Operating system; Data mining; Artificial intelligence","authors":[{"name":"Ahmed Khoumsi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01639649275589925,"gpt":0.2835779494511766,"spread":0.2671814566952773,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001530182,0.0005793516,0.0008808724,0.0005856979,0.000606039,0.0008569452,0.001345776,0.0007144854,0.001612777],"category_scores_gemma":[0.004335889,0.0003844645,0.0005104141,0.0003232127,0.001165664,0.0007426837,0.0009425908,0.001431001,0.0002906445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004231649,"about_ca_system_score_gemma":0.001313012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00194688,"about_ca_topic_score_gemma":0.002216299,"domain_scores_codex":[0.9985656,0.0002271103,0.0001049334,0.0003743094,0.0006248925,0.0001030327],"domain_scores_gemma":[0.9966581,0.001706265,0.000289359,0.0005263965,0.0007006525,0.0001193492],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008637723,0.0002738067,0.001101958,0.0004621474,0.000138147,0.0007603052,0.001286751,0.2944891,0.104755,0.0561986,0.004630405,0.5350398],"study_design_scores_gemma":[0.0001521764,0.0002125932,0.0003523237,0.00002831399,0.00004097163,0.0001383882,0.00003176143,0.9595525,0.02427202,0.01203137,0.003153806,0.00003384813],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005744635,0.0000352824,0.9927607,0.00002375918,0.00002942856,0.00003298773,0.00001087126,0.0009609285,0.000401463],"genre_scores_gemma":[0.6053057,0.00009565372,0.3916176,0.0001021165,0.00009340316,0.0002636466,0.00008983609,0.0002109442,0.002221004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00194688,"threshold_uncertainty_score":0.008092463,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3207178583","doi":"10.1007/s10626-022-00365-5","title":"Using Subobservers to Synthesize Opacity-Enforcing Supervisors","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Opacity; Computer science; Business; Physics; Optics","authors":[{"name":"Richard Hugh Moulton","is_ca":true},{"name":"Behnam Behinaein","is_ca":true},{"name":"Zahra Abedi Khouzani","is_ca":true},{"name":"Rômulo Meira-Góes","is_ca":false},{"name":"Fei Wang","is_ca":false},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03919351297862473,"gpt":0.2878461450592555,"spread":0.2486526320806308,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002940509,0.0005363462,0.0005926998,0.0005704834,0.0007894348,0.001326453,0.001382325,0.000817803,0.003117247],"category_scores_gemma":[0.01017983,0.000726937,0.0008739633,0.0002828519,0.001538427,0.001417515,0.002597288,0.001801887,0.000459896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007842163,"about_ca_system_score_gemma":0.00186916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002028071,"about_ca_topic_score_gemma":0.004341168,"domain_scores_codex":[0.9980336,0.0005453775,0.000154853,0.0003951487,0.0006251481,0.0002459147],"domain_scores_gemma":[0.9913701,0.004724037,0.0006910088,0.001742628,0.001153195,0.0003190697],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008316464,0.0005485201,0.005729715,0.0005230512,0.000112934,0.001298162,0.002828767,0.3693066,0.09521106,0.2880068,0.003805745,0.2317972],"study_design_scores_gemma":[0.0001162973,0.0001574299,0.0003022433,0.00007598211,0.00008264834,0.00007539555,0.0001663977,0.8106371,0.06626088,0.1157455,0.006340281,0.00003986434],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03113365,0.00003613734,0.9634293,0.00007672005,0.00006053575,0.00009519397,0.00004371551,0.002416772,0.002707981],"genre_scores_gemma":[0.6451132,0.00005698458,0.35122,0.0000785864,0.00003088198,0.0001770202,0.0001590156,0.0005763395,0.002587854],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003117247,"threshold_uncertainty_score":0.01555109,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2057931867","doi":"10.1007/s10626-014-0185-7","title":"Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder","year":2014,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Preorder; Interface (matter); Consistency (knowledge bases); Flexibility (engineering); Computer science; Distributed computing; Supervisory control; Event (particle physics); Control (management); Mathematics; Parallel computing; Artificial intelligence","authors":[{"name":"Robi Malik","is_ca":false},{"name":"Ryan J. Leduc","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02413190826103193,"gpt":0.2661651206420952,"spread":0.2420332123810633,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001238665,0.0008532213,0.0009243623,0.001272085,0.0007888336,0.002387413,0.001937251,0.001069606,0.003166524],"category_scores_gemma":[0.002549594,0.0008917064,0.001451127,0.001328343,0.001236773,0.003100507,0.001281174,0.001502155,0.0005252626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001270322,"about_ca_system_score_gemma":0.001567004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006437264,"about_ca_topic_score_gemma":0.007725084,"domain_scores_codex":[0.9987897,0.000403804,0.0001392397,0.0001597101,0.0003877839,0.0001198589],"domain_scores_gemma":[0.9987858,0.0006514642,0.0001962052,0.0001618541,0.0001271455,0.00007748712],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000795435,0.00005070148,0.0005637656,0.0001220202,0.00004939039,0.0003109766,0.0001961595,0.7886604,0.003675275,0.1905638,0.0004277216,0.01530022],"study_design_scores_gemma":[0.00001390149,0.00002175807,0.000152585,0.00001718899,0.00002069285,0.0000426347,0.00002750266,0.9244938,0.001531481,0.07143928,0.002224989,0.00001426394],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0092925,0.0002342968,0.9871329,0.0001100321,0.00003178695,0.00005865414,0.000128613,0.0002771795,0.00273403],"genre_scores_gemma":[0.5434166,0.001083712,0.4498253,0.00008379965,0.00006844375,0.0002732576,0.0005292562,0.0001337744,0.004585859],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006437264,"threshold_uncertainty_score":0.01279962,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2018093794","doi":"10.1007/s10626-013-0160-8","title":"A stochastic hybrid state model for optimizing hedging policies in manufacturing systems with randomly occurring defects","year":2013,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Advanced Queuing Theory Analysis","field":"Business, Management and Accounting","cited_by":7,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal; Group for Research in Decision Analysis","funders":"","keywords":"Piecewise; Mode (computer interface); Observable; State (computer science); Extension (predicate logic); Class (philosophy); Production (economics); Mathematical optimization; Computer science; Control theory (sociology); Mathematics; Control (management); Applied mathematics; Algorithm; Economics; Mathematical analysis; Physics","authors":[{"name":"Fatima Zahra Mhada","is_ca":false},{"name":"Roland P. Malhamé","is_ca":true},{"name":"Robert Pellerin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008350037458738831,"gpt":0.228180350207794,"spread":0.2198303127490551,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00248654,0.001059902,0.002022997,0.0007782462,0.0005326708,0.002535466,0.001855136,0.00202655,0.002929854],"category_scores_gemma":[0.004374153,0.001203587,0.0009124063,0.0009925602,0.001443174,0.001772891,0.001286569,0.001362169,0.0002545432],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001884344,"about_ca_system_score_gemma":0.001533134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01388545,"about_ca_topic_score_gemma":0.009436098,"domain_scores_codex":[0.9991473,0.0003202379,0.00004494738,0.000165876,0.0001874956,0.0001342021],"domain_scores_gemma":[0.9974527,0.001786185,0.0002727712,0.00008718191,0.0002889689,0.0001122095],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000022511,0.00000909648,0.0001062245,0.00001110355,0.00001133173,0.00001746973,0.00001013178,0.9943731,0.0001366029,0.004404137,0.00006700064,0.0008312715],"study_design_scores_gemma":[0.00000308924,0.000005705254,0.00003098412,0.000001084763,0.000003421887,0.000001373887,0.000001526916,0.9990024,0.00002578432,0.0008959384,0.00002656004,0.000002136243],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07139093,0.0004482635,0.9234628,0.0004796626,0.00008484488,0.00006361852,0.0002448086,0.0002720759,0.003552884],"genre_scores_gemma":[0.9784009,0.0002484674,0.01622516,0.00006923226,0.00003690124,0.00009536693,0.0001635389,0.00003910773,0.004721395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01388545,"threshold_uncertainty_score":0.02760923,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2966410070","doi":"10.1007/s10626-019-00282-0","title":"A controller synthesis framework for automated service composition","year":2019,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Web service; Computer science; WS-Policy; Supervisor; Service-oriented architecture; Web modeling; Service (business); Services computing; Task (project management); Business Process Execution Language; Supervisory control; Software engineering; Distributed computing; World Wide Web; Web development; Control (management); Web application security; Engineering; Artificial intelligence; Systems engineering","authors":[{"name":"Francis Atampore","is_ca":true},{"name":"Juergen Dingel","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.005315000124663643,"gpt":0.2540139106544575,"spread":0.2486989105297938,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001152814,0.001330026,0.001281659,0.001003444,0.0009264541,0.001639427,0.001840287,0.001324653,0.007867199],"category_scores_gemma":[0.002047134,0.0009267507,0.001630138,0.0005647982,0.0008433946,0.0009275706,0.001292302,0.001817268,0.002316954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008533526,"about_ca_system_score_gemma":0.002259933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005410012,"about_ca_topic_score_gemma":0.00774018,"domain_scores_codex":[0.9990959,0.0001325904,0.00006460497,0.0002004162,0.0004037543,0.0001027843],"domain_scores_gemma":[0.9992388,0.0003573214,0.00005116023,0.0001398805,0.0001733627,0.00003954688],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002815961,0.0002712937,0.0002919302,0.0003874684,0.0001518933,0.0004405903,0.00016971,0.5350133,0.04380767,0.1098118,0.007385341,0.3019874],"study_design_scores_gemma":[0.00006789481,0.00005277245,0.0000367091,0.0000277541,0.00003805119,0.0000598527,0.00001384505,0.9558365,0.00819857,0.0286114,0.007035733,0.00002086969],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000658616,0.00003719976,0.9956456,0.00002473054,0.00002291898,0.00005499897,0.00004424407,0.002500311,0.001011313],"genre_scores_gemma":[0.1190179,0.0001556352,0.8761798,0.0001095474,0.0000597007,0.0003763609,0.0003577716,0.0005610799,0.003182334],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007867199,"threshold_uncertainty_score":0.02631837,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3189479682","doi":"10.1007/s10626-023-00381-z","title":"Do what you know: coupling knowledge with action in discrete-event systems","year":2023,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Formalism (music); Novelty; Inference; Computer science; Event (particle physics); Theoretical computer science; Binary number; Mathematics; Artificial intelligence; Psychology; Physics","authors":[{"name":"K. Ritsuka","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02526314545497558,"gpt":0.3087296647393855,"spread":0.2834665192844099,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004316489,0.0006469837,0.0007140801,0.0007827854,0.0009352165,0.003431229,0.001766977,0.002733134,0.004034662],"category_scores_gemma":[0.02971455,0.0006300765,0.0006160244,0.0008793787,0.003523012,0.01469092,0.003443104,0.00239826,0.0006150986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008559781,"about_ca_system_score_gemma":0.001410434,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005070608,"about_ca_topic_score_gemma":0.003230666,"domain_scores_codex":[0.9977052,0.001052552,0.0001212901,0.0004907711,0.000457551,0.0001727065],"domain_scores_gemma":[0.9834383,0.01282606,0.0006882441,0.001519431,0.0008162055,0.0007117201],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007472318,0.0006378905,0.01007181,0.00069529,0.0003495676,0.0008454198,0.00641135,0.1545841,0.00319703,0.490067,0.005346169,0.3270471],"study_design_scores_gemma":[0.000065827,0.0001157457,0.001395974,0.000167659,0.0001116063,0.0001499283,0.0009063307,0.2112381,0.002788449,0.7758286,0.007142236,0.000089628],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07662939,0.001092313,0.8856604,0.01027186,0.0003271543,0.0001576107,0.0001819159,0.0006250489,0.02505425],"genre_scores_gemma":[0.8768839,0.0005903569,0.1179142,0.0007952668,0.00008950771,0.0001045223,0.0001412198,0.00006945247,0.00341148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005070608,"threshold_uncertainty_score":0.0228281,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1589610332","doi":"10.1023/a:1008347431468","title":"Central Limit Theorems for Stochastic Optimization Algorithms Using Infinitesimal Perturbation Analysis","year":2000,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Stochastic Gradient Optimization Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; National Natural Science Foundation of China","keywords":"Mathematics; Queue; Mathematical optimization; Constant (computer programming); Convergence (economics); Context (archaeology); Asymptotically optimal algorithm; Rate of convergence; Perturbation (astronomy); Applied mathematics; Computer science; Key (lock)","authors":[{"name":"Qian-Yu Tang","is_ca":true},{"name":"Han-Fu Chen","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01317568230108289,"gpt":0.268686991798461,"spread":0.2555113094973781,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01479887,0.003036361,0.002933809,0.00294775,0.00126983,0.003618699,0.003478694,0.002702317,0.004358736],"category_scores_gemma":[0.03972426,0.001452502,0.002212367,0.002686304,0.005830094,0.006681202,0.005507505,0.007027906,0.0007388175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002623911,"about_ca_system_score_gemma":0.003402561,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00293918,"about_ca_topic_score_gemma":0.002498332,"domain_scores_codex":[0.9961039,0.002281657,0.0001706766,0.0003765117,0.0008800344,0.0001872783],"domain_scores_gemma":[0.9734427,0.02133719,0.00115058,0.0008923959,0.002500885,0.0006763645],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007089914,0.00007202924,0.0002254109,0.0002081782,0.0001238573,0.00007746647,0.0001213039,0.1525551,0.0009869644,0.8324187,0.001744591,0.01139538],"study_design_scores_gemma":[0.00001761315,0.0000244633,0.00008914874,0.00003006571,0.00002320108,0.00002324736,0.00001453926,0.6940515,0.0004087995,0.3043833,0.0009140956,0.00002000023],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002641952,0.0006058415,0.9930317,0.0004160585,0.0001104275,0.0000303017,0.00003435919,0.0000740502,0.003055312],"genre_scores_gemma":[0.431301,0.006179421,0.5288752,0.00145449,0.001242949,0.001822955,0.0004600897,0.001293191,0.02737062],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01479887,"threshold_uncertainty_score":0.07826489,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1969453217","doi":"10.1007/s10626-013-0172-4","title":"Sampled-data supervisory control","year":2013,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Supervisory control; Control (management); Control theory (sociology); Control engineering; Computer science; Engineering; Environmental science; Artificial intelligence","authors":[{"name":"Ryan J. Leduc","is_ca":true},{"name":"Yu Wang","is_ca":true},{"name":"Fahim Ahmed","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03559868243982537,"gpt":0.2686477436380219,"spread":0.2330490611981965,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000711209,0.0006517845,0.0009436224,0.0003214286,0.0004432784,0.001058979,0.001133113,0.0005126743,0.003640273],"category_scores_gemma":[0.002132744,0.0002571454,0.0003997602,0.0003698864,0.00080391,0.0008423281,0.0009104364,0.0009724777,0.0003890757],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005497684,"about_ca_system_score_gemma":0.000889693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001743762,"about_ca_topic_score_gemma":0.002552025,"domain_scores_codex":[0.9993817,0.0001175663,0.00004206925,0.0001876344,0.0002134186,0.00005768866],"domain_scores_gemma":[0.9987909,0.0004996288,0.0001071111,0.0002593014,0.0002880488,0.00005501305],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002405231,0.000608105,0.002110151,0.0007911312,0.0001719625,0.0003443453,0.0005078465,0.5998108,0.03979326,0.04789968,0.005044427,0.3005131],"study_design_scores_gemma":[0.00008520249,0.0001401014,0.0003967623,0.00001151146,0.00001806349,0.0000283223,0.00001614409,0.9810359,0.007313318,0.009849816,0.001093361,0.0000114251],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03751772,0.0002264055,0.9563127,0.0001458645,0.0002408539,0.00008400203,0.0002177559,0.001901852,0.003352877],"genre_scores_gemma":[0.9774122,0.0000714302,0.02047839,0.00005882383,0.00004275563,0.00008488502,0.0001015904,0.00003956414,0.00171029],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003640273,"threshold_uncertainty_score":0.01217788,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1568162912","doi":"10.1023/a:1015621532472","title":"Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach","year":2002,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Petri net; Computer science; Executable; Concurrency; Programmable logic controller; Scalability; Embedded system; Computer hardware; Computer architecture; Programming language; Operating system","authors":[{"name":"S. Bulach","is_ca":false},{"name":"A. Brauchle","is_ca":false},{"name":"H.-J. Pfleiderer","is_ca":false},{"name":"Z. Kucerovsky","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02011874566278746,"gpt":0.2673905539095044,"spread":0.2472718082467169,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009219996,0.0007007244,0.0004975131,0.0005563319,0.0004070598,0.001692377,0.002620847,0.0008342345,0.003392112],"category_scores_gemma":[0.001452587,0.0004906111,0.000607323,0.0003300309,0.0007660464,0.0009570824,0.0004449051,0.001074404,0.0006576537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000881345,"about_ca_system_score_gemma":0.001924324,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002988158,"about_ca_topic_score_gemma":0.004474584,"domain_scores_codex":[0.9993111,0.0001458971,0.00004704726,0.00008744594,0.0003202012,0.00008829104],"domain_scores_gemma":[0.9993413,0.0002536214,0.00006241395,0.0001159362,0.0001846001,0.00004201575],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003485102,0.000349126,0.0009176891,0.0009126576,0.0001761743,0.0004399368,0.0002456279,0.475753,0.0665755,0.2136955,0.00382209,0.2367642],"study_design_scores_gemma":[0.0001334745,0.0002386941,0.0003169818,0.00009381714,0.0001432348,0.0001271181,0.00004277598,0.8915504,0.06348287,0.02521266,0.01861772,0.00004032767],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00503014,0.0001647553,0.9892936,0.0001176131,0.0001211898,0.0001216185,0.00003065746,0.001191299,0.003929173],"genre_scores_gemma":[0.3367867,0.0005680229,0.6564041,0.0001908086,0.00006826524,0.0003442573,0.0001689539,0.0001504029,0.005318493],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003392112,"threshold_uncertainty_score":0.01134771,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2087111390","doi":"10.1007/s10626-012-0138-y","title":"Methods for the estimation of the size of lookahead tree state-space","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Tree (set theory); State space; State (computer science); Estimation; Computer science; Space (punctuation); Mathematics; Algorithm; Statistics; Combinatorics; Engineering","authors":[{"name":"Creag Winacott","is_ca":true},{"name":"Behnam Behinaein","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02138148781266268,"gpt":0.3420575111813494,"spread":0.3206760233686867,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00402184,0.001645656,0.002170065,0.00283337,0.0006724159,0.001934272,0.00317607,0.001692039,0.004505359],"category_scores_gemma":[0.02809749,0.001054091,0.001360445,0.001982647,0.001085005,0.00323824,0.00235026,0.002962113,0.0007231912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001615904,"about_ca_system_score_gemma":0.002347186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005450647,"about_ca_topic_score_gemma":0.006297408,"domain_scores_codex":[0.9976547,0.0007162652,0.0002143215,0.0005038781,0.0007375125,0.000173304],"domain_scores_gemma":[0.9647583,0.02924506,0.001898878,0.001766955,0.00186667,0.0004641034],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005645658,0.0001977932,0.002928411,0.0004767642,0.0002462309,0.00008394956,0.0001866418,0.6874122,0.006181781,0.03421043,0.001789305,0.2657219],"study_design_scores_gemma":[0.00001357799,0.00001752344,0.0002006645,0.0000168457,0.00001264094,0.00001305753,0.000007894275,0.9875354,0.0009253527,0.01101211,0.0002315238,0.00001339321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002533232,0.0001417586,0.9964229,0.00003944344,0.00001781491,0.00003228537,0.00007824115,0.0005131009,0.0002211301],"genre_scores_gemma":[0.2002696,0.0004156264,0.7962741,0.0000860915,0.0001110574,0.0005273822,0.0006283628,0.0004432809,0.001244451],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005450647,"threshold_uncertainty_score":0.02126974,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1969752454","doi":"10.1007/s10626-011-0100-4","title":"Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs","year":2011,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Reachability; Petri net; Computer science; Stochastic Petri net; Construct (python library); State space; State (computer science); Reachability problem; Theoretical computer science; Distributed computing; Mathematics; Algorithm; Programming language","authors":[{"name":"Hanifa Boucheneb","is_ca":true},{"name":"Kamel Barkaoui","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02011644252270533,"gpt":0.2521523024658863,"spread":0.232035859943181,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006345689,0.001303616,0.0004721653,0.002444527,0.0007414038,0.001095647,0.001239823,0.0005365402,0.005454293],"category_scores_gemma":[0.003085066,0.0006558676,0.001166396,0.001739353,0.000493917,0.001147331,0.0005784588,0.001025537,0.001535648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009998031,"about_ca_system_score_gemma":0.002060244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00537465,"about_ca_topic_score_gemma":0.009095242,"domain_scores_codex":[0.9994007,0.0001313396,0.00005334255,0.0001106934,0.0002304654,0.00007342678],"domain_scores_gemma":[0.9993537,0.0002422938,0.00007079993,0.0001124209,0.0001864933,0.00003431591],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000335708,0.0002998179,0.00153599,0.0007586451,0.00009320204,0.0007442122,0.0003197546,0.4052636,0.02755215,0.3493578,0.005307318,0.2084318],"study_design_scores_gemma":[0.00006245312,0.0000892293,0.0005502353,0.0001082056,0.0001691146,0.0001577564,0.0001432288,0.7223765,0.04371199,0.220491,0.01208261,0.0000576421],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008532179,0.00005273421,0.985518,0.00002723164,0.00002935692,0.0002045859,0.000950089,0.0009170679,0.003768822],"genre_scores_gemma":[0.1872907,0.0003080314,0.8041847,0.00003592165,0.00001848259,0.0004825245,0.004304328,0.0005110019,0.002864258],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005454293,"threshold_uncertainty_score":0.01824647,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2073923541","doi":"10.1007/s10626-007-0033-0","title":"Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems","year":2008,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Supervisor; Comparability; Reduction (mathematics); Event (particle physics); Relation (database); Supervisory control; Representation (politics); Control (management); Computer science; Control theory (sociology); Mathematics; Control engineering; Engineering; Artificial intelligence; Data mining; Physics","authors":[{"name":"Sarah-Jane Whittaker","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02586300366559202,"gpt":0.2715687262432636,"spread":0.2457057225776716,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001382349,0.0003346992,0.0006802885,0.0005714761,0.0005520578,0.001212676,0.001229865,0.0004858806,0.002915209],"category_scores_gemma":[0.006011363,0.0002641593,0.0008104742,0.0005266573,0.001919209,0.001882121,0.001235121,0.00131603,0.0002131174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000534592,"about_ca_system_score_gemma":0.0009339605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00203192,"about_ca_topic_score_gemma":0.002043572,"domain_scores_codex":[0.9989485,0.0002721713,0.00003998616,0.0001435008,0.0004771269,0.0001186233],"domain_scores_gemma":[0.9955591,0.00300997,0.00022267,0.0006820203,0.0003995992,0.0001266047],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004655701,0.00029205,0.003711882,0.0004049019,0.00009131329,0.0004913746,0.001450585,0.3303747,0.01182045,0.4839255,0.002172111,0.1647995],"study_design_scores_gemma":[0.00003648629,0.0001569878,0.001236844,0.0000279343,0.00003785282,0.0001097183,0.0003250955,0.6417648,0.005020026,0.3483906,0.002873362,0.00002017319],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.132267,0.0005474665,0.8359249,0.001038238,0.00009230017,0.0001447281,0.00008479445,0.0008386017,0.02906182],"genre_scores_gemma":[0.9307429,0.0003179298,0.06388874,0.0001071846,0.00005144345,0.00007625928,0.00006769328,0.0001178092,0.00462992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002915209,"threshold_uncertainty_score":0.009752333,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2052404333","doi":"10.1007/s10626-011-0126-7","title":"A pseudometric in supervisory control of probabilistic discrete event systems","year":2012,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Probabilistic logic; Supervisory control; Generator (circuit theory); Event (particle physics); Monotone polygon; Characterization (materials science); Discrete mathematics; Algorithm; Control (management); Artificial intelligence; Computer science; Statistics; Power (physics)","authors":[{"name":"Vera Pantelic","is_ca":true},{"name":"Mark Lawford","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0129640249399321,"gpt":0.252160529195101,"spread":0.2391965042551689,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004431903,0.001005785,0.001365142,0.001771976,0.001054058,0.002819982,0.001717995,0.001601406,0.002204572],"category_scores_gemma":[0.01912401,0.0005230463,0.001083378,0.002340714,0.003746841,0.006715479,0.003508982,0.003747626,0.0003395963],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001403607,"about_ca_system_score_gemma":0.001355555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006892039,"about_ca_topic_score_gemma":0.0003599682,"domain_scores_codex":[0.995619,0.002040456,0.0002972856,0.0006337378,0.001252238,0.000157163],"domain_scores_gemma":[0.9890411,0.007553107,0.0009788463,0.0006888075,0.001069996,0.0006681132],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001134395,0.00004040553,0.000344882,0.0002006274,0.00002553688,0.00008402929,0.0002142671,0.06147066,0.001506706,0.8972812,0.001273293,0.03744489],"study_design_scores_gemma":[0.00002543363,0.000211892,0.0003006273,0.00003962764,0.00001355949,0.000104515,0.00003940857,0.4601439,0.000764828,0.5338305,0.004488553,0.00003711903],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01674687,0.001931915,0.9759846,0.000906638,0.0003806792,0.00003868999,0.00009213938,0.0001357852,0.003782643],"genre_scores_gemma":[0.7155803,0.003983231,0.2691645,0.000517362,0.002051534,0.0003991444,0.0002990246,0.0002381174,0.007766786],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004431903,"threshold_uncertainty_score":0.02343845,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4283256992","doi":"10.1007/s10626-022-00363-7","title":"Epistemic interpretations of decentralized discrete-event system problems","year":2022,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"","keywords":"Observability; Event (particle physics); Supervisory control; Set (abstract data type); Control (management); Epistemology; Mathematics; Computer science; Theoretical computer science; Algebra over a field; Pure mathematics; Artificial intelligence; Applied mathematics; Philosophy; Physics; Programming language","authors":[{"name":"K. Ritsuka","is_ca":true},{"name":"Karen Rudie","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01052990465603899,"gpt":0.2620031182137225,"spread":0.2514732135576835,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004324206,0.0008953166,0.00109474,0.001275841,0.001467058,0.004930182,0.001568343,0.002168117,0.00656392],"category_scores_gemma":[0.01247548,0.0006928378,0.001446915,0.001273222,0.003277413,0.006347574,0.003256683,0.003812871,0.0003506989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002368679,"about_ca_system_score_gemma":0.001548115,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001309386,"about_ca_topic_score_gemma":0.00187723,"domain_scores_codex":[0.9965422,0.001811541,0.0002405823,0.0003924127,0.000718915,0.0002943853],"domain_scores_gemma":[0.9903454,0.007363718,0.0006398245,0.000662574,0.0006341145,0.0003543297],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001945527,0.0000158271,0.00007069403,0.00003508437,0.00001213715,0.00007532392,0.0001566535,0.02181154,0.00008827851,0.9754132,0.0004155097,0.001886277],"study_design_scores_gemma":[0.00001960687,0.000005083489,0.00003195797,0.0000124565,0.000008252347,0.00001752853,0.00006700157,0.06037838,0.00009973146,0.9380349,0.001319737,0.000005432613],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03315218,0.0004784717,0.8981541,0.00392187,0.0001595738,0.0000983082,0.0002809509,0.0001674856,0.06358709],"genre_scores_gemma":[0.9046336,0.000581531,0.08229706,0.0003579755,0.0003589994,0.0002711547,0.0003795588,0.00006555733,0.01105457],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00656392,"threshold_uncertainty_score":0.02286887,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3158571805","doi":"10.1007/s10626-020-00337-7","title":"A receding horizon event-driven control strategy for intelligent traffic management","year":2021,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"Università della Calabria","keywords":"Benchmark (surveying); Model predictive control; Controller (irrigation); Event (particle physics); Horizon; Control (management); Set (abstract data type); Computer science; Control theory (sociology); Engineering; Control engineering; Real-time computing; Artificial intelligence; Mathematics","authors":[{"name":"Walter Lúcia","is_ca":true},{"name":"Giuseppe Franzè","is_ca":false},{"name":"Domenico Famularo","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02330100122289374,"gpt":0.2916616283721218,"spread":0.2683606271492281,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000321795,0.0004272615,0.0003236703,0.0002215116,0.0002318796,0.0004924435,0.0007035821,0.0003539473,0.001508121],"category_scores_gemma":[0.0004546607,0.0001512415,0.0002529269,0.000142161,0.000350088,0.0003945121,0.0004631854,0.0004974045,0.0001493702],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004031457,"about_ca_system_score_gemma":0.0006016343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003346402,"about_ca_topic_score_gemma":0.003563521,"domain_scores_codex":[0.9998141,0.00004590299,0.000008528921,0.00004133699,0.00006669915,0.00002341925],"domain_scores_gemma":[0.9998356,0.00006203355,0.00003011875,0.00001556045,0.0000431935,0.00001348125],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005839001,0.00005434198,0.000126767,0.00005186327,0.00002208349,0.0001097056,0.00004684205,0.9491531,0.007543561,0.0183883,0.0004454404,0.0239997],"study_design_scores_gemma":[0.000006944283,0.0000355322,0.00003752293,0.000002229488,0.000004117318,0.000008295737,0.000004192836,0.9967459,0.0008887369,0.001865303,0.0003982353,0.0000029912],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01722346,0.000064188,0.977849,0.00007587735,0.0000342497,0.00004449553,0.00002490084,0.0002278974,0.004455943],"genre_scores_gemma":[0.9625704,0.00005561735,0.03531563,0.00004601887,0.00001328672,0.00005697957,0.00003421415,0.00001269802,0.00189502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003346402,"threshold_uncertainty_score":0.006653845,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3011527454","doi":"10.1007/s10626-019-00306-9","title":"Arborescent architecture for decentralized diagnosis of discrete event systems","year":2020,"lang":"en","type":"article","venue":"Discrete Event Dynamic Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Medical diagnosis; Inference; Computer science; Event (particle physics); Fault (geology); Decision tree; Fault tree analysis; Architecture; Artificial intelligence; Machine learning; Engineering; Medicine; Reliability engineering","authors":[{"name":"Ahmed Khoumsi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01745032858517543,"gpt":0.2747532911956977,"spread":0.2573029626105223,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009973951,0.0004165434,0.0004549005,0.0008453642,0.0004477811,0.0007676807,0.001193956,0.0005042973,0.00272453],"category_scores_gemma":[0.002523542,0.0003028816,0.0003945915,0.0004899746,0.0006008074,0.001473763,0.00123403,0.0008276745,0.0004011308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007744074,"about_ca_system_score_gemma":0.001210639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003234942,"about_ca_topic_score_gemma":0.005898781,"domain_scores_codex":[0.9994343,0.0001504793,0.00004662237,0.0001561559,0.0001523407,0.00006010262],"domain_scores_gemma":[0.9985393,0.0006042949,0.0001523469,0.0003043368,0.0003172286,0.00008242352],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007629686,0.0002530279,0.004418034,0.0003144148,0.0001179215,0.0006735226,0.0003813814,0.5240673,0.03697307,0.1855509,0.003549457,0.242938],"study_design_scores_gemma":[0.00001852277,0.0000615962,0.0002356751,0.00001014014,0.00001604368,0.00005131152,0.00001657182,0.9674304,0.004030742,0.0268526,0.001268614,0.000007853829],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02584421,0.00009196388,0.9705916,0.00008409595,0.00001775864,0.00006019623,0.0000790542,0.001609229,0.001621953],"genre_scores_gemma":[0.6592978,0.0001529414,0.3370296,0.00007908102,0.00002287023,0.0001250892,0.0003771081,0.0001071113,0.002808452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003234942,"threshold_uncertainty_score":0.009114444,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}