Sciweavers

5647 search results - page 726 / 1130
» A word from the editor
Sort
View
JLP
2010
85views more  JLP 2010»
15 years 1 months ago
Synchronous Kleene algebra
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
Cristian Prisacariu
JSS
2010
142views more  JSS 2010»
15 years 1 months ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter
MMAS
2010
Springer
15 years 1 months ago
Filtering Random Layering Effects in Imaging
Objects that are buried deep in heterogeneous media produce faint echoes which are difficult to distinguish from the backscattered field. Sensor array imaging in such media cannot ...
Liliana Borcea, F. González del Cueto, Geor...
SIAMMA
2010
81views more  SIAMMA 2010»
15 years 1 months ago
Heteroclinic Travelling Waves in Convex FPU-Type Chains
We consider infinite FPU-type atomic chains with general convex potentials and study the existence of monotone fronts that are heteroclinic travelling waves connecting constant asy...
Michael Herrmann, Jens D. M. Rademacher
151
Voted
SIAMMAX
2010
117views more  SIAMMAX 2010»
15 years 1 months ago
On the Convergence of Rational Ritz Values
Ruhe's rational Krylov method is a popular tool for approximating eigenvalues of a given matrix, though its convergence behavior is far from being fully understood. Under fair...
Bernhard Beckermann, Stefan Güttel, Raf Vande...