{"id":"W7020812916","doi":"","title":"Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables","year":2005,"lang":"fr","type":"other","venue":"Open MIND","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Context (archaeology); Statistical analysis; Abortion; Risk factor","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.003195738,0.001362384,0.001621391,0.001883974,0.001119848,0.002874644,0.002553037,0.001975544,0.01694046],"category_scores_gemma":[0.0111517,0.001104691,0.002084516,0.001208789,0.002186233,0.003179999,0.002632001,0.003889607,0.004140807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001456164,"about_ca_system_score_gemma":0.001307961,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008648605,"about_ca_topic_score_gemma":0.01043431,"domain_scores_codex":[0.9983834,0.0006175815,0.00008719986,0.000186467,0.0006396923,0.00008555128],"domain_scores_gemma":[0.9963202,0.002392245,0.0001061362,0.0004710571,0.0005974227,0.0001128382],"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.0001879359,0.0001243935,0.0007901025,0.0008186108,0.0002614514,0.0002317841,0.001021594,0.1194807,0.01010811,0.5671681,0.009047143,0.2907602],"study_design_scores_gemma":[0.00008911455,0.00004959475,0.0004292295,0.000194006,0.00004700304,0.0001816725,0.000195925,0.6861048,0.006990034,0.2539517,0.05170456,0.00006224765],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001124977,0.0005407817,0.9949673,0.0001172957,0.00008263258,0.00003869994,0.00003239594,0.000384906,0.002710981],"genre_scores_gemma":[0.03753559,0.0009748521,0.9464709,0.0001282985,0.000101206,0.0002651055,0.0001533504,0.0009627663,0.01340796],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01694046,"threshold_uncertainty_score":0.05667156,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03281274173415392,"score_gpt":0.3351838690883026,"score_spread":0.3023711273541487,"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."}}