English
Related papers

Related papers: Rotation of Sequences: Algorithms and Proofs

200 papers

Rotational smoothing is a phenomenon consisting in a gain of regularity by means of averaging over rotations. This phenomenon is present in operators that regularize only in certain directions, in contrast to operators regularizing in all…

Analysis of PDEs · Mathematics 2024-09-23 Pedro Caro , Cristóbal J. Meroño , Ioannis Parissis

The prevalent approach to sequence to sequence learning maps an input sequence to a variable length output sequence via recurrent neural networks. We introduce an architecture based entirely on convolutional neural networks. Compared to…

Computation and Language · Computer Science 2017-07-26 Jonas Gehring , Michael Auli , David Grangier , Denis Yarats , Yann N. Dauphin

In the work we discuss the benefit of using bitwise operations in programming. Some interesting examples in this respect have been shown. What is described in detail is an algorithm for sorting an integer array with the substantial use of…

Programming Languages · Computer Science 2013-12-03 Krasimir Yordzhev

Morphic sequences form a natural class of infinite sequences, extending the well-studied class of automatic sequences. Where automatic sequences are known to have several equivalent characterizations and the class of automatic sequences is…

Formal Languages and Automata Theory · Computer Science 2023-09-20 Hans Zantema

We discuss various formalisms to describe string-to-string transformations. Many are based on automata and can be seen as operational descriptions, allowing direct implementations when the input scanner is deterministic. Alternatively, one…

Formal Languages and Automata Theory · Computer Science 2019-08-06 Paul Gastin

Sequential effect systems are a class of effect system that exploits information about program order, rather than discarding it as traditional commutative effect systems do. This extra expressive power allows effect systems to reason about…

Programming Languages · Computer Science 2020-05-18 Colin S. Gordon

We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a…

Artificial Intelligence · Computer Science 2007-05-23 Krzysztof R. Apt

Rotation of atoms in a lattice is studied using a Hubbard model. It is found that the atoms are still contained in the trap even when the rotation frequency is larger than the trapping frequency. This is very different from the behavior in…

Quantum Physics · Physics 2007-05-23 T. Wang , S. Yelin

The chaotic properties of simple two-dimensional rotation-translation models are explored and simulated. The models are given in difference equation forms, while the corresponding differential equations systems are studied and the resulting…

Chaotic Dynamics · Physics 2007-05-23 Christos H. Skiadas , Charilaos Skiadas

PCA can be used for rotation invariant features, describing a shape with its $p_{ab}=E[(x_i-E[x_a])(x_b-E[x_b])]$ covariance matrix approximating shape by ellipsoid, allowing for rotation invariants like its traces of powers. However, real…

Computer Vision and Pattern Recognition · Computer Science 2026-01-08 Jarek Duda

A fundamental goal in the manipulation of quantum systems is the achievement of many coherent oscillations within the characteristic dephasing time T2*[1]. Most manipulations of electron spins in quantum dots have focused on the…

The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In…

Combinatorics · Mathematics 2023-01-18 Anders Claesson , Mark Dukes , Atli Fannar Franklín , Sigurður Örn Stefánsson

Torque is ubiquitous in many molecular systems, including collisions, chemical reactions, vibrations, electronic excitations and especially rotor molecules. We present a straightforward theoretical method based on forces acting on atoms and…

Chemical Physics · Physics 2016-11-23 Rui-Qin Zhang , Yan-Ling Zhao , Fei Qi , Klaus Hermann , Michel A. Van Hove

This paper deals with algorithms for producing and ordering lexical and nonlexical sequences of a given degree. The notion of "elementary operations" on positive integral sequences is introduced. Our main theorem answers the question of…

Combinatorics · Mathematics 2014-03-24 Elias Abboud

Motivated by an attempt to develop a method for solving initial value problems in a class of one dimensional periodic cellular automata (CA) associated with crystal bases and soliton equations, we consider a generalization of a simple…

Exactly Solvable and Integrable Systems · Physics 2009-02-10 Taichiro Takagi

A sorting network is a shortest path from 12...n to n...21 in the Cayley graph of S_n generated by nearest-neighbour swaps. We prove that for a uniform random sorting network, as n->infinity the space-time process of swaps converges to the…

Probability · Mathematics 2011-11-10 Omer Angel , Alexander E. Holroyd , Dan Romik , Balint Virag

In robotics motion is often described from an external perspective, i.e., we give information on the obstacle motion in a mathematical manner with respect to a specific (often inertial) reference frame. In the current work, we propose to…

Robotics · Computer Science 2022-10-27 Lukas Huber , Jean-Jacques Slotine , Aude Billard

Rotation averaging is a synchronization process on single or multiple rotation groups, and is a fundamental problem in many computer vision tasks such as multi-view structure from motion (SfM). Specifically, rotation averaging involves the…

Computer Vision and Pattern Recognition · Computer Science 2021-02-11 Xinyi Li , Haibin Ling

Perfect sorting by reversals, a problem originating in computational genomics, is the process of sorting a signed permutation to either the identity or to the reversed identity permutation, by a sequence of reversals that do not break any…

Discrete Mathematics · Computer Science 2012-01-05 Mathilde Bouvel , Cedric Chauve , Marni Mishna , Dominique Rossin

Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic…

Combinatorics · Mathematics 2007-05-23 Tomislav Došlić , Darko Veljan