321 - 330 out of 331Page size: 10
  1. 2025

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

  3. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1430-1434 5 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

  4. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1440-1445 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

  5. Evolution of Accelerator Based Neutron Source VITA

    Bikchurina, M. I., Bykov, T. A., Verkhovod, G. D., Degtyarev, V. S., Kasatov, D. A., Kashcheev, A. A., Kolesnikov, Y. A., Konovalova, V. D., Koshkarev, A. M., Kuznetsov, A. S., Ostreinov, G. M., Savinov, S. S., Singatulina, N. S., Sokolova, E. A., Soldatov, A. E., Sorokin, I. N., Shein, T. V., Shuklina, A. A., Shchudlo, I. M. & Taskaev, S. Y., 11 Aug 2025, In: Physics of Particles and Nuclei Letters. 22, 4, p. 807-810 4 p.

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

  6. Effect of mHealth intervention on maternal health service utilization and birth outcomes in Northwest Ethiopia: a two-site non-randomized controlled trial

    Wagnew, F., Ayalew, A. A., Eshetie, S., Lulu, Y. G., Kibret, G. D., Mulugeta, H., Leshargie, C. T., Wagnew, Y., Tadesse, A. & Abajobir, A., 26 Aug 2025, In: BMC Digital Health. 3, 1, 52.

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

  7. Development of a hybrid algorithm for identifying named entities in 20th century Uzbek texts

    Mengliev, D., Abdurakhmonova, N., Allamov, O., Ibragimov, B., Saidov, B. & Boltayev, N., 15 Sept 2025, AIP Conference Proceedings. American Institute of Physics Inc., Vol. 3356. 050002. (AIP Conference Proceedings; vol. 3356).

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

  8. Technological Means for Automatic Programs Construction in LuNA System

    Malyshkin, V., Perepelkin, V., Parfenov, D., Sinyukov, V., Spirin, V., Ivanchenko, D. & Nushtaev, Y., 2026, Parallel Computing Technologies. Malyshkin, V. (ed.). Springer, p. 105-123 19 p. 8. (Lecture Notes in Computer Science; vol. 16185).

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

  9. The Amount of Data Required to Recognize a Writer’s Style Is Consistent Across Different Languages of the World

    Ryabko, B., Savina, N., Lulu, Y. G. & Han, Y., 4 Oct 2025, In: Entropy. 27, 10, 1039.

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

  10. Программа: «Web-приложение для визуализации авиационных конечно-элементных моделей в формате VTK»

    Глуздов, З. С., Горынин, А. Г., Кузьмина, П. О., Костричко, О. И. & Родякин, В. С., 8 Oct 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025687197, 25 Sept 2025, Priority date 25 Sept 2025, Priority No. 2025685946

    Research output: Patent › Software registration

  11. Fast Adaptive Approximate Nearest Neighbor Search with Cluster-Shaped Indices

    Kazakovtsev, V., Плеханов, М. С., Naumchev, A., Shkaberina, G., Masich, I., Egorova, L., Stupina, A., Popov, A. & Kazakovtsev, L., 9 Oct 2025, In: Big Data and Cognitive Computing. 9, 10, 254.

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

Previous 1...29 30 31 32 33 34 Next

ID: 3086172