21 - 30 out of 66Page size: 10
  1. 2020

  2. FPGA Based Modeling of Tohoku Tsunami Using Nested Grids

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 5 Oct 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).

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

  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 Sept 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. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

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

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

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

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

    Chugui, Y. V., Jul 2020, In: Optoelectronics, Instrumentation and Data Processing. 56, 4, p. 350-355 6 p.

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

  6. Self-regulation Strategies and Heart Rate Biofeedback Training

    Jafarova, O., Mazhirina, K., Sokhadze, E. & Shtark, M., 1 Jun 2020, In: Applied Psychophysiology Biofeedback. 45, 2, p. 87-98 12 p.

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

  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 Nov 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 6, p. 623-630 8 p.

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

  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., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 466-471 6 p. 8958127. (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

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

  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 Jul 2019, In: Journal of Physics: Conference Series. 1268, 1, 8 p., 012041.

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

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

Previous 1 2 3 4 5 6 7 Next

ID: 3080771