{"id":"W2063830984","doi":"10.1007/s10836-013-5399-3","title":"Online Testable Approaches in Reversible Logic","year":2013,"lang":"en","type":"article","venue":"Journal of Electronic Testing","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Correctness; Computer science; Overhead (engineering); Mathematical proof; Logic synthesis; Electronic circuit; Logic gate; Computer engineering; Theoretical computer science; Reliability engineering; Computer architecture; Algorithm; Programming language; Engineering; Mathematics","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.002678459,0.0007936595,0.001178114,0.001351413,0.001304294,0.003211668,0.003597067,0.002162,0.01646569],"category_scores_gemma":[0.01319852,0.0006217062,0.001283034,0.001111712,0.004254785,0.008975168,0.004030175,0.00469291,0.001014677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002158932,"about_ca_system_score_gemma":0.001265844,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009102928,"about_ca_topic_score_gemma":0.001374672,"domain_scores_codex":[0.9971707,0.001142927,0.0001117741,0.0004030186,0.00086129,0.0003102644],"domain_scores_gemma":[0.9874116,0.008903809,0.000345195,0.002396704,0.000653871,0.0002888052],"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.00009195138,0.00008657892,0.0001140208,0.00006478502,0.00001604431,0.0000581929,0.00007805331,0.01320978,0.000683794,0.9625742,0.001230284,0.02179219],"study_design_scores_gemma":[0.00002051156,0.00001902408,0.00002554958,0.00001318707,0.000007549682,0.00002065935,0.00001657703,0.06550299,0.000604689,0.9327298,0.001032674,0.000006838924],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05791599,0.001393338,0.8657963,0.003990701,0.0003789223,0.0001556774,0.0002260813,0.0008657623,0.06927722],"genre_scores_gemma":[0.8593338,0.0008200159,0.119182,0.0005326141,0.000348992,0.0001956152,0.0002003704,0.0002845365,0.01910195],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01646569,"threshold_uncertainty_score":0.05508322,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04412219195362316,"score_gpt":0.2402329248586559,"score_spread":0.1961107329050327,"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."}}