Mathematical and software support of computing systems, complexes and computer networks

code 2.3.5. • before 2022: 05.13.11 “Mathematical and software support of computers, computer complexes and computer networks”

1. Methods and means for the efficiency of fault simulation in digital devices

   Chepasov, Aleksandr Val'yer'yevich · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
   • 05.13.12 Computer-aided design systems (by industry)
2. Extending the linear-algebra capabilities of computer algebra systems

   Chugunov, Vadim Nikolaevich · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
3. Tool support of CASE technologies

   Chekriy, Sergey Pavlovich · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
4. Development and study of mathematical models for quality control of components of computer systems and networks based on the theory of statistical selection procedures, games with hyperrelations, and modifications of Markov chains

   Tsvetkov, Igor Anatolyevich · 1998 · Doctor of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
5. Software system for predicting the properties of chemical compounds

   Mityushev, Dmitry Feliksovich · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
6. Development of hardware and software tools based on fuzzy modeling methods for improving the operational efficiency of centralized security systems

   Sleptsov, Aleksandr Fedorovich · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
7. Object-oriented environment for underdetermined computations

   Ushakov, Dmitriy Mikhaylovich · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
8. Development and application of fuzzy graph theory methods in the recognition and classification of objects based on incomplete information

   Rakhimi Sherbaf Mogadas Sadeg · 1998 · Candidate of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
9. Methodology for the development and implementation of software-mathematical and information support for systems of state administration bodies

   Kleptsov, Mikhail Yakovlevich · 1997 · Doctor of Sciences

   • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
10. System support of design processes under uncertainty

    Nikitina, Elena Iur'evna · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
11. Software for multimedia technology elements in automated training systems

    Paukov, Andrey Yur'yevich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
12. Methods for the formal analysis of software tool systems of computers based on the theory of unification

    Kashirin, Igor Yuryevich · 1997 · Doctor of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
13. Methods and tools for modeling and analysis based on F-nets

    Molchanov, Aleksey Yuryevich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
14. Mathematical and software support for solving first-order logical equations

    Gulyamov, Shukhrat Baratovich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
15. Instrumental system for developing linguistic processors

    Sharov, Sergey Aleksandrovich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
16. Development and study of optimizations of logical inference in systems of declarative productions

    Chernoyvan, Konstantin Gennadyevich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
17. Development of methods and tools of programming based on computer calculus of tree structures

    Khalatyan, Tigran Gurgenovich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
18. Application of properties of special monoids in the theory of formal languages

    Mel'nikov, Boris Feliksovich · 1997 · Doctor of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
19. Cause-effect structures and Petri nets: interrelation and comparative analysis

    Ustimenko, Aleksandr Petrovich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks
20. Mathematical and software support for the generation of vector spline images with quality assessment in the Hausdorff metric

    Rybalka, Sergey Anatolyevich · 1997 · Candidate of Sciences

    • 05.13.11 Mathematical and software support of computers, computer complexes and computer networks