{"id":"W152698780","doi":"","title":"Typage et déduction dans le calcul de réécriture","year":2005,"lang":"fr","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Humanities; Philosophy; Physics","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.008727702,0.003242502,0.003547417,0.006142081,0.003907285,0.01597315,0.002824315,0.005017492,0.009908583],"category_scores_gemma":[0.01766337,0.002559857,0.006344378,0.006288832,0.01135767,0.02055793,0.004043635,0.01804535,0.00422186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007921117,"about_ca_system_score_gemma":0.003170161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02126643,"about_ca_topic_score_gemma":0.01232803,"domain_scores_codex":[0.9933744,0.002194012,0.0004113128,0.001103569,0.002491703,0.0004251097],"domain_scores_gemma":[0.991891,0.005421635,0.0002991525,0.0009433459,0.001160432,0.0002843497],"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.0001103077,0.00004797384,0.0006911354,0.0002525698,0.00006182741,0.0002863427,0.0008225964,0.004022616,0.0008613106,0.9617403,0.004149098,0.02695394],"study_design_scores_gemma":[0.0002089633,0.00005535523,0.001244754,0.0002045201,0.00008419152,0.0005930863,0.000438369,0.03222038,0.00357069,0.8780103,0.0832627,0.0001068041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06145943,0.01806871,0.8268571,0.01077403,0.003342865,0.000135624,0.000610867,0.002554952,0.07619642],"genre_scores_gemma":[0.4871128,0.02177325,0.3844332,0.002438479,0.005843558,0.0005951017,0.001772996,0.002040443,0.09399018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02126643,"threshold_uncertainty_score":0.05747199,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02208824833737293,"score_gpt":0.2462207195474214,"score_spread":0.2241324712100485,"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."}}