Geodesic

Sommaire du Fascicule no. 1

Requirement patterns in deductive verification of poST programs
p. 6-31
Model checking programs in process-oriented IEC 61131-3 Structured Text
p. 32-53
On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
p. 54-77
Minimal coverage of generalized typed inclusion dependencies in databases
p. 78-89
Application of deep neural networks for automatic irony detection in Russian texts
p. 90-101
NP-completeness of the Eulerian walk problem for a multiple graph
p. 102-114

Sommaire du Fascicule no. 2

Verification of declarative LTL-specification of control programs behavior
p. 120-141
Mathematical properties of the agent-based model of extinction --- recolonization for population genetics
p. 142-151
On the study of one way to detect anomalous program execution
p. 152-163
Suppression of additive periodic low-frequency interference on eddy current defectograms
p. 164-181
UAV detection using neural networks
p. 182-193
Automatic determination of semantic similarity of student answers with the standard one using modern models
p. 194-205
Keywords, morpheme parsing and syntactic trees: features for text complexity assessment
p. 206-220

Sommaire du Fascicule no. 3

Methods of implicit aspect detection in Russian publicism sentences
p. 226-239
LTL-specification for development and verification of logical control programs in feedback systems
p. 240-279
Matrix-qubit algorithm for semantic analysis of probabilistic data
p. 280-293
Discovering hierarchical process models: an approach based on events partitioning
p. 294-315
Estimation of interpolation projectors using Legendre polynomials
p. 316-337
Some polynomial subclasses of the Eulerian walk problem for a multiple graph
p. 338-356

Sommaire du Fascicule no. 4

Methods of sentiment detection towards aspect of economic and social development in Russian sentences
p. 362-383
Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
p. 384-425
Disambiguation of regular expressions with backreferences via term rewriting
p. 426-445
Using TLA+/TLC for modeling and verification of cryptographic protocols
p. 446-473
An exact schedulability test for real-time systems with abstract scheduler on multiprocessor platforms
p. 474-494