{"id":"W1959691716","doi":"10.1016/j.jcss.2008.12.001","title":"An application of quantum finite automata to interactive proof systems","year":2008,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"Trent University","funders":"","keywords":"Computer science; Theoretical computer science; Quantum finite automata; Quantum; Automaton; Automata theory; Quantum mechanics; Physics","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.001126403,0.0001261799,0.000363841,0.0003415043,0.0002358115,0.000177248,0.001115048,0.00003380922,1.186488e-7],"category_scores_gemma":[0.00001201655,0.00008593767,0.00006326209,0.0005448707,0.0001078245,0.000572497,0.0001534429,0.0001175559,0.000001418714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002225126,"about_ca_system_score_gemma":0.0001192549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003111953,"about_ca_topic_score_gemma":4.636922e-7,"domain_scores_codex":[0.9982185,0.000177246,0.0006051977,0.0002714928,0.0005445349,0.0001830805],"domain_scores_gemma":[0.9984898,0.0002063213,0.000583514,0.0002656229,0.0002864085,0.0001683372],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006246399,0.0004667057,0.005899976,0.0004793989,0.0001045193,0.0001602517,0.02023796,0.7324975,0.001657108,0.06737204,0.0006135612,0.1704485],"study_design_scores_gemma":[0.0001751201,0.001193634,0.004030368,0.0002510365,0.000003688017,0.001438228,0.0001501665,0.9921768,0.000183155,0.0001242687,0.0001700677,0.0001035119],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3018521,0.0001323654,0.6970744,0.0001247379,0.0006281124,0.0001154139,0.000001136525,0.00002565367,0.00004609896],"genre_scores_gemma":[0.9356843,0.000003567364,0.06401634,0.00003484211,0.0002528878,0.000001941109,1.25099e-7,0.000003466894,0.000002498876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6338323,"threshold_uncertainty_score":0.3504436,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01475769087030381,"score_gpt":0.2637877944435912,"score_spread":0.2490301035732874,"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."}}