宣告无效
发表于 2025-3-21 18:45:49
书目名称Reversible Computation影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0829419<br><br> <br><br>书目名称Reversible Computation读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0829419<br><br> <br><br>
变形
发表于 2025-3-21 20:44:19
http://reply.papertrans.cn/83/8295/829419/829419_2.png
Limited
发表于 2025-3-22 03:38:13
http://reply.papertrans.cn/83/8295/829419/829419_3.png
armistice
发表于 2025-3-22 06:31:27
http://reply.papertrans.cn/83/8295/829419/829419_4.png
安抚
发表于 2025-3-22 11:43:52
Toward a Curry-Howard Equivalence for Linear, Reversible Computationood. Moreover, models for reasoning about quantum algorithms only provide complex types for classical datatypes: there are usually no types for purely quantum objects beside tensors of quantum bits. This work is a first step towards understanding purely quantum recursive types.
有其法作用
发表于 2025-3-22 13:02:56
http://reply.papertrans.cn/83/8295/829419/829419_6.png
业余爱好者
发表于 2025-3-22 18:21:01
Hermes: A Language for Light-Weight Encryptioning that operations on secret data spend time independent of the value of this data, thus preventing timing-based attacks. We show a complete formal specification of Hermes, argue absence of timing-based attacks (under reasonable assumptions), and compare implementations of well-known light-weight encryption algorithms in Hermes and C.
musicologist
发表于 2025-3-22 21:17:15
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipperhow how dependent types enable programming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other language features along the way.
留恋
发表于 2025-3-23 04:42:41
http://reply.papertrans.cn/83/8295/829419/829419_9.png
HUSH
发表于 2025-3-23 09:16:26
Search-Based Transformation Synthesis for 3-Valued Reversible Circuitsor all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approach which point to a number of key areas for further research.