{"id":"W2005405613","doi":"10.1115/jrc2014-3864","title":"Deadlock Avoidance and Detection in Railway Simulation Systems","year":2014,"lang":"en","type":"article","venue":"","topic":"Railway Systems and Energy Efficiency","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Deadlock prevention algorithms; Train; Scheduling (production processes); Reservation; Distributed computing; Deadlock; Algorithm; Time complexity; Job shop scheduling; Real-time computing; Mathematical optimization; Computer network; Mathematics; Routing (electronic design automation)","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":true,"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.00016568,0.00006923332,0.00009195606,0.00006648488,0.0000251152,0.00002826642,0.00002814884,0.00005318651,0.000003028572],"category_scores_gemma":[0.0000176449,0.00006291537,0.000009554272,0.0001070913,0.000006374382,0.00008545929,0.000004751984,0.000047482,0.00001384307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002845952,"about_ca_system_score_gemma":0.000001257118,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002049925,"about_ca_topic_score_gemma":0.0002261111,"domain_scores_codex":[0.9995584,0.00002054053,0.0001467978,0.00009577067,0.00006165048,0.0001168207],"domain_scores_gemma":[0.9998166,0.00004522024,0.00001175623,0.00008656884,0.00001086659,0.00002900822],"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":[8.414124e-7,0.000002070343,0.00045998,0.00003784576,0.000001376411,1.725663e-7,0.00005458934,0.9871906,0.00271187,0.0005196942,0.000007313742,0.009013646],"study_design_scores_gemma":[0.0001364354,0.00001318265,0.005005943,0.00002134357,8.988991e-7,0.000002201843,0.00003093655,0.989476,0.000698092,0.00001914962,0.004512935,0.00008284382],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7773733,0.0002243478,0.2104425,0.000003149375,0.0003692865,0.00006692952,1.662347e-7,0.0001668365,0.01135351],"genre_scores_gemma":[0.999581,0.000007559564,0.00005301368,0.000004234714,0.00007300367,0.000009842834,3.91666e-7,0.00001122366,0.0002596973],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2222078,"threshold_uncertainty_score":0.2565614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005017902604425129,"score_gpt":0.1836620999466539,"score_spread":0.1786441973422287,"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."}}