{"id":"W2147198170","doi":"10.5555/1874620.1874931","title":"Debugging of Toffoli networks","year":2009,"lang":"en","type":"article","venue":"","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Toffoli gate; Debugging; Algorithmic program debugging; Computer science; Reversible computing; Boolean satisfiability problem; Background debug mode interface; Programming language; Logic gate; Parallel computing; Algorithm; Computer engineering; Theoretical computer science; Quantum computer; Quantum; 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.001150762,0.000383519,0.0003220052,0.0006447745,0.0005122064,0.0006814077,0.0008325625,0.0007281,0.002226662],"category_scores_gemma":[0.005609467,0.0002348929,0.0002918413,0.0003644657,0.0007521255,0.001224762,0.0004919812,0.0005583141,0.0002387594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001037149,"about_ca_system_score_gemma":0.0005765694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008032787,"about_ca_topic_score_gemma":0.00072273,"domain_scores_codex":[0.9989542,0.0004264987,0.00005439761,0.0001667501,0.0003023521,0.00009582032],"domain_scores_gemma":[0.9968759,0.001939283,0.0002904513,0.0004663201,0.0003742627,0.00005389483],"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.0007669099,0.0001687217,0.004441665,0.0002671354,0.00007537427,0.0006304937,0.0004129817,0.3952621,0.05858075,0.2135775,0.003301477,0.3225148],"study_design_scores_gemma":[0.00003877482,0.00008640096,0.000333858,0.00003071512,0.00001804871,0.0002440922,0.00004269296,0.8562262,0.067748,0.07136554,0.003845828,0.00001992729],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1149487,0.0002219243,0.8783864,0.000290259,0.00005446175,0.00005702478,0.0001124251,0.001598385,0.004330367],"genre_scores_gemma":[0.8282575,0.00010634,0.1696964,0.00006334959,0.00001640407,0.00003954914,0.0001047486,0.00008442397,0.001631233],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002226662,"threshold_uncertainty_score":0.007525086,"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."}}