{"id":"W2033210979","doi":"10.1093/ietfec/e91-a.12.3793","title":"DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction","year":2008,"lang":"en","type":"article","venue":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Quantum; Influence diagram; Electronic circuit; Quantum gate; Theoretical computer science; Quantum computer; Computer engineering; Algorithm; Physics; Quantum mechanics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00258697,0.0006458582,0.000665644,0.000857803,0.0006511497,0.001479376,0.001380301,0.001116147,0.00568678],"category_scores_gemma":[0.007135164,0.000517544,0.001095545,0.0005441355,0.001326912,0.003271323,0.001558108,0.001788539,0.0008462197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001076896,"about_ca_system_score_gemma":0.001755456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008512468,"about_ca_topic_score_gemma":0.0007904462,"domain_scores_codex":[0.9974999,0.0009840697,0.0002050464,0.0003921937,0.0007413463,0.0001775573],"domain_scores_gemma":[0.9970081,0.001753853,0.0002240397,0.0005965248,0.0003461775,0.00007119833],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003854,0.0001053774,0.0003733256,0.0004760452,0.00006310928,0.0002272531,0.0003084459,0.06856458,0.0287269,0.75387,0.003105469,0.1437941],"study_design_scores_gemma":[0.0001422756,0.0002281748,0.0001229797,0.00008964902,0.0000521638,0.0002493064,0.00003203926,0.5042748,0.03462911,0.4398669,0.02024759,0.00006492781],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003017323,0.0000686588,0.9952095,0.000117803,0.00002734321,0.00006690676,0.00008584176,0.0005037462,0.000902746],"genre_scores_gemma":[0.2681828,0.0002866992,0.7283617,0.0002230115,0.00007726692,0.0005154965,0.0003689816,0.0001495564,0.001834495],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00568678,"threshold_uncertainty_score":0.01902419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06111529080233419,"score_gpt":0.3198370838812472,"score_spread":0.258721793078913,"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."}}