English
Related papers

Related papers: Flashback: A Reversible Bilateral Run-Peeling Deco…

200 papers

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

The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between…

Logic in Computer Science · Computer Science 2017-06-27 Jos Baeten , Bas Luttik , Fei Yang

In many instances one has to deal with parametric models. Such models in vector spaces are connected to a linear map. The reproducing kernel Hilbert space and affine- / linear- representations in terms of tensor products are directly…

Numerical Analysis · Mathematics 2018-11-26 Hermann G. Matthies , Roger Ohayon

We consider the numerical irreducible decomposition of a positive dimensional solution set of a polynomial system into irreducible factors. Path tracking techniques computing loops around singularities connect points on the same irreducible…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-20 Anton Leykin , Jan Verschelde

In kernel methods, temporal information on the data is commonly included by using time-delayed embeddings as inputs. Recently, an alternative formulation was proposed by defining a gamma-filter explicitly in a reproducing kernel Hilbert…

Machine Learning · Statistics 2017-06-13 Steven Van Vaerenbergh , Simone Scardapane , Ignacio Santamaria

The paperfolding sequences form an uncountable class of infinite sequences over the alphabet $\{ -1, 1 \}$ that describe the sequence of folds arising from iterated folding of a piece of paper, followed by unfolding. In this note we observe…

Combinatorics · Mathematics 2026-03-11 Jeffrey Shallit

In the trace reconstruction problem our goal is to learn an unknown string $x\in \{0,1\}^n$ given independent traces of $x$. A trace is obtained by independently deleting each bit of $x$ with some probability $\delta$ and concatenating the…

Data Structures and Algorithms · Computer Science 2024-12-02 Anders Aamand , Allen Liu , Shyam Narayanan

We introduce the following natural generalization of trace reconstruction, parameterized by a deletion probability $\delta \in (0,1)$ and length $n$: There is a length $n$ string of probabilities, $S=p_1,\ldots,p_n,$ and each "trace" is…

Data Structures and Algorithms · Computer Science 2024-12-03 Joey Rivkin , Gregory Valiant , Paul Valiant

As shown by Bousquet-M\'elou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the…

Combinatorics · Mathematics 2019-09-17 Shishuo Fu , Emma Yu Jin , Zhicong Lin , Sherry H. F. Yan , Robin D. P. Zhou

The problem of reconstructing strings from substring information has found many applications due to its importance in genomic data sequencing and DNA- and polymer-based data storage. One practically important and challenging paradigm…

Information Theory · Computer Science 2021-10-07 Ryan Gabrys , Srilakshmi Pattabiraman , Olgica Milenkovic

The goal of grammar compression is to construct a small sized context free grammar which uniquely generates the input text data. Among grammar compression methods, RePair is known for its good practical compression performance. MR-RePair…

Data Structures and Algorithms · Computer Science 2019-10-31 Isamu Furuya

Palindromes are strings that read the same forward and backward. The computation of palindromic structures within strings is a fundamental problem in string algorithms, being motivated by potential applications in formal language theory and…

Data Structures and Algorithms · Computer Science 2026-05-15 Takuya Mieno , Tomohiro I

It is an interesting question whether a given infra-red duality between quantum field theories can be explained in terms of other more elementary dualities. For example recently it has been shown that mirror dualities can be obtained by…

High Energy Physics - Theory · Physics 2022-08-03 Lea E. Bottini , Chiung Hwang , Sara Pasquetti , Matteo Sacchi

Recovering the digital input of a time-discrete linear system from its (noisy) output is a significant challenge in the fields of data transmission, deconvolution, channel equalization, and inverse modeling. A variety of algorithms have…

Optimization and Control · Mathematics 2020-12-03 Sophie M. Fosson

We consider string matching with variable length gaps. Given a string $T$ and a pattern $P$ consisting of strings separated by variable length gaps (arbitrary strings of length in a specified range), the problem is to find all ending…

Data Structures and Algorithms · Computer Science 2011-10-14 Philip Bille , Inge Li Goertz , Hjalte Wedel Vildhøj , David Kofoed Wind

Recent work showed that compiling functional programs to use dense, serialized memory representations for recursive algebraic datatypes can yield significant constant-factor speedups for sequential programs. But serializing data in a…

Programming Languages · Computer Science 2021-07-02 Chaitanya Koparkar , Mike Rainey , Michael Vollmer , Milind Kulkarni , Ryan R. Newton

The problem of reconstructing a sequence from the set of its length-$k$ substrings has received considerable attention due to its various applications in genomics. We study an uncoded version of this problem where multiple random sources…

Information Theory · Computer Science 2023-05-11 Kel Levick , Ilan Shomorony

We give recurrences, generating functions and explicit exact expressions for the enumeration of fundamental quantities involving runs in binary strings. We first focus on enumerations concerning runs of ones, and we then analyse the same…

Combinatorics · Mathematics 2026-02-13 Félix Balado , Guénolé C. M. Silvestre

The quantization of the mirror curve to a toric Calabi-Yau threefold gives rise to quantum-mechanical operators, whose fermionic spectral traces produce factorially divergent power series in the Planck constant. These asymptotic expansions…

High Energy Physics - Theory · Physics 2023-11-09 Claudia Rella

String breaking is one of the most representative non-perturbative dynamics processes in confinement theory, typically associated with the creation of particle-antiparticle pairs. In this paper, we take a one-dimensional Rydberg atomic…

‹ Prev 1 3 4 5 6 7 10 Next ›