{"id":"W1999626800","doi":"10.1017/s0960129504004256","title":"Towards a quantum programming language","year":2004,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":496,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Programming language; First-generation programming language; Denotational semantics; Semantics (computer science); Operational semantics; Theoretical computer science; Syntax; Programming paradigm; Artificial intelligence","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.0007585157,0.0002531075,0.0002842305,0.0003101926,0.0002616221,0.0006750267,0.002736531,0.00005431841,0.000007754978],"category_scores_gemma":[0.0001132343,0.000190009,0.00008162642,0.001618789,0.0004591251,0.000418645,0.001204558,0.0003351048,0.00002257941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001248945,"about_ca_system_score_gemma":0.000235742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003623028,"about_ca_topic_score_gemma":0.000003846274,"domain_scores_codex":[0.9971696,0.00003862193,0.0003859259,0.0007930006,0.000832325,0.0007804855],"domain_scores_gemma":[0.9987138,0.00008331693,0.00008921819,0.0008310096,0.00006198081,0.0002207075],"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.000001337013,0.00007414447,0.00002748369,0.00003139837,0.000002489545,0.0001296098,0.003769723,0.01571942,0.0002452208,0.4870425,0.000004559976,0.4929521],"study_design_scores_gemma":[0.0002839727,0.00006071707,0.001512459,0.00006871323,0.000001098619,0.0002217024,0.00001482699,0.5976896,0.0009587368,0.3989277,0.00004292683,0.0002175656],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1883365,0.0000598447,0.8098143,0.0007526194,0.0004344117,0.0001850459,5.241505e-7,0.0002644022,0.0001523829],"genre_scores_gemma":[0.5279873,4.155686e-7,0.4717069,0.0002099261,0.00008304321,0.000005049809,2.08366e-7,0.000006057556,0.000001108211],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5819702,"threshold_uncertainty_score":0.7748342,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01011974981243016,"score_gpt":0.2693401354551416,"score_spread":0.2592203856427114,"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."}}