-
12:20
Ректификация изображения с щелевой гиперспектральной камеры по опорному RGB-снимку.
-
Terekhova Olga
(MIPT)
-
12:35
Исследование способов формального описания семантики высказываний на естественном языке
-
Grigoriy Kazachonok
-
12:50
Исследование и сравнительный анализ методов сжатия данных в задачах прогноза погоды и моделирования климата
-
Ivan Kuznetsov
-
13:05
Исследование методов горячего обновления ПО для ОСРВ с переиспользованием состояния программы
-
Ivan Solodovnikov
(MIPT)
-
13:20
Улучшение инструментов для отладки приложений Android и исследование возможностей их применения для анализа поведения ПО
-
Vladislav Sidorov
(MIPT, ISP RAS)
-
13:35
Исследование и имплементация комплексной аннотации типов в современных языках программирования
-
Evgeny Terekhov