{"id":"W2009415874","doi":"10.3166/jesa.38.145-175","title":"Vérification des systèmes hybrides. Etat de l'art","year":2004,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Social Sciences and Governance","field":"Social Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"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.00807048,0.001619146,0.001825119,0.001221203,0.001115224,0.004833654,0.00228659,0.003141702,0.009311504],"category_scores_gemma":[0.02598485,0.00091491,0.003654208,0.001068315,0.006081349,0.005412478,0.003529786,0.00441239,0.00134418],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002465872,"about_ca_system_score_gemma":0.001983859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009661352,"about_ca_topic_score_gemma":0.005784633,"domain_scores_codex":[0.9918869,0.002659197,0.0003277467,0.001280353,0.003395599,0.0004502208],"domain_scores_gemma":[0.9756742,0.01895609,0.0005213089,0.002688166,0.001946247,0.0002139864],"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.0009193324,0.0002550562,0.003981444,0.001993325,0.0005848511,0.0009458124,0.0008267398,0.2979519,0.02234255,0.3496566,0.00997576,0.3105666],"study_design_scores_gemma":[0.0001706718,0.0002429827,0.001530115,0.0002387689,0.0001043206,0.0004908944,0.0002031976,0.765881,0.01169812,0.2051839,0.01417909,0.0000769182],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.01901861,0.003716023,0.9626267,0.00192514,0.0005653818,0.000125909,0.0002125675,0.001311732,0.01049795],"genre_scores_gemma":[0.6485527,0.003715824,0.322347,0.001027242,0.0008943578,0.0004900466,0.0007477957,0.0006472997,0.02157786],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.009661352,"threshold_uncertainty_score":0.04268134,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03145920513460076,"score_gpt":0.2952669615926477,"score_spread":0.2638077564580469,"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."}}