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

Reversible Computation最新文献

筛选
英文 中文
A Reversible Runtime Environment for Parallel Programs 并行程序的可逆运行时环境
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_18
Takashi Ikeda, Shoji Yuen
{"title":"A Reversible Runtime Environment for Parallel Programs","authors":"Takashi Ikeda, Shoji Yuen","doi":"10.1007/978-3-030-52482-1_18","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_18","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133428679","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
Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems 逆问题，约束满足，可逆逻辑，可逆逻辑和实用问题的Grover量子预言
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_1
M. Perkowski
{"title":"Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems","authors":"M. Perkowski","doi":"10.1007/978-3-030-52482-1_1","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_1","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128811291","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
Hermes: A Language for Light-Weight Encryption Hermes:一种轻量级加密语言
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_5
T. Mogensen
{"title":"Hermes: A Language for Light-Weight Encryption","authors":"T. Mogensen","doi":"10.1007/978-3-030-52482-1_5","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_5","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116972385","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
On the Expressivity of Total Reversible Programming Languages 关于完全可逆编程语言的表达性
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_7
Armando B. Matos, Luca Paolini, Luca Roversi
{"title":"On the Expressivity of Total Reversible Programming Languages","authors":"Armando B. Matos, Luca Paolini, Luca Roversi","doi":"10.1007/978-3-030-52482-1_7","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_7","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114837033","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
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem 利用综合征解码问题合成NISQ体系结构的量子CNOT电路
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_11
T. Brugière, M. Baboulin, B. Valiron, S. Martiel, Cyril Allouche
{"title":"Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem","authors":"T. Brugière, M. Baboulin, B. Valiron, S. Martiel, Cyril Allouche","doi":"10.1007/978-3-030-52482-1_11","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_11","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131755779","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
Encoding Reversing Petri Nets in Answer Set Programming 答案集编程中的编码反转Petri网
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_17
Yannis Dimopoulos, Eleftheria Kouppari, A. Philippou, K. Psara
{"title":"Encoding Reversing Petri Nets in Answer Set Programming","authors":"Yannis Dimopoulos, Eleftheria Kouppari, A. Philippou, K. Psara","doi":"10.1007/978-3-030-52482-1_17","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_17","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"12227 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129604287","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
Toward a Curry-Howard Equivalence for Linear, Reversible Computation 关于线性可逆计算的Curry-Howard等价
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_8
Kostia Chardonnet, A. Saurin, B. Valiron
{"title":"Toward a Curry-Howard Equivalence for Linear, Reversible Computation","authors":"Kostia Chardonnet, A. Saurin, B. Valiron","doi":"10.1007/978-3-030-52482-1_8","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_8","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130013456","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
Reversible Computations in Logic Programming 逻辑规划中的可逆计算
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_15
G. Vidal
{"title":"Reversible Computations in Logic Programming","authors":"G. Vidal","doi":"10.1007/978-3-030-52482-1_15","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_15","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121460684","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
Reversible Programming Languages Capturing Complexity Classes 捕获复杂类的可逆编程语言
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_6
L. Kristiansen
{"title":"Reversible Programming Languages Capturing Complexity Classes","authors":"L. Kristiansen","doi":"10.1007/978-3-030-52482-1_6","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_6","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126985768","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
Involutory Turing Machines 对偶图灵机
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_3
Keisuke Nakano
{"title":"Involutory Turing Machines","authors":"Keisuke Nakano","doi":"10.1007/978-3-030-52482-1_3","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_3","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126317692","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
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信