{"id":"W4210692990","doi":"10.1016/j.jpaa.2009.12.028","title":"Categorical simulations","year":2010,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa; University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Base (topology); Categorical variable; Fibration; Mathematics; Monad (category theory); Computability; Realizability; Algebra over a field; Functor; Discrete mathematics; Pure mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001457087,0.0005461395,0.0008343661,0.001756277,0.002539046,0.004104385,0.001497119,0.001770096,0.05792247],"category_scores_gemma":[0.01075909,0.0004572272,0.0009821366,0.00141779,0.004285709,0.008908748,0.003973711,0.003050562,0.007957658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001918068,"about_ca_system_score_gemma":0.00144308,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001174393,"about_ca_topic_score_gemma":0.0009932375,"domain_scores_codex":[0.9978181,0.0008853098,0.0001091256,0.0004221054,0.0005560111,0.0002094225],"domain_scores_gemma":[0.9941204,0.002508086,0.0002049145,0.001774617,0.0009877946,0.0004042068],"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.00000537276,0.000005336651,0.00004772103,0.000006690309,0.000001938369,0.000005559118,0.00003647586,0.0002615519,0.00004805185,0.996989,0.001079626,0.001512762],"study_design_scores_gemma":[0.000005779264,0.000002710909,0.00002747177,0.000004905303,0.0000023055,0.00001573096,0.00003732977,0.001728626,0.0001364355,0.9888393,0.009196222,0.000003213015],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.03812552,0.0006774938,0.3542215,0.009772019,0.0007214834,0.0001557073,0.001276405,0.00180542,0.5932445],"genre_scores_gemma":[0.8335911,0.0005797271,0.0440948,0.001343519,0.000501833,0.0003190225,0.001639926,0.0005289168,0.1174012],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05792247,"threshold_uncertainty_score":0.1937699,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01185428573081126,"score_gpt":0.2427637724401532,"score_spread":0.2309094867093419,"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."}}