УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Новости (версия для печати)


Новости



Новости в формате RSS

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [Все новости]

03.10.2007

Блог Виталия Клебана "Разработка конструктора для создании мобильных роботов"

01.10.2007

Сколько нужно платить профессорам исследовательских университетов, чтобы они оставались в них?

01.10.2007

Новые специалисты по IT

01.10.2007

Новости СПбГУ ИТМО

01.10.2007

Это, видимо, стоит читать

01.10.2007

Это стоит читать

30.09.2007

В ПОМИ начал работать компьютерный клуб. 21.10.2007 г. там начнут читать лекции про верификацию

30.09.2007

Российский индекс научного цитирования

30.09.2007

Федор Царев попал в состав 48 участников финала TopCoder Collegiate Challenge 2007 в номинации "Алгоритмы"

30.09.2007

Моя третья книга выложена не только у меня на сайте

30.09.2007

Почитайте Гришковца - он умница, а еще посмотрите его спектакли, хотя бы на DVD

30.09.2007

Джуринский К. Как написать научную статью?

30.09.2007

Джексон Д. Программы проверяют программы

30.09.2007

Вудкок Дж. Первые шаги к решению проблемы верификации программ

27.09.2007

Шалыто А.А. Парадигма автоматного программирования

27.09.2007

Опубликованы материалы по I этапу государственного контракта "Технология генетического программирования для генерации автоматов управления системами со сложным поведением"

27.09.2007

Опубликованы материалы по I этапу государственного контракта "Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода"

26.09.2007

Мини-рейтинг "Худшие профессии в науке"

26.09.2007

Яковлев В.Б. От автоматики и телемеханики к управлению и информатике. Воспоминания

22.09.2007

Виталий Клебан, студент факультета информационных технологий и программирования один из победителй конкурса УМНИК. Тема "Разработка универсальных методов построения робототехнических систем на основе IP-сетей"

18.09.2007

В мире сегодня 181 человек, которые в соревнованиях TopCoder по спортивному программированию имеют рейтинг более 2200 - "мастерский" рубеж для этих соревнований. 15.09.2007 г. Федор Царев превысил эту норму - набрал 2259 очков и занял 156 место

18.09.2007

У нас приняли пять докладов на конференцию "Многопроцессорные управляющие и вычислительные системы(МВУС-2007)", которая проводится в рамках международной научно-технической конференции "Проблемы информационно-компьютерных технологий и мехатроника" (ИКТМ-2007)

18.09.2007

11 писателей, которые определили ум и душу современности

16.09.2007

Классный бизнес

16.09.2007

Автоматное программирование и многоядерные процессоры

16.09.2007

Поздравляем Федора Царева с назначением ему стипендии правительства РФ

13.09.2007

Огромная полость во Вселенной

13.09.2007

При обучении вместо передачи готовой информации должны создаваться новые знания

13.09.2007

Конечные автоматы будут использоваться при создании отечественной ОС

12.09.2007

Заметили нашу деятельность

12.09.2007

Это обязательно необходимо прочесть

12.09.2007

Это целесообразно прочесть

12.09.2007

Высшее образование сегодня

12.09.2007

Успехи генетики

10.09.2007

Сергей Блюмин - художник, картины которого стоит обязательно посмотреть

10.09.2007

Оршанский С.А., Шалыто А.А. Применение динамического программирования при решении задач на конечных автоматах

10.09.2007

В кругу друзей!

10.09.2007

Российско-европейская платформа компетенций экспертов и специалистов в области информационно-коммуникационных технологий

10.09.2007

Статьи этого блога по программированию очень целесообразно читать

10.09.2007

Европейский центр программирования

07.09.2007

Мартин Фаулер и JetBrains

05.09.2007

В разделе "Мысли" создан подраздел "Воспитание"

03.09.2007

Полезная книга - Успенский В.А., Семенов А.Л. Теория алгоритмов. Основные открытия и приложения. Наука, 1987.

03.09.2007

Непейвода Н.Н. О позитивном и негативном мышлении. Предисловие редактора перевода книги Mitchell J. Foundations for Programming Languages. Cambridge: MIT Press, 1996.

03.09.2007

Хорошая шутка

03.09.2007

Можно ли научиться программированию за короткий срок?

03.09.2007

Что требуется для того, чтобы создать двигатель для истребителя пятого поколения

03.09.2007

Что такое американское искусство

03.09.2007

Докторская диссертация в 26 лет. А что мешает Вам?

03.09.2007

Технологии программирования

03.09.2007

Непейвода Н.Н. Что не могут вычислительные машины. Любителям квантовых компьютеров

09.08.2007

Любителям Мураками будет интересно

