{"id":"W2107544401","doi":"","title":"A Synthesis Method for MVL Reversible Logic","year":2004,"lang":"en","type":"article","venue":"International Symposium on Multiple-Valued Logic","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":53,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick; University of Victoria","funders":"","keywords":"Toffoli gate; Variable (mathematics); Algorithm; Computer science; Logic gate; Extension (predicate logic); Logic synthesis; Simple (philosophy); Function (biology); Heuristic; Cascade; 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.0003276752,0.0003902532,0.0003096882,0.0008037653,0.0005604746,0.000640751,0.0006166509,0.0004635305,0.009053587],"category_scores_gemma":[0.0006916829,0.0003521061,0.0004791323,0.0004343729,0.0005812786,0.0006943948,0.0006274978,0.000681882,0.002413491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005762634,"about_ca_system_score_gemma":0.0005892672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003898451,"about_ca_topic_score_gemma":0.0007372599,"domain_scores_codex":[0.9997541,0.00003957142,0.00001989101,0.00004324093,0.000125847,0.00001732828],"domain_scores_gemma":[0.9998263,0.00006444118,0.00001433791,0.00003953625,0.00004702834,0.000008476205],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006020123,0.00003381263,0.0001261852,0.0005003556,0.00002112827,0.0001946448,0.000227002,0.03044272,0.0798872,0.3099416,0.004208411,0.5743567],"study_design_scores_gemma":[0.00009950142,0.0001858752,0.0001980255,0.0002124822,0.00004418222,0.001000124,0.00008246472,0.4296225,0.1157813,0.2393814,0.213307,0.00008507521],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001940098,0.0002016032,0.98958,0.00009635407,0.00005683134,0.00006558638,0.0000660331,0.0006927939,0.007300619],"genre_scores_gemma":[0.07493559,0.0002971981,0.9143673,0.0000924193,0.00005167958,0.0002114045,0.0001402128,0.0002359096,0.009668309],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009053587,"threshold_uncertainty_score":0.03028727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0247976298732796,"score_gpt":0.2984721228471878,"score_spread":0.2736744929739082,"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."}}