An ontology-based approach to support formal verification of concurrent systems

Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

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

COVID-19 Screening Based on Application of Neural Network Classification of Exhale Spectra

Kugaevskikh, A. V., 2022, Proceedings of 2022 3rd International Conference on Neural Networks and Neurotechnologies, NeuroNT 2022. Shaposhnikov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 24-27 4 стр. (Proceedings of 2022 3rd International Conference on Neural Networks and Neurotechnologies, NeuroNT 2022).

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

Dependence of nearshore tsunami heights maxima on the source location

Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., июн. 2019, OCEANS 2019 - Marseille, OCEANS Marseille 2019. Institute of Electrical and Electronics Engineers Inc., 8867113. (OCEANS 2019 - Marseille, OCEANS Marseille 2019; том 2019-June).

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

DYNAMIC KEYPOINT-BASED ALGORITHM OF OBJECT TRACKING

Morgacheva, A. I., Kulikov, V. A. & Kosykh, V. P., мая 2017, INTERNATIONAL WORKSHOP PHOTOGRAMMETRIC AND COMPUTER VISION TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE. Zheltov, S., Vizilter, Y. & Knyaz (ред.). Copernicus Gesellschaft mbH, стр. 79-82 4 стр. (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; том 42-2).

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

Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

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

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

FPGA Based Modeling of Tohoku Tsunami Using Nested Grids

Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 5 окт. 2020, 2020 Global Oceans 2020: Singapore - U.S. Gulf Coast. Institute of Electrical and Electronics Engineers Inc., 9389177. (2020 Global Oceans 2020: Singapore - U.S. Gulf Coast).

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

FPGA-based modelling of the tsunami wave propagation at South Japan water area

Lysakov, K., Lavrentiev, M., Marchuk, A., Oblaukhov, K. & Shadrin, M., 4 дек. 2018, 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans, OCEANS - Kobe 2018. Institute of Electrical and Electronics Engineers Inc., 5 стр. 8559365

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

FPGA based solution for fast tsunami wave propagation modeling

Lavrentiev, M. M., Romanenko, A. A., Oblaukhov, K. K., Marchuk, A. G., Lysakov, K. F. & Shadrin, M. Y., 2017, Proceedings of the 27th International Ocean and Polar Engineering Conference, ISOPE 2017. Society of Petroleum Engineers, стр. 924-929 6 стр.

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

Implementation of Mac-Cormack scheme for the fast calculation of tsunami wave propagation

Lavrentiev, M. M., Romanenko, A. A., Oblaukhov, K. K., Marchuk, A. G., Lysakov, K. F. & Shadrin, M. Y., 25 окт. 2017, OCEANS 2017 - Aberdeen. Institute of Electrical and Electronics Engineers Inc., Том 2017-October. стр. 1-5 5 стр. (OCEANS-IEEE).

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

LabVIEW-based automatic verification of process-oriented software

Liakh, T., Rozov, A. & Zyubin, V., 1 апр. 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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