Computer Science клуб при ПОМИ РАН
Прошедшие мероприятия
Алгоритмы 3D-трэкинга и восстановления геометрии сцены
Восстановление траектории движения камеры является ключом к созданию современных визуальных эффектов. Будут рассмотрены основные коммерческие продукты и математические методы, лежащие в их основе.
Поиск совершенных паросочетаний в регулярных двудольных графах
Задача поиска совершенного паросочетания в регулярном двудольном графе — классическая задача с приложеними к реберной раскраске, маршрутизации и задачам планирования, также связанная с задачей построения разложения Биркгофа-фон Неймана бистохастических матриц. В результате ряда улучшений в 2001 г. для этой задачи был получен алгоритм с линейным временем работы. В докладе будет рассмотрена задача поиска совершенного паросочетания в регулярных двудольных графах за сублинейное время.
Введение в комбинаторику слов
Курс в рамках заседаний Computer Science клуба в Санкт-Петербурге. В курсе рассматриваются несколько базовых понятий комбинаторики слов, как имеющих прямое отношение к прикладным алгоритмическим задачам, так и представляющих чисто эстетический интерес.
Открытие осеннего семестра 2011 в Сomputer Science клубе
Первые лекции в осеннем семестре 2011-2012 уч. года.
Презентация Computer Science Center
Встреча с организаторами, кураторами и спонсорами CS центра - новой образовательной инициативы в Санкт-Петербурге
Анализ символьных последовательностей
Мини-курс М. Ройтберга в рамках Computer Science клуба в Екатеринбурге.
Линейное программирование
Курс М.А. Бабенко из 10 лекций в рамках Computer Science клуба при ПОМИ РАН.
Квантовые алгоритмы: возможности и ограничения
В курсе будет рассказано об основных идеях построения и анализа квантовых алгоритмов.
Параметризованные алгоритмы
Введение в fixed-parameter tractability.
Системы типизации лямбда-исчисления
Современные функциональные языки программирования, такие как Haskell, наследники ML (SML, Ocaml, F#), Agda2 и т.п., обладают весьма богатыми и сложными системами типов. Несмотря на такое разнообразие, эти системы имеют в своей основе хорошо проработанную формальную теорию типизированных лямбда-исчислений.
Использование структурированных данных в информационном поиске
Классические алгоритмы интернет поиска наиболее эффективны для нахождения ключевых слов в текстовых документах. В последние годы в интернете растет доля и влияние струтурированной иформации: социальный граф, профили товаров, описание событий, положение предметов в пространстве.
Будущее интернет-поиска
Лекция о проблемах поиска информации в интернет
