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

Новости

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

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

Научный проект Лаборатории ПОИС выиграл конкурс РФФИ

Проект "Синтез высокоуровневых моделей бизнес-процессов", в котором участвуют студенты и сотрудники Лаборатории ПОИС,  был поддержан Российским Фондом Фундаментальных Исследований (РФФИ).В этом году проект "Синтез высокоуровневых моделей бизнес-процессов", выполняемый молодыми исследователями под руководством старшего научного сотрудника Лаборатории ПОИС Каленковой А.А., выиграл конкурс проектов и получил поддержку РФФИ.

Семинар лаборатории ПОИС: On place invariants of nested Petri nets. Часть 2 // Л. Дворянский

На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС, старший преподаватель департамента программной инженерии Леонид Дворянский. Тема его доклада: On place invariants of nested Petri nets. Часть 2.

Семинар лаборатории ПОИС: On place invariants of nested Petri nets. Часть 1 // Л. Дворянский

На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС, старший преподаватель департамента программной инженерии Леонид Дворянский. Тема его доклада: On place invariants of nested Petri nets. Часть 1.

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

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

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