Geodesic

Sommaire du Fascicule no. 1

Estimation of length of node-to-node paths distribution in the global network
p. 6-21
On the properties of algebraic geometric codes as copy protection codes
p. 22-38
On a segment partition for entropy estimation
p. 40-47
Modern approaches to detect and classify comment toxicity using neural networks
p. 48-61
Hierarchical clustering as a dimension reduction technique for Markowitz portfolio optimization
p. 62-71
Branch and bound algorithm for the traveling salesman problem is not a direct type algorithm
p. 72-85
Parallel algorithm for solving the graph isomorphism problem
p. 86-94
The determination of distances between images by de Rham currents method
p. 96-107
A Markov model of non-mutually exclusive cyber threats and its applications for selecting an optimal set of information security remedies
p. 108-123
Calculation of derivatives in the $L_p$ spaces where $1 \le p \le \infty$
p. 124-131

Sommaire du Fascicule no. 2

On the detection of exploitation of vulnerabilities leading to the execution of a malicious code
p. 138-151
On a mechanism for the formation of spatially inhomogeneous structures of light waves in optical information transmission systems
p. 152-163
Dynamically changing parallelism with the asynchronous sequential data flows
p. 164-179
Method of the joint clustering in network and correlation spaces
p. 180-193
“VTMine for Visio”: graphical tool for modeling in Process Mining
p. 194-217
Research and development of an algorithm for the response time estimation in multiprocessor systems under the interval uncertainty of the tasks execution times
p. 218-233
On the approximation of the resource equivalences in Petri nets with the invisible transitions
p. 234-253

Sommaire du Fascicule no. 3

Efficient equivalence checking technique for some classes of finite-state machines
p. 260-303
On the existence problem of finite bases of identities in the algebras of recursive functions
p. 304-315
Application of convolutional neural networks for recognizing long structural elements of rails in eddy-current defectograms
p. 316-329
Automated search and analysis of the stylometric features that describe the style of the prose 19th-21st centuries
p. 330-343
Features of the algorithmic implementation of difference analogues of the logistic equation with delay
p. 344-355
A generalization of the inference rules for join dependencies in databases
p. 356-365

Sommaire du Fascicule no. 4

From the editors of the issue
p. 372-374
Deriving homing sequences for finite state machines with timed guards
p. 376-395
On the modeling of sequential reactive systems by means of real time automata
p. 396-411
Temporal logic for programmable logic controllers
p. 412-427
On the model checking problem for some extension of CTL*
p. 428-441
Knowledge-based algorithms for BDI-agents
p. 442-453
InnoChain: a distributed ledger for industry with formal verification on all implementation levels
p. 454-471
Architecture of the formally-verified distributed ledger system innochain
p. 472-487
The “one-fifth rule” with rollbacks for self-adjustment of the population size in the $(1 + (\lambda,\lambda))$ genetic algorithm
p. 488-508
Corrigendum to: V. A. Sokolov, “On the existence problem of finite bases of identities in the algebras of recursive functions”, Modeling and Analysis of Information Systems, vol. 27, no. 3, pp. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315
p. 510-511