Geodesic

Sommaire du Fascicule no. 1

From the editor of the special issue
p. 5-6
On the transfer of a number of concepts of statistical radiophysics to the theory of one-dimensional point mappings
p. 7-17
Asymptotic approximation of the solution of the reaction-diffusion-advection equation with a nonlinear advective term
p. 18-32
Upper and lower solutions for the FitzHugh--Nagumo type system of equations
p. 33-53
Invariant characteristics of forced oscillations of a beam with longitudinal compression
p. 54-62
The Andronov--Hopf bifurcation in a biophysical model of the Belousov reaction
p. 63-70
Features of the local dynamics of the opto-electronic oscillator model with delay
p. 71-82
On a singularly perturbed problem of the nonlinear thermal conductivity in the case of balanced nonlinearity
p. 83-91
The Kuramoto--Sivashinsky equation. A local attractor filled with unstable periodic solutions
p. 92-101
Periodic and quasiperiodic solutions in the system of three Hutchinson equations with a delayed broadcast connection
p. 102-111
Periodic variations of an autowave structure in two-dimensional system of parabolic equations
p. 112-124
Existence and stability of the periodic solution with an interior transitional layer in the problem with a weak linear advection
p. 125-132
Edge states and chiral solitons in topological hall and Chern--Simons fields
p. 133-139
On minimal absorption index for an $n$-dimensional simplex
p. 140-150

Sommaire du Fascicule no. 2

On а recursive-parallel algorithm for solving the Knapsack Problem
p. 155-164
Measuring overhead of concurrency and virtual memory
p. 165-173
On the correctness of real-time modular computer systems modeling with stopwatch automata networks
p. 174-192
Comparative analysis of stability to induced deadlocks for computing grids with various node architectures
p. 193-206
Organization of multi-controller interaction in software defined networks
p. 207-216
Model of the connecting optimal number of heat consumers
p. 217-231
Codes in dihedral group algebra
p. 232-245

Sommaire du Fascicule no. 3

A new approach for detecting and resolving anomalies in security policy of the external firewall module of the floodlight SDN controller
p. 251-256
On estimation of an average time profit in probabilistic environmental and economic models
p. 257-267
Dynamics of population patch distribution
p. 268-275
The support splitting algorithm for induced codes
p. 276-290
On optimal interpolation by linear functions on an $n$-dimensional cube
p. 291-311
On the Hodge, Tate and Mumford--Tate conjectures for fibre products of families of regular surfaces with geometric genus~1
p. 312-322
On the Taylor differentiability in spaces $L_p, 0$
p. 323-330
Isoperimetric and functional inequalities
p. 331-342

Sommaire du Fascicule no. 4

Loop-invariant optimization in the Pifagor language
p. 347-357
Verification of programs with mutual recursion in the Pifagor language
p. 358-381
An efficient algorithm for finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms
p. 382-387
The spanning tree of a divisible multiple graph
p. 388-401
On some approaches to the solution of the problem for blockchains>>
p. 402-410
Question answering system for applicant support by using modern messengers
p. 411-420
Dynamic model of single torrent with file-sharing P2P network
p. 421-434
Russianlanguage thesauri: automated construction and application for natural language processing tasks
p. 435-458

Sommaire du Fascicule no. 5

From the editors of the special issue
p. 463-464
A control flow graph based approach to make the~verification of cyber-physical systems using~KeYmaera easier
p. 465-480
On methods in the verification and elaboration of development programs for agricultural territories
p. 481-490
The automation of C program verification by symbolic method of loop invariants elimination
p. 491-505
On the expressive power of some extensions of linear temporal logic
p. 506-524
On safety of unary and non-unary IFP-operators
p. 525-533
Polyprograms and polyprogram bisimulation
p. 534-548
Etude on recursion elimination
p. 549-560
Universal hypergraphic automata representation by autonomous input symbols
p. 561-571
Disordered oscillations in a neural network of three oscillators with a delayed broadcast connection
p. 572-583

Sommaire du Fascicule no. 6

Even simple processes of $\pi$-calculus are hard for analysis
p. 589-606
Verification oriented process ontology
p. 607-622
Translation from Event-B into Eiffel
p. 623-636
Platform-independent specification and verification of the standard mathematical square root function
p. 637-666
Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
p. 667-679
On some problems for a simplex and a ball in ${\mathbb R}^n$
p. 680-691
Singular points of curves
p. 692-710
Application of genetic algorithms for finding edit distance between process models
p. 711-725
Word embedding for semantically relative words: an experimental study
p. 726-733