Volume 1. Knowledge Engineering and Intelligent Systems
StressTest: An Intelligent System for Processor Verification | |
I. Wagner, V. Bertacco, T. Austin |
Volume 1. Metalogic and Applicative Computations
Developing and Implementing the Applicative Computational Model of the Semantic Constructions | |
E. E. Andronova |
Volume 1. Conceptual Modelling and Decision Support Systems
Recognition of Line Types using Artificial Neural Network | |
E. V. Chepin, N. Aye |
Volume 1. IT in Social and Economic Modelling
Information Management System of Health Resort | |
F. Kh. Mazitov, B. G. Ilyasov, F. V. Askarova, Sh. Z. Zagidullin |
Viral Knowledge Acquisition through Social Networks | |
D. Soshnikov, M. Chernomordikov, P. Zadumkin, I. Andreev |
Volume 1. IT in Pedagogical Innovations
Criteria-Oriented Testing Results Estimating Model | |
R. Z. Ahmetsafina, Yu. S. Kabalnov, A. L. Kalinina, A. S. Kovtunenko |
Volume 1. Geoinformation Systems
Geoinformation System of Water Resource of Republic of Bashkortostan | |
V. S. Goryachev, S. A. Abramov |
Volume 1. Computer Mathematics
Numerical Simulation of Incompressible Viscous Flow by MPS Method | |
K. E. Afanasiev, A. E. Ilyasov |
This work is licensed under a Creative Commons Attribution 3.0 License.