Use of Computer Methods for Analyzing Brain Signals to Assess the Success of Adaptation of Labor Migrants to Extreme Climate Conditions

Milakhina, N., Karpova, A., Astakhova, T. & Savostyanov, A., 30 Jun 2021, 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials, EDM 2021 - Proceedings. IEEE Computer Society, p. 577-581 5 p. 9507608. (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

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

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

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

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

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

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