05.08.2007

Попал в хорошую компанию!

05.08.2007

Академик РАН Гинзбург В.Л. Биография

05.08.2007

Академик РАН Гельфанд И.М. Биография

04.08.2007

Автоматное программирование двинулось в белорусские школы

04.08.2007

Понятно о недетерминированных конечных автоматах

28.07.2007

Часть отзывов на докторскую диссертацию А.А. Шалыто

27.07.2007

Об Open Research Programming и Open Project Documentation (OPD)

12.07.2007

Царев Ф.Н. стал одним из победителей конкурса грантов 2007 г. для студентов и аспирантов ВУЗов Санкт-Петербурга

12.07.2007

О России и не только о ней

12.07.2007

Новый раздел в тексте про Open Source

11.07.2007

Фогель Л., Оуэнс А., Уолш М. Искусственный интеллект и эволюционное моделирование

10.07.2007

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования

09.07.2007

Вавилов К.В. Автоматная форма представления сложных алгоритмов

09.07.2007

О нас пишут

09.07.2007

National Instruments, правда в России, познакомился со SWITCH-технологией

08.07.2007

В хорошей компании

07.07.2007

Первые в мире конференции по Software Engineering (1968)

07.07.2007

Первые в мире конференции по Software Engineering (1969)

07.07.2007

Дейкстра о науке и образовании

07.07.2007

Нужна ли России своя операционная система?

07.07.2007

Это должны прочесть все студенты кафедры "Компьютерные технологии" и все остальные программисты

07.07.2007

Шалыто А.А. Русский язык. Шутки в сторону

07.07.2007

OpenSource: нас упоминают в хорошей компании

04.07.2007

Гниломёдов И.И., Шалыто А.А. Моделирование работы стиральной машины

02.07.2007

Международные соревнования по спортивному программированию TopCoder 2007. 12 из 48 участников финальной части соревнования в Лас-Вегасе из России

02.07.2007

На сайте создан новый раздел "Соревнования по программированию"

02.07.2007

Поликарпова Н.И., Точилин В.Н., Шалыто А.А. Разработка библиотеки для генерации управляющих автоматов методом генетического программирования

01.07.2007

На сайте создан новый раздел "Тестирование"

30.06.2007

27 июня 2007 года студент группы 4538 нашего университета Царев Ф.Н. занял второе место в конкурсе претендентов на получение государственного контракта по программе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию) в СПбГЭТУ "ЛЭТИ" им. В.И. Ульянова (Ленина) в рамках X Международной конференции по мягким вычислениям и измерениям. Тема работы: "Применение генетического программирования для построения автоматов, управляющих системами со сложным поведением".

30.06.2007

О верификации простых автоматных программ на основе метода Model Checking

29.06.2007

"Знаменитые" IT-профессора отвечают на вопросы журнала "Компьютерра"

29.06.2007

Одного из этих знаменитых IT-профессоров я знаю

29.06.2007

25000$ и автоматы

27.06.2007

На сайте создан новый раздел "Роботы и агенты"

21.06.2007

Столбов С.А. Автоматизированное построение клеточного автомата на основе описания логики игры

19.06.2007

Мысли: Кирилл Серебренников, режиссер

19.06.2007

Мысли: Борис Гребенщиков

19.06.2007

Мысли: Михаил Барщевский

19.06.2007

Где находится источник жизненной энергии?

19.06.2007

Новые люди

19.06.2007

Шалыто А.А. Ну, какой же Вы программист

19.06.2007

Мысли: Памяти Ильи Кормильцева, автора почти всех текстов «Наутилуса»

19.06.2007

Мысли: Роман Виктюк, режиссер

19.06.2007

Общекультурное значение автоматных понятий

19.06.2007

Мысли: К экономике знаний

19.06.2007

Мысли: Моцарт

11.06.2007

Интервью с Вадимом Гуровым об инструментальном средстве UniMod

09.06.2007

Опубликована презентация Korneev G., Shalyto A. State-Driven Programming for Computer Games

29.05.2007

Победа в двух конкурсах по лотам в рамках Федеральной целевой программы «Исследования и разработкипо приоритетным направлениям развития научно-технологического комплекса России на 2007—2012 годы»

29.05.2007

Switch-технология движется вперед. Статья. Части 5 и 6

26.05.2007

Данилов В.Р., Варвалюк И.О. Автоматизированная система оплаты мобильного телефона

26.05.2007

Ларионов А.В. Визуальный язык автоматного программирования для Microsoft Visual Studio 2005

26.05.2007

Конечные автоматы в JavaScript: Часть 2: Реализация виджета

26.05.2007

Конечные автоматы в JavaScript, Часть 1: Разработаем виджет

