Sciweavers

1021 search results - page 130 / 205
» On the generalized Navier-Stokes equations
Sort
View
AMC
2006
116views more  AMC 2006»
13 years 9 months ago
An algebraic construction of orthonormal M-band wavelets with perfect reconstruction
This paper presents an algebraic approach to construct M-band orthonormal wavelet bases with perfect reconstruction. We first derive the system of constraint equations of M-band f...
Tony Lin, Shufang Xu, Qingyun Shi, Pengwei Hao
ENTCS
2008
102views more  ENTCS 2008»
13 years 9 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
FOCM
2006
59views more  FOCM 2006»
13 years 9 months ago
Newton-Hensel Interpolation Lifting
The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in Z[x] from information modulo a...
Martin Avendano, Teresa Krick, Ariel Pacetti
JCC
2008
117views more  JCC 2008»
13 years 9 months ago
FACTS: Fast analytical continuum treatment of solvation
: An efficient method for calculating the free energy of solvation of a (macro)molecule embedded in a continuum solvent is presented. It is based on the fully analytical evaluation...
Urs Haberthür, Amedeo Caflisch
SIAMCO
2008
96views more  SIAMCO 2008»
13 years 9 months ago
Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations
We consider the class of nonlinear optimal control problems (OCP) with polynomial data, i.e., the differential equation, state and control constraints and cost are all described by...
Jean B. Lasserre, Didier Henrion, Christophe Prieu...