21 - 40 из 66Размер страницы: 20
Сортировать по:: Год публикации
  1. 2020

  2. 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: Singapore - U.S. Gulf Coast. Institute of Electrical and Electronics Engineers Inc., 9389177. (2020 Global Oceans 2020: Singapore - U.S. Gulf Coast).

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

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

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

  4. The Relationships Between Cortical Activity while Observing Images Featuring Different Degrees of Ambiguity and Ambiguity Tolerance

    Mazhirina, K. G., Dzhafarova, O. A., Kozlova, L. I., Pervushina, O. N., Fedorov, A. A., Bliznyuk, M. V., Khoroshilov, B. M., Savelov, A. A., Petrovskii, E. D. & Shtark, M. B., 1 авг. 2020, в: Bulletin of Experimental Biology and Medicine. 169, 4, стр. 421-425 5 стр.

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

  5. Far Field Diffraction Phenomena on Cylindrical Objects of Small Diameter Taking into Account Their Reflective Properties

    Chugui, Y. V., июл. 2020, в: Optoelectronics, Instrumentation and Data Processing. 56, 4, стр. 350-355 6 стр.

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

  6. Self-regulation Strategies and Heart Rate Biofeedback Training

    Jafarova, O., Mazhirina, K., Sokhadze, E. & Shtark, M., 1 июн. 2020, в: Applied Psychophysiology Biofeedback. 45, 2, стр. 87-98 12 стр.

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

  7. 2019

  8. Improvement of the Accuracy of the Fresnel Method of Measuring the Diameters of Circular Metallic Cylinders with an Arbitrary Coefficient of Light Reflection

    Chugui, Y. V., 1 нояб. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 6, стр. 623-630 8 стр.

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

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

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

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

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

  11. Dependence of tsunami wave maximal heights along a coastline on the source orientation

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 16 июл. 2019, в: Journal of Physics: Conference Series. 1268, 1, 8 стр., 012041.

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

  12. Analyzing the Efficiency of Segment Boundary Detection Using Neural Networks

    Kugaevskikh, A. V. & Sogreshilin, A. A., 1 июл. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 4, стр. 414-422 9 стр.

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

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

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

  14. Constructive Model of Object Image Formation in Partially Coherent Light

    Chugui, Y. V., 1 мая 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 3, стр. 280-288 9 стр.

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

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

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

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

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

  17. Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems

    Rozov, A. S. & Zyubin, V. E., 1 мар. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 198-204 7 стр.

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

  18. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 мар. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 189-197 9 стр.

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

  19. Fast evaluation of tsunami waves heights around kamchatka and kuril islands

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 1 февр. 2019, в: Science of Tsunami Hazards. 38, 1, стр. 1-13 13 стр.

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

  20. Model-driven methods to design of reliable multiagent cyber-physical systems

    Staroletov, S., Shilov, N., Zyubin, V., Liakh, T., Rozov, A., Konyukhov, I., Shilov, I., Baar, T. & Schulte, H., 1 янв. 2019, в: CEUR Workshop Proceedings. 2478, стр. 74-91 18 стр.

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

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

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

  22. Метод проверки гипотез на базе статистической обработки разнородных электроэнцефалографических данных

    Merkulova, E. A., Зюбин, В. Е. & Knyazev, G. G., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 61-71 11 стр.

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

Назад 1 2 3 4 Далее

ID: 3080771