Geodesic

Sommaire du Fascicule no. 1

Service choreography in semantic service-oriented architecture
p. 3-9
Travelling waves bifurcation of the modified Ginzburg-Landau's equation
p. 10-15
On the decidability of boundedness problems for counter Minsky machines
p. 16-26
PL/ODQL object enhancement of ODQL query language for Dynamic information model DIM
p. 27-33
Integral near-Eiler characteristics of halftone digital images
p. 34-36
The library for parallel execution of rpC-programs under Win32
p. 37-40
The recursive parallel programming shell for Win32
p. 41-44
Spatial non-homogeneous invariant tori in the Multiplier-Accelerator model
p. 45-50
On approaches to modeling regional economic systems of cluster type
p. 51-62

Sommaire du Fascicule no. 2

On the synchronization in neural network based on the impulse neuron model
p. 3-9
On the stability of solutions of some equations from the class of adiabatic oscillators
p. 10-17
The buffer phenomenon in one delay differential equation
p. 18-25
On the problems of statistical estimation of economical models
p. 26-30
The Buffer Phenomenon in second-order equations with large delay
p. 31-35
Lang-Kobayashi model dynamics features in the critical case
p. 36-45
Verification of Synchronous-automaton Programs using LTL
p. 46-49
Bifurcations of homogeneous cycle of generalized cubic Shrodinger equation in the triangle
p. 50-54
Relaxation oscillations in the simplest models with delay
p. 55-60
A correction for period of oscillation in the model of spiking neuron
p. 61-66
Parametric excitation of chaotic oscillations in one second order differential equation with delay
p. 67-71
Complex oscillation in systems of two and three spiking neurons
p. 72-74
Dynamics of two coupled neuron-type oscillators
p. 75-88
Dynamics of parabolic equation with small diffusion and deviation of spatial variable
p. 89-93
On the Seminar ``Nonlinear Dynamics''
p. 94-98

Sommaire du Fascicule no. 3

Application of weaker simulations to parameterized model checking by network invariants
p. 3-13
The boundedness problem for lossy counter machines
p. 14-27
Inequalities for the norms of interpolating projections
p. 28-37
On the one class of high-level finite automata
p. 38-46
Automata-based approach for correct Java Card-program
p. 47-55

Sommaire du Fascicule no. 4

Finite automorphism groups of Petri Nets
p. 3-9
Relationships between the clique number, chromatic number and degree for some graphs
p. 10-22
Invariance of quasiconcave functions cone under the action of positive operators
p. 23-30
A Bernstein type inequality for smooth splines
p. 31-41
Algorithms for the boundedness problem for Minsky counter machines
p. 42-55
Some image recognition methods
p. 56-64
On the equivalence constants for some norms on the spaces of algebraic polynomials
p. 65-80