Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Modelirovanie i analiz informacionnyh sistem
Tome 25 (2018)
no. 4
Précédent
Suivant
Volume 25 (2018) no. 4
Sommaire
Loop-invariant optimization in the Pifagor language
V. S. Vasilyev
;
A. I. Legalov
p. 347-357
Verification of programs with mutual recursion in the Pifagor language
M. S. Ushakova
;
A. I. Legalov
p. 358-381
An efficient algorithm for finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms
E. V. Kuz'min
;
O. E. Gorbunov
;
P. O. Plotnikov
;
V. A. Tyukin
p. 382-387
The spanning tree of a divisible multiple graph
A. V. Smirnov
p. 388-401
On some approaches to the solution of the problem for blockchains>>
V. G. Durnev
;
D. M. Murin
;
V. A. Sokolov
;
D. Ju. Chalyy
p. 402-410
Question answering system for applicant support by using modern messengers
D. R. Filonov
;
D. Ju. Chalyy
;
D. M. Murin
;
V. G. Durnev
;
V. A. Sokolov
p. 411-420
Dynamic model of single torrent with file-sharing P2P network
A. I. Kononova
p. 421-434
Russianlanguage thesauri: automated construction and application for natural language processing tasks
N. S. Lagutina
;
K. V. Lagutina
;
A. S. Adrianov
;
I. V. Paramonov
p. 435-458