203 search results - page 8 / 41 » Reflections on reflections in explicit mathematics |
ESANN
2004
13 years 9 months ago
2004
In this tutorial paper about neural maps we review the current state in theoretical aspects like mathematical treatment of convergence, ordering and topography, magnification and o...
AML
2008
13 years 8 months ago
2008
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
BIB
2010
13 years 6 months ago
2010
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
NHM
2010
13 years 2 months ago
2010
Previous experimental studies of spontaneous imbibition on chalk core plugs have shown that seawater may change the wettability in the direction of more water-wet conditions in cha...