{"id":"W3181424565","doi":"10.3166/jesa.45.237-252","title":"Echantillonnage préférentiel pour le model checking statistique","year":2011,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Fault Detection and Control Systems","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematics; Statistics","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.01170893,0.003659453,0.004531027,0.004697498,0.002629757,0.007249351,0.002514041,0.004735047,0.01191173],"category_scores_gemma":[0.08016749,0.001576484,0.004471028,0.001889335,0.004097695,0.006626507,0.00299191,0.009558862,0.001347927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004681414,"about_ca_system_score_gemma":0.004079916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02838788,"about_ca_topic_score_gemma":0.02037514,"domain_scores_codex":[0.9838636,0.0077646,0.000649174,0.002971431,0.003669997,0.001081235],"domain_scores_gemma":[0.8441095,0.1431348,0.001990753,0.005781479,0.003374314,0.001609234],"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.003645614,0.0006901853,0.01512333,0.000522767,0.0008002542,0.0009181412,0.0004884579,0.8201922,0.01592889,0.07983235,0.002048805,0.05980888],"study_design_scores_gemma":[0.0001167428,0.0001476651,0.001582996,0.00003979966,0.00005820743,0.00009051224,0.00004613426,0.9795131,0.002851429,0.01511004,0.000414633,0.00002870925],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2331005,0.0009576816,0.7551854,0.001904944,0.0002233721,0.0001447377,0.0005515848,0.003119663,0.004812126],"genre_scores_gemma":[0.8662537,0.000649365,0.120466,0.0006256399,0.0003482685,0.0003849841,0.001475985,0.001128454,0.008667531],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02838788,"threshold_uncertainty_score":0.0619235,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02862339547176598,"score_gpt":0.240655611519504,"score_spread":0.212032216047738,"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."}}