{"id":"W1994265724","doi":"10.1016/j.vlsi.2010.08.002","title":"Debugging reversible circuits","year":2010,"lang":"en","type":"article","venue":"Integration","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of New Brunswick","funders":"Deutsche Forschungsgemeinschaft","keywords":"Debugging; Toffoli gate; Computer science; Reversible computing; Boolean satisfiability problem; Computer engineering; Logic gate; CMOS; Algorithmic program debugging; Computation; Electronic circuit; Algorithm; Electronic engineering; Quantum computer; Programming language; Engineering; Quantum; Electrical engineering; 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.001150615,0.0008466726,0.0006455816,0.000799223,0.000901616,0.001410039,0.001859508,0.001348879,0.01250342],"category_scores_gemma":[0.009232576,0.0006250279,0.000439688,0.0008566786,0.001406607,0.004900822,0.001528129,0.001792673,0.001108827],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001261847,"about_ca_system_score_gemma":0.0008858374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009969648,"about_ca_topic_score_gemma":0.00168244,"domain_scores_codex":[0.9982833,0.0005714288,0.00005569369,0.0003517457,0.0005852415,0.0001526205],"domain_scores_gemma":[0.9961947,0.002047911,0.00017391,0.001043472,0.0004423756,0.00009767484],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006219073,0.0002873268,0.004171452,0.000478447,0.0001183773,0.0004776979,0.0006854992,0.06077866,0.0555146,0.5025881,0.01428268,0.3599953],"study_design_scores_gemma":[0.000128201,0.0003004838,0.001352854,0.000129492,0.0001531346,0.0004531879,0.0002764534,0.3948377,0.1904807,0.3736234,0.03817898,0.00008545729],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2180702,0.001196884,0.7195799,0.002044278,0.0004828619,0.0001487713,0.0004459334,0.0140815,0.04394963],"genre_scores_gemma":[0.8798597,0.0003047572,0.1095599,0.0002462826,0.0000540862,0.00004739922,0.0003075971,0.00110421,0.008515981],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01250342,"threshold_uncertainty_score":0.0418281,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008933203390488462,"score_gpt":0.2314680659752308,"score_spread":0.2225348625847423,"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."}}