Model. Anal. Inform. Sist., 2007, Volume 14, Number 4

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

2007, Volume 14, Number 4

	An investigation of the modified nerve impulse saltatore conduction model V. V. Maiorov, S. E. Anufrienko		3
	An algorithm for the recognition of images I. A. Mikhailov		7
	Nets of active resources V. A. Bashkin		13
	Verification of synchronous-automaton programs S. V. Kubasov		20
	On a method of scientific creativity J. G. Guschin		28
	Genus and the Lyusternik-Schnirelmann category of preimages R. N. Karasev		31
	On theorems of R. Rado and of D. Watson V. L. Dol'nikov		36
	Formal model of basic sense in proverb A. S. Malkova, V. I. Janvarev		42
	On the lower estimate for $k+1$-nondecomposible permutations G. R. Chelnokov		53