21 - 40 out of 57Page size: 20
  1. 2019

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

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

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 16 Jul 2019, In: Journal of Physics: Conference Series. 1268, 1, 8 p., 012041.

    Research output: Contribution to journal › Conference article › peer-review

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

    Kugaevskikh, A. V. & Sogreshilin, A. A., 1 Jul 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 4, p. 414-422 9 p.

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

  5. Dependence of nearshore tsunami heights maxima on the source location

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., Jun 2019, OCEANS 2019 - Marseille, OCEANS Marseille 2019. Institute of Electrical and Electronics Engineers Inc., 8867113. (OCEANS 2019 - Marseille, OCEANS Marseille 2019; vol. 2019-June).

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

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

    Chugui, Y. V., 1 May 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 3, p. 280-288 9 p.

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

  7. LabVIEW-based automatic verification of process-oriented software

    Liakh, T., Rozov, A. & Zyubin, V., 1 Apr 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).

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

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

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

    Rozov, A. S. & Zyubin, V. E., 1 Mar 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 198-204 7 p.

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

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

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 Mar 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 189-197 9 p.

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

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

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 1 Feb 2019, In: Science of Tsunami Hazards. 38, 1, p. 1-13 13 p.

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

  12. 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 Jan 2019, In: CEUR Workshop Proceedings. 2478, p. 74-91 18 p.

    Research output: Contribution to journal › Conference article › peer-review

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

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

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

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

  15. 2018

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

    Lysakov, K., Lavrentiev, M., Marchuk, A., Oblaukhov, K. & Shadrin, M., 4 Dec 2018, 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans, OCEANS - Kobe 2018. Institute of Electrical and Electronics Engineers Inc., 5 p. 8559365

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

  17. Edge position of object image in projecting noninvariant coherent optical system

    Chugui, Y. V., 13 Nov 2018, In: Journal of Physics: Conference Series. 1065, 3, 032016.

    Research output: Contribution to journal › Conference article › peer-review

  18. Calculation and Analysis of the Pulse Response of Spatially Non-Invariant Projection Systems

    Chugui, Y. V., 1 Nov 2018, In: Optoelectronics, Instrumentation and Data Processing. 54, 6, p. 557-568 12 p.

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

  19. Classification of Hyperspectral Images with Different Methods of Training Set Formation

    Borzov, S. M. & Potaturkin, O. I., 1 Jan 2018, In: Optoelectronics, Instrumentation and Data Processing. 54, 1, p. 76-82 7 p.

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

  20. 2017

  21. 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 Oct 2017, OCEANS 2017 - Aberdeen. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-October. p. 1-5 5 p. (OCEANS-IEEE).

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

  22. Fourier optics of constant-thickness three-dimensional objects on the basis of diffraction models

    Chugui, Y. V., 1 Sept 2017, In: Optoelectronics, Instrumentation and Data Processing. 53, 5, p. 494-507 14 p.

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

  23. DYNAMIC KEYPOINT-BASED ALGORITHM OF OBJECT TRACKING

    Morgacheva, A. I., Kulikov, V. A. & Kosykh, V. P., May 2017, INTERNATIONAL WORKSHOP PHOTOGRAMMETRIC AND COMPUTER VISION TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE. Zheltov, S., Vizilter, Y. & Knyaz (eds.). Copernicus Gesellschaft mbH, p. 79-82 4 p. (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; vol. 42-2).

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

Previous 1 2 3 Next

ID: 3080771