Geodesic

Sommaire du Fascicule no. 1

Time scales and the asymptotics for the solutions of discrete adiabatic oscillators
p. 5-27
Dynamics of a quasi-linear boundary problem generalizing the~equation with large delay
p. 28-31
Dynamical properties of a model for the passive mode locking
p. 32-36
Spatially inhomogeneous periodic solutions in the Hutchinson equation with distributed saturation
p. 37-45
Chaotic oscillations of a distributed system with infinite delay
p. 46-55
Resonances in the problem of the panel flutter in a~supersonic gas flow
p. 56-67
Dynamics of weak interaction in a system of similar species
p. 68-74
Local dynamics of an equation with long delay feedback
p. 75-85
Quasi-periodic oscillations of a neuron equation with two delays
p. 86-105
Relaxation cycles of the generalized pulsed neuron equation
p. 106-115
A strategy for the execution of copy and delete operations in the tree of objects
p. 116-129
On tensor squares of irreducible representations of almost simple groups.~I
p. 130-141
Geometric estimates in the polynomial interpolation
p. 142-148
On the Seminar ``Nonlinear Dynamics''
p. 149-154

Sommaire du Fascicule no. 2

On tensor squares of reducible representations of almost simple groups.~II
p. 5-17
On a function representation in an imperative program model specified by Petri nets
p. 18-38
Object query computing optimization in the dynamic information model DIM
p. 39-51
On geometric characteristics of an $n$-dimensional simplex
p. 52-64
Principles of constructing layered neural networks based on pulse neurons
p. 65-76
The decomposition of a train into its cars
p. 77-112
Mars robot puzzle (a multiagent approach to the Dijkstra problem)
p. 113-128
ARTCP packet structure. Features of the formation and processing of ARTCP headers in Linux network subsystem
p. 129-138

Sommaire du Fascicule no. 3

On the Lassak conjecture for a convex body
p. 5-11
Principal quasinormal forms for two-component systems of parabolic equations
p. 12-20
On asymptotics for critical solutions of systems of differential equations with oscillatory decreasing coefficients
p. 21-41
Local dynamics of an equation with large exponential distributed delay
p. 42-49
On differential and antidifferential operators
p. 50-57
Analysis of running waves stability in the Ginzburg--Landau equation with small diffusion
p. 58-62
About two finite-dimensional approximations of the periodic boundary value problem
p. 63-74
Limiting Possibilities of Transmission of Information in an Economic Macrosystem
p. 75-81
Hypergraphs of special type and CUT polytope relaxations properties analysis
p. 82-100
Dynamic programming in a generalized courier problem with inner tasks: elements of a parallel structure
p. 101-124
Module-based multimedia document model: basic principles and software architecture
p. 125-143
Optimization of queries containing conjunctions of conditions
p. 144-154

Sommaire du Fascicule no. 4

From the editors of the special issue
p. 5-6
Typical examples of Atoment language using
p. 7-20
Attribute annotations and their use in C program deductive verification
p. 21-33
Approximating bisimulation in one-counter nets
p. 33-44
LLVM-based static analysis tool using type and effect systems
p. 45-55
Optimization procedures in affine model checking
p. 56-67
The use of dependencies for improving the precision of program static analysis
p. 68-79
Inhibitor Petri net that executes an arbitrary given Markov normal algorithm
p. 80-93
Automatic data race error detection in systemC models
p. 94-105
A simple algorithm for solving the coverability problem for monotonic counter systems
p. 106-117
A formal requirements model, used in the process of application code and test code generation
p. 118-130
A SPIN-based approach for detecting vulnerabilities in С~programs
p. 131-143
Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets
p. 144-156
C program verification: VC explanation and the standard library
p. 157-167
Verification of backtracking and branch and bound design templates
p. 168-180