{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001836494,0.001852572,0.001927293,0.001956428,0.001300711,0.0048626,0.001226241,0.002262785,0.01831933],"category_scores_gemma":[0.008443775,0.0006829876,0.003554439,0.001227859,0.002264575,0.002731505,0.001786522,0.003374012,0.004201889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002820752,"about_ca_system_score_gemma":0.002000825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008686442,"about_ca_topic_score_gemma":0.006808786,"domain_scores_codex":[0.9965876,0.0006137189,0.0001248664,0.0005677526,0.001402907,0.0007031009],"domain_scores_gemma":[0.9952106,0.00286514,0.000227057,0.000792209,0.0007119353,0.0001930186],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.004266492,0.000703378,0.005131226,0.001117849,0.0003915036,0.001056616,0.001297989,0.2192096,0.09677065,0.2232776,0.009706751,0.4370703],"study_design_scores_gemma":[0.0008236307,0.0009401269,0.006369045,0.0002473558,0.0003102896,0.0006145274,0.0007957583,0.6460811,0.1676667,0.1198795,0.05611443,0.0001575372],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1656472,0.0005331452,0.7967585,0.0004495674,0.000318056,0.0004188753,0.0006591913,0.009358234,0.02585731],"genre_scores_gemma":[0.6902811,0.0005384772,0.2639315,0.0002240348,0.0001851141,0.0005309812,0.001417898,0.003466014,0.03942478],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01831933,"threshold_uncertainty_score":0.0612843,"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."}}