On August 21 Artem Revenko defended his thesis on ‘Automatic Construction of Implicative Theories for Mathematical Domains’ at the Faculty of Computer Science at Dresden University of Technology.
- A
- A
- A
- ABC
- ABC
- ABC
- А
- А
- А
- А
- А
Regular version of the site
Pokrovsky boulevard, 11, room S938, Moscow, Russia, 109028
Phone: +7 (495) 772-95-90*27319
Administrations
The School of Data Analysis and Artificial Intelligence was created in 2014 as part of the Department of Data Analysis and Artificial Intelligence. The school consists of world-renowned researchers who actively participate in international research projects.
Book
17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787
Vol. 2. Switzerland: Springer, 2025.
Article
In press
Seralan V., Srinivasan S., S L. K.
Chaos, Solitons and Fractals. 2026. Vol. 213. No. 2. P. 1-16.
Book chapter
Куделя А. В., Алшауи Р., Shirnin A.
In bk.: Proceedings of the 20th International Workshop on Semantic Evaluation (2026). San Diego: Association for Computational Linguistics, 2026. P. 2347-2353.
Working paper
Меньшиков И. А., Бернадотт А. К., Elvimov N. S.
Statistical mechanics. arXie. arXive, 2025