{"id":"W2219576758","doi":"","title":"Utilisation de langages formels pour la modelisation et la resolution de problemes de planification de quarts de travail","year":2011,"lang":"fr","type":"article","venue":"","topic":"Scheduling and Timetabling Solutions","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Theoretical computer science; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006767684,0.003097769,0.001666885,0.002453426,0.001646116,0.005511158,0.002779955,0.003499007,0.005894365],"category_scores_gemma":[0.02091965,0.002176582,0.007254686,0.00228928,0.006167314,0.006599168,0.003647477,0.007135069,0.001836666],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004791309,"about_ca_system_score_gemma":0.003985369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03148157,"about_ca_topic_score_gemma":0.02112599,"domain_scores_codex":[0.9922928,0.003108714,0.0006517741,0.001462123,0.001966382,0.0005182991],"domain_scores_gemma":[0.9830909,0.0133444,0.001047555,0.001135977,0.001130254,0.0002508204],"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.0001014711,0.0001128082,0.0008771503,0.0003020779,0.0000995775,0.0003791169,0.0008330834,0.5398067,0.001603315,0.4277985,0.001370598,0.02671564],"study_design_scores_gemma":[0.00005939755,0.00004694563,0.0001194276,0.0001005045,0.00003413075,0.0000745595,0.0001285341,0.8338413,0.001380917,0.1527706,0.01140577,0.00003800073],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005948889,0.0004112317,0.99007,0.0004934961,0.00009418715,0.0001140466,0.000205124,0.0005009629,0.002162114],"genre_scores_gemma":[0.1172594,0.001203829,0.8707055,0.0002893268,0.0001843,0.001026224,0.001133816,0.0004254509,0.007772193],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03148157,"threshold_uncertainty_score":0.06259662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.207561633808847,"score_gpt":0.3889781044358727,"score_spread":0.1814164706270257,"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."}}