51 - 57 out of 57Page size: 10
Sort by: Title

  1. Calculating the Images of a Volume Asymmetric Ideally Absorbing Edge of an Object in Coherent Light

    Chugui, Y. V., Nov 2020, In: Optoelectronics, Instrumentation and Data Processing. 56, 6, p. 623-633 11 p.

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

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

  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. 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. Analysis of the efficiency of classification of hyperspectral satellite images of natural and man-made areas

    Borzov, S. M., Potaturkin, A. O., Potaturkin, O. I. & Fedotov, A. M., 1 Jan 2016, In: Optoelectronics, Instrumentation and Data Processing. 52, 1

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

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

  7. 3D image formation in transmitted partially coherent and incoherent light applied to dimensional inspection

    Chugui, Y. V. & Senchenko, E. S., 1 Sept 2015, In: International Journal of Automation Technology. 9, 5, p. 508-514 7 p.

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

Previous 12 3 4 5 6 Next

ID: 3080771