• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Тема «бакалавриат»

Студенты факультета компьютерных наук приняли участие в конференции SYRCoSE

С 5 по 7 июня в Иннополисе состоялся XI коллоквиум для молодых исследователей в области программной инженерии Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE). От факультета компьютерных наук представлять свои работы поехали 9 студентов.

Семинар лаборатории ПОИС: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings // В. Ермакова

На очередном заседании нашего семинара выступила студентка магистратуры НИУ ВШЭ Вера Ермакова. Тема её доклада: Verification of Multi-Agent System Models via Nested Petri Net Unfoldings.

Семинар лаборатории ПОИС: ARIMA как инструмент для предсказания будущего поведения временного ряда. // А. Шульман

На очередном заседании нашего семинара выступила студентка бакалавриата НИУ ВШЭ Александра Шульман. Тема её доклада: ARIMA как инструмент для предсказания будущего поведения временного ряда.

Семинар лаборатории ПОИС: Comparing business models using graph-edit distance // С. Иванов

На очередном заседании нашего семинара выступил стажер-исследователь лаборатории ПОИС, студент 4-го курса Сергей Иванов. Тема его доклада: Comparing business models using graph-edit distance.

Сергей рассказал о различных подходах к сравнению моделей бизнес-процессов, а также показал новый композиционный подход, разрабатываемый им в данный момент.

Семинар лаборатории ПОИС: стажеры Евгений Мистюков и Иван Шугуров

На очередном заседании научного семинара нашей лаборатории еще два стажера представили свои работы.
Тема доклада Евгения Мистюкова: Log-based transition system recovery. Иван Шугуров представил доклад по теме: GENA: Generator of artificial event logs. Current state of work.

Семинар лаборатории ПОИС: стажеры Антонина Бегичева и Наталья Никитина

В рамках научного семинара лаборатории ПОИС состоялись выступления стажеров-исследователей лаборатории.
Антонина Бегичева: Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри. Наталья Никитина: Алгоритмы размещения сетей Петри на плоскости.