English
Related papers

Related papers: Fractional Types: Expressive and Safe Space Manage…

200 papers

Distributed storage systems that deploy erasure codes can provide better features such as lower storage overhead and higher data reliability. In this paper, we focus on fractional repetition (FR) codes, which are a class of storage codes…

Information Theory · Computer Science 2020-05-15 Bing Zhu , Kenneth W. Shum , Hui Li

Reversible algorithms play a crucial role both in classical and quantum computation. While for a classical bit the only nontrivial reversible operation is the bit-flip, nature is far more versatile in what it allows to do to a quantum bit.…

Quantum Physics · Physics 2022-11-14 Anandamay Das Bhowmik , Preeti Parashar

Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…

Logic in Computer Science · Computer Science 2017-03-08 Lidia Tendera

Reversible logic has attracted much research interest over the last few decades, especially due to its application in quantum computing. In the construction of reversible gates from basic gates, ancilla bits are commonly used to remove…

Emerging Technologies · Computer Science 2015-06-12 Siyao Xu

Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among other fields, the algebraic specification and representation…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-10-26 Clément Aubert

Nakano's later modality can be used to specify and define recursive functions which are causal or synchronous; in concert with a notion of clock variable, it is possible to also capture the broader class of productive (co)programs. Until…

Logic in Computer Science · Computer Science 2021-04-20 Jonathan Sterling , Robert Harper

The self-attention mechanism, while foundational to modern Transformer architectures, suffers from a critical inefficiency: it frequently allocates substantial attention to redundant or noisy context. Differential Attention addressed this…

We present a simplified framework for proving sequential composability in the quantum setting. In particular, we give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition…

Quantum Physics · Physics 2009-01-20 Stephanie Wehner , Jürg Wullschleger

In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for…

Programming Languages · Computer Science 2016-08-22 Naoki Nishida , Adrián Palacios , Germán Vidal

Fractional supersymmetric quantum mechanics of order $\lambda$ is realized in terms of the generators of a generalized deformed oscillator algebra and a Z$_{\lambda}$-grading structure is imposed on the Fock space of the latter. This…

Mathematical Physics · Physics 2008-11-26 C. Quesne

Many problems in Reinforcement Learning (RL) seek an optimal policy with large discrete multidimensional yet unordered action spaces; these include problems in randomized allocation of resources such as placements of multiple security…

Machine Learning · Computer Science 2023-11-28 Changyu Chen , Ramesha Karunasena , Thanh Hong Nguyen , Arunesh Sinha , Pradeep Varakantham

Controllable text generation (CTG) aims to generate text with desired attributes, and decoding-time-based methods have shown promising performance on this task. However, in this paper, we identify the phenomenon of Attribute Collapse for…

Computation and Language · Computer Science 2023-11-03 Tianqi Zhong , Quan Wang , Jingxuan Han , Yongdong Zhang , Zhendong Mao

In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for…

Programming Languages · Computer Science 2018-06-20 Ivan Lanese , Naoki Nishida , Adrián Palacios , Germán Vidal

Over the last decade, it has been demonstrated that many systems in science and engineering can be modeled more accurately by fractional-order than integer-order derivatives, and many methods are developed to solve the problem of fractional…

Computer Vision and Pattern Recognition · Computer Science 2016-08-11 Qi Yang , Dali Chen , Tiebiao Zhao , YangQuan Chen

Functional reactive programming (FRP) is a declarative programming paradigm for implementing reactive programs at a high level of abstraction. It applies functional programming principles to construct and manipulate time-varying values,…

Programming Languages · Computer Science 2026-02-24 Patrick Bahr

Within the framework of fractional calculus with variable order the evolution of space in the adiabatic limit is investigated. Based on the Caputo definition of a fractional derivative using the fractional quantum harmonic oscillator a…

General Physics · Physics 2013-11-26 R. Herrmann

We introduce two kinds of fractional integral operators; the one is defined via the exponential-integral function $$ E_1(x)=\int_x^\infty \frac{e^{-t}}{t}\,dt,\quad x>0, $$ and the other is defined via the special function $$…

Classical Analysis and ODEs · Mathematics 2018-03-12 Mohamed Jleli , Bessem Samet

In this paper we consider a simple general form of a deterministic system with power-law memory whose state can be described by one variable and evolution by a generating function. A new value of the system's variable is a total (a…

Chaotic Dynamics · Physics 2018-07-05 Mark Edelman

The 64-bit architectures that have become standard today offer unprecedented low-level programming possibilities. For the first time in the history of computing, the size of address registers far exceeded the physical capacity of their…

Computation and Language · Computer Science 2023-10-25 Benoît Sonntag , Dominique Colnet

Fractional, anomalous diffusion in space-periodic potentials is investigated. The analytical solution for the effective, fractional diffusion coefficient in an arbitrary periodic potential is obtained in closed form in terms of two…

Statistical Mechanics · Physics 2021-02-02 E. Heinsalu , M. Patriarca , I. Goychuk , P. Hanggi