Conveners
17-Моделирование и компьютерная оптимизация, инженерия
- Kirill Ivanov (Moscow Institute of Physics & Technology (MIPT))
В работе исследуются различные уязвимости в написании smart contacts на блокчейне Ton. Авторами разработан инструмент, позволяющий находить и предотвращать проблемы в коде до развертывания контрактов в основной сети.
В работе исследуются различные уязвимости в написании smart contacts на блокчейне Ton. Авторами разработан инструмент, позволяющий находить и предотвращать проблемы в коде до развертывания контрактов в основной сети.
В данной работе рассматривается модификация безградиентного метода Stochastic Three Points (STP). Ожидается получить ускорение в теоретических оценках сходимости, а также улучшение (в среднем) на практике.
В работе исследуется возможность использования языковых моделей (LLM) для автоматической разметки семантических ролей (Semantic Role Labeling, SRL) в русскоязычных текстах. Предложен подход на основе few-shot обучения с использованием корпуса FrameBank. Проведено сравнение эффективности модели Gemini 2.5 Flash с традиционными методами SRL.
Данная работа посвящена сравнительному анализу эффективности технологий параллельного программирования MPI и OpenMP для вычислительных задач. В работе исследуются особенности архитектуры и масштабируемость этих технологий на многопроцессорных и многопоточных системах, применение MPI для распределенных вычислений и OpenMP для параллельной обработки в рамках общей памяти.
В работе исследуются способы решения задачи Query Optimization. Рассматриваются конкретные решения, использующие метод многоруких бандитов. Среди таких решений выделяется одно конкретное с названием Bao, использующее семплирование Томпсона. Данное решение требует проверки на практике, а также исследования на возможность доработки. Проверка производится с помощью датасета, построенного на базе...
