Related papers: Formalization of Phase Ordering
We investigate a system of harmonically coupled identical nonlinear constituents subject to noise in different spatial arrangements. For global coupling we find for infinitely many constituents the coexistence of several ergodic components…
Synchronization of forced reactively coupled van der Pol oscillators is investigated in the phase approximation. We discuss essential features of the reactive coupling. Bifurcation mechanisms for the destruction of complete synchronization…
Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules that transform multisets of constraints. One of the main…
A system of active colloidal particles driven by harmonic potentials to oscillate about the vertices of a regular polygon, with hydrodynamic coupling between all particles, is described by a piece-wise linear model which exhibits various…
It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and the constraints on states of multiple participants. To assist developers in implementing such protocols, we propose…
Clock synchronization is a widely discussed topic in the engineering literature. Ensuring that individual clocks are closely aligned is important in network systems, since the correct timing of various events in a network is usually…
A generate and test algorithm is described which parses a surface form into one or more lexical entries using linearly ordered phonological rules. This algorithm avoids the exponential expansion of search space which a naive parsing…
The software patterns provide building blocks to the design and implementation of a software system, and try to make the software engineering to progress from experience to science. The software patterns were made famous because of the…
We investigate synchronization effects in quantum self-sustained oscillators theoretically using the micromaser as a model system. We use the probability distribution for the relative phase as a tool for quantifying the emergence of…
Exact coherent states in the Calogero-Sutherland models (of time-dependent parameters) which describe identical harmonic oscillators interacting through inverse-square potentials are constructed, in terms of the classical solutions of a…
Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibility of interface specifications. We present different…
We characterise all pairs of finite order entire functions whose magnitudes agree on two arbitrary lines in the complex plane by means of the Hadamard factorisation theorem. Building on this, we also characterise all pairs of second order…
We develop a linear logical framework within the Hybrid system and use it to reason about the type system of a quantum lambda calculus. In particular, we consider a practical version of the calculus called Proto-Quipper, which contains the…
We consider synchronization of coupled dynamical systems when different types of interactions are simultaneously present. We assume that a set of dynamical systems are coupled through the connections of two or more distinct networks (each…
We describe a novel analogue algorithm that allows the simultaneous factorization of an exponential number of large integers with a polynomial number of experimental runs. It is the interference-induced periodicity of "factoring"…
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel…
We investigate synchronization between two unidirectionally linearly coupled chaotic non-identical time-delayed systems and show that parameter mismatches are of crucial importance to achieve synchronization. We establish that independent…
There are billions of lines of sequential code inside nowadays' software which do not benefit from the parallelism available in modern multicore architectures. Automatically parallelizing sequential code, to promote an efficient use of the…
A coupled map model for the chaotic phase synchronization and its desynchronization phenomenon is proposed. The model is constructed by integrating the coupled kicked oscillator system, kicking strength depending on the complex state…
The particular properties of synchronization are discussed for coupled auto-oscillating systems, which are characterized by non-quadratic law of potential dependence on the coordinate. In particular, structure of the parameter plane…