Sciweavers

1021 search results - page 28 / 205
» On the generalized Navier-Stokes equations
Sort
View
101
Voted
AAAI
1990
15 years 2 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
95
Voted
APPML
2010
103views more  APPML 2010»
15 years 29 days 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
122
Voted
AMC
2007
93views more  AMC 2007»
15 years 29 days 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
86
Voted
PROCEDIA
2010
123views more  PROCEDIA 2010»
14 years 11 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
FOCM
2008
76views more  FOCM 2008»
15 years 26 days ago
Point Counting in Families of Hyperelliptic Curves
Let
Hendrik Hubrechts