1 - 10 out of 117Page size: 10
  1. 2025

  2. Decidable Models of Ehrenfeucht Theories

    Alaev, P. E. & Khlestova, E. I., 5 May 2025, In: Algebra and Logic.

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

  3. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

    Goncharov, S. S. & Xiang, J., 29 Apr 2025, In: Algebra and Logic.

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

  4. Электронно-вычислительное устройство для обнаружения дефектов городской инфраструктуры и принятия решения по их устранению

    Андреев, А. В. & Нечесов, А. В., 13 Feb 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 231858, 2 Oct 2024, Priority date 2 Oct 2024, Priority No. 2024129480

    Research output: Patent › Patent for utility model

  5. Permutation Groups and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 22 Jan 2025, In: Algebra and Logic. 63, 2, p. 141-152

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

  6. Датасет по ретроконверсии библиотечных карточек (строительство)

    Белоглазов, Д. М. & Павловский, Е., 17 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025620303, 17 Dec 2024, Priority date 17 Dec 2024, Priority No. 2024626458

    Research output: Patent › Database registration

  7. Фреймворк «Каппа»: управление датасетами, версия 1.0.0

    Кумар, Р., Павловский, Е., Денисов, С. С., Иванков, П. С. & Мищенко, А. С., 16 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025611211, 18 Dec 2024, Priority date 18 Dec 2024, Priority No. 2024692636

    Research output: Patent › Software registration

  8. Датасет по наблюдениям за флорой и фауной в городской среде

    Гичгелдиева, М. О., Кумар, Р. & Павловский, Е., 10 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025620139, 17 Dec 2024, Priority date 17 Dec 2024, Priority No. 2024626457

    Research output: Patent › Database registration

  9. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 103491.

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

  10. An Explanation Method for Semantic Segmentation Enhance Brain Tumor Classification

    Kenzhin, R., Luu, M. S. K., Pavlovskiy, E. & Tuchinov, B., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, p. 319-330 12 p. 23. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15406 LNCS).

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

  11. First Observation of Nickel Nitrides During the Interaction of NiCu Alloys with Melamine and g-C3N4 in a Closed Volume

    Кенжин, Р. М., Комаровских, А., Капишников, А. В., Афонникова, С. Д., Бауман, Ю., Мишаков, И. В., Володин, А. М. & Ведягин, А. А., 2025, In: Materials Letters. 383, 137976.

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

Previous 1 2 3 4 5 6 7 8 ...12 Next

ID: 3083576