Sciweavers

1387 search results - page 124 / 278
» Convexity in Discrete Space
Sort
View
CSL
2010
Springer
13 years 11 months ago
On the Computability of Region-Based Euclidean Logics
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
Yavor Nenov, Ian Pratt-Hartmann
MOC
2002
115views more  MOC 2002»
13 years 9 months ago
Approximation by quadrilateral finite elements
We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space ...
Douglas N. Arnold, Daniele Boffi, Richard S. Falk
ICIP
1998
IEEE
14 years 11 months ago
Analysis of the Interpolation Error between Multiresolution Images
Many rendering or image-analysis systems require calculation of versions of an image at lesser resolutions than the original. Because the filtering required to perform such calcul...
Bryan S. Morse
CMSB
2009
Springer
14 years 4 months ago
Probabilistic Approximations of Signaling Pathway Dynamics
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
Bing Liu, P. S. Thiagarajan, David Hsu
HYBRID
2003
Springer
14 years 3 months ago
On the Causality of Mixed-Signal and Hybrid Models
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
Jie Liu, Edward A. Lee