|
Семинар работает при поддержке кафедр информатики и вычислительного эксперимента и кафедры алгебры и дискретной математики. Заседания проходят по понедельникам, раз в две недели, в 16:30 (мехмат, ауд. 311). Руководители семинара: д.ф.-м.н., профессор В.С. Пилиди и к.ф.-м.н., доцент С. С. Михалкович. >>> Форум семинара
|
|
Семинар по информатике (15.03.10) |
|
15 марта, в 17:30 (ауд. 211) состоится первое в текущем семестре заседание межкафедрального семинара по информатике. В рамках заседания Я. М. Русанова и В. Н. Брагилевский расскажут о своих впечатлениях о посещённых конференциях по информатике. Кроме того, М. В. Пучкин и Эмиль Хачатуров расскажут о перспективах применения робототехники в обучении.
Обращаем внимание, что теперь семинар начинается в 17:30. |
|
Аспектно-ориентированное программирование (30.11.09) |
|
30 ноября, в 16:30 (ауд. 311) на заседании межкафедрального семинара по информатике будет выступать доцент кафедры ИВЭ, к.т.н. А.Н. Литвиненко с докладом «Аспектно-ориентированное программирование». В рамках доклада будут рассматриваться основные концепции аспектно-ориентированного программирования и обсуждаться возможности перехода к его практическому использованию. >>> Материалы: [архив 7z] |
|
Математические методы обработки изображений (02.11.09) |
|
2 ноября, в 16:30 (ауд. 311) на заседании межкафедрального семинара по информатике будет выступать Д. Е. Подрезов с докладом «Математические методы обработки изображений». В докладе будут изложены основы цифровой обработки изображений — основные примитивы, математические модели и наиболее распространённые реализации алгоритмов хранения и обработки изображений. Будут также описаны методы обработки изображений с целью восстановления цвета и улучшения характеристик изображений в непрерывном и дискретном случаях. >>> Презентация: [pdf], [ppt] |
|
Вычисления высших порядков и верификация моделей программ (19.10.09) |
|
19 октября, в 16:30 (ауд. 311) на заседании межкафедрального семинара по информатике будет выступать А. М. Пеленицын с докладом «Вычисления высших порядков и верификация моделей программ». Доклад посвящён популярному подходу к верификации ПО — model checking. Обсуждаются сложности, возникающие при переходе от аппаратного model checking к программному. Описывается ряд моделей вычислений высших порядков, сравниваются их выразительные возможности. Вводится язык спецификаций вычислений высших порядков, основанный на монадической теории второго порядка. Перечисляются теоретико-сложностные результаты задачи model checking для введённых моделей и языков. Основой сообщения служит курс лекций, прослушанный докладчиком в Летней школе по формальным методам доказательства надёжности ПО (г. Марктобердорф, 2009 год). >>> Презентация: [pdf], [tex.zip] |
|
Unimodular Polynomials: Many Problems, Some Solutions (18.05.09) |
|
18 мая, в 16:30 (ауд. 312) в рамках межкафедрального семинара по информатике состоится встреча с Джимом Бирнсом, Prometheus Inc, который выступит с докладом на тему «Unimodular Polynomials: Many Problems, Some Solutions» |
|
<< Начало < Предыдущая 1 2 Следующая > Последняя >>
|
|
Страница 1 из 2 |