1 - 10 из 112Размер страницы: 10
Сортировать по:: Дата начала
  1. 2025

  2. Büchi Arithmetic: Finite Automata and Quantifier Elimination

    Михаил Романович Старчак (Докладчик)

    1 фев 2025

    Деятельность: Выступление на научной конференции › выступление с приглашенным докладом

  3. 2024

  4. Enhancing Academic Integrity: A Study On Code Clone Detection Systems For Plagiarism Detection in Education Settings

    Саид Мухамад Тимурович Алиев (Докладчик), Дмитрий Алексеевич Григорьев (Докладчик), Ярослав Андреевич Курбатов (Докладчик), Анастасия Викторовна Григорьева (Докладчик) & Федор Кудрявцев (Докладчик)

    14 дек 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  5. Forecasting Chaotic Processes Using a Multi-Expert System Based on Stacking Machine Learning Techniques

    Борис Соколов (Докладчик), Дмитрий Алексеевич Григорьев (Докладчик) & Андрей Александрович Мусаев (Докладчик)

    26 ноя 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  6. III Международная конференция "Литература, язык и компьютерные технологии"

    Максим Викторович Абрамов (Участник)

    7 ноя 2024 → 9 ноя 2024

    Деятельность: Участие в мероприятиях или организация мероприятий (событий) › Организация конференции, заседания рабочей группы, ...

  7. Первая международная научная конференция «Наука для государственного управления в России»

    Максим Викторович Абрамов (Докладчик)

    25 окт 2024

    Деятельность: Выступление на научной конференции › выступление с приглашенным докладом

  8. Simulating Cryptocurrency Markets: Insights from Agent-Based Models and Deep Reinforcement Learning

    Кирилл Дмитриевич Мансуров (Докладчик), Александр Владимирович Семенов (Докладчик), Дмитрий Алексеевич Григорьев (Докладчик) & Рустам Маратович Ибрагимов (Докладчик)

    27 сен 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  9. Trading Sentiment Extraction from Financial Texts Using Machine Learning and ChatGPT

    Андрей Романович Зайцев (Докладчик), Богдан Андреевич Маджуга (Докладчик), Дмитрий Алексеевич Григорьев (Докладчик), Анастасия Викторовна Григорьева (Докладчик) & Александр Азерович Мусаев (Докладчик)

    26 сен 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  10. Элиминация кванторов для экзистенциальной арифметики Бюхи

    Михаил Романович Старчак (Докладчик)

    11 авг 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  11. Integer Linear-Exponential Programming in NP by Quantifier Elimination

    Михаил Романович Старчак (Докладчик)

    10 июл 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

  12. Existential definability of unary predicates in Büchi arithmetic

    Михаил Романович Старчак (Докладчик)

    9 июл 2024

    Деятельность: Выступление на научной конференции › выступление с устным докладом

Назад 1 2 3 4 5 6 7 8 ...12 Далее

ID: 30313