Geodesic

Sommaire du Fascicule no. 1

Production, redistribution, and inequality
p. 5-12
Asymptotic of eigenvalues of periodic and antiperiodic boundary value problem for second order differential equations
p. 13-30
Existence and stability of the solutions with internal layers in multidimensional problems of the reaction-diffusion-advection type with balanced nonlinearity
p. 31-38
On combining different acceleration techniques at the iterative solution of PDEs by the method of collocations and least residuals
p. 39-63
Asymptotics for solutions of harmonic oscillator with integral perturbation
p. 64-81
Relaxation oscillations in a system of two pulsed synaptically coupled neurons
p. 82-93
New estimates of numerical values related to a simplex
p. 94-110
Completion of the kernel of the differentiation operator
p. 111-120

Sommaire du Fascicule no. 2

Discovering high-level process models from event logs
p. 125-140
Polyhedral characteristics of balanced and unbalanced bipartite subgraph problems
p. 141-154
Analysis of typed inclusion dependencies with null values
p. 155-167
About bifurcations at small perturbations in a logistic equation with delay
p. 168-185
Relaxation cycles in a model of synaptically interacting oscillators
p. 186-204
On the Tate conjectures for divisors on a fibred variety and on its generic scheme fibre in the case of finite characteristic
p. 205-214
De-duplication on the backup system with information storage in a database
p. 215-226
Optimization problems with averaging over the variables
p. 227-238
Decoding the tensor product of $ \mathrm{MLD} $ codes and applications for code cryptosystems
p. 239-252

Sommaire du Fascicule no. 3

From the editors of the special issue
Moving front solution of the reaction-diffusion problem
p. 259-279
Singularly perturbed elliptic Dirichlet problem with three-band boundary layer
p. 280-287
On contrast structures with a multizonal interior layer
p. 288-308
Nonstationary equations for the reaction layer with the degenerate equilibrium points
p. 309-321
Dynamically adapted mesh construction for the efficient numerical solution of a singular perturbed reaction-diffusion-advection equation
p. 322-338
The heat equation solution near the interface between two media
p. 339-352
A note on the domain of attraction for the stationary solution to a singularly perturbed parabolic equation
p. 353-358
Study of the dynamics of a class of one-dimensional piecewise linear displays with one gap
p. 359-364
Mathematical model of Nicholson's experiment
p. 365-386

Sommaire du Fascicule no. 4

On the spatial boundedness of cellular RDA-nets
p. 391-409
Tree centroid properties clarification
p. 410-414
On the minimization problem for sequential programs
p. 415-433
Data rates assessment on L2–L3 CPU bus and bus between CPU and RAM in modern CPUs
p. 434-444
Investigation of a Markov model for computer system security threats
p. 445-458
Using event logs for local correction of process models
p. 459-480
Automated system for teaching Computational Complexity of Algorithms course
p. 481-495
Testing timed nondeterministic finite state machines with the guaranteed fault coverage
p. 496-507
The expansion of self-similar functions in the Faber--Schauder system
p. 508-515

Sommaire du Fascicule no. 5

Existence of an unbiased entropy estimator for the special Bernoulli measure
p. 521-536
Stability of the solutions of the simplest space-distributed discrete equations
p. 537-549
The impulse-refractive mode in the neural network with ring synaptic interaction
p. 550-566
On locally convex curves
p. 567-577
On $n$-dimensional simplices satisfying inclusions $S\subset [0,1]^n\subset nS$
p. 578-595
Asymptotic integration of certain differential equations in Banach space
p. 596-614
Bifurcations of spatially inhomogeneous solutions of a boundary value problem for the generalized Kuramoto--Syvashinsky equation
p. 615-628
Versions of the collocation and least residuals method for solving problems of mathematical physics in the convex quadrangular domains
p. 629-648
A family of non-rough cycles in a system of two coupled delayed generators
p. 649-654
Constructive solution of ellipticity problem for the first order differential systems
p. 655-670

Sommaire du Fascicule no. 6

From the editor of the special issue
p. 675-676
Semantics-driven migration of Java programs: a practical experience
p. 677-690
Towards measuring the abstractness of state machines based on mutation testing
p. 691-703
Jolie Static Type Checker: a prototype
p. 704-717
Towards null safety benchmarks for object initialization
p. 718-729
Deriving synchronizing and homing sequences for input/output automata
p. 730-742
Invariant elimination of definite iterations over arrays in C programs verification
p. 743-754
Semantic security methods for software-defined networks
p. 755-759
On finding a~threshold of useful signals in the analysis of magnetic and eddy current defectograms
p. 760-771
Analysis of influence of different relations types on the quality of thesaurus application to text classification problems
p. 772-787
The shortest path problem for a multiple graph
p. 788-801
Synthesis of control and state observer for weakly nonlinear systems based on the pseudo-linearization technique
p. 802-810
Poetology: problems of constructing a thesaurus and verse text specification
p. 811-815