{"id":"https://openalex.org/W3000358156","doi":null,"title":"Technology-dependent Quantum Logic Synthesis and Compilation","display_name":"Technology-dependent Quantum Logic Synthesis and Compilation","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W3000358156","mag":"3000358156"},"language":"en","primary_location":{"id":"pmh:oai:scholar.smu.edu:engineering_electrical_etds-1037","doi":null,"is_oa":true,"landing_page_url":"https://scholar.smu.edu/engineering_electrical_etds/30","pdf_url":null,"source":{"id":"https://openalex.org/S4377196617","display_name":"SMU Scholar (Southern Methodist University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I178169726","host_organization_name":"Southern Methodist University","host_organization_lineage":["https://openalex.org/I178169726"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering Theses and Dissertations","raw_type":"text"},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://scholar.smu.edu/engineering_electrical_etds/30","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008010752","display_name":"Kaitlin N. Smith","orcid":"https://orcid.org/0000-0002-1169-3696","observed_orcids":["https://orcid.org/0000-0002-1169-3696"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kaitlin N. Smith","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1169-3696","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5008010752"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.114,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53502868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-compilation","display_name":"quantum circuit compilation","score":0.7960000038146973},{"id":"https://openalex.org/keywords/quantum-gate-optimization","display_name":"quantum gate optimization","score":0.41999998688697815},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.828000009059906}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5069539546966553},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.4325593411922455},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3223205804824829},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.2067616879940033},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1743258237838745},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.12542542815208435}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:scholar.smu.edu:engineering_electrical_etds-1037","doi":null,"is_oa":true,"landing_page_url":"https://scholar.smu.edu/engineering_electrical_etds/30","pdf_url":null,"source":{"id":"https://openalex.org/S4377196617","display_name":"SMU Scholar (Southern Methodist University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I178169726","host_organization_name":"Southern Methodist University","host_organization_lineage":["https://openalex.org/I178169726"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering Theses and Dissertations","raw_type":"text"},{"id":"mag:3000358156","doi":null,"is_oa":false,"landing_page_url":"https://scholar.smu.edu/cgi/viewcontent.cgi?article=1037&context=engineering_electrical_etds","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:scholar.smu.edu:engineering_electrical_etds-1037","doi":null,"is_oa":true,"landing_page_url":"https://scholar.smu.edu/engineering_electrical_etds/30","pdf_url":null,"source":{"id":"https://openalex.org/S4377196617","display_name":"SMU Scholar (Southern Methodist University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I178169726","host_organization_name":"Southern Methodist University","host_organization_lineage":["https://openalex.org/I178169726"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering Theses and Dissertations","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W201268046","https://openalex.org/W654533096","https://openalex.org/W1514675880","https://openalex.org/W1555543057","https://openalex.org/W1560362294","https://openalex.org/W1963734567","https://openalex.org/W1978553093","https://openalex.org/W1982390307","https://openalex.org/W1986407511","https://openalex.org/W2001173726","https://openalex.org/W2015179126","https://openalex.org/W2036595722","https://openalex.org/W2051051926","https://openalex.org/W2051089207","https://openalex.org/W2059704256","https://openalex.org/W2066442888","https://openalex.org/W2066500891","https://openalex.org/W2066766456","https://openalex.org/W2068155169","https://openalex.org/W2092458348","https://openalex.org/W2099531489","https://openalex.org/W2101873648","https://openalex.org/W2102008187","https://openalex.org/W2105259569","https://openalex.org/W2121695129","https://openalex.org/W2133791277","https://openalex.org/W2148132004","https://openalex.org/W2156872788","https://openalex.org/W2158605123","https://openalex.org/W2159045337","https://openalex.org/W2168676717","https://openalex.org/W2179731956","https://openalex.org/W2212643107","https://openalex.org/W2479443372","https://openalex.org/W2485795307","https://openalex.org/W2563157399","https://openalex.org/W2610484660","https://openalex.org/W2618981148","https://openalex.org/W2625737531","https://openalex.org/W2729982732","https://openalex.org/W2739533559","https://openalex.org/W2752853835","https://openalex.org/W2755920271","https://openalex.org/W2781738013","https://openalex.org/W2809970825","https://openalex.org/W2883861207","https://openalex.org/W2884745191","https://openalex.org/W2885184048","https://openalex.org/W2946525545","https://openalex.org/W2950018366","https://openalex.org/W2955520893","https://openalex.org/W2981088582","https://openalex.org/W2989723225","https://openalex.org/W3004562176"],"related_works":["https://openalex.org/W2950116903","https://openalex.org/W2106850456","https://openalex.org/W4405260852","https://openalex.org/W7134914542","https://openalex.org/W4386501191","https://openalex.org/W7155588739","https://openalex.org/W4285711269","https://openalex.org/W4400343043","https://openalex.org/W2339327743","https://openalex.org/W7197723775"],"abstract_inverted_index":{"The":[0,130],"models":[1],"and":[2,7,20,152,160,172,175],"rules":[3],"of":[4,27,34,48,52,65,76,96,110,133,139,145,162,177,211,215,221,231,237,243],"quantum":[5,8,28,53,71,89,101,140,170,247],"computation":[6],"information":[9],"processing":[10,29],"(QIP)":[11],"differ":[12],"greatly":[13],"from":[14],"those":[15,75],"that":[16,68,93,118],"govern":[17],"classical":[18],"computation,":[19,222],"these":[21],"differences":[22],"have":[23,39],"caused":[24],"the":[25,46,62,66,77,137,143,173,219,234,241],"implementation":[26],"devices":[30],"with":[31,104,156,167],"a":[32,83,100,147,193,199,206,229],"variety":[33],"new":[35],"technologies.":[36],"Many":[37],"platforms":[38],"been":[40],"developed":[41],"in":[42,183,192,205],"parallel,":[43],"but":[44],"at":[45],"time":[47],"writing,":[49],"one":[50],"method":[51],"computing":[54,141],"has":[55],"not":[56],"shown":[57],"to":[58,61,85,116,125,136,197],"be":[59,82,113,165,181,190,198],"superior":[60],"rest.":[63],"Because":[64],"variation":[67],"exists":[69],"between":[70,74],"platforms,":[72],"even":[73],"same":[78],"technology,":[79,209],"there":[80],"must":[81,112],"way":[84],"automatically":[86],"synthesize":[87],"technology-independent":[88,128],"designs":[90],"into":[91],"forms":[92],"are":[94,122,213],"capable":[95,214],"physical":[97],"realization":[98,208],"on":[99],"computer":[102],"(QC)":[103],"specific":[105,207],"operating":[106],"parameters.":[107],"Additionally,":[108],"results":[109],"synthesis":[111,200],"formally":[114],"verified":[115],"confirm":[117],"output":[119],"technology-dependent":[120],"specifications":[121],"logically":[123],"identical":[124],"their":[126],"original,":[127],"forms.":[129],"first":[131],"contribution":[132,236],"this":[134,178,184,187,232,238],"work":[135,239],"field":[138],"is":[142,224,240],"creation":[144],"such":[146],"methodology.":[148],"Quantum":[149],"technology":[150],"mapping":[151],"optimization":[153],"for":[154,202,245],"machines":[155],"fixed":[157],"coupling":[158],"maps":[159],"libraries":[161],"gates":[163],"can":[164,189],"performed":[166],"an":[168],"automatic":[169],"compiler,":[171],"development":[174],"test":[176],"compiler":[179,188],"will":[180],"explored":[182],"dissertation.":[185],"Furthermore,":[186],"considered":[191],"more":[194],"general":[195],"context":[196],"tool":[201],"QIP":[203],"circuits":[204],"many":[210],"which":[212],"implementing":[216],"systems":[217],"where":[218],"radix":[220],"r,":[223],"greater":[225],"than":[226],"two.":[227],"As":[228],"result":[230],"ability,":[233],"second":[235],"presentation":[242],"architectures":[244],"higher-dimensional":[246],"entanglement.":[248]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2020-01-23T00:00:00"}