{"id":"W4239415167","doi":"10.1201/b17480-11","title":"Category Theory And Model-driven Engineering: From Formal Semantics To Design Patterns And Beyond","year":2014,"lang":"en","type":"book-chapter","venue":"Apple Academic Press eBooks","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of Waterloo; McMaster University","keywords":"Formal semantics (linguistics); Semantics (computer science); Computer science; Programming language; Software engineering; Epistemology; Philosophy","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005335833,0.0006574005,0.0006117783,0.0002139131,0.00007953258,0.0001047355,0.001332866,0.0008869556,0.000001683773],"category_scores_gemma":[0.000009610913,0.0006906635,0.00007286482,0.000009668317,0.00007023598,0.0002068178,0.001706223,0.001215412,0.000003730866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005451849,"about_ca_system_score_gemma":0.00004340581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000424881,"about_ca_topic_score_gemma":0.000001575375,"domain_scores_codex":[0.9976331,0.00004071687,0.000483445,0.0009282407,0.0003796586,0.0005348116],"domain_scores_gemma":[0.9981592,0.0003399591,0.0001813077,0.0009184854,0.0000586395,0.0003424138],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001275388,0.000001741482,0.000003235215,0.0000894411,0.00006848951,0.00001027507,0.001368651,0.006379918,0.0003409276,0.9594855,0.0009178771,0.03132122],"study_design_scores_gemma":[0.0003320235,0.000104346,0.00000640238,0.0004130033,0.000116375,0.00004014511,0.000001564343,0.788821,0.002656861,0.08159471,0.1245508,0.001362736],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001104386,0.0004442314,0.9951717,0.00003534237,0.0001109062,0.0008089116,0.0001150928,0.0009367681,0.002266631],"genre_scores_gemma":[0.04207894,0.0006677153,0.9237185,0.001144743,0.000422318,0.0004107599,0.00006266949,0.000354515,0.03113986],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8778908,"threshold_uncertainty_score":0.9995545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02380055557522271,"score_gpt":0.2263529490612165,"score_spread":0.2025523934859938,"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."}}