{"id":"W2091258198","doi":"10.3166/jesa.39.15-30","title":"Langages et formalismes synchrones. Fondements","year":2005,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Philosophy; Medicine","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.004156697,0.0007302881,0.0009183678,0.000471693,0.0009973217,0.003777829,0.00196339,0.0003057735,0.0005910578],"category_scores_gemma":[0.0004522332,0.0006803695,0.0004777808,0.0007829669,0.0002801831,0.007708414,0.0006686306,0.001246019,0.003024969],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009219651,"about_ca_system_score_gemma":0.0008418366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002517565,"about_ca_topic_score_gemma":0.00007075249,"domain_scores_codex":[0.9921887,0.002136478,0.001919653,0.0006954502,0.001530145,0.001529586],"domain_scores_gemma":[0.995891,0.0004181927,0.001414127,0.0009501481,0.0005820488,0.0007445152],"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.00001085739,0.0002903317,0.001280186,0.0007464294,0.0004716004,0.001039038,0.006670954,0.006463524,0.0007943108,0.07426026,0.03381505,0.8741574],"study_design_scores_gemma":[0.002966353,0.0008019822,0.2459301,0.007107649,0.0003293163,0.0398057,0.0008107204,0.4984249,0.001183921,0.0126566,0.187934,0.002048702],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1718785,0.1381728,0.5697299,0.02635266,0.01424241,0.001419073,0.00006684444,0.0015303,0.07660753],"genre_scores_gemma":[0.7841342,0.001852978,0.1850566,0.001188886,0.002825092,0.00002022542,0.000005807716,0.0001537146,0.02476251],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8721088,"threshold_uncertainty_score":0.9995648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03547026241416085,"score_gpt":0.2911041812323508,"score_spread":0.25563391881819,"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."}}