Geodesic

Volume 14 (2007) no. 1

Table of contents

Minimal projections and largest simplices
p. 3-10
Synchronous model of automaton program
p. 11-18
Динамика простейшей модели системы реакция-диффузия
p. 19-26
$K$-functionals and best piecewice polynomial approximations
p. 27-30
LTL Verification of Automaton Programs
p. 31-43
Distances and other measures of nearness in a set of pairs of black-and-white digital images
p. 44-47
Construction principles of semantic service-oriented architecture
p. 48-53
Automorphisms of transition systems
p. 54-56