598 search results - page 27 / 120 » Typing the Numeric Tower |
148
click to vote
SAC
2004
ACM
15 years 10 months 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...
130
click to vote
ICPPW
2005
IEEE
15 years 10 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,...
110
click to vote
FIMH
2005
Springer
15 years 10 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...
146
click to vote
IJBC
2007
15 years 4 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...
146
click to vote
CGF
2005
15 years 4 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...