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

Electronic Proceedings in Theoretical Computer Science最新文献

筛选
英文 中文
A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting 一种具有动态提升功能的原型枪具的富biset分类模型
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.16
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
{"title":"A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting","authors":"Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger","doi":"10.4204/eptcs.394.16","DOIUrl":"https://doi.org/10.4204/eptcs.394.16","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":"136229655","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
CHERI Concentrate in ACL2 在ACL2中浓缩CHERI
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.2
Carl Kwan, Yutong Xin, William D. Young
{"title":"CHERI Concentrate in ACL2","authors":"Carl Kwan, Yutong Xin, William D. Young","doi":"10.4204/eptcs.393.2","DOIUrl":"https://doi.org/10.4204/eptcs.393.2","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":"136229657","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
Verification of GossipSub in ACL2s ACL2s中流言子的验证
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.10
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
{"title":"Verification of GossipSub in ACL2s","authors":"Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru","doi":"10.4204/eptcs.393.10","DOIUrl":"https://doi.org/10.4204/eptcs.393.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":"136229661","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
How to Sum and Exponentiate Hamiltonians in ZXW Calculus 如何在ZXW微积分中对哈密顿量求和和取指数
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.14
Razin A. Shaikh, Quanlong Wang, Richie Yeung
{"title":"How to Sum and Exponentiate Hamiltonians in ZXW Calculus","authors":"Razin A. Shaikh, Quanlong Wang, Richie Yeung","doi":"10.4204/eptcs.394.14","DOIUrl":"https://doi.org/10.4204/eptcs.394.14","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":"136229664","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}
引用次数: 14
Identification of Causal Influences in Quantum Processes 量子过程中因果影响的识别
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.7
Isaac Friend, Aleks Kissinger
{"title":"Identification of Causal Influences in Quantum Processes","authors":"Isaac Friend, Aleks Kissinger","doi":"10.4204/eptcs.394.7","DOIUrl":"https://doi.org/10.4204/eptcs.394.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":"136229667","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 Fifth International Workshop on Formal Methods for Autonomous Systems 第五届自主系统形式化方法国际研讨会论文集
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/EPTCS.395
M. Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
{"title":"Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems","authors":"M. Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger","doi":"10.4204/EPTCS.395","DOIUrl":"https://doi.org/10.4204/EPTCS.395","url":null,"abstract":"This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International Conference on integrated Formal Methods (iFM) (iFM'22), organised by Leiden Institute of Advanced Computer Science of Leiden University. The workshop itself was held at Scheltema Leiden, a renovated 19th Century blanket factory alongside the canal. FMAS 2023 received 25 submissions. We received 11 regular papers, 3 experience reports, 6 research previews, and 5 vision papers. The researchers who submitted papers to FMAS 2023 were from institutions in: Australia, Canada, Colombia, France, Germany, Ireland, Italy, the Netherlands, Sweden, the United Kingdom, and the United States of America. Increasing our number of submissions for the third year in a row is an encouraging sign that FMAS has established itself as a reputable publication venue for research on the formal modelling and verification of autonomous systems. After each paper was reviewed by three members of our Programme Committee we accepted a total of 15 papers: 8 long papers and 7 short papers.","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":"139271017","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
Proving Calculational Proofs Correct 证明计算证明正确
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.11
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios
{"title":"Proving Calculational Proofs Correct","authors":"Andrew T. Walter, Ankit Kumar, Panagiotis Manolios","doi":"10.4204/eptcs.393.11","DOIUrl":"https://doi.org/10.4204/eptcs.393.11","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":"136229652","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 19th International Conference on Quantum Physics and Logic 第19届量子物理与逻辑国际会议论文集
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.394.0
Stefano Gogioso, Matty Hoban
{"title":"Proceedings 19th International Conference on Quantum Physics and Logic","authors":"Stefano Gogioso, Matty Hoban","doi":"10.4204/eptcs.394.0","DOIUrl":"https://doi.org/10.4204/eptcs.394.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":"136229666","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
A Formalization of Finite Group Theory: Part II 有限群论的形式化:第二部分
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.4
David M. Russinoff
{"title":"A Formalization of Finite Group Theory: Part II","authors":"David M. Russinoff","doi":"10.4204/eptcs.393.4","DOIUrl":"https://doi.org/10.4204/eptcs.393.4","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":"136229650","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
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses 用反例生成和理论探索提出缺失假设
Electronic Proceedings in Theoretical Computer Science Pub Date : 2023-11-15 DOI: 10.4204/eptcs.393.8
Ruben Gamboa, Panagiotis Manolios, Eric Smith, Kyle Thompson
{"title":"Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses","authors":"Ruben Gamboa, Panagiotis Manolios, Eric Smith, Kyle Thompson","doi":"10.4204/eptcs.393.8","DOIUrl":"https://doi.org/10.4204/eptcs.393.8","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":"136229653","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学术官方微信