{"id":"W2760543158","doi":"10.4230/lipics.fscd.2017.13","title":"There Is Only One Notion of Differentiation","year":2017,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Differential (mechanical device); Mathematics; Coalgebra; Differential calculus; Category theory; Linear logic; Categorical variable; Algebra over a field; Calculus (dental); Pure mathematics; Discrete mathematics","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.003908423,0.001033477,0.001532798,0.002707755,0.00376113,0.008065901,0.002525144,0.003951706,0.01078266],"category_scores_gemma":[0.005908876,0.0008759692,0.002325358,0.001953882,0.01616699,0.02439659,0.01003539,0.008384108,0.003073201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003073744,"about_ca_system_score_gemma":0.002406955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005752811,"about_ca_topic_score_gemma":0.0005983034,"domain_scores_codex":[0.9948587,0.0008190631,0.0004499562,0.001738077,0.00157161,0.0005625742],"domain_scores_gemma":[0.9935528,0.001974219,0.0004852065,0.001792046,0.001468959,0.0007267495],"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.00001047179,0.000009504101,0.00009819742,0.0000399109,0.000006014213,0.00003563944,0.0001732801,0.0000817425,0.000505202,0.9943098,0.000497473,0.004232656],"study_design_scores_gemma":[0.00002213936,0.00005479033,0.0001472838,0.00008564755,0.00002806477,0.0004581433,0.0002441522,0.001079799,0.002262379,0.9500713,0.04549693,0.00004931805],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02300449,0.003555393,0.7633887,0.01230301,0.001358273,0.000114304,0.000510384,0.001146803,0.1946187],"genre_scores_gemma":[0.7043599,0.002935441,0.2320148,0.004824264,0.001614661,0.0003523177,0.0004959154,0.00064335,0.05275915],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01078266,"threshold_uncertainty_score":0.0360716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02934890507716078,"score_gpt":0.2623765621112201,"score_spread":0.2330276570340593,"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."}}