{"id":"W2058983175","doi":"10.1098/rspa.2014.0716","title":"Topos logic in measurement-based quantum computation","year":2015,"lang":"en","type":"article","venue":"Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Topos theory; Quantum logic; Quantum; Quantum computer; Computation; Class (philosophy); Universality (dynamical systems); Quantum operation","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001771853,0.0003793055,0.0005904416,0.0007164761,0.001218847,0.003230055,0.001182256,0.0008575786,0.00319467],"category_scores_gemma":[0.003370482,0.0003331447,0.0008524184,0.0008262537,0.006431621,0.004476324,0.002185627,0.002631521,0.0003523148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001850718,"about_ca_system_score_gemma":0.001079177,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001471132,"about_ca_topic_score_gemma":0.001014176,"domain_scores_codex":[0.9982933,0.0005650228,0.00008685538,0.0002833029,0.0005055161,0.0002659306],"domain_scores_gemma":[0.9983178,0.0008995709,0.0001269638,0.0003454446,0.0001671062,0.0001431405],"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.00001317654,0.00000454359,0.00004400329,0.00002298055,0.000003049203,0.00003311728,0.00005978594,0.001012774,0.0006244596,0.9967638,0.0001068806,0.001311341],"study_design_scores_gemma":[0.000007293839,0.00001548555,0.00006063242,0.00001002122,0.000006071317,0.00002344543,0.00002629043,0.01150122,0.0008709983,0.9861477,0.001321729,0.00000923757],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1674329,0.002653596,0.7281607,0.00475096,0.00071777,0.0001162624,0.0003278078,0.0007350733,0.09510492],"genre_scores_gemma":[0.9490363,0.0006006043,0.04679002,0.0003536695,0.0002954101,0.00006459901,0.0000617625,0.0000639705,0.002733706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003230055,"threshold_uncertainty_score":0.01342803,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03183340619439744,"score_gpt":0.2475255692817813,"score_spread":0.2156921630873839,"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."}}