1. THE SOFTWARE SYSTEM FOR THE STUDY THE MORPHOLOGY OF THE KAZAKH LANGUAGE

    Barakhnin, V. B., Fedotov, A. M., Bakiyeva, A. M., Bakiyev, M. N., Tazhibayeva, S. Z., Batura, T. V., Kozhemyakina, O. Y., Tussupov, D. A., Sambetbaiyeva, M. A. & Lukpanova, L. K., 2017, ICPE 2017: INTERNATIONAL CONFERENCE ON PSYCHOLOGY AND EDUCATION. Malykh, SB. & Nikulchev, EV. (ред.). FUTURE ACAD, стр. 18-27 10 стр. (European Proceedings of Social and Behavioural Sciences; том 33).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  2. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

    Nechesov, A. V., Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., 2025, в: Bulletin of Irkutsk State University, Series Mathematics. 54, стр. 96-112 17 стр., 7.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models

    Palchunov, D. E. & Trofimov, A. V., 1 мая 2020, в: Siberian Mathematical Journal. 61, 3, стр. 516-527 12 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. The Use of Model-Theoretical Methods for Automated Knowledge Extraction from Medical Texts

    Pogodin, R. S. & Palchunov, D., 30 июн. 2021, 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials, EDM 2021 - Proceedings. IEEE Computer Society, стр. 555-560 6 стр. 9507606. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; том 2021-June).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. Tortuosity of Delaunay Triangulations and Statistics of Shortest Paths

    Malkovich, E. G. & Bystrov, A. A., 21 окт. 2024, в: Experimental Mathematics.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Towards safe cyber-physical systems: The reflex language and its transformational semantics

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., апр. 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ред.). Institute of Electrical and Electronics Engineers Inc., 6 стр. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  7. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

    Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., окт. 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 857-861 5 стр. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  8. Towards the Impact of Pruning Criteria and Tuning Approach on Model Interpretability and Quality

    Shcherbin, A., 2024, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1800-1805 6 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  9. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  10. Unified Formalization of «natural» Classification, «natural» Concepts, and Consciousness as Integrated Information by Giulio Tononi

    Vityaev, E., 2015, в: Procedia Computer Science. 71, стр. 169-177 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

ID: 3084753