Methods for Solving User Authentication and Identification Problems Based on Keystroke Dynamics Analysis
| Authors: Yamchenko Yu.V. | Published: 20.03.2020 |
| Published in issue: #1(130)/2020 | |
| DOI: 10.18698/0236-3933-2020-1-124-139 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: keystroke dynamics, user, authentication, identification, machine learning, classification methods | |
Modified Ant Algorithm VLSI Planning on the Basis of the Composite Model of the Solution Space
| Authors: Lebedev B.K., Lebedev O.B., Zhiglaty A.A. | Published: 12.10.2019 |
| Published in issue: #5(128)/2019 | |
| DOI: 10.18698/0236-3933-2019-5-49-63 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: VLSI planning, section tree, modified Polish notation, composite structure, ant colony, hybridization | |
Fuzzy Methods of Hemispherical Resonator Gyroscope Simulation
| Authors: Demenkov N.P., Matveev V.A. , Mochalov I.A. | Published: 13.06.2018 |
| Published in issue: #3(120)/2018 | |
| DOI: 10.18698/0236-3933-2018-3-33-50 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: fuzzy model of a wave solid-state gyroscope, fuzzy transformation of Laplace, fuzzy operator method, fuzzy method of Galerkin, fuzzy inverse method, fuzzy transformation of Laplace | |
An Algorithm of Binary Tree Encoding with Minimum Redundancy
| Authors: Korvyakov V.P. | Published: 28.05.2017 |
| Published in issue: #3(114)/2017 | |
| DOI: 10.18698/0236-3933-2017-3-33-46 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: binary tree, Catalan numbers, encoding algorithm, minimal redundancy | |
Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems
| Authors: Burenkov V.S., Ivanov S.R. | Published: 14.02.2017 |
| Published in issue: #1(112)/2017 | |
| DOI: 10.18698/0236-3933-2017-1-49-66 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: formal method, model checking, model transformations, cache coherence protocol | |
Bionformatics System with Wrist Joint Movement Classfier Based on Fuzzy Logic
| Authors: Gavrilov A.I., Soe Soe Thaw Oo | Published: 06.12.2016 |
| Published in issue: #6(111)/2016 | |
| DOI: 10.18698/0236-3933-2016-6-71-84 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: fuzzy logic, electromyography, pattern recognition, multifunctional prosthesis | |
Selective Covariance-Based Localization, Classification and Tracking in Video Streams from Multiple Cameras
| Authors: Devyatkov V.V., Alfimtsev A.N. , Taranyan A.R. | Published: 06.12.2016 |
| Published in issue: #6(111)/2016 | |
| DOI: 10.18698/0236-3933-2016-6-54-70 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: pattern recognition, computer vision, human tracking, covariance matrix, covariance region descriptor, selective localization | |
Summary-based interprocedural analysis method for implementation in multi-purpose static C/C++ code analyzer
| Authors: Romanova T.N., Sidorin A.V. | Published: 12.10.2015 |
| Published in issue: #5(104)/2015 | |
| DOI: 10.18698/0236-3933-2015-5-75-96 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: summary-based method, interprocedural analysis, symbolic execution, Clang Static Analyzer, search for defects, report building, C/C++ | |
Investigation of mathematical models stability and geometry configurations
| Authors: Gordeev E.N. | Published: 12.10.2015 |
| Published in issue: #5(104)/2015 | |
| DOI: 10.18698/0236-3933-2015-5-61-74 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: discrete optimization problems, theory of stability, radius of stability, mathematical modelling, computational geometry, parametric programming | |
Development and implementation of operators for handling archive personnel information in the form of multidimensional spaces, using 1C
| Authors: Baldin A.V., Tonoyan S.A., Eliseev D.V. | Published: 03.09.2015 |
| Published in issue: #4(103)/2015 | |
| DOI: 10.18698/0236-3933-2015-4-113-126 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Basis of Informatics | |
| Keywords: relational database, mivar space, temporal, SQL query, multidimensional space, relations, operators, set, database structure, data structure, interpreter | |