{"id":"W4404332141","doi":"10.1145/3703919","title":"A Formally Integrated Adaptive Speed Management for Proactive Traffic Safety","year":2024,"lang":"en","type":"article","venue":"ACM Journal on Autonomous Transportation Systems","topic":"Traffic control and management","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; Concordia University","funders":"","keywords":"Computer science; Transport engineering; Risk analysis (engineering); Business; Engineering","routes":{"ca_aff":true,"ca_fund":false,"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.0003839195,0.0002754544,0.0003079383,0.000333527,0.0001134944,0.0002152972,0.0002426164,0.00007805352,0.00002340738],"category_scores_gemma":[0.000003957921,0.0002323539,0.0002201215,0.0002371577,0.00001446988,0.000308186,0.000002554058,0.000275887,0.00004245766],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000386095,"about_ca_system_score_gemma":0.0000506572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004485188,"about_ca_topic_score_gemma":0.00002935172,"domain_scores_codex":[0.9984425,0.00002573505,0.0006830802,0.00024425,0.0002669375,0.000337498],"domain_scores_gemma":[0.9994438,0.0000829257,0.00007529515,0.0001894792,0.00008602407,0.0001224401],"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.0002807559,0.00004681182,0.000001269448,0.0003725817,0.001164018,0.0001424039,0.001515142,0.8552442,0.00005609171,0.01546521,0.001841348,0.1238702],"study_design_scores_gemma":[0.002800929,0.0006268974,0.002363881,0.0008552567,0.0005141851,0.00005759103,0.003641439,0.5590417,0.00005721312,0.0001299659,0.4292962,0.0006147056],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1228624,0.004590984,0.8327236,0.00107716,0.01230582,0.0080016,0.0007330125,0.004020282,0.01368513],"genre_scores_gemma":[0.9966806,0.0002284532,0.001360576,0.00003272939,0.0002059389,0.0001573663,0.00009015132,0.00006790349,0.001176354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8738181,"threshold_uncertainty_score":0.9475116,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01365197880144224,"score_gpt":0.2206114779347705,"score_spread":0.2069594991333283,"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."}}