Displaying similar documents to “Towards parametrizing word equations”

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...

On the minimizing point of the incorrectly centered empirical process and its limit distribution in nonregular experiments

Dietmar Ferger (2010)

ESAIM: Probability and Statistics

Similarity:

Let be the empirical distribution function (df) pertaining to independent random variables with continuous df . We investigate the minimizing point τ ^ n of the empirical process , where is another df which differs from . If and are locally Hölder-continuous of order at a point our main result states that n 1 / α ( τ ^ n - τ ) converges in distribution. The limit variable is the almost sure unique minimizing point of a two-sided time-transformed homogeneous...

Exponential convergence of quadrature for integral operators with Gevrey kernels

Alexey Chernov, Tobias von Petersdorff, Christoph Schwab (2011)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

Galerkin discretizations of integral equations in ℝ d require the evaluation of integrals I = ∫ S ( 1 ) ∫ S ( 2 ) g ( x , y ) d y d x where , are -simplices and has a singularity at = . We assume that is Gevrey smooth for ≠ and satisfies bounds for the derivatives which allow algebraic singularities at = . This holds for kernel functions commonly occurring in integral equations. We construct a family of quadrature rules 𝒬 N using function evaluations of which...

Exponential convergence of quadrature for integral operators with Gevrey kernels

Alexey Chernov, Tobias von Petersdorff, Christoph Schwab (2011)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

Galerkin discretizations of integral equations in ℝ d require the evaluation of integrals I = ∫ S ( 1 ) ∫ S ( 2 ) g ( x , y ) d y d x where , are -simplices and has a singularity at = . We assume that is Gevrey smooth for ≠ and satisfies bounds for the derivatives which allow algebraic singularities at = . This holds for kernel functions commonly occurring in integral equations. We construct a family of quadrature rules 𝒬 N using function evaluations of which...