{"id":"W7002272304","doi":"","title":"\\nCanonical extensions in logic : some applications and a generalization to categories","year":2012,"lang":"en","type":"dissertation","venue":"Radboud Repository (Radboud University)","topic":"Assisted Reproductive Technology and Twin Pregnancy","field":"Medicine","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Université Paris Diderot; University of Ottawa","keywords":"Generalization; Algebra over a field; Extension (predicate logic); Feature (linguistics); Description logic; Mathematical logic","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"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.002032784,0.0005895818,0.0005343989,0.001842724,0.001797802,0.003740037,0.0008277083,0.00122271,0.006126006],"category_scores_gemma":[0.002412569,0.0004768717,0.001515559,0.003667087,0.00751345,0.01041964,0.00266049,0.003755695,0.0009249613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0020302,"about_ca_system_score_gemma":0.0009010191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001821121,"about_ca_topic_score_gemma":0.001846888,"domain_scores_codex":[0.9990425,0.0004532502,0.00008468127,0.0001647447,0.0001752876,0.00007956054],"domain_scores_gemma":[0.9983632,0.001072709,0.00007832505,0.0001511135,0.0002378825,0.00009674159],"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.000003873854,0.000004980735,0.00004718448,0.00003746608,0.000003300959,0.00003574541,0.0002652211,0.0001513086,0.00007712987,0.9919184,0.00159424,0.005861221],"study_design_scores_gemma":[0.00000436236,0.000005391561,0.00008409124,0.0000312522,0.000003522628,0.00008667201,0.00009762422,0.0004631902,0.00006313502,0.9836459,0.01551018,0.000004764361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.03614328,0.02610485,0.3966801,0.01665974,0.001742538,0.00009403793,0.0004227582,0.0003177284,0.521835],"genre_scores_gemma":[0.7175162,0.02577857,0.1584905,0.003674996,0.004586807,0.0003191618,0.0006286721,0.0002575967,0.08874742],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.006126006,"threshold_uncertainty_score":0.02049357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01095213885897613,"score_gpt":0.2424971953410576,"score_spread":0.2315450564820814,"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."}}