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).

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

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).

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

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).

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

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).

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

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).

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

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, стр. 1830-1833 4 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

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 июн. 2021, 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials, EDM 2021 - Proceedings. IEEE Computer Society, стр. 577-581 5 стр. 9507608. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; том 2021-June).

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