25801 - 25810 из 27 022Размер страницы: 10
Сортировать по:: Заголовок

  1. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 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. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

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

  2. An O(nlogn)-Time Algorithm for Linearly Ordered Packing of 2-Bar Charts into OPT+1 Bins

    Ерзин, А. И., Кононов, А. В., Назаренко, С. А. & Шаранхаев, К. И., 2023, Mathematical Optimization Theory and Operations Research - 22nd International Conference, MOTOR 2023, Proceedings. Goos, G. & Hartmanis, J. (ред.). Springer, стр. 122-133 12 стр. (Communications in Computer and Information Science; том 1881 CCIS).

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

  3. A non-equilibrium dissociation and vibrational relaxation model for computational fluid dynamics simulations of flows with shock waves

    Gorbachev, Y., Kunova, O. & Shoev, G., 1 дек. 2021, в: Physics of Fluids. 33, 12, 126105.

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

  4. An one-dimensional inverse problem for the wave equation

    Romanov, V. G. & Bugueva, T. V., 10 окт. 2024, в: Eurasian Journal of Mathematical and Computer Applications. 12, 3, стр. 135-162 28 стр.

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

  5. A non-canonical nucleotide from viral genomes interferes with the oxidative DNA damage repair system

    Yudkina, A. V., Endutkin, A. V., Diatlova, E. A. & Zharkov, D. O., янв. 2024, в: DNA Repair. 133, 8 стр., 103605.

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

  6. Anomalous sputtering of the lithium triborate single crystal surface by argon cluster ions

    Korobeishchikov, N. G., Nikolaev, I. V., Roenko, M. A., Yakovlev, V. V., Pelenovich, V., Fu, D. J. & Tosltogouzov, A., сент. 2020, в: Vacuum. 179, 5 стр., 109555.

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

  7. Anomalous Ortho-to-Para Ratio of Nuclear Spin Isomers of H2O at Low Temperatures

    Chapovsky, P. L. & Mamrashev, A. A., 1 янв. 2020, в: JETP Letters. 111, 2, стр. 85-89 5 стр.

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

  8. Anomalous negative magnetoresistance of two-dimensional electrons

    Kanter, J., Vitkalov, S. & Bykov, A. A., 24 мая 2018, в: Physical Review B. 97, 20, 7 стр., 205440.

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

  9. Anomalous morphology as one of the stages in the formation of polystyrene particles during dispersion polymerization

    Sankova, N., Semeykina, V. & Parkhomchuk, E., 20 нояб. 2019, в: Colloids and Surfaces A: Physicochemical and Engineering Aspects. 581, 8 стр., 123745.

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

  10. Anomalous magnetic moment of the muon

    Logashenko, I. B. & Eidelman, S. I., мая 2018, в: Physics-Uspekhi. 61, 5, стр. 480-510 31 стр.

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

Назад 1...2577 2578 2579 2580 2581 2582 2583 2584 ...2703 Далее