{"id":"W2090584523","doi":"10.3166/jesa.39.303-318","title":"Lemme de Haar sur diverses structures idempotentes. Applications à la comparaison et au contrôle de systèmes à événements discrets","year":2005,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Humanities; Philosophy","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"],"consensus_categories":[],"category_scores_codex":[0.004167407,0.0006565551,0.000809534,0.0003791994,0.001284504,0.001944911,0.002063645,0.0003201001,0.0001524265],"category_scores_gemma":[0.0008922781,0.0006411704,0.0003787887,0.000715117,0.0006821868,0.002931925,0.0005375067,0.00107405,0.0002430483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002125665,"about_ca_system_score_gemma":0.001259615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008232492,"about_ca_topic_score_gemma":0.0001893215,"domain_scores_codex":[0.9917985,0.003528467,0.001514972,0.0006809343,0.001038785,0.001438403],"domain_scores_gemma":[0.9955298,0.0007496886,0.001489366,0.0009092123,0.0005591382,0.0007627846],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00003856201,0.0004510071,0.01107622,0.0007830067,0.0003443404,0.0001519406,0.006975898,0.01361179,0.001587497,0.3490101,0.006026958,0.6099427],"study_design_scores_gemma":[0.001211968,0.0001829564,0.5874726,0.001213464,0.0002102383,0.004933829,0.0002996254,0.3242437,0.0008147333,0.02399777,0.05474345,0.0006756242],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05626348,0.01185816,0.9200483,0.00375562,0.001273607,0.0008325402,0.00009781673,0.0004110079,0.005459481],"genre_scores_gemma":[0.5374107,0.001361949,0.4577767,0.0006143646,0.000752182,0.00006290628,0.000009240776,0.00007480595,0.001937118],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6092671,"threshold_uncertainty_score":0.999604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05359316029093217,"score_gpt":0.3286834390608446,"score_spread":0.2750902787699124,"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."}}