An orbit pattern $$\alpha $$ is said to force an $$\beta , if any continuous interval map which admits also . Among the patterns that only eventually fixed trajectories, we completely describe forcing relation, by answering question: others? We provide two different ways enlist them through formal languages. One constructed words and another derived words.

We present a multi-level graph partitioning algorithm using novel local improvement algorithms and global search strategies transferred from multigrid linear solvers. Local improvement algorithms are based on max-flow min-cut computations and more localized FM searches. By combining these techniques, we obtain an algorithm that is fast on the one hand and on the other hand is able to improve th...

A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities defining the system. Another characterizing dimension of these systems is their, possibly, arbitrary large size (number of entities) and the possible arbitrary small part of the system a single entity directly interacts with. This interaction occurs through data exchange over logi...

In this work, the potentially eventually positive double star sign patterns are characterized. It is shown that, up to equivalence, an (m + n) × (m + n) double star sign pattern is potentially eventually positive if and only if it is a superpattern of four specific sign patterns. © 2012 Elsevier Ltd. All rights reserved.

Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce significant communication costs to maintain consistency between the replicas. Eventually-Serializable Data Service (ESDS) has been proposed to reduce these costs and enable fast operations on data, while still providing guarantees th...