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

Electronic Proceedings in Theoretical Computer Science最新文献

筛选
英文 中文
Quantum Algorithms for Compositional Text Processing 用于合成文本处理的量子算法
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-08-10 DOI: 10.4204/eptcs.406.8
Tuomas Laakkonen, K. Meichanetzidis, Bob Coecke
{"title":"Quantum Algorithms for Compositional Text Processing","authors":"Tuomas Laakkonen, K. Meichanetzidis, Bob Coecke","doi":"10.4204/eptcs.406.8","DOIUrl":"https://doi.org/10.4204/eptcs.406.8","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"8 3","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141920576","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
Density Matrices for Metaphor Understanding 用于理解隐喻的密度矩阵
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-08-10 DOI: 10.4204/eptcs.406.9
Jay Owers, Ekaterina Shutova, Martha Lewis
{"title":"Density Matrices for Metaphor Understanding","authors":"Jay Owers, Ekaterina Shutova, Martha Lewis","doi":"10.4204/eptcs.406.9","DOIUrl":"https://doi.org/10.4204/eptcs.406.9","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"17 10","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141920989","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
Pauli Flow on Open Graphs with Unknown Measurement Labels 带有未知测量标签的开放图上的保利流
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-08-10 DOI: 10.4204/eptcs.406.6
Piotr Mitosek
{"title":"Pauli Flow on Open Graphs with Unknown Measurement Labels","authors":"Piotr Mitosek","doi":"10.4204/eptcs.406.6","DOIUrl":"https://doi.org/10.4204/eptcs.406.6","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"10 8","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141920340","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 21st International Conference on Quantum Physics and Logic 第 21 届量子物理与逻辑国际会议论文集
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-08-09 DOI: 10.4204/eptcs.406.0
Alejandro Díaz-Caro, Vladimir Zamdzhiev
{"title":"Proceedings of the 21st International Conference on Quantum Physics and Logic","authors":"Alejandro Díaz-Caro, Vladimir Zamdzhiev","doi":"10.4204/eptcs.406.0","DOIUrl":"https://doi.org/10.4204/eptcs.406.0","url":null,"abstract":"This volume contains the proceedings of the 21st International Conference on Quantum Physics and Logic (QPL 2024), which was held from July 15th to 19th, 2024, in Buenos Aires, Argentina, organized jointly by Universidad de Buenos Aires and Universidad Nacional de Quilmes. QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"6 3","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141921820","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
Finite-State Automaton To/From Regular Expression Visualization 有限状态自动机到/从正则表达式可视化
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-07-09 DOI: 10.4204/EPTCS.405.3
Marco T. Morazán, Tijana Minic
{"title":"Finite-State Automaton To/From Regular Expression Visualization","authors":"Marco T. Morazán, Tijana Minic","doi":"10.4204/EPTCS.405.3","DOIUrl":"https://doi.org/10.4204/EPTCS.405.3","url":null,"abstract":"Most Formal Languages and Automata Theory courses explore the duality between computation models to recognize words in a language and computation models to generate words in a language. For students unaccustomed to formal statements, these transformations are rarely intuitive. To assist students with such transformations, visualization tools can play a pivotal role. This article presents visualization tools developed for FSM -- a domain-specific language for the Automata Theory classroom -- to transform a finite state automaton to a regular expression and vice versa. Using these tools, the user may provide an arbitrary finite-state machine or an arbitrary regular expression and step forward and step backwards through a transformation. At each step, the visualization describes the step taken. The tools are outlined, their implementation is described, and they are compared with related work. In addition, empirical data collected from a control group is presented. The empirical data suggests that the tools are well-received, effective, and learning how to use them has a low extraneous cognitive load.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"85 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141664575","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
Functional Programming in Learning Electromagnetic Theory 学习电磁理论中的函数式编程
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-07-09 DOI: 10.4204/EPTCS.405.2
Scott N. Walck
{"title":"Functional Programming in Learning Electromagnetic Theory","authors":"Scott N. Walck","doi":"10.4204/EPTCS.405.2","DOIUrl":"https://doi.org/10.4204/EPTCS.405.2","url":null,"abstract":"Electromagnetic theory is central to physics. An undergraduate major in physics typically takes a semester or a year of electromagnetic theory as a junior or senior, and a graduate student in physics typically takes an additional semester or year at a more advanced level. In fall 2023, the author taught his undergraduate electricity and magnetism class using numerical methods in Haskell in parallel with traditional analytical methods. This article describes what functional programming has to offer to physics in general, and electromagnetic theory in particular. We give examples from vector calculus, the mathematical language in which electromagnetic theory is expressed, and electromagnetic theory itself.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"88 22","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141664757","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
Programming Language Case Studies Can Be Deep 编程语言案例研究可以很深入
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-07-09 DOI: 10.4204/EPTCS.405.4
Rose Bohrer
{"title":"Programming Language Case Studies Can Be Deep","authors":"Rose Bohrer","doi":"10.4204/EPTCS.405.4","DOIUrl":"https://doi.org/10.4204/EPTCS.405.4","url":null,"abstract":"In the pedagogy of programming languages, one well-known course structure is to tour multiple languages as a means of touring paradigms. This tour-of-paradigms approach has long received criticism as lacking depth, distracting students from foundational issues in language theory and implementation. This paper argues for disentangling the idea of a tour-of-languages from the tour-of-paradigms. We make this argument by presenting, in depth, a series of case studies included in the Human-Centered Programming Languages curriculum. In this curriculum, case studies become deep, serving to tour the different intellectual foundations through which a scholar can approach programming languages, which one could call the tour-of-humans. In particular, the design aspect of programming languages has much to learn from the social sciences and humanities, yet these intellectual foundations would yield far fewer deep contributions if we did not permit them to employ case studies.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"09 3","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141664129","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
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language 用可扩展的静态类型编程语言 Stella 讲授类型系统实现
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-07-09 DOI: 10.4204/EPTCS.405.1
AbdelRahman Abounegm, Nikolai Kudasov, Alexey Stepanov
{"title":"Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language","authors":"AbdelRahman Abounegm, Nikolai Kudasov, Alexey Stepanov","doi":"10.4204/EPTCS.405.1","DOIUrl":"https://doi.org/10.4204/EPTCS.405.1","url":null,"abstract":"We report on a half-semester course focused around implementation of type systems in programming languages. The course assumes basics of classical compiler construction, in particular, the abstract syntax representation, the Visitor pattern, and parsing. The course is built around a language Stella with a minimalistic core and a set of small extensions, covering algebraic data types, references, exceptions, exhaustive pattern matching, subtyping, recursive types, universal polymorphism, and type reconstruction. Optionally, an implementation of an interpreter and a compiler is offered to the students. To facilitate fast development and variety of implementation languages we rely on the BNF Converter tool and provide templates for the students in multiple languages. Finally, we report some results of teaching based on students' achievements.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"113 52","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141665802","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
Essentials of Compilation: An Incremental Approach in Racket/Python 编译精要：Racket/Python 中的增量方法
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-07-09 DOI: 10.4204/eptcs.405.0.1
Jeremy Siek
{"title":"Essentials of Compilation: An Incremental Approach in Racket/Python","authors":"Jeremy Siek","doi":"10.4204/eptcs.405.0.1","DOIUrl":"https://doi.org/10.4204/eptcs.405.0.1","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"82 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141664381","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 Thirteenth Workshop on Trends in Functional Programming in Education 第 13 届功能编程教育趋势研讨会论文集
Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-07-08 DOI: 10.4204/EPTCS.405
Stephen Chang
{"title":"Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education","authors":"Stephen Chang","doi":"10.4204/EPTCS.405","DOIUrl":"https://doi.org/10.4204/EPTCS.405","url":null,"abstract":"This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains revised selected papers that were initially presented at the 13th International Workshop on Trends in Functional Programming in Education (TFPIE 2024). This workshop was held at Seton Hall University in South Orange, NJ, USA on January 9, 2024. It was co-located with the 25th International Symposium on Trends in Functional Programming (TFP 2024), which took place on January 10-12, 2024. The goal of TFPIE is to gather researchers, teachers, and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and works-in-progress on the use of functional programming in education are discussed. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo, Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, MD, USA (2016), Canterbury, UK (2017), Gothenburg, Sweden (2018), Vancouver, Canada (2019), Krakow, Poland (2020), online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland), and Boston, MA, USA (2023, back in-person).","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"112 33","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141668164","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学术官方微信