{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006458875,0.0003191405,0.0003015337,0.0002125246,0.0002767926,0.000228704,0.001783453,0.00014098,0.00002047788],"category_scores_gemma":[0.0008025239,0.0002659936,0.0003107024,0.0002768038,0.00005065911,0.000205994,0.0003091937,0.0002609672,0.0001026229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002415642,"about_ca_system_score_gemma":0.00007603593,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001062439,"about_ca_topic_score_gemma":0.000007453091,"domain_scores_codex":[0.9975915,0.0001251088,0.0003941935,0.0008594266,0.0005618721,0.0004679128],"domain_scores_gemma":[0.9974673,0.001422781,0.0002123975,0.000534052,0.0002230725,0.0001404113],"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.0001541475,0.0005867381,0.0001318456,0.00003609111,0.0001904308,0.00006971883,0.0006642322,0.5179497,0.01313567,0.4406232,0.0007669447,0.02569126],"study_design_scores_gemma":[0.00182253,0.0004124476,0.0003703384,0.0001301362,0.00002086755,0.00009650357,0.00002336135,0.8983803,0.01405975,0.07600754,0.008170823,0.0005054162],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005529284,0.00003371938,0.9680874,0.02183954,0.001765925,0.0004466352,0.00004157392,0.0003903966,0.0018655],"genre_scores_gemma":[0.3279911,0.00001046073,0.667704,0.003488629,0.0004213796,0.0001114479,0.0000135366,0.00002378076,0.0002355876],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3804306,"threshold_uncertainty_score":0.9999792,"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."}}