Geodesic

Volume 31 (2024) no. 2

Table of contents

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