English
Related papers

Related papers: Splitting recursion schemes into reversible and cl…

200 papers

The principal aim of this article is to establish an iteration method on the space of resurgent functions. We discuss endless continuability of iterated convolution products of resurgent functions and derive their estimates developing the…

Classical Analysis and ODEs · Mathematics 2016-10-20 Shingo Kamimoto

In this note we consider several kind of partition functions of one-dimensional models with nearest - neighbor interactions $I_n, n\in \mathbf{Z}$ and spin values $\pm 1$. We derive systems of recursive equations for each kind of such…

Dynamical Systems · Mathematics 2009-04-07 U. A. Rozikov

Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course,…

Logic in Computer Science · Computer Science 2011-11-10 Yoad Lustig , Moshe Vardi

A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by…

Quantum Physics · Physics 2016-12-05 Mathias Soeken , Martin Roetteler , Nathan Wiebe , Giovanni De Micheli

To unveil the logic of cell from a level of chemical reaction dynamics, we need to clarify how ensemble of chemicals can autonomously produce the set of chemical, without assuming a specific external control echanism. A cell consists of a…

Molecular Networks · Quantitative Biology 2007-05-23 Kunihiko Kaneko

In his article "Powerlist: A Structure for Parallel Recursion" Jayadev Misra wrote: "Many data parallel algorithms Fast Fourier Transform, Batcher's sorting schemes and prefix sum -exhibit recursive structure. We propose a data structure,…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-09-30 Roman Gitlin

Recursive InterNetwork Architecture is a clean-slate approach to how to deal with the current issues of the Internet based on the traditional TCP/IP networking stack. Instead of using a fixed number of layers with dedicated functionality,…

Networking and Internet Architecture · Computer Science 2015-09-14 Vladimir Vesely , Marcel Marek , Tomas Hykel , Ondrej Rysavy

The conformable derivative has been promoted in numerous publications as a new fractional derivative operator. This article provides a critical reassessment of this claim. We demonstrate that the conformable derivative is not a fractional…

Analysis of PDEs · Mathematics 2025-12-30 Aziz El Ghazouani , Fouad Ibrahim Abdou Amir , Khoulane Mohamed , M'hamed Elomari

In this paper, we show that many complex patterns, which characterize the decorative style of many artisanal objects, can be generated by the recursive application of only four operators. Each operator is derived from tracing the isolines…

Graphics · Computer Science 2020-07-22 Giacomo Nazzaro , Enrico Puppo , Fabio Pellacini

The division operation is important for many areas of data processing. Especially considering today's demand for hardware accelerators for machine learning algorithms, there is a high demand for an efficient calculation of the division…

Signal Processing · Electrical Eng. & Systems 2022-09-12 Michael Lunglmayr

This work examines approaches to making computational models reversible. Broadly speaking, transforming a computational model into a reversible one, i.e. reversibilizing it, means extending its operational semantics conservatively in a way…

Programming Languages · Computer Science 2026-03-05 Matteo Palazzo , Luca Roversi

We consider estimation procedures which are recursive in the sense that each successive estimator is obtained from the previous one by a simple adjustment. We study rate of convergence of recursive estimation procedures for the general…

Statistics Theory · Mathematics 2007-05-23 Teo Sharia

Rollback recovery strategies are well-known in concurrent and distributed systems. In this context, recovering from unexpected failures is even more relevant given the non-deterministic nature of execution, which means that it is…

Programming Languages · Computer Science 2024-01-08 Germán Vidal

Based on our previous process algebra for concurrency APTC, we prove that it is reversible with a little modifications. The reversible algebra has four parts: Basic Algebra for Reversible True Concurrency (BARTC), Algebra for Parallelism in…

Logic in Computer Science · Computer Science 2018-10-03 Yong Wang

We present a new framework for recycling independent variational approximations to Gaussian processes. The main contribution is the construction of variational ensembles given a dictionary of fitted Gaussian processes without revisiting any…

Machine Learning · Statistics 2020-10-07 Pablo Moreno-Muñoz , Antonio Artés-Rodríguez , Mauricio A. Álvarez

P systems are computing conceptual computing devices that are at least as powerful as Turing machines. However, until recently it was not known how one can encode any recursive function as a P~system. Here we propose a new encoding of…

Formal Languages and Automata Theory · Computer Science 2018-09-25 Apostolos Syropoulos , Stratos Doumanis , Konstantinos T. Sotiriades

The generation of reversible circuits from high-level code is an important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various…

Quantum Physics · Physics 2018-04-24 Matthew Amy , Martin Roetteler , Krysta Svore

We calculate within a semiclassical approximation the autocorrelation function of cross sections. The starting point is the semiclassical expression for the diagonal matrix elements of an operator. For general operators with a smooth…

Chaotic Dynamics · Physics 2007-08-22 Bruno Eckhardt , Shmuel Fishman , Imre Varga

A generally intelligent learner should generalize to more complex tasks than it has previously encountered, but the two common paradigms in machine learning -- either training a separate learner per task or training a single learner for all…

Machine Learning · Computer Science 2019-05-09 Michael B. Chang , Abhishek Gupta , Sergey Levine , Thomas L. Griffiths

Windowed recurrences are sliding window calculations where a function is applied iteratively across the window of data, and are ubiquitous throughout the natural, social, and computational sciences. In this monograph we explore the…

Data Structures and Algorithms · Computer Science 2026-02-13 David K. Maslen , Daniel N. Rockmore
‹ Prev 1 4 5 6 7 8 10 Next ›