Classical trajectories are calculated for two Hamiltonian systems with ring shaped potentials. Both systems are super-integrable, but not maximally super-integrable, having four globally defined single-valued integrals of motion each. All finite trajectories are quasi-periodical; they become truly periodical if a com-mensurability condition is imposed on an angular momentum component. R ´ ESUMÉ...

Merging mechanism is an essential operation for version control systems. When each member of collaborative development works on an individual copy of the project, software merging allows to reconcile modifications made concurrently as well as managing software change through branching. The collaborative system is in charge to propose a merge result that includes user’s modifications. T h e u s ...

Eventual failure detectors, such as Ω or ♦P, can make arbitrarily many mistakes before they start providing correct information. This paper shows that any detector implementable in a purely asynchronous system can be implemented as a function of only the order of most-recently heard-from processes. The finiteness of this representation means that eventual failure detectors can be enumerated and...

Sign patterns that require exponential nonnegativity are characterized. A set of conditions necessary for a sign pattern to require eventual exponential nonnegativity are established. It is shown that these conditions are also sufficient for an upper triangular sign pattern to require eventual exponential nonnegativity and it is conjectured that these conditions are both necessary and sufficien...

We address a fundamental issue of interfaces that arises in the context of cloud computing. We define what it means for a replicated and distributed implementation satisfy the standard sequential specification of the data structure. Several extant implementations of replicated data structures already satisfy the constraints of our definition. We describe how the algorithms discussed in a recent...

We present a wait-free solution to the generalized dining philosophers problem under eventual weak exclusion in environments subject to crash faults. Wait-free dining guarantees that every correct hungry process eventually eats, regardless of process crashes. Eventual weak exclusion (3WX ) actually allows scheduling mistakes, whereby mutual exclusion may be violated finitely-many times; for eac...

Today's data-driven internet-facing applications pose unprecedented challenges to the database systems that back these application. In addition to the immense scale of data, thousands of concurrent requests, and low latency response, these applications also strive for 24X7 availability. The big data serving systems empowering these applications must therefore have low request latencies, be high...

HeteroGenome is a non-redundant catalog of DNA periodicity regions in a number of complete genomes of various organisms. It shows the results of an automated spectral-statistical approach to the genome-wide heterogeneity (latent periodicity) search. The significance level of revealed heterogeneities is 10 -6 and below. Heterogeneity regions listed in the database are potential regions of a late...

A periodicity extraction method is introduced to analyze voiced sounds with a complex excitation behavior. Although general voiced sound has only one periodicity, some voiced sounds such as the pathological voice and the singing voice often have multiple periodicities. A method for estimating multiple periodicities from voiced sounds to deal with these kinds of voices is proposed in this articl...