English
Related papers

Related papers: On Reversible Transducers

200 papers

Classical (maximal) superintegrable systems in $n$ dimensions are Hamiltonian systems with $2n-1$ independent constants of the motion, globally defined, the maximum number possible. They are very special because they can be solved…

Mathematical Physics · Physics 2015-11-04 Yuxuan Chen , Ernie G. Kalnins , Qiushi Li , Willard Miller

Statistical relational models provide compact encodings of probabilistic dependencies in relational domains, but result in highly intractable graphical models. The goal of lifted inference is to carry out probabilistic inference without…

Artificial Intelligence · Computer Science 2016-10-27 Seyed Mehran Kazemi , Angelika Kimmig , Guy Van den Broeck , David Poole

It is shown that a compound elastic structure, which displays a dynamic instability, may be designed as the union (or 'fusion') of two structures which are stable when separately analyzed. The compound elastic structure has two degrees of…

Classical Physics · Physics 2023-01-16 Marco Rossi , Andrea Piccolroaz , Davide Bigoni

We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon…

Rings and Algebras · Mathematics 2014-06-10 Jean-Luc Marichal , Bruno Teheux

A highly deformable rod, modelled as the extensible elastica, is connected to a movable clamp at one end and to a pin sliding along a frictionless curved profile at the other. Bifurcation analysis shows that axial compliance provides a…

Classical Physics · Physics 2022-09-12 Panagiotis Koutsogiannakis , Davide Bigoni , Francesco Dal Corso

We show that any strictly mean convex translator of dimension $n\geq 3$ which admits a cylindrical estimate and a corresponding gradient estimate is rotationally symmetric. As a consequence, we deduce that any translating solution of the…

Differential Geometry · Mathematics 2016-06-01 Theodora Bourni , Mat Langford

The finite-size Tomonaga-Luttinger Hamiltonian with an arbitrary potential is mapped onto a non-interacting Fermi gas with renormalized potential. This is done by means of flow equations for Hamiltonians and is valid for small…

Strongly Correlated Electrons · Physics 2009-11-10 T. Stauber

We describe a recursive algorithm that decomposes an algebraic set into locally closed equidimensional sets, i.e. sets which each have irreducible components of the same dimension. At the core of this algorithm, we combine ideas from the…

Symbolic Computation · Computer Science 2023-06-12 Christian Eder , Pierre Lairez , Rafael Mohr , Mohab Safey El Din

We employ detailed numerical simulations to probe the mechanism of flow reversals in two-dimensional turbulent convection. We show that the reversals occur via vortex reconnection of two attracting corner rolls having same sign of…

Fluid Dynamics · Physics 2015-06-05 Mani Chandra , Mahendra K. Verma

Hyperuniform states of matter exhibit unusual suppression of density fluctuations at large scales, contrasting sharply with typical disordered configurations. Various types of hyperuniformity emerge in multicomponent disordered systems,…

Statistical Mechanics · Physics 2025-01-14 Hiroshi Frusawa

In this brief tutorial review, I show how phase coherent properties of disordered conductors can be described in a simple and unified way. These properties include transport properties like weak-localization correction and universal…

Mesoscale and Nanoscale Physics · Physics 2007-05-23 Gilles Montambaux

We propose a new driving scheme, when different parts of a system are driven with different, generally incommensurate, frequencies. Such driving provides a flexible handle to control various properties of the system and to obtain new types…

Optics · Physics 2018-03-01 Huanan Li , Tsampikos Kottos , Boris Shapiro

Higher-order tensors appear in various areas of mechanics as well as physics, medicine or earth sciences. As these tensors are highly complex, most are not well understood. Thus, the analysis and the visualization process form a highly…

Mathematical Physics · Physics 2023-05-04 Anja Barz , Chiara Hergl , Gerik Scheuermann

The Transformer and its variants have been proven to be efficient sequence learners in many different domains. Despite their staggering success, a critical issue has been the enormous number of parameters that must be trained (ranging from…

Machine Learning · Computer Science 2021-10-28 Subhabrata Dutta , Tanya Gautam , Soumen Chakrabarti , Tanmoy Chakraborty

Higher order tensor inversion is possible for even order. We have shown that a tensor group endowed with the Einstein (contracted) product is isomorphic to the general linear group of degree $n$. With the isomorphic group structures, we…

Numerical Analysis · Mathematics 2011-09-20 Michael Brazell , Na Li , Carmeliza Navasca , Christino Tamon

We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a decidable membership problem but has an undecidable emptiness…

Formal Languages and Automata Theory · Computer Science 2019-03-08 Oscar H. Ibarra , Ian McQuillan

Streaming generation models are utilized across fields, with the Transducer architecture being popular in industrial applications. However, its input-synchronous decoding mechanism presents challenges in tasks requiring non-monotonic…

Computation and Language · Computer Science 2025-05-29 Zhengrui Ma , Yang Feng , Min Zhang

We investigate decidability of equivalence of register transducers, also called copyful Streaming String Transducers in case of string input, extended with an operation of substituting a register for all occurrences of a given letter in…

Formal Languages and Automata Theory · Computer Science 2021-02-18 Janusz Schmude

Pre-trained Transformer models like T5 and BART have advanced the state of the art on a wide range of text generation tasks. Compressing these models into smaller ones has become critically important for practical use. Common neural network…

Computation and Language · Computer Science 2023-06-06 Wangchunshu Zhou , Ronan Le Bras , Yejin Choi

The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of…

Logic in Computer Science · Computer Science 2025-01-29 Emmanuel Hainry , Bruce M. Kapron , Jean-Yves Marion , Romain Péchoux
‹ Prev 1 8 9 10 Next ›