Sciweavers

1021 search results - page 28 / 205
» On the generalized Navier-Stokes equations
Sort
View
AAAI
1990
14 years 11 months ago
Inductive Synthesis of Equational Programs
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
Nachum Dershowitz, Eli Pinchover
80
Voted
APPML
2010
103views more  APPML 2010»
14 years 10 months ago
Solutions to stochastic fractional oscillation equations
We formulate a fractional stochastic oscillation equation as a generalization of Bagley's fractional differential equation. We do this in analogous way as in the case of Bass...
Anna Karczewska, Carlos Lizama
97
Voted
AMC
2007
93views more  AMC 2007»
14 years 10 months ago
Moving averages of solutions of ODEs
Moving averages of the solution of an initial value problem for a system of ordinary differential equations are used to extract the general behavior of the solution without follow...
Lawrence F. Shampine, Skip Thompson
68
Voted
PROCEDIA
2010
123views more  PROCEDIA 2010»
14 years 8 months ago
Mean square convergence of a semidiscrete scheme for SPDEs of Zakai type driven by square integrable martingales
In this short note, a direct proof of L2 convergence of an Euler–Maruyama approximation of a Zakai equation driven by a square integrable martingale is shown. The order of conve...
Annika Lang
67
Voted
FOCM
2008
76views more  FOCM 2008»
14 years 10 months ago
Point Counting in Families of Hyperelliptic Curves
Let
Hendrik Hubrechts