{"id":"W1581459791","doi":"10.1007/978-3-642-28872-2_12","title":"Intermodeling, Queries, and Kleisli Categories","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University; University of Waterloo","funders":"","keywords":"Computer science; Merge (version control); Metamodeling; Programming language; Algebraic number; Class (philosophy); Algebraic specification; Theoretical computer science; Formal specification; Information retrieval; Artificial intelligence; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006431921,0.000554149,0.0005708225,0.0004846409,0.0003001983,0.0003202264,0.001385384,0.0002456004,0.00002014109],"category_scores_gemma":[0.00006617859,0.0004787592,0.00007156112,0.0002844095,0.001070322,0.001685754,0.002147081,0.0006274177,0.00002361236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001620957,"about_ca_system_score_gemma":0.0003249111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008443537,"about_ca_topic_score_gemma":0.0001605488,"domain_scores_codex":[0.9968779,0.00002621586,0.00051148,0.001266761,0.0006149529,0.0007027013],"domain_scores_gemma":[0.9977317,0.0002141649,0.0002701456,0.001361037,0.0001888442,0.0002341257],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003485916,0.000009062458,0.00006655013,0.00005815613,0.000007731696,0.0000333391,0.001153121,0.000871731,0.00004587236,0.3896649,0.00001602588,0.6080701],"study_design_scores_gemma":[0.0006889878,0.0004130174,0.00014384,0.001286031,0.00003043687,0.0008702565,0.000003229944,0.3730955,0.002282149,0.3596068,0.2581731,0.003406586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000303728,0.00334643,0.9909792,0.0002977404,0.00201667,0.0002588871,0.00001557517,0.0001749821,0.002880118],"genre_scores_gemma":[0.08483294,0.000589316,0.9116393,0.001004507,0.001095736,0.0000211993,0.00001965278,0.00006453531,0.0007328445],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6046635,"threshold_uncertainty_score":0.9997664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01754748832985187,"score_gpt":0.2420834827510342,"score_spread":0.2245359944211823,"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."}}