23.05.2007

На сайте опубликованы статьи о верификации автоматных программ

22.05.2007

Поздравляем Льва Александровича Наумова с успешной защитой кандидатской диссертации

05.05.2007

Инструментальное средство UniMod отмечено на Javakonkurs-2006

05.05.2007

Открытие XIX Всероссийской олимпиады школьников по информатике

15.04.2007

Санкт-Петербургские Ведомости - Социальные проблемы - Ракетостроители – люди мобильные

15.04.2007

Призеры чемпионата мира по программированию на приеме у первого вице-премьера Правительства России Д.А. Медведева

15.04.2007

Администрацией Санкт-Петербурга определены победители конкурса научно-педагогических и научных школ 2006 года, в том числе и наша

15.04.2007

Известия.Ру: Дмитрия Медведева заставили написать объяснительную

15.04.2007

Нам пишут

15.04.2007

Еще одна статья про SWITCH-технологию

15.04.2007

Нам пишут

07.04.2007

Умер поэт Геннадий Григорьев. Читайте.

02.04.2007

Татарчевский В.А. Применение SWITCH- технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 4

02.04.2007

Призеры чемпионата мира по программированию (СПбГУ ИТМО) на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

02.04.2007

Программирование как спорт

02.04.2007

Промышленность,образование и наука. Ситуация с кадрами. 1
Промышленность,образование и наука. Ситуация с кадрами. 2

02.04.2007

О нас пишут

26.03.2007

Нас включили в оргкомитет международной конференции «Компьютерные науки и информационные технологии» Саратовский государственный университет им. Н.Г. Чернышевского, 2—4 июля 2007 года

21.03.2007

Сайт посетило 211 человек

19.03.2007

Поздравлем студентов кафедры "Компьютерные технологии" в СПбГУ ИТМО Искандера Акишева, Михаила Дворкина, Романа Сатюкова с третьим местом (золотая медаль) в финале студенческого командного чемпионата мира по программированию (март 2007 года, Токио)

13.03.2007

И такое бывает. Алексей Зуев: Из милиции меня вытащили Ковалевски и Быстров

13.03.2007

Миронов А.М. Математическая теория программных систем
Лифшиц Ю. Верификация программ и темпоральные логики. Лекция №3 курса «Современные задачи теоретической информатики»
Верификация программ и темпоральные логики — конспект лекции
Лифшиц Ю. Символьная верификация программ. Лекция №4 курса «Современные задачи теоретической информатики»
Символьная верификация программ — конспект лекции

28.02.2007

Что можно успеть в 25 лет

28.02.2007

«ВАК уполномочен заявить»

28.02.2007

Образование 2.0

28.02.2007

Шалыто А.А. Что останется после игры?

28.02.2007

Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением

28.02.2007

Канжелев С.Ю., Шалыто А.А. Автоматическая генерация программного кода

28.02.2007

Калугин Е.В. Система управления существом Yeti для игры Electric Jungle

28.02.2007

Вельдер С.Э. Введение в верификацию автоматных программ на основе метода Model checking

28.02.2007

Ткачев Ф.В. Система образования как фактор национального суверенитета в сфере информационных технологий

28.02.2007

Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 2
Татарчевский В. Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Часть 3

19.02.2007

Еще один подход к применению автоматов в программировании

19.02.2007

Евгений Гришковец о жизни

19.02.2007

В разделе Работы опубликованы бакалаврские работы П. Маврина и Ю. Бедного

19.02.2007

Электрические Джунгли: Цымбалюк Е.А., Шалыто А.А. Система управления существами «Хрюшки» для игры Electric Jungle

19.02.2007

Адаптация принципов автоматно-ориентированного программирования к технологии CORBA

19.02.2007

Непейвода Н.Н. Какая информатика нам нужна?

19.02.2007

Журнал «Наука и жизнь» и автоматное программирование

19.02.2007

DataArt об успехах использования Автоматного программирования на пресс конференции в СПбГУ ИТМО

19.02.2007

Откуда появилось понятие «автоматное программирования»?

19.02.2007

Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров?

19.02.2007

UniMod как любимый инструмент

19.02.2007

Гуров В.С., Мазин М.А., Шалыто А.А. UniMod — Инструментальное средство для автоматного программирования

13.02.2007

Котов А.Н., Шалыто А.А. Сравнение различных вариантов реализации на примере задачи о декодировании файлов формата GIF

10.02.2007

Шалыто А.А. Победы и проблемы российской школы программирования

10.02.2007

Е. Гришковец. Новые позитивные

10.02.2007

Е. Гришковец. Хам в партере

10.02.2007

Вице-президент РАН о состоянии Российской науки и Петре Митричеве

