1021 search results - page 120 / 205 » On the generalized Navier-Stokes equations |
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—We determine the linear precoding policy that maximizes the mutual information for general multiple-input multiple-output (MIMO) Gaussian channels with arbitrary input distribut...
ICDM
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...