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

Selected Results of the COST Action IC1405最新文献

筛选
英文 中文
Towards Choreographic-Based Monitoring 走向基于编排的监控
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_6
Adrian Francalanza, C. A. Mezzina, E. Tuosto
{"title":"Towards Choreographic-Based Monitoring","authors":"Adrian Francalanza, C. A. Mezzina, E. Tuosto","doi":"10.1007/978-3-030-47361-7_6","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_6","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133303093","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}
引用次数: 9
Simulation and Design of Quantum Circuits 量子电路的仿真与设计
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_3
Alwin Zulehner, R. Wille
{"title":"Simulation and Design of Quantum Circuits","authors":"Alwin Zulehner, R. Wille","doi":"10.1007/978-3-030-47361-7_3","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_3","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131267358","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}
引用次数: 4
Reversible Control of Robots 机器人的可逆控制
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_8
U. Schultz
{"title":"Reversible Control of Robots","authors":"U. Schultz","doi":"10.1007/978-3-030-47361-7_8","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_8","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127487199","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
Software and Reversible Systems: A Survey of Recent Activities 软件和可逆系统:最近活动的调查
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_2
C. A. Mezzina, R. Schlatte, R. Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, H. Šiljak, U. Schultz, I. Ulidowski
{"title":"Software and Reversible Systems: A Survey of Recent Activities","authors":"C. A. Mezzina, R. Schlatte, R. Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, H. Šiljak, U. Schultz, I. Ulidowski","doi":"10.1007/978-3-030-47361-7_2","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_2","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133544045","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
Error Reconciliation in Quantum Key Distribution Protocols 量子密钥分发协议中的错误协调
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_11
M. Mehic, M. Niemiec, H. Šiljak, M. Voznák
{"title":"Error Reconciliation in Quantum Key Distribution Protocols","authors":"M. Mehic, M. Niemiec, H. Šiljak, M. Voznák","doi":"10.1007/978-3-030-47361-7_11","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_11","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124472479","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}
引用次数: 32
Research on Reversible Functions Having Component Functions with Specified Properties: An Overview 具有特定性质分量函数的可逆函数研究综述
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_4
P. Kerntopf, C. Moraga, K. Podlaski, R. Stankovic
{"title":"Research on Reversible Functions Having Component Functions with Specified Properties: An Overview","authors":"P. Kerntopf, C. Moraga, K. Podlaski, R. Stankovic","doi":"10.1007/978-3-030-47361-7_4","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_4","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128731749","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
Foundations of Reversible Computation 可逆计算基础
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_1
Bogdan Aman, Gabriel Ciobanu, R. Glück, R. Kaarsgaard, J. Kari, Martin Kutrib, Ivan Lanese, C. A. Mezzina, Lukasz Mikulski, R. Nagarajan, I. Phillips, G. Pinna, Luca Prigioniero, I. Ulidowski, G. Vidal
{"title":"Foundations of Reversible Computation","authors":"Bogdan Aman, Gabriel Ciobanu, R. Glück, R. Kaarsgaard, J. Kari, Martin Kutrib, Ivan Lanese, C. A. Mezzina, Lukasz Mikulski, R. Nagarajan, I. Phillips, G. Pinna, Luca Prigioniero, I. Ulidowski, G. Vidal","doi":"10.1007/978-3-030-47361-7_1","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_1","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130010905","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
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation 乐观并行离散事件仿真中的可逆语言和增量状态保存
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_9
M. Schordan, T. Oppelstrup, Michael Kirkedal Thomsen, R. Glück
{"title":"Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation","authors":"M. Schordan, T. Oppelstrup, Michael Kirkedal Thomsen, R. Glück","doi":"10.1007/978-3-030-47361-7_9","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_9","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"182 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114532490","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
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs 可逆计算的案例研究:并发程序的可逆调试
Selected Results of the COST Action IC1405 Pub Date : 2020-07-09 DOI: 10.1007/978-3-030-47361-7_5
James Hoey, Ivan Lanese, Naoki Nishida, I. Ulidowski, G. Vidal
{"title":"A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs","authors":"James Hoey, Ivan Lanese, Naoki Nishida, I. Ulidowski, G. Vidal","doi":"10.1007/978-3-030-47361-7_5","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_5","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129429185","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}
引用次数: 7
Reversibility in Chemical Reactions 化学反应的可逆性
Selected Results of the COST Action IC1405 Pub Date : 2020-05-14 DOI: 10.1007/978-3-030-47361-7_7
Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, A. Philippou, K. Psara, I. Ulidowski
{"title":"Reversibility in Chemical Reactions","authors":"Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, A. Philippou, K. Psara, I. Ulidowski","doi":"10.1007/978-3-030-47361-7_7","DOIUrl":"https://doi.org/10.1007/978-3-030-47361-7_7","url":null,"abstract":"","PeriodicalId":133828,"journal":{"name":"Selected Results of the COST Action IC1405","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114836785","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}
引用次数: 9
下一页 尾页
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学术官方微信