RUS ENG

11.04.2014

Последовательное декодирование полярных кодов

В.Д. Милославская[подробнее]

Категория: Семинар

28.03.2014

Гибридная логика и ее приложения

В пятницу, 28 марта, в 14:00 в аудитории 106 состоится учебный семинар на тему "Гибридная логика и ее приложения". Докладчик - Дмитрий Тимофеев. Гибридная логика - это расширение мультимодальной логики, в которую добавляется возможность идентифицировать отдельные состояния структуры Крипке и ссылаться на них. Как и традиционные модальные логики, гибридная логика является разрешимым фрагментом логики первого порядка (проблема выполнимости формулы, как и для модальной логики, PSPACE-полна), и для нее реализованы алгоритмы проверки моделей. В докладе приводятся основные сведения о гибридной логике и обсуждаются некоторые ее приложения, среди которых особое внимание уделяется задачам обработки естественного языка (вычислительной семантике).[подробнее]

Категория: Семинар

26.03.2014

Как написать техническую статью

П.В. Трифонов Место проведения: Белый зал СПбГПУ[подробнее]

Категория: Семинар

21.03.2014

Построение укороченных полярных кодов

В.Д. Милославская[подробнее]

Категория: Семинар

21.11.2013

Опыт публикации статей по информационным технологиям в зарубежных журналах

Д-р. Андрей Магляс (Lappeenranta University of Technology)[подробнее]

Категория: Семинар

18.06.2013

Как написать статью

доц. П.В. Трифонов[подробнее]

Категория: Семинар

16.05.2013

Проблемы обработки и анализа результатов энцефалограмм

Сотрудники НИПНИ Бехтерева, проф. Ивановский Р.И.

Категория: Семинар