{"id":"W2122271558","doi":"10.4086/toc.2010.v006a001","title":"","year":2010,"lang":"en","type":"article","venue":"Theory of Computing","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Army Research Office; European Social Fund; Latvijas Universitate; State Education Development Agency Republic of Latvia; Mitacs; University of Waterloo; Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Extension (predicate logic); Mathematics; Product (mathematics); Adversary; Quantum; Discrete mathematics; Computer science; Quantum mechanics","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.00361185,0.0003131876,0.0004722897,0.0002626815,0.0004542756,0.0001495768,0.003145332,0.0001103069,0.000003570269],"category_scores_gemma":[0.0003286909,0.0002777976,0.0002136804,0.0007502226,0.0003126393,0.0003283146,0.001321309,0.0008975555,0.000002728866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006746125,"about_ca_system_score_gemma":0.00008644105,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001518074,"about_ca_topic_score_gemma":0.000003564715,"domain_scores_codex":[0.9971376,0.0003383186,0.0006904103,0.0006608444,0.0004788673,0.0006939791],"domain_scores_gemma":[0.9960885,0.001664723,0.0004555213,0.001385122,0.0001994913,0.0002066559],"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.00001203823,0.00009092058,0.0009805249,0.00002317284,0.00002372435,0.00001288756,0.006215272,0.01120774,0.05727816,0.5917723,0.000003214554,0.3323801],"study_design_scores_gemma":[0.0005455764,0.0001518784,0.02055489,0.00005597787,0.000006118547,0.0001834793,0.00008016779,0.7296237,0.03361008,0.2147958,0.00004911154,0.0003432177],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5139982,0.00001927194,0.4844962,0.0002623118,0.0006515784,0.00008294234,4.083239e-7,0.000332226,0.0001568015],"genre_scores_gemma":[0.7255169,3.91011e-7,0.2740263,0.0002082956,0.0002275099,7.361725e-7,4.836789e-7,0.00001372105,0.000005675707],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7184159,"threshold_uncertainty_score":0.9999674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007055393626629365,"score_gpt":0.2291734788798008,"score_spread":0.2221180852531715,"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."}}