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

Новости

Семинар лаборатории ПОИС: Методология создания исполняемой модели и системы управления бизнес-процессами // И.Г. Фёдоров

На очередном заседании нашего семинара выступил кандидат технических наук, профессор МЭСИ Игорь Григорьевич Фёдоров. Он рассказал о своей работе: «Методология создания исполняемой модели и системы управления бизнес-процессами» и уделил максимальное внимание 2-м вопросам:

1.       Онтологии Бунге-Ванда-Вебера. Она позволяет определить, что есть полная модель процесса.
2.       Методу проверки бездефектной завершаемости процесса.

Семинар лаборатории ПОИС: 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.

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

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

Вил ван дер Аалст стал почетным профессором НИУ ВШЭ

Вил ван дер Аалст стал почетным профессором НИУ ВШЭ. Известный голландский ученый в области компьютерных наук Вил ван дер Аалст отмечен Ученым советом ВШЭ за большой вклад в развитие исследовательских и образовательных программ университета и укрепление международной репутации Вышки.

Семинар лаборатории ПОИС: Computational models in software engineering // D. Zagorulkin

Dmitry Zagorulkin (Sberbank CIB former Troika Dialog)
02 февраля, 2014 - 18:10 - ауд. 402

In this presentation I would like to introduce the most popular models of computation and to show how to apply these models for solving concurrency problems, such as reference cell problem, mutual exclusion problem, dining philosophers problem. Also I will show how to use different computational models in modern programming languages such as Java and Erlang.

подробнее...

Новый набор стажеров-исследователей

Успешно завершился конкурс на позиции стажеров в нашей лаборатории. В этот раз было подано 14 заявок от студентов Департамента программной инженерии, Департамента анализа данных и искусственного интеллекта, Департамента прикладной математики МИЭМ.

Семинар лаборатории ПОИС: Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой

В докладе Владислава Подымова (ВМиК МГУ) были представлены результаты, полученные в рамках исследования проблемы эквивалентности в моделях последовательных и рекурсивных программ с семантикой, определяемой на основе полугрупп.

Семинар лаборатории ПОИС: профессор Вил ван дер Аалст

24-го ноября в рамках научного семинара лаборатории ПОИС выступил академический руководитель лаборатории профессор Вил ван дер Аалст. Тема доклада: "Process Mining: Beyond Control-Flow".

Рекомендуем: Massive Open Online Course «Process Mining: Data science in Action»

12 ноября стартует массовый открытый онлайн-курс научного руководителя лаборатории, профессора Технического университета Эйндховена Вила ван дер Аалста "Process Mining: Data science in Action". На курс зарегистрировались более 24 000 участников из 170 стран мира.