321 - 330 из 330Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

  2. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1430-1434 5 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

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

    Ищенко, А. Д. & Ануреев, И. С., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1440-1445 6 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  4. 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 авг. 2025, в: Physics of Particles and Nuclei Letters. 22, 4, стр. 807-810 4 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. 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 авг. 2025, в: BMC Digital Health. 3, 1, 52.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. 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 сент. 2025, AIP Conference Proceedings. American Institute of Physics Inc., Том 3356. 050002. (AIP Conference Proceedings; том 3356).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  7. 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. (ред.). Springer, стр. 105-123 19 стр. 8. (Lecture Notes in Computer Science; том 16185).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  8. 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 окт. 2025, в: Entropy. 27, 10, 1039.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

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

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

  10. 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 окт. 2025, в: Big Data and Cognitive Computing. 9, 10, 254.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Программа: «Python-библиотека для конвертации данных из конечно-элементных моделей NASTRAN в формат VTK»

    Глуздов, З. С., Горынин, А. Г., Костричко, О. И., Кузьмина, П. О. & Родякин, В. С., 15 окт. 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2025687632, 25 сент. 2025, Дата приоритета 25 сент. 2025, № приоритета 2025685925

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

Назад 1...29 30 31 32 33 Далее

ID: 3086172