Geodesic

Sommaire du Fascicule no. 1

Asymptotics of the Solution of Bisingular Problem for a System of Linear Parabolic Equations.~I
p. 5-17
Quasinormal Forms for Lang--Kobayashi Equations with a Large Control Coefficient
p. 18-29
Dimensional Characteristics of Diffusion Chaos
p. 30-51
Relaxation Oscillations in a System with Delays Modeling the Predator--Prey Problem
p. 52-98
The Effect of Domain Deformation on the Behavior of a Distributed Kinetic System
p. 99-106
Unbiased Entropy Estimator for Binary Sequences
p. 107-115
On the Virtual Residuality of Baumslag--Solitar Groups by Finite p-Groups
p. 116-123
On the Residual Finiteness of Some Generalized Products of Soluble Groups of Finite Rank
p. 124-132
On the Root-Class Residuallity of Generalized Free Products
p. 133-137
Deformations of Planar Equilateral Polygons with a Constant Index
p. 138-159
On the Seminar ``Nonlinear Dynamics''
p. 160-168

Sommaire du Fascicule no. 2

Associative Parallel Algorithm for Dynamic Update of the Shortest Paths~Tree
p. 5-22
An Algorithm for Parameters Estimation of Autoregressive Model of Basic Speech Units
p. 23-33
``Robots in Space'' Multiagent Problem: Complexity, Information and Cryptographic Aspects
p. 34-53
Some Solvability Classes for the Problem of Integer Balancing of a Three-Dimensional Matrix with Constraints of Second Type
p. 54-69
Construction of a Model for the Cross-Domain Opinion Word Extraction
p. 70-79
Unified Classification Model for Geotagging Websites
p. 80-91
Homology Groups of a Pipeline Petri Net
p. 92-103
Modeling, Specification and Construction of PLC-programs
p. 104-120
Asymptotics of the Solution of the Bisingular Problem for a System of Linear Parabolic Equations.~II
p. 121-128
Technologies and Algorithms for Building the Augmented Reality
p. 129-138
On the Efficient Representation of an Unbounded Resource with the Aid of~One-Counter Circuits
p. 139-156
On the Turns of Digital Images
p. 157-165
The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms
p. 166-177
Algorithm for Efficient Entropy Estimation
p. 178-185

Sommaire du Fascicule no. 3

Parametric Resonance in a Time-Dependent Harmonic Oscillator
p. 5-28
Spatial Properties of High-Mode Bifurcations of a Distributed Logistic Equation
p. 29-42
Diffusion Chaos in Reaction -- Diffusion Boundary Problem in the Dumbbell Domain
p. 43-57
Self-organization, Networks, Future
p. 58-76
On Some Problem for a Simplex and a Cube in ${\mathbb R}^n$
p. 77-85
Parametric Resonance in the Logistic Equation with Delay under a Two-Frequency Perturbation
p. 86-98
Families of Smooth Rational Curves of Small Degree on the Fano Variety of Degree~5 of Main Series
p. 99-107
Application of the Fuzzy Classification for Linear Hybrid Prediction Methods
p. 108-120
The Optimal Quadrature Formula of Approximate Calculation of Curvilinear Integral of First Kind for Some Classes of Functions and Curves
p. 121-129
Transformations of Optimal Control Problems
p. 130-152

Sommaire du Fascicule no. 4

Construction and Verification of PLC-programs by~LTL-specification
p. 5-22
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
p. 23-40
Automation of Tabular Application Formation
p. 41-54
An Algorithm of $(n,t)$-Threshold Proxy Signature with an Arbitrator
p. 55-70
On Delaunay’s Theorem Classifying Coincidences of Parallelohedra at Faces of Codimension~3
p. 71-80
A Substitution Algorithm for Dataflow Network Agents on Smart-M3 Platform
p. 81-90
A Novel Approach to Many-to-Many User Authentication in Different Information Systems
p. 91-103
Study of Orthogonal Signals to the Rotation of the Polarization Vector
p. 104-109
Software-Defined Networks as a Stage of the Network Technology Evolution
p. 110-124
Domain-Specific Thesaurus as a Tool for Information Retrieval and~Collection of Knowledge
p. 125-135
Designing and Development of an Imitation Model of a Multi-Tenant Database Cluster
p. 136-149

Sommaire du Fascicule no. 5

Relaxation Oscillations in Models of Multi-Species Biocenose
p. 5-24
Features of Oscillations in Adiabatic Oscillators with Delay
p. 25-44
Local Dynamics of a Laser with Rapidly Oscillating Parameters
p. 45-61
Statistical Characteristics of Control Systems, Arising in Various Models of Natural Sciences
p. 62-77
On a Problem of Optimal Control for a Nonlinear Pseudohyperbolic Equation
p. 78-89
The Exact Inequalities of Jackson--Stechkin Type and the Width Values for Some Classes of Functions in $L_{2}$ Space
p. 90-105
Exact Values of Widths of Some Functional Classes in $L_{2}$ and Minimization of the Constants in Inequalities of Jackson--Stechkin Type
p. 106-116
Closed Locally Minimal Networks on the Surfaces of Convex Polyhedra
p. 117-147
The Estimation of the Number of Lattice Tilings of a Plane by a Given Area Polyomino
p. 148-157
The Quasi-Normal Form of a System of Three Unidirectionally Coupled Singularly Perturbed Equations with Two Delays
p. 158-167

Sommaire du Fascicule no. 6

Common Knowledge in Well-structured Perfect Recall Systems
p. 10-21
Defect Detection: Combining Bounded Model Checking and Code Contracts
p. 22-35
A Formal Model and Verification Problems for Software Defined Networks
p. 36-51
Automatic C Program Verification Based on Mixed Axiomatic Semantics
p. 52-63
The Guide-based Automatic Creation of Verified Test Scenarious
p. 64-77
Construction and Verification of PLC LD-programs by LTL-specification
p. 78-94
International Conference “Geometry, Topology, and Applications”
p. 95-102
Regular Polygonal Complexes of Higher Ranks in $\mathbb{E}^3$
p. 103-110
On the Bootstrap for Persistence Diagrams and Landscapes
p. 111-120
Subword Complexes and Nil-Hecke Moves
p. 121-128
A Definition of Type Domain of a Parallelotope
p. 129-134
On the Areal Random Packing
p. 135-141
On Homology Groups of a Subspace of Triangulations of the Two-Simplex with not More than 6 Subdivisional Boundary Vertices
p. 142-148
Hyperbolic Tetrahedron: Volume Calculation with Application to the Proof of the Schl\"afli Formula
p. 149-161
Segmentation of Clinical Endoscopic Images Based on the Classification of Topological Vector Features
p. 162-173
Construction of an Entropy Estimator with a Special Metrics and an Arbitrary Function
p. 174-178
Relaxation Cycles in a Generalized Neuron Model with Two Delays
p. 179-199