A vector …eld in n-space is reconstructed from a n-dimensional family of ray or line integrals. A similar problem is considered for di¤erential forms of higher order. Key words: Di¤erential form, ray integral, k-plane integral, reconstruction, support condition AMS subject classi…cation (2000): Primary, 53C65; Secondary, 65R32, 76M27 Abbreviated title: Doppler transform 1 Introduction Integrals...

Stochastic di erential games are considered in a non-Markovian setting. Typically, in stochastic di erential games the modulating process of the di usion equation describing the state ow is taken to be Markovian. Then Nash equilibria or other types of solution such as Pareto equilibria are constructed using Hamilton-Jacobi-Bellman (HJB) equations. But in a non-Markovian setting the HJB method i...

An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. We extend conventional action systems with a di erential action consisting of a di erential equation and an evolution guard. The semantics is giv...

We are interested in modelling Darwinian evolution, resulting from the interplay of phenotypic variation and natural selection through ecological interactions. Our models are rooted in the microscopic, stochastic description of a population of discrete individuals characterized by one or several adaptive traits. The population is modelled as a stochastic point process whose generator captures t...

Consider the Cauchy problem for an ordinary diierential equation _ x = g(t; x); x(0) = x; t 2 0; T]: (1:1) When g is continuous, the local existence of solutions is provided by Peano's theorem. Several existence and uniqueness results are known also in the case of a discontinuous right hand side 7]. We recall here the classical theorem of Carath eodory 8]: Theorem A. Let g : 0; T] IR n 7 ! IR n...

We deene continual queries as a useful tool for monitoring of updated information. Continual queries are standing queries that monitor the source data and notify the users whenever new data matches the query. In addition to periodic refresh, continual queries include Epsilon Transaction concepts to allow users to specify query refresh based on the magnitude of updates. To support eecient proces...

Here we will provide an overview of the method of nding symmetries of partial di erential equations. First we will discuss some basic facts regarding local groups of transformations, symmetries of algebraic equations and group actions on functions. We will then proceed to a discussion of how to interpret the task of solving a PDE in terms of jet spaces, and the meaning of group actions in this ...

in this paper, a new and ecient approach based on operational matrices with respect to the gener-alized laguerre polynomials for numerical approximation of the linear ordinary dierential equations(odes) with variable coecients is introduced. explicit formulae which express the generalized la-guerre expansion coecients for the moments of the derivatives of any dierentiable function in terms...

Observers are usually formulated as explicit systems of di erential equations and implemented using standard ODE solvers. In this paper, we show that there can be advantages in formulating the observer as a DAE (Di erential-Algebraic Equation). We review the general idea of DAE observer design of [10]. We give two special normal forms for which DAE observer design yields an observer with linear...

A transformation is introduced to e!ectively remove level e!ects, i.e. the state dependency of the di!usion function, in a restricted class of multivariate stochastic di!erential equations such that the general continuous}discrete-time nonlinear "ltering problem may be solved using new or existing implementations of the extended kalman "lter (EKF). An implementation of a quasi-maximum likelihoo...