{"id":"W4413972931","doi":"10.70930/tac/ktrjz7jo","title":"Differential Restriction Categories","year":2011,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Formal Methods in Verification","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); Computer science; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000344452,0.00008721719,0.0001081997,0.00008976483,0.0001588661,0.00002927965,0.0004073022,0.00005030461,0.00002583447],"category_scores_gemma":[0.00003630767,0.00007810165,0.00002456285,0.0003036647,0.0002730684,0.000409658,0.000105325,0.000067485,0.000008868792],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007457974,"about_ca_system_score_gemma":0.00002358754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002208835,"about_ca_topic_score_gemma":9.363985e-7,"domain_scores_codex":[0.999299,0.0001078373,0.0002019293,0.0001888839,0.00009485163,0.0001074544],"domain_scores_gemma":[0.9991766,0.00008396378,0.0001265238,0.0004821618,0.00009051919,0.00004028813],"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.00002138652,0.00003711757,0.0001059611,0.00001560544,0.000007480171,6.998225e-8,0.001171636,4.419972e-7,0.001162066,0.9717407,0.00001061354,0.02572687],"study_design_scores_gemma":[0.00007939111,0.00004925812,0.005324554,0.000002417553,0.00001387661,0.000004767694,0.000338507,0.00011852,0.1329904,0.8597993,0.001178273,0.0001006962],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02714808,0.0001305067,0.9643036,0.00001725135,0.00008865233,0.000172461,0.000002660902,0.000106807,0.008030045],"genre_scores_gemma":[0.938039,0.0001113599,0.06149675,0.00001155652,0.00004017738,0.0001372288,0.000004415231,0.000005092933,0.0001544034],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9108909,"threshold_uncertainty_score":0.3184893,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02422246068763383,"score_gpt":0.2641853258140066,"score_spread":0.2399628651263728,"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."}}