Displaying similar documents to “Numerical approximation of effective coefficients in stochastic homogenization of discrete elliptic equations”

Towards parametrizing word equations

H. Abdulrab, P. Goralčík, G. S. Makanin (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

Classically, in order to resolve an equation ≈ over a free monoid *, we reduce it by a suitable family of substitutions to a family of equations ≈ , f , each involving less variables than ≈ , and then combine solutions of ≈ into solutions of ≈ . The problem is to get in a handy form. The method we propose consists in parametrizing the path traces in the so called associated to ≈ . We carry out such a parametrization in the case the prime equations in the graph involve at...

A Compositional Approach to Synchronize Two Dimensional Networks of Processors

Salvatore La Torre, Margherita Napoli, Mimmo Parente (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

The problem of synchronizing a network of identical processors that work synchronously at discrete steps is studied. Processors are arranged as an array of rows and columns and can exchange each other only one bit of information. We give algorithms which synchronize square arrays of ( × ) processors and give some general constructions to synchronize arrays of ( × ) processors. Algorithms are given to synchronize in time , n log n , n n and 2 a square array of ( × ) processors. Our...

Non-Trapping sets and Huygens Principle

Dario Benedetto, Emanuele Caglioti, Roberto Libero (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

We consider the evolution of a set Λ 2 according to the Huygens principle: the domain at time , Λ, is the set of the points whose distance from is lower than . We give some general results for this evolution, with particular care given to the behavior of the perimeter of the evoluted set as a function of time. We define a class of sets (non-trapping sets) for which the perimeter is a continuous function of , and we give an algorithm to approximate the evolution. Finally we restrict...