{"id":"W1501182936","doi":"10.1145/2786982","title":"Embedding of Large Boolean Functions for Reversible Logic","year":2015,"lang":"en","type":"article","venue":"ACM Journal on Emerging Technologies in Computing Systems","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":56,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Embedding; Boolean function; Binary decision diagram; Heuristic; Overhead (engineering); Function (biology); Binary number; Computer science; Boolean algebra; Theoretical computer science; Mathematics; Algorithm; Mathematical optimization; Arithmetic; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.002560459,0.0002356863,0.0004583961,0.000800689,0.0003408198,0.0001605294,0.002478211,0.0001655651,3.085368e-7],"category_scores_gemma":[0.001966812,0.00019942,0.000146256,0.0009439446,0.00005905817,0.0001761149,0.001037109,0.0007150727,0.000004271986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001855269,"about_ca_system_score_gemma":0.0001032931,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001013538,"about_ca_topic_score_gemma":8.757567e-7,"domain_scores_codex":[0.997678,0.0001180613,0.0007440965,0.0004198146,0.0004180416,0.0006219175],"domain_scores_gemma":[0.9976076,0.0005147685,0.0006092568,0.0009346236,0.0002591657,0.00007460844],"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.00002096872,0.0001979336,0.00223702,0.0001351157,0.00007634419,0.00006400617,0.001332482,0.8876864,0.0001703665,0.03637155,0.01245348,0.05925438],"study_design_scores_gemma":[0.0009026012,0.0005115013,0.00004364438,0.0007757355,0.000006783514,0.0002709281,0.002456066,0.9699748,0.0001814681,0.01562742,0.008991101,0.0002580241],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1271608,0.001109086,0.8637813,0.003333753,0.0035021,0.0002635282,0.000004325299,0.0007230429,0.0001220368],"genre_scores_gemma":[0.853834,0.00001414919,0.145861,0.00005546803,0.0001735368,0.000004425418,0.000001103539,0.00001691484,0.00003948711],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7266732,"threshold_uncertainty_score":0.813211,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03783683448729422,"score_gpt":0.3151863112330976,"score_spread":0.2773494767458035,"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."}}