{"id":"W3145165864","doi":"10.1109/date.2009.5090863","title":"Debugging of Toffoli networks","year":2009,"lang":"en","type":"article","venue":"","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Debugging; Toffoli gate; Computer science; Algorithmic program debugging; Reversible computing; Boolean satisfiability problem; Background debug mode interface; Programming language; Logic gate; Parallel computing; Theoretical computer science; Computer engineering; Algorithm; Quantum; Quantum computer; Quantum gate","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.00143822,0.0004834634,0.0004543798,0.0008149294,0.0005371325,0.0007298722,0.0009736676,0.0007908138,0.002125024],"category_scores_gemma":[0.007160479,0.0002802566,0.0003604228,0.000471601,0.0008623579,0.001711959,0.0005754319,0.0006018038,0.0002559845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001109823,"about_ca_system_score_gemma":0.0006829024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006205163,"about_ca_topic_score_gemma":0.0006653278,"domain_scores_codex":[0.9984695,0.0005559744,0.00007499244,0.0002592622,0.0005266044,0.0001136144],"domain_scores_gemma":[0.9964359,0.002379359,0.0003292516,0.0004778834,0.0003298721,0.00004776831],"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.0005652831,0.000107134,0.00322716,0.0004286669,0.00007929093,0.0004626056,0.0004435283,0.2704788,0.05721965,0.2579004,0.002411581,0.4066761],"study_design_scores_gemma":[0.00005862772,0.0001551994,0.0005917188,0.0000566924,0.00003255623,0.00040543,0.0000760558,0.7597165,0.09231286,0.1381655,0.008393871,0.00003492531],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06304944,0.0004636892,0.9311636,0.0002503456,0.00005224599,0.00005792879,0.0001033362,0.001257743,0.003601656],"genre_scores_gemma":[0.7339023,0.0004348675,0.2628709,0.00009753568,0.00002889579,0.00007086647,0.0001593796,0.0001262971,0.002308958],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002125024,"threshold_uncertainty_score":0.008052349,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00568152527599272,"score_gpt":0.2163432904868925,"score_spread":0.2106617652108998,"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."}}