发布求助
文献互助 智能选刊 最新文献

Electronic Proceedings in Theoretical Computer Science最新文献

筛选
英文 中文
Quantum Linear Optics via String Diagrams 通过弦图的量子线性光学
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.6
Giovanni de Felice, Bob Coecke
{"title":"Quantum Linear Optics via String Diagrams","authors":"Giovanni de Felice, Bob Coecke","doi":"10.4204/eptcs.394.6","DOIUrl":"https://doi.org/10.4204/eptcs.394.6","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation 基于CNOT电路合成的量子编译动态量子比特路由
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.18
Arianne Meijer-van de Griend, Sarah Meng Li
{"title":"Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation","authors":"Arianne Meijer-van de Griend, Sarah Meng Li","doi":"10.4204/eptcs.394.18","DOIUrl":"https://doi.org/10.4204/eptcs.394.18","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Q# as a Quantum Algorithmic Language q#作为量子算法语言
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.10
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
{"title":"Q# as a Quantum Algorithmic Language","authors":"Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand","doi":"10.4204/eptcs.394.10","DOIUrl":"https://doi.org/10.4204/eptcs.394.10","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Formal Verification of Zero-Knowledge Circuits 零知识电路的形式化验证
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.9
Alessandro Coglio, Eric McCarthy, Eric W. Smith
{"title":"Formal Verification of Zero-Knowledge Circuits","authors":"Alessandro Coglio, Eric McCarthy, Eric W. Smith","doi":"10.4204/eptcs.393.9","DOIUrl":"https://doi.org/10.4204/eptcs.393.9","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Symbolic Synthesis of Clifford Circuits and Beyond 克利福德电路的符号合成及以后
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.17
Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross
{"title":"Symbolic Synthesis of Clifford Circuits and Beyond","authors":"Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross","doi":"10.4204/eptcs.394.17","DOIUrl":"https://doi.org/10.4204/eptcs.394.17","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229676","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps 有限维量子观测是CP映射的特殊对称Dagger-Frobenius代数
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.21
Stefano Gogioso
{"title":"Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps","authors":"Stefano Gogioso","doi":"10.4204/eptcs.394.21","DOIUrl":"https://doi.org/10.4204/eptcs.394.21","url":null,"abstract":"We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric $dagger$-Frobenius algebras in $operatorname{CPM}left(operatorname{fHilb}right)$ -- and, in particular, all classical structures -- are canonical, i.e. that they arise by doubling of special symmetric $dagger$-Frobenius algebras in $operatorname{fHilb}$. This provides an exact classification of finite-dimensional quantum observables.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136227559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Causal Structure of Semantic Ambiguities 语义歧义的因果结构
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.12
Daphne Wang, Mehrnoosh Sadrzadeh
{"title":"The Causal Structure of Semantic Ambiguities","authors":"Daphne Wang, Mehrnoosh Sadrzadeh","doi":"10.4204/eptcs.394.12","DOIUrl":"https://doi.org/10.4204/eptcs.394.12","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory 基于量子集合理论的上下文隐变量理论的逻辑表征
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.1
Masanao Ozawa
{"title":"Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory","authors":"Masanao Ozawa","doi":"10.4204/eptcs.394.1","DOIUrl":"https://doi.org/10.4204/eptcs.394.1","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Advances in ACL2 Proof Debugging Tools ACL2验证调试工具的进展
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.7
Matt Kaufmann, J Strother Moore
{"title":"Advances in ACL2 Proof Debugging Tools","authors":"Matt Kaufmann, J Strother Moore","doi":"10.4204/eptcs.393.7","DOIUrl":"https://doi.org/10.4204/eptcs.393.7","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications 第18届ACL2定理证明及其应用国际研讨会论文集
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.0
Alessandro Coglio, Sol Swords
{"title":"Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications","authors":"Alessandro Coglio, Sol Swords","doi":"10.4204/eptcs.393.0","DOIUrl":"https://doi.org/10.4204/eptcs.393.0","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信