{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004458102,0.002079854,0.0008971821,0.002788088,0.001921362,0.006070231,0.001239947,0.003113886,0.008235459],"category_scores_gemma":[0.004999259,0.001135952,0.001794711,0.002815165,0.008144042,0.007316375,0.002135341,0.006190851,0.00428833],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002357524,"about_ca_system_score_gemma":0.001694685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004485786,"about_ca_topic_score_gemma":0.002378718,"domain_scores_codex":[0.9958508,0.001825697,0.0003828686,0.0007181059,0.001012801,0.0002097947],"domain_scores_gemma":[0.9977131,0.001315853,0.0002677561,0.0003204428,0.0002809016,0.0001019608],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008033036,0.000005102001,0.00004180886,0.00006300572,0.000005534437,0.0000592317,0.0002237053,0.000506742,0.0002244254,0.989826,0.001738577,0.007297943],"study_design_scores_gemma":[0.00002834425,0.00002137191,0.0001046081,0.0001097612,0.00001195595,0.0003224403,0.0001024897,0.00306443,0.0006915791,0.7962758,0.1992417,0.00002559718],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005501462,0.04347618,0.8231044,0.005850119,0.00350378,0.0002165439,0.001040208,0.001680294,0.1156271],"genre_scores_gemma":[0.287618,0.06040587,0.5221795,0.004554161,0.007828533,0.001807677,0.003438535,0.0009613321,0.1112064],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008235459,"threshold_uncertainty_score":0.02755034,"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."}}