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

International Colloquium on Theoretical Aspects of Computing最新文献

筛选
英文 中文
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes 连续时间马尔可夫决策过程的迹关系与逻辑保存
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_12
Arpit Sharma
{"title":"Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes","authors":"Arpit Sharma","doi":"10.1007/978-3-319-67729-3_12","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_12","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"318 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124293433","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}
引用次数: 5
A Probabilistic Semantics for the Pure lambda -Calculus 纯λ微积分的概率语义
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_5
A. D. Pierro
{"title":"A Probabilistic Semantics for the Pure lambda -Calculus","authors":"A. D. Pierro","doi":"10.1007/978-3-319-67729-3_5","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_5","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121558278","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
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators 带商算子的加权有理表达式的派生项自动机
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_10
A. Demaille, Thibaud Michaud
{"title":"Derived-Term Automata of Weighted Rational Expressions with Quotient Operators","authors":"A. Demaille, Thibaud Michaud","doi":"10.1007/978-3-319-67729-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_10","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"348 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115412920","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
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing PTrie:通过前缀共享压缩和存储集合的数据结构
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_15
P. G. Jensen, K. Larsen, J. Srba
{"title":"PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing","authors":"P. G. Jensen, K. Larsen, J. Srba","doi":"10.1007/978-3-319-67729-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_15","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128026570","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}
引用次数: 20
The Delay Monad and Restriction Categories 延迟单子和限制类别
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_3
Tarmo Uustalu, Niccolò Veltri
{"title":"The Delay Monad and Restriction Categories","authors":"Tarmo Uustalu, Niccolò Veltri","doi":"10.1007/978-3-319-67729-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_3","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116094163","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}
引用次数: 10
Value-Based or Conflict-Based? Opacity Definitions for STMs 基于价值还是基于冲突?stm的不透明度定义
International Colloquium on Theoretical Aspects of Computing Pub Date : 2017-10-23 DOI: 10.1007/978-3-319-67729-3_8
J. König, H. Wehrheim
{"title":"Value-Based or Conflict-Based? Opacity Definitions for STMs","authors":"J. König, H. Wehrheim","doi":"10.1007/978-3-319-67729-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-67729-3_8","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117050036","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
Specifying Properties of Dynamic Architectures Using Configuration Traces 使用配置跟踪指定动态体系结构的属性
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_14
Diego Marmsoler, Mario Gleirscher
{"title":"Specifying Properties of Dynamic Architectures Using Configuration Traces","authors":"Diego Marmsoler, Mario Gleirscher","doi":"10.1007/978-3-319-46750-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_14","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"55 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132530981","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}
引用次数: 19
ProofScript: Proof Scripting for the Masses 校对脚本:大众校对脚本
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_19
Steven Obua, P. Scott, Jacques D. Fleuriot
{"title":"ProofScript: Proof Scripting for the Masses","authors":"Steven Obua, P. Scott, Jacques D. Fleuriot","doi":"10.1007/978-3-319-46750-4_19","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_19","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129594211","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}
引用次数: 3
Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm Prim最小生成树算法的关系代数验证
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_4
Walter Guttmann
{"title":"Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm","authors":"Walter Guttmann","doi":"10.1007/978-3-319-46750-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_4","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"475 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116521830","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
Behavioural Models for FMI Co-simulations FMI联合模拟的行为模型
International Colloquium on Theoretical Aspects of Computing Pub Date : 2016-10-24 DOI: 10.1007/978-3-319-46750-4_15
Ana Cavalcanti, J. Woodcock, N. Amálio
{"title":"Behavioural Models for FMI Co-simulations","authors":"Ana Cavalcanti, J. Woodcock, N. Amálio","doi":"10.1007/978-3-319-46750-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-46750-4_15","url":null,"abstract":"","PeriodicalId":142552,"journal":{"name":"International Colloquium on Theoretical Aspects of Computing","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126896629","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}
引用次数: 15
首页 上一页 下一页 尾页
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学术官方微信