71 - 80 out of 275Page size: 10
Sort by: Title

  1. Unsupervised Anomaly Detection on Distributed Log Tracing through Deep Learning

    Khudyakov, D. A. & Yakhyaeva, G. E., 2024, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1830-1833 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

    Vityaev, E., 2015, In: Procedia Computer Science. 71, p. 169-177 9 p.

    Research output: Contribution to journal › Conference article › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. 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, p. 1800-1805 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  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., Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ed.). Institute of Electrical and Electronics Engineers Inc., 6 p. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. Tortuosity of Delaunay Triangulations and Statistics of Shortest Paths

    Malkovich, E. G. & Bystrov, A. A., 21 Oct 2024, In: Experimental Mathematics.

    Research output: Contribution to journal › Article › peer-review

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

    Pogodin, R. S. & Palchunov, D., 30 Jun 2021, 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials, EDM 2021 - Proceedings. IEEE Computer Society, p. 555-560 6 p. 9507606. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

    Palchunov, D. E. & Trofimov, A. V., 1 May 2020, In: Siberian Mathematical Journal. 61, 3, p. 516-527 12 p.

    Research output: Contribution to journal › Article › peer-review

  10. 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. (eds.). FUTURE ACAD, p. 18-27 10 p. (European Proceedings of Social and Behavioural Sciences; vol. 33).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1...4 5 6 7 8 9 10 11 ...28 Next

ID: 3084753