{"id":"W2949184737","doi":"","title":"Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADM","year":2008,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Humanities; Philosophy; Chemistry","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication"],"consensus_categories":["sts"],"category_scores_codex":[0.01408573,0.000816513,0.0006801705,0.0003077731,0.001889848,0.001117268,0.004274233,0.0009041969,0.00007187067],"category_scores_gemma":[0.005749681,0.0009203528,0.0004181091,0.001066903,0.003115268,0.001163247,0.002692189,0.00159851,0.0001188141],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001977252,"about_ca_system_score_gemma":0.003658936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003496858,"about_ca_topic_score_gemma":0.002506959,"domain_scores_codex":[0.9773973,0.01736613,0.001300386,0.001769584,0.0008007376,0.001365807],"domain_scores_gemma":[0.9867315,0.002891198,0.001384981,0.004092126,0.004222607,0.0006776393],"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.00004772727,0.002276667,0.01331031,0.001163823,0.00009463599,0.00003098786,0.06353239,0.001043851,0.008317381,0.7381091,0.0001531228,0.1719201],"study_design_scores_gemma":[0.001195899,0.000005189811,0.03821483,0.005334213,0.00005830195,0.0003658957,0.0002171945,0.1251341,0.2380271,0.5619444,0.0282846,0.001218343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03734373,0.0005291234,0.91341,0.004394761,0.0001134403,0.01882204,0.00004277094,0.0005723299,0.02477182],"genre_scores_gemma":[0.3453503,0.001108708,0.6194932,0.0000886906,0.00006549763,0.0250035,0.0001176573,0.0001023772,0.008670034],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3080066,"threshold_uncertainty_score":0.9999197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03391002366687329,"score_gpt":0.2904696793467249,"score_spread":0.2565596556798516,"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."}}