10.02.2007

Пример одной диссертации

10.02.2007

Шалыто А.А. Как получать научные результаты

10.02.2007

Фаулер М. и Скотт К. о применении диаграмм взаимодействия для описания поведения

09.02.2007

Президиум Высшей аттестационной комиссии Министерства образования и науки решил выдать диплом кандидата технических наук Корнееву Георгию Александровичу. Поздравляем!

05.02.2007

Парфенов В.Г, Шалыто А.А. Финал командного чемпионата мира по программированию ACM 2005/06 гг. в Сан-Хосе (США)

05.02.2007

Электрические Джунгли — новый раздел сайта

05.02.2007

UniMod проект: Моделирование цифрового фотоаппарата на основе автоматного подхода к программированию

05.02.2007

Как добиться успеха в науке

29.01.2007

SWITCH-технология развивается

29.01.2007

Сайт «Информатика в России»

29.01.2007

Мне нужны постдоки для того, чтобы они были буфером между мною и аспирантами, я ведь не такой герой как Шалыто.
Из разговора Бертрана Мейера в СПбГУ ИТМО

29.01.2007

Сколько должен получать профессор

29.01.2007

Наш первый студент, который научился профессионально писать

29.01.2007

Какая шахматная программа самая сильная?

29.01.2007

Российское настоящее кино: «Возвращение»  Звягинцева, «Итальянец» А.Кравчука, «Четыре» И. Хржановского, «Изображая жертву» К. Серебренникова, «Эйфория» И. Вырыпаева, «Остров» П. Лунгина. А еще были «Хрусталев, в машину» А. Германа, «Настройщик» К. Муратовой, «Гарпастум» А.Герман-младшего и т.д.

29.01.2007

Шалыто А.А. Победы и проблемы российской школы программирования

19.01.2007

СПбГУ ИТМО ввели в программный комитет конференции Tools-Europe 2007

12.01.2007

Прошел второй семинар по теме «Технологии программирования» с участием почетного доктора СПбГУ ИТМО Бертрана Мейера (Высшая Политехническая Школа в Цюрихе)

03.01.2007

Новые гренадеры

03.01.2007

Рецензия на статью Шалыто А.А. Писать по-русски

15.12.2006

Шалыто А.А. Писать по-русски

09.12.2006

В разделе «Статьи» введен подраздел «Встроенные системы» (программирование встроенных систем на основе автоматного программирования).

09.12.2006

Государственный контракт:
Часть 3. Мобильные системы
Часть 4. Клиент-серверные системы
Часть 5. Интернет-системы

09.12.2006

Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология

09.12.2006

Свидетельство о регистрации программы для ЭВМ (встраиваемый модуль UniMod для Eclipse)

09.12.2006

Ярцев Б.М., Шалыто А.А. Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)

06.12.2006

О нас пишут

06.12.1006

Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения

02.12.2006

Презентация PowerPoint: Паращенко Д.А., Царев Ф.Н., Шалыто А.А. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летательных объектов

02.12.2006

Поздравляем Федора Царева с присуждением специальной стипенции Правительства Санкт-Петербурга

30.11.2006

UniMod-проект Решетников Е.О., Смачных М.В. Система управления пассажирским лифтом

30.11.2006

UniMod-проект Киракозов А.Х., Шалыто А.А., Яминов Б.Р. Система управления автомобильной сигнализацией

30.11.2006

Shopyrin D.G., Shalyto A.A. A Graphical Notion of State-Based Classes' Inheritance
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний

27.11.2006

Шалыто А.А. Боль

26.11.2006

Курс Юрия Лифшица "Современные задачи теоретической информатики", читавшийся на кафедре "Компьютерные технологии" СПбГУ ИТМО, признан компанией "Яндекс" одним из восьми лучших курсов России по информационному поиску и смежным областям.
http://company.yandex.ru/class/courses/lifshits.xml

26.11.2006

Новый проект: Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)

26.11.2006

Студент МГУ выиграл три из трёх крупнейших турниров по программированию 2006 года

26.11.2006

Студент МГУ стал лидером мирового рейтинга по программированию

26.11.2006

И это стоит прочесть

22.11.2006

Это стоит прочесть

22.11.2006

Корнеев Г.А. Диссертация на тему Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода

22.11.2006

Дмитриев С. Языково-ориентированное программирование: следующая парадигма

22.11.2006

Татарческий В. Некоторые мысли по поводу программирования встроенных систем

22.11.2006

Новая книга: Шидловский С.В. Автоматическое управление. Перестраиваемые структуры.

18.11.2006

Победители TopCoder Collegiate Challenge-2006

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [Все новости]




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com