| Edição |
Título |
Arquivo |
| Volume 53, Nº 8 (2019) |
Model of Cyberattacks on Digital Production Systems |
(Eng)
|
|
Pavlenko E.
|
| Volume 53, Nº 8 (2019) |
Actual Vulnerabilities of Industrial Automation Protocols of an Open Platform Communications Series |
(Eng)
|
|
Zegzhda D., Kalinin M., Levykin M.
|
| Volume 53, Nº 8 (2019) |
Spoofing Attack on Eigenfaces-Based Biometric Identification System |
(Eng)
|
|
Marshalko G., Nikiforova L.
|
| Volume 53, Nº 8 (2019) |
Model for Identifying Cyber Threats to Internet Information Resources |
(Eng)
|
|
Luskatov I., Pilkevich S.
|
| Volume 53, Nº 8 (2019) |
Face Recognition Based on the Coefficient Tree for Three Scale Wavelet Transformation |
(Eng)
|
|
Wang Lyanpen ., Petrosyan O., Jianming D.
|
| Volume 53, Nº 8 (2019) |
Identifying Cyberthreats in Modern Industrial Systems by Means of Deep-Learning Networks |
(Eng)
|
|
Krundyshev V.
|
| Volume 53, Nº 8 (2019) |
Preparing Datasets for Training in a Neural Network System of Intrusion Detection in Industrial Systems |
(Eng)
|
|
Krundyshev V.
|
| Volume 53, Nº 7 (2019) |
Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing Tasks |
(Eng)
|
|
Lagutina N., Lagutina K., Adrianov A., Paramonov I.
|
| Volume 53, Nº 7 (2019) |
A Question-Answering System for Applicant Support Using Modern Messaging Apps |
(Eng)
|
|
Filonov D., Chalyy D., Murin D., Durnev V., Sokolov V.
|
| Volume 53, Nº 7 (2019) |
Dynamic Model of Information Exchange Processes in a Peer-to-Peer Network |
(Eng)
|
|
Kononova A.
|
| Volume 53, Nº 7 (2019) |
On Safety of Unary and Nonunary IFP Operators |
(Eng)
|
|
Dudakov S.
|
| Volume 53, Nº 7 (2019) |
On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories |
(Eng)
|
|
Vega Vice J., Mikhailov V.
|
| Volume 53, Nº 7 (2019) |
On the Expressive Power of Some Extensions of Linear Temporal Logic |
(Eng)
|
|
Gnatenko A., Zakharov V.
|
| Volume 53, Nº 7 (2019) |
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination |
(Eng)
|
|
Kondratyev D., Maryasov I., Nepomniaschy V.
|
| Volume 53, Nº 7 (2019) |
On Some Problems for a Simplex and a Ball in \({{\mathbb{R}}^{n}}\) |
(Eng)
|
|
Nevskii M.
|
| Volume 53, Nº 7 (2019) |
Word Embedding for Semantically Related Words: An Experimental Study |
(Eng)
|
|
Karyaeva M., Braslavski P., Sokolov V.
|
| Volume 53, Nº 7 (2019) |
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms |
(Eng)
|
|
Kuzmin E., Gorbunov O., Plotnikov P., Tyukin V., Bashkin V.
|
| Volume 53, Nº 7 (2019) |
Application of a Genetic Algorithm for Finding Edit Distances between Process Models |
(Eng)
|
|
Kalenkova A., Kolesnikov D.
|
| Volume 53, Nº 7 (2019) |
Verification-Oriented Process Ontology |
(Eng)
|
|
Garanina N., Anureev I., Borovikova O.
|
| Volume 53, Nº 7 (2019) |
Even Simple π-Calculus Processes Are Difficult to Analyze |
(Eng)
|
|
Abbas M., Zakharov V.
|
| Volume 53, Nº 7 (2019) |
On the Support Splitting Algorithm for Induced Codes |
(Eng)
|
|
Kosolapov Y., Shigaev A.
|
| Volume 53, Nº 7 (2019) |
Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models |
(Eng)
|
|
Rodina L., Tyuteev I.
|
| Volume 53, Nº 7 (2019) |
Design and Security Analysis of a Fragment of Internet of Things Telecommunication System |
(Eng)
|
|
Alexandrov V., Desnitsky V., Chaly D.
|
| Volume 53, Nº 7 (2019) |
Probabilistic Analysis of Tournament Organization Systems |
(Eng)
|
|
Tsirlin A., Akhremenkov A.
|
| Volume 53, Nº 7 (2019) |
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function |
(Eng)
|
|
Shilov N., Kondratyev D., Anureev I., Bodin E., Promsky A.
|
| 26 - 50 de 463 resultados |
<< < 1 2 3 4 5 6 7 8 9 10 > >>
|
