Geodesic

Sommaire du Fascicule no. 1

Corner Boundary Layer in Nonlinear Elliptic Problems Containing Derivatives of First Order
p. 7-31
On One Means of Hard Excitation of Oscillations in Nonlinear Flutter Systems
p. 32-44
Classical and Nonclassical Symmetries of Nonlinear Differential Equation for Describing Waves in a Liquid with Gas Bubbles
p. 45-52
The Influence of Delayed Feedback Control on Stabilization of Periodic Orbits
p. 53-65
Equations of Motion of a Rigid Body with Two Elastic Rods
p. 66-72
Local Dynamics of a Logistic Equation with Delay
p. 73-88
Applying the Averaging Principle to a Logistic Equation with Rapidly Oscillating Delay
p. 89-93
Asymptotics of a Steady-State Condition of Finite-Difference Approximation of a Logistic Equation with Delay and Small Diffusion
p. 94-114
Asymmetric Interaction of a Pair FitzHugh--Nagumo Oscillators
p. 115-120
On the Seminar ``Nonlinear Dynamics''
p. 121-132

Sommaire du Fascicule no. 2

Method of Anti-Virus Protection Based on $(n,t)$ Threshold Proxy Signature with an Arbitrator
p. 5-14
On the Recursive-Parallel Programming for the .NET Framework
p. 15-25
Construction of PLC IL-Programs by LTL-Specification
p. 26-38
Fast Multiplication of a Matrix with Large Multiplicative Order by a Vector Over a Finite Field
p. 39-49
Some Residual Properties of Finite Rank Groups
p. 50-55
Equivalence Problem Solvability in Gateway Program Models
p. 56-70
Non-Classical Relaxation Oscillations in Neurodynamics
p. 71-89
Reducibility of the Moduli Space of Stable Rank $2$ Reflexive Sheaves with Chern Classes $c_1=-1$, $c_2=4$, $c_3=2$ on Projective Space $\mathbb{P}^3$
p. 90-96

Sommaire du Fascicule no. 3

Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients.~I
p. 5-34
Stability of CW Solutions of the FDML Laser
p. 35-54
On the Equilibrium State Stability of a Neural Network Model
p. 55-61
Impulse Neuron and Cellular Neural Automaton are Asymptotically Equivalent
p. 62-80
Countable Additivity of Spreading the Differentiation Operator
p. 81-90
On an Optimal Quadrature Formula for Classes of Functions Given by Modulus of Continuity
p. 91-105
Approximate Solution of an Optimal Control Dot Mobile Problem for~a~Nonlinear Hyperbolic Equation
p. 106-120
Calculating Lyapunov Value for the Logistic Equation with Rapidly Oscillating Delay
p. 121-128

Sommaire du Fascicule no. 4

A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
p. 5-12
Applying Stochastic Metaheuristics to the Problem of Data Management in a Multi-Tenant Database Cluster
p. 13-24
Some Properties of Metric Polytope Constraints
p. 25-34
On the Variety of Paths on Complete Intersections in Grassmannians
p. 35-46
Perfect Prismatoids are Lattice Delaunay Polytopes
p. 47-53
On Stable Instances of MINCUT
p. 54-63
Cellular-local Algorithm for Localizing and Estimating Changes in Binary Images
p. 64-74
Modeling a Consistent Behavior of PLC-Sensors
p. 75-90
Development of an Algorithm for Heart Rate Measurement Using a Mobile Phone Camera
p. 91-103
Equivalence Problem Solvability in Biparametric Gateway Program Models
p. 104-115
Primitive Program Schemes with Procedures
p. 116-131
Heuristic Algorithms for The Problem of Integer Balancing of a Three-dimensional Matrix with Constraints of Second Type
p. 132-147
On the Root-class Residuality of HNN-extensions of Groups
p. 148-180
On Process Model Synthesis Based on Event Logs with Noise
p. 181-198

Sommaire du Fascicule no. 5

Center manifold method in the asymptotic integration problem for functional differential equations with oscillatory decreasing coeffcients.~II
p. 5-37
Application of the method of quasi-normal forms to the mathematical model of a single neuron
p. 38-48
Doubly periodic meromorphic solutions of autonomous nonlinear differential equations
p. 49-60
The dynamics of the logistic equation with delay and delayed control
p. 61-77
Optimal behavior control of an initial-boundary problem solution modelling rotation of a solid body with the flexible rod
p. 78-92
Application of numerical optimization methods to perform molecular docking on graphics processing units
p. 93-101
DPMine graphical language for automation of experiments in process mining
p. 102-115
Characteristics of complexity: clique number of a polytope graph and rectangle covering number
p. 116-130
Application of computer algebra systems to the construction of the collocations and least residuals method for solving the 3D Navier--Stokes equations
p. 131-147
Attractor in circular structure of oscillatory generalized neural elements
p. 148-161
On the number of coexisting autowaves in the chain of coupled oscillators
p. 162-180

Sommaire du Fascicule no. 6

From the editors of the special issue
p. 5-6
Random model sampling: making Craig interpolation work when it should not
p. 7-17
Controllable deadlocks in parallel resource-constrained workflows
p. 18-30
Using SPIN for verification of multi-agent data analysis
p. 31-43
Approach to behavior scenarios debugging
p. 44-56
On the update problems for software defined networks
p. 57-70
Towards the ’verified verifier’. Theory and practice
p. 71-82
Using a bounded model checker for test generation: how to kill two birds with one SMT-solver
p. 83-93
Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets
p. 94-106
Support for visual languages evolution in DSM-platform QReal
p. 107-119
Identification of programs based on the behavior
p. 120-130
IDE support of string-embedded languages
p. 131-143
Incremental approach to the technology of test design for industrial projects
p. 144-154
Software for graph analysis and visualization
p. 155-168
PolarDB --- infrastructure for specialized NoSQL datebases and DBMS
p. 169-175
Seminar ``Nonlinear Dynamics''
p. 176-192