Results 1  10
of
200,054
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, ...
, 1989
"... .We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans#nite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of in#nitary theories ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
.We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans#nite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of in
Nonlocal robustness analysis via rewriting techniques ✩
"... Robustness is a correctness property which intuitively means that if the inputs to a program changes less than a fixed small amount then its output changes only slightly. The study of errors caused by finiteprecision semantics requires a stronger property: the results in the finiteprecision semant ..."
Abstract
 Add to MetaCart
is nonlocal in the sense that instead of breaking the analysis down to single lines of code, it checks certain global properties of its structure. We show the applicability of our method on two standard algorithms: the CORDIC computation of the cosine and Dijkstra’s shortest path algorithm.
Nonlocal dispersal and bistability
 Euro. Journal of Applied Mathematics, Cambridge university press
, 2006
"... The scalar initial value problem ut = ρDu+ f(u), is a model for dispersal. Here u represents the density at point x of a compact spatial region Ω ∈ Rn and time t, and u(·) is a function of t with values in some function space B. D is a bounded linear operator and f(u) is a bistable nonlinearity for ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
The scalar initial value problem ut = ρDu+ f(u), is a model for dispersal. Here u represents the density at point x of a compact spatial region Ω ∈ Rn and time t, and u(·) is a function of t with values in some function space B. D is a bounded linear operator and f(u) is a bistable nonlinearity for the associated ODE ut = f(u). Problems of this type arise in mathematical ecology and materials science where the simple diffusion model with D = ∆ is not sufficiently general. The study of the dynamics of the equation presents a difficult problem which crucially differs from the diffusion case in that the semiflow generated is not compactifying. We study the asymptotic behaviour of solutions and ask under what conditions each positive semiorbit converges to an equilibrium (as in the case D = ∆). We develop a technique for proving that indeed convergence does hold for small ρ and show by constructing a counterexample that this result does not hold in general for all ρ. 1
Couplers for nonlocality swapping
, 812
"... Abstract. Studying generalized nonsignalling theories brings insight to the foundations of quantum mechanics. Here we focus on a dynamical process in such general theories, namely nonlocality swapping, the analogue of quantum entanglement swapping. In order to implement such a protocol, one needs ..."
Abstract
 Add to MetaCart
Abstract. Studying generalized nonsignalling theories brings insight to the foundations of quantum mechanics. Here we focus on a dynamical process in such general theories, namely nonlocality swapping, the analogue of quantum entanglement swapping. In order to implement such a protocol, one needs
Is Quantum Mechanics NonLocal?
, 1998
"... Stapp has recently argued from a version of the Hardy type experiments that quantum mechanics must be nonlocal, independent of any additional assumptions like realism or hidden variables. I argue that either his conclusions do not follow from his assumptions, or that his assumptions are not true of ..."
Abstract
 Add to MetaCart
Stapp has recently argued from a version of the Hardy type experiments that quantum mechanics must be nonlocal, independent of any additional assumptions like realism or hidden variables. I argue that either his conclusions do not follow from his assumptions, or that his assumptions are not true
Nonlocal operators and applications
, 2008
"... One of the main objectives of this workshop was to present a state of the art of current research on nonlocal operators. Over the last few years, there has been a lot of interests for such operators, and much progress have been made by mathematicians working in many different areas. The goal of thi ..."
Abstract
 Add to MetaCart
One of the main objectives of this workshop was to present a state of the art of current research on nonlocal operators. Over the last few years, there has been a lot of interests for such operators, and much progress have been made by mathematicians working in many different areas. The goal
STOCHASTIC MECHANICS, NONLOCAL
"... An extension ofstochastic mechanics which allows for nonlocal potentials i described. It leads, in general, to integrodifferential equations for the probability density and to a stochastic differential equation involving both diffusion and jump processes. A study of nonlocal potentials ofconvolu ..."
Abstract
 Add to MetaCart
An extension ofstochastic mechanics which allows for nonlocal potentials i described. It leads, in general, to integrodifferential equations for the probability density and to a stochastic differential equation involving both diffusion and jump processes. A study of nonlocal potentials
Results 1  10
of
200,054