{"id":"W354819163","doi":"","title":"Optimisation du filtrage par transformations de programmes","year":2005,"lang":"fr","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Computer science; Philosophy; Humanities; Artificial intelligence","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00604178,0.0003011908,0.0002762031,0.0001446944,0.0007484788,0.001189996,0.00127723,0.0002457712,0.0002760551],"category_scores_gemma":[0.0005915498,0.0003244612,0.0002261414,0.0007149719,0.0003284213,0.001215636,0.0001965731,0.0003519336,0.0003014517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002021055,"about_ca_system_score_gemma":0.000379125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001690095,"about_ca_topic_score_gemma":0.002496393,"domain_scores_codex":[0.9937889,0.003889333,0.0006349612,0.0005593516,0.0004296359,0.0006977911],"domain_scores_gemma":[0.9959852,0.0007253109,0.0003399182,0.001266802,0.001360933,0.0003218495],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00000226055,0.0005231096,0.0006575897,0.0000710158,0.00002974457,0.00000377806,0.02815423,0.0001474909,0.0002136039,0.5376888,0.001628101,0.4308803],"study_design_scores_gemma":[0.0008239857,0.000002304926,0.002107774,0.0002254107,0.00005335243,0.0001393978,0.0002743394,0.1940559,0.02240955,0.008701712,0.7706792,0.0005271402],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005772497,0.003325749,0.8474302,0.06684424,0.0003927684,0.0005586666,0.000009674064,0.0003687201,0.07529747],"genre_scores_gemma":[0.8467985,0.0007685079,0.1315042,0.0002304545,0.0001213052,0.00009518531,0.0000969007,0.00002736311,0.02035756],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.841026,"threshold_uncertainty_score":0.9999207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01769738092115226,"score_gpt":0.2266890394644331,"score_spread":0.2089916585432809,"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."}}