51 - 60 out of 64Page size: 10
Sort by: Title

  1. 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 Aug 2020, In: Bulletin of Experimental Biology and Medicine. 169, 4, p. 421-425 5 p.

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

  2. Three-dimensional optoelectronic measurement systems and laser technologies for scientific and industrial applications

    Chugui, Y. V., 1 Jul 2015, In: Optoelectronics, Instrumentation and Data Processing. 51, 4, p. 385-397 13 p.

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

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

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

  5. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1490-1495 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

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

  7. Verification of industrial control algorithms in virtual laboratory stands

    Liakh, T. & Zyubin, V., 2017, 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., p. 380-384 5 p.

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

  8. Биологически-подобные модели сверточных нейронов в задаче распознавания иллюзорного контура

    Кугаевских, А. В. & Берьянов, М. С., 2022, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 1, p. 47-56 10 p., 4.

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

  9. Дифракционные явления на протяжённой асимметричной щели c абсолютно поглощающими внутренними гранями

    Чугуй, Ю. В., 2022, In: Автометрия. 58, 1, p. 54-67 14 p., 7.

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

  10. Исследование архитектур нейронных сетей для определения концентраций газов по спектрам

    Щелоков, А. Е. & Будников, К. И., 2024, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 22, 2, p. 68-78 11 p., 6.

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

Previous 12 3 4 5 6 7 Next

ID: 3080771