1891 - 1900 out of 25,121Page size: 10
Sort by: Title

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

  2. Automating the Transition from Dialectal to Literary Forms in Uzbek Language Texts: An Algorithmic Perspective

    Mengliev, D. B., Abdurakhmonova, N., Hayitbayeva, D. & Barakhnin, V. B., 2023, Proceedings of the 2023 IEEE 16th International Scientific and Technical Conference Actual Problems of Electronic Instrument Engineering, APEIE 2023. Institute of Electrical and Electronics Engineers (IEEE), p. 1440-1443 4 p.

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

  3. Automation of EEG Data Processing with HPC Community Cloud

    Gorodnichev, M. A., Nalepova, E. D., Merkulova, E. A., Rudych, P. D. & Savostyanov, A. N., 2023, 24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023; Novosibirsk; Russian Federation; 29 June 2023 до 3 July 2023. IEEE Computer Society, p. 1320-1323 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; vol. 2023-June).

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

  4. Automation of the Smart Contract Development Using Situation Models

    Galieva, A. G. & Palchunov, D. E., 2022, Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society, p. 698-703 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; vol. 2022-June).

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

  5. Automation of VPN Tunnel Deployment between Trusted Users

    Khramov, I. Y., Ivanov, N. S., Smirnov, E. F., Latypov, I. V. & Gumirov, A. V., 26 Jan 2021, Proceedings of the 2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering, ElConRus 2021. Shaposhnikov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 449-453 5 p. 9396669. (Proceedings of the 2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering, ElConRus 2021).

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

  6. Automorphism groups of quandles and related groups

    Bardakov, V., Nasybullov, T. & Singh, M., 1 May 2019, In: Monatshefte fur Mathematik. 189, 1, p. 1-21 21 p.

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

  7. Automorphism groups of quandles arising from groups

    Bardakov, V. G., Dey, P. & Singh, M., 1 Dec 2017, In: Monatshefte fur Mathematik. 184, 4, p. 519-530 12 p.

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

  8. Automorphisms of finitely generated free metabelian Novikov algebras

    Bokut, L. A., Chen, Y. & Zhang, Z., 8 Sept 2024, In: Journal of Algebra and its Applications. 2550370.

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

  9. Automorphisms of nonsplit extensions of 2-groups by PSL2

    Revin, D. O. & Zavarnitsine, A. V., 1 Nov 2021, In: Journal of Group Theory. 24, 6, p. 1245–1261 17 p.

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

  10. Automorphisms of pure braid groups

    Bardakov, V. G., Neshchadim, M. V. & Singh, M., 1 Sept 2018, In: Monatshefte fur Mathematik. 187, 1, p. 1-19 19 p.

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

Previous 1...186 187 188 189 190 191 192 193 ...2513 Next