Sciweavers

1021 search results - page 158 / 205
» On the generalized Navier-Stokes equations
Sort
View
TAPIA
2005
ACM
14 years 1 months ago
Computation of nonclassical shocks using a spacetime discontinuous Galerkin method
We present a numerical study for two systems of conservation laws using a spacetime discontinuous Galerkin (SDG) method with causal spacetime triangulations and the piecewise cons...
Katarina Jegdic
CSL
2005
Springer
14 years 1 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
GECCO
2005
Springer
151views Optimization» more  GECCO 2005»
14 years 1 months ago
The application of antigenic search techniques to time series forecasting
Time series have been a major topic of interest and analysis for hundreds of years, with forecasting a central problem. A large body of analysis techniques has been developed, par...
Ian Nunn, Tony White
HYBRID
2005
Springer
14 years 1 months ago
Polynomial Stochastic Hybrid Systems
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
João P. Hespanha
HYBRID
2005
Springer
14 years 1 months ago
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
Robin L. Raffard, Jianghai Hu, Claire Tomlin