Geodesic

Volume (2021) no. 2

Sommaire

Binary solutions to large systems of linear equations
p. 5-15
Algorithmic theory of solvable groups
p. 16-64
On the nonexistence of certain orthogonal arrays of strength four
p. 65-68
Detection of malware using an artificial neural network based on adaptive resonant theory
p. 69-82
The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB
p. 83-96
The maximum number of vertices of primitive regular graphs of orders $2, 3, 4$ with exponent~$2$
p. 97-104
Metric for comparing graphs with ordered vertices based on the maximum common subgraph
p. 105-113
Discrete closed one-particle chain of contours
p. 114-125