Geodesic

Volume 14 (2007) no. 4

Sommaire

An investigation of the modified nerve impulse saltatore conduction model
p. 3-6
An algorithm for the recognition of images
p. 7-12
Nets of active resources
p. 13-19
Verification of synchronous-automaton programs
p. 20-27
On a method of scientific creativity
p. 28-30
Genus and the Lyusternik-Schnirelmann category of preimages
p. 31-35
On theorems of R.~Rado and of D.~Watson
p. 36-42
Formal model of basic sense in proverb
p. 42-52
On the lower estimate for $k+1$-nondecomposible permutations
p. 53-56