Abutment
发表于 2025-3-28 16:56:06
http://reply.papertrans.cn/83/8295/829417/829417_41.png
annexation
发表于 2025-3-28 20:43:44
Algorithmically Expressive, Always-Terminating Model for Reversible Computation their algorithmic expressiveness, meant as the possibility to naturally express algorithms with minimal computational cost. By introducing the reversible computational model ., to our knowledge, we provide a first study of analogous properties, adapted to the context of reversible computational mod
勾引
发表于 2025-3-28 23:06:52
A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis apparent contradiction is known as the ‘arrow of time problem’. Its current resolution states that the future is the direction of increasing entropy. But entropy can only increase towards the future if it was low in the past, and past low entropy is a very strong assumption to make, because low ent
Anonymous
发表于 2025-3-29 06:13:04
http://reply.papertrans.cn/83/8295/829417/829417_44.png
不能约
发表于 2025-3-29 10:10:39
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardwarests that information loss during program execution increases energy consumption, we employ Intel’s Running Average Power Limit (RAPL) technology to compare the energy consumption of “dereversibilised” reversible programs against that of straightforward irreversible implementations..Preliminary resul
Resign
发表于 2025-3-29 15:18:32
http://reply.papertrans.cn/83/8295/829417/829417_46.png
协迫
发表于 2025-3-29 16:23:28
A Small-Step Semantics for Janus small-step semantics for it exists. Hence, we propose a small-step semantics for Janus and we prove it equivalent to a big-step semantics from the literature, for programs that have no runtime errors and no divergence. Our main motivation is to enable a future extension of Janus with concurrency pr
取回
发表于 2025-3-29 23:25:24
Jeopardy: An Invertible Functional Programming Language locally invertible. However, writing programs in a reversible style can be cumbersome, and may produce significantly different implementations than the conventional – even when the implemented algorithm is, in fact, invertible. We introduce Jeopardy, a functional programming language that guarantee
Cerumen
发表于 2025-3-30 00:50:58
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipperween quantum program analysis tools. These questions arise naturally in the design of quantum transpilers, which translate between quantum programming languages. In this paper, we take a step towards answering these questions by identifying challenges and best practices in quantum transpiler design.
杀菌剂
发表于 2025-3-30 05:52:42
http://reply.papertrans.cn/83/8295/829417/829417_50.png