598 search results - page 27 / 120 » Typing the Numeric Tower |
SAC
2004
ACM
14 years 29 days ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
ICPPW
2005
IEEE
14 years 1 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
FIMH
2005
Springer
14 years 1 months ago
2005
Springer
Numerical simulations of re-entrant waves in detailed ionic models reveal a phenomenon that is impossible in traditional simplified mathematical models of FitzHugh-Nagumo type: di...
IJBC
2007
13 years 7 months ago
2007
We investigate the behaviour of a neural network model consisting of three neurons with delayed self and nearest-neighbour connections. We give analytical results on the existence...
CGF
2005
13 years 7 months ago
2005
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...