{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006271287,0.0008007781,0.001306698,0.001741658,0.001290309,0.002730106,0.001362163,0.00222823,0.009594642],"category_scores_gemma":[0.01361758,0.0004638748,0.002134489,0.001392456,0.006203811,0.009445512,0.002535767,0.005753683,0.001372629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001735346,"about_ca_system_score_gemma":0.0007931382,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001476713,"about_ca_topic_score_gemma":0.0006353359,"domain_scores_codex":[0.9965167,0.001022139,0.0001845727,0.0008630957,0.001127471,0.0002859592],"domain_scores_gemma":[0.9909909,0.006859556,0.0003738391,0.0005915831,0.000985593,0.0001985594],"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.00007255748,0.00002654076,0.0002453748,0.0001412112,0.0000426803,0.0001673944,0.0004029005,0.00363613,0.001999977,0.9804098,0.001830823,0.01102461],"study_design_scores_gemma":[0.00003096769,0.0001516585,0.0005836526,0.00005880403,0.00003095482,0.0002609902,0.0001811461,0.02354181,0.002508581,0.9617186,0.01090695,0.00002592919],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06672456,0.007215872,0.8469399,0.007059356,0.0006418636,0.0001003983,0.0004170107,0.0002749187,0.07062617],"genre_scores_gemma":[0.8103452,0.004848862,0.1596315,0.003910766,0.001826358,0.0004588173,0.0006220471,0.0001828226,0.01817372],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009594642,"threshold_uncertainty_score":0.03316611,"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."}}