{"id":"W2000480185","doi":"10.1016/j.tcs.2007.06.004","title":"Fibrations and universal view updatability","year":2007,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"Mount Allison University","funders":"","keywords":"Computer science; Mathematics; Theoretical computer science; Programming language; Algebra over a field; Pure 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":[],"consensus_categories":[],"category_scores_codex":[0.00177098,0.0001123617,0.0001315987,0.00009732155,0.0004362813,0.0001418412,0.000735036,0.00002536943,0.00001786544],"category_scores_gemma":[0.00006855031,0.00009039689,0.00002202995,0.0007524156,0.002513742,0.001532154,0.001042797,0.000105634,0.00002120545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003529142,"about_ca_system_score_gemma":0.00007891795,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005312727,"about_ca_topic_score_gemma":0.000004116313,"domain_scores_codex":[0.9984754,0.00004480142,0.0002040342,0.000544722,0.0003445101,0.0003864712],"domain_scores_gemma":[0.9986379,0.0002327746,0.00004051033,0.000721431,0.0001108518,0.0002566054],"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.000002124239,0.00001332887,0.00005363828,0.000005416175,8.710244e-7,0.000007267213,0.000205056,0.000006388707,0.0002527378,0.9604831,0.00001279071,0.03895723],"study_design_scores_gemma":[0.0008996634,0.0006603415,0.02157512,0.0001450015,0.00001331593,0.0004231458,0.00018936,0.4800769,0.01495328,0.4413871,0.03836034,0.001316426],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01406333,0.00003660015,0.9825074,0.0005338512,0.0002846397,0.0001102962,0.000004266305,0.0001398497,0.002319781],"genre_scores_gemma":[0.6075927,0.000003915701,0.3921606,0.0001888314,0.00004603123,7.106563e-7,8.987278e-7,0.000002075684,0.000004299429],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5935293,"threshold_uncertainty_score":0.9261988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007948658562605852,"score_gpt":0.2533700398334985,"score_spread":0.2454213812708927,"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."}}