{"id":"W2019669823","doi":"10.1109/cdc.2013.6760993","title":"Efficient computation of sensor activation decisions in discrete-event systems","year":2013,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Event (particle physics); Trajectory; Generality; Computation; Task (project management); Real-time computing; Algorithm; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003776173,0.00008763504,0.0001681796,0.0002509758,0.00003554394,0.00008376697,0.0003195826,0.00004623255,0.000003303276],"category_scores_gemma":[0.00009422142,0.00007113323,0.0000355716,0.0005660005,0.00001309333,0.0001952425,0.000128419,0.00006058353,0.00004908711],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001024724,"about_ca_system_score_gemma":0.00003478447,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005329984,"about_ca_topic_score_gemma":0.000004044254,"domain_scores_codex":[0.9985982,0.0001079124,0.0004870551,0.0002512092,0.0003900397,0.0001655968],"domain_scores_gemma":[0.9990398,0.0002714258,0.0001591461,0.0003168579,0.0001641145,0.0000486043],"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.00000105121,0.0000429478,0.0002736015,0.00001060027,0.000003177423,5.257675e-7,0.0003159203,0.9827547,0.00354338,0.007851859,0.00007430244,0.005127947],"study_design_scores_gemma":[0.0001928544,0.00002029804,0.003656271,0.0001652011,7.511009e-7,0.000003737946,0.0001908258,0.9945474,0.0008887915,0.0002410165,0.00001252096,0.00008039151],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3929672,0.00001624257,0.6059051,0.0001047035,0.0001826368,0.0002584528,3.032824e-7,0.00003851941,0.0005268194],"genre_scores_gemma":[0.9670098,0.000001152221,0.03284793,0.00001688197,0.00001557871,0.00002794669,0.000001073037,0.00000490017,0.00007477044],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5740426,"threshold_uncertainty_score":0.2900729,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02955510264422935,"score_gpt":0.2847556603400062,"score_spread":0.2552005576957768,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}