{"id":"W2571755757","doi":"10.3166/isi.21.2.39-63","title":"Vérification automatique d’exigences pour les politiques d’échange d’information. Exigences de diffusion et de non-diffusion d'information","year":2016,"lang":"fr","type":"article","venue":"Ingénierie des systèmes d information","topic":"Logic, Reasoning, and Knowledge","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.01387077,0.001270013,0.001688534,0.002250761,0.001892433,0.006078145,0.002403747,0.003141256,0.01037779],"category_scores_gemma":[0.09606258,0.001482755,0.004885362,0.001380818,0.00730283,0.01005346,0.00578871,0.007007514,0.001742196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005483304,"about_ca_system_score_gemma":0.006315358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008447332,"about_ca_topic_score_gemma":0.007145626,"domain_scores_codex":[0.9816381,0.004686307,0.001256695,0.00373014,0.006894314,0.001794526],"domain_scores_gemma":[0.8749585,0.1020019,0.003772362,0.007524785,0.01060001,0.001142455],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001587718,0.0002788956,0.005359303,0.0008976621,0.0003702575,0.001163011,0.001387668,0.08686022,0.01789746,0.7863691,0.006587239,0.09124155],"study_design_scores_gemma":[0.0002668652,0.0001552238,0.00132835,0.0001858067,0.0001346546,0.0003644584,0.0002368653,0.3982133,0.02350978,0.5701475,0.005380048,0.00007722285],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03894936,0.0004543789,0.9471386,0.002306495,0.0002293528,0.0002059889,0.0004459221,0.001868711,0.008401167],"genre_scores_gemma":[0.7502036,0.0005893699,0.232976,0.001056615,0.0002290914,0.0005198616,0.001094591,0.000905769,0.01242506],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01387077,"threshold_uncertainty_score":0.07335657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02626088471901038,"score_gpt":0.2719148569777535,"score_spread":0.2456539722587431,"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."}}