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

Наука

Иллюстрация к новости: Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"

Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"

ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)

Иллюстрация к новости: Анне Каленковой, старшему научному сотруднику лаборатории ПОИС, присвоена учёная степень PhD

Анне Каленковой, старшему научному сотруднику лаборатории ПОИС, присвоена учёная степень PhD

5 июня 2018 года в Техническом университете Эйндховена состоялась защита PhD Анны Каленковой, старшего научного сотрудника лаборатории ПОИС