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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-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] [20] [Все новости]

07.07.2009

Автоматы защищают Веб-серверы от некоторых атак

07.07.2009

Александр Мордвинцев - один из победителей конкурса компании "Т-Платформы"

07.07.2009

Ситуация, похожая на то как студенты пишут курсовики и другие работы

07.07.2009

О наших!

07.07.2009

Маевский Д.А. Автоматный подход к проектированию систем с нечетким алгоритмом функционирования

07.07.2009

Новый взгляд на утечку мозгов, который я не разделяю!

07.07.2009

Что важнее университеты или библиотеки?

07.07.2009

Тетрису - 25 лет!

07.07.2009

Миллиардер в 22 года!

07.07.2009

При управлении бизнес-процессами поставили не базу данных, как обычно, а обмен сообщениями. Этот подход ближе к системам управления технологическими процессами, где нет никаких баз, куда данные сперва складируются и только потом используются в целях управления

07.07.2009

Президент Б. Обама о науке и образовании в США

07.07.2009

Почетный доктор СПбГУ ИТМО Бертран Мейер - ACM Fellows!

07.07.2009

Слава России! Гордость России! Надежда России!

06.07.2009

Вольфрам переходит от поиска к механизмам ответов

04.07.2009

Еще инновация из Саратова. Почему программисты отстают?

02.07.2009

Президент Б. Обама о науке и образовании в США

02.07.2009

Вручение дипломов магистрам 2009 года (только для зарегистрированных "В контакте")

02.07.2009

Развитие бизнеса Exigen Services в Китае

27.06.2009

На торжественных ежегодных банкетах ACM отмечаются наивысшие достижения по информатике в мире. По два раза на сцену поднимались Д. Кнут, Н. Вирт, Э. Дейкстра и еще несколько крупнейших ученых мира. Сегодня на сцену в третий раз поднимутся В.Г. Парфенов и А.С. Станкевич! Поздравляем! Кто больше?

25.06.2009

Как должны быть одеты студенты, сдающие курсовик А.А. Шалыто

21.06.2009

Новая конференция по программированию Software People 2009. В этом году уже прошла. Надо участвовать в следующем году

21.06.2009

Доклад Столярова Л.В. (школьник девятого класса), Дединский И.Р., Шалыто А.А. (Москва, Санкт-Петербург). Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C на ВОСЬМОЙ СИБИРСКОЙ НАУЧНОЙ ШКОЛЕ-СЕМИНАРЕ С МЕЖДУНАРОДНЫМ УЧАСТИЕМ "КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ" (SIBECRYPT'09) 8-11 сентября 2009 г., Омский государственный технический университет

21.06.2009

Президент РФ Д.А. Медведев борется за инновации

21.06.2009

Архипенков С. Руководство командой разработчиков ПО. Прикладные мысли

21.06.2009

Ода Yota: "Это происходит средь бела дня в России, а не где-нибудь в Штатах или в Европе". Блоггер Влад Балин - руководитель лаборатории цифрового телевидения ИТМ и ВТ им. М.В. Келдыша

21.06.2009

Выступление В.Г. Парфенова и А.А. Шалыто на RUSSOFT Software Development Forum

21.06.2009

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

21.06.2009

Пять приоритетов Президента РФ Д.А. Медведева

21.06.2009

Стокгольмский синдром

21.06.2009

Для встречи с Президентом РФ Д.А. Медведевым первый костюм купил не только чемпион мира по программированию Владислав Исенбаев (http://www.youtube.com/watch?v=C00xdgRgIqw), но Евгений Касперский (http://www.kp.ru/daily/24312.4/505730/)

21.06.2009

Рубежи теории интеллекта

20.06.2009

Мировая экономика в надежных руках!

19.06.2009

Это появилось в Интернете с моей подачи!

19.06.2009

Мы победили (http://www.spbvedomosti.ru/article.htm?id=10258558@SV_Articles) - Президент РФ Д.А. Медведев назвал стратегические информационные технологии среди пяти направлений инновационного развития российской экономики http://www.rbc.ru/rbcfreenews/20090618150508.shtml

16.06.2009

Инициатива об организации движения "Сохраним в университетах лучших!" была изложена Президенту РФ Дмитрию Анатольевичу Медведеву на встрече с победителями студенческого командного чемпионата мира по программированию 2009 г., которая проходила в Барвихе 06.05.2009 г., и была им одобрена

15.06.2009

Не только я учу писать по-человечески

14.06.2009

Умные в 22 года, а мудрые значительно позже

14.06.2009

Лекция А.А. Шалыто о разном (достпна для зарегистрированных "В контакте")

14.06.2009

Корпорация "Интел" и чемпионы мира по программированию из университета ИТМО

14.06.2009

Чемпионов будут программировать

14.06.2009

Поздравляем Евгения Касперского с Государственной премией РФ по наукам и технологиям - первой по ИТ

14.06.2009

Шалыто А., Маврин П., Буздалов М. Спортивное программирование: битва "Россия - Китай" продолжается //PC WEEK.08.06.2009

14.06.2009

Чемпион мира по программированию мечтает о квартире и гитаре

14.06.2009

Всемирная награда за успехи по спортивному программированию

14.06.2009

Достижения СПБГУ ИТМО по спортивному программированию на чемпионатах мира

13.06.2009

Знакомое лицо в жюри конкурса юмористической фантастики им. Ильи Варшавского

13.06.2009

Михаилу Громову в Осло вручена высшая научная награда в области математики - Абелевская премия

13.06.2009

Шалыто А.А. на Проза.ру

13.06.2009

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

13.06.2009

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

13.06.2009

Автоматное программирование развивается в рамках Зворыкинского проекта не только моими коллегами

13.06.2009

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

13.06.2009

Попал в знаменитости рядом с Чубайсом и Чикатило - странная компания

13.06.2009

Куда делись депутаты Верховного Совета СССР первого созыва?

11.06.2009

Государственных корпораций не будет

10.06.2009

Возможна деградация населения до уровня, достаточного для обслуживания "трубы"

09.06.2009

Davydov A., Sokolov D., Tsarev F. and Shalyto A. Application of Genetic Programming for Generation of Controllers represented by Automata

09.06.2009

О чемпионах мира по программированию 2008 г. из ИТМО (ТВЦ)

09.06.2009

Призеры чемпионата по программированию 2007 (Вести) (2)

09.06.2009

Призеры чемпионата по программированию 2007 (Время)

09.06.2009

Почетный доктор СПбГУ ИТМО Бертран Мейер провел очередной семинар по Software Engineering у нас на кафедре

09.06.2009

Прием команды СПбГУ ИТМО - чемпионов мира по программированию 2009 г. Президентом Российской Федерации Д.А. Медведевым

05.06.2009

Компьютерные пионеры

01.06.2009

Статья Н.И. Туккеля о реализации автоматов

01.06.2009

Круглый стол в газете "Санкт-Петербургские ведомости" на тему "Нужны ли России информационные технологии?"

30.05.2009

Еще одно поздравление с Днем Рождения (3)

30.05.2009

Еще одно поздравление с Днем Рождения (2)

30.05.2009

Еще одно поздравление с Днем Рождения (1)

30.05.2009

Поздравление с Днем Рождения

26.05.2009

Российских футболистов запрограммируют на победу

23.05.2009

Нам пишут

23.05.2009

Навсегда вместе (Евгений Капун и Д.А. Медведев)

21.05.2009

У нас приняли пять докладов (20% докладов на конференции) на SYRCoSE (Spring Young Researchers Colloquium on Software Engineering. May 28-29, 2009, Higher School of Economics, Moscow) и организовали секцию "Automata-Based Programming and Its Applications"

21.05.2009

20% докладов наших студентов на научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте" (ИММВИИ-2009) г. Коломна, 26-27 мая 2009 г.

21.05.2009

Поможем компании Форд

21.05.2009

"Небывалая победа ..." - экспонат компьютерного музея

21.05.2009

Химики преодолели главное препятствие на пути к абиогенному синтезу РНК

20.05.2009

Президент РФ В.В. Путин принимал не тех студентов

18.05.2009

Здравствуйте, Шалыто Анатолий Абрамович! Модераторы активировали вашу учетную запись. Теперь вы можете оставлять комментарии в видеоблоге Дмитрия Медведева.

17.05.2009

Рекорд сайта - 435 хостов!

16.05.2009

Президент РФ Д.А. Медведев и наши дети. 4

16.05.2009

Президент РФ Д.А. Медведев и наши дети. 3

16.05.2009

Президент РФ Д.А. Медведев и наши дети. 2

16.05.2009

Президент РФ Д.А. Медведев и наши дети. 1

15.05.2009

Шалыто А.А. Сюжет для рассказа

15.05.2009

Шалыто А.А. Секретарь и секретарша

14.05.2009

Три кита подготовки программистов

14.05.2009

Охота за талантами

14.05.2009

Наконец-то вы узнаете, как стать чемпионом мира по программированию.

http://fedor-tsarev.livejournal.com/9072.html#cutid1
http://fedor-tsarev.livejournal.com/9236.html#cutid1
http://fedor-tsarev.livejournal.com/9605.html#cutid1

13.05.2009

Надя Поликарпова публикуется с Бертраном Мейром!

11.05.2009

Видеоблог Дмитрия Медведева. Об "экономике знаний" в России (из встречи с программистами 6 мая 2009 года)

08.05.2009

Сорокин И.В. Использование автоматов для вычислений в комбинаторах

08.05.2009

Смирнов Е.В., Селифонов Е.В., Тихомиров А.В. Построение системы автоматов по исходному коду программы

05.05.2009

Федор Царев выступает с ответным словом на поздравления от ACM

05.05.2009

Команда СПбГУ ИТМО на торжественном ужине ACM Awards

05.05.2009

Наши дети - чемпионы мира по программированию. Часть 2

05.05.2009

Наши дети - чемпионы мира по программированию. Часть 1

02.05.2009

А.А. Расплетин и становление отечественых радиолакационных систем оповещения, наведения и выдачи целеуказания

02.05.2009

Поздравление с очередной блестящей победой

02.05.2009

Нам пишут

02.05.2009

Ваганов Н.И. Перспективы развития базовых военных технологий в области создания систем управления и обработки информации

02.05.2009

Крайлюк А.Д., Комченков В.И., Ивлев А.А., Юрин А.Д. Основы концепции развития робототехники военного назначения до 2030 г.

02.05.2009

Шалыто А.А. Когда пишется слово "число", а когда - "количество"

02.05.2009

Шалыто А.А. Порнография, эротика и русский язык

02.05.2009

Цимбалюк Е.А. ECG. Генератор компиляторов

02.05.2009

Законов А.Ю. Применение автоматного подхода при создании JavaCard-приложений

28.04.2009

Шалыто А.А. Тезисы к выступлению на круглом столе в газете "Санкт-Петербургские ведомости" 29.05.2009 г. на тему "Нужны ли России информационные технологии?"

28.04.2009

Новая редакция статьи "Небывалая победа Российской школы программирования!"

28.04.2009

Сюжет на НТВ о победе наших студентов на чемпионате мира по программированию!

27.04.2009

Ю.Чеботарева, Ф. Царев и М.Царев выиграли деловую игру "Железный предприниматель", целью которой являлась разработка бизнес-идей по применению технологии передачи данных 4G - Mobile WiMAX

27.04.2009

Шалыто А.А. Проектный подход при обучении разработке программ

27.04.2009

Нужны ли России информационные технологии?

27.04.2009

23 апреля 2009 г. зафиксирован рекорд по числу визитов - 1166

27.04.2009

Красильников Н.Н. Реализация автоматов на основе указателей на методы

27.04.2009

Наше участие на конференции "Одаренные дети"

23.04.2009

Слайд-шоу о наших победах

23.04.2009

Небывалый триумф Российской школы программирования!

23.04.2009

У нас приняли доклад Столяров Л.В. (ученик восьмого класса лицея "Вторая школа", Москва), Дединский И.Р., Шалыто А.А. "Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C" на "Восьмую Сибирскую научную школу-семинар "Компьютерная безопасность и криптография" (SIBECRYPT'09), которая будет проводиться 8-11 сентября 2009 г. в Омском государственном техническом университете

23.04.2009

Компания "Скартел" начинает предоставлять коммерческие услуги сети WiMAX корпоративным клиентам

21.04.2009

Наши студенты - Максим Буздалов, Евгений Капун и Владислав Исенбаев (тренер - Андрей Станкевич) стали чемпионами мира и Европы по программированию! Поздравляем!

21.04.2009

Шалыто А.А. Как аукнется, так и откликнется

21.04.2009

Безотцовщина

21.04.2009

Кого можно считать интеллигентом?

21.04.2009

Письмо одного из известнейших специалистов Европы Манфреда Броя (http://se.ethz.ch/~meyer/gallery/)

21.04.2009

Нам пишут

21.04.2009

Непейвода А.Н. Автоматное программирование

20.04.2009

У нас приняли доклад на симпозиум IFAC

20.04.2009

Генеральный конструктор Виктор Петрович Макеев

20.04.2009

Мобильный WiMAX в России: серия новых гаджетов на подходе

20.04.2009

Фотографии с VI Всероссийской конференции молодых ученых

20.04.2009

Фотографии со школы по высокопроизводительным вычислениям

20.04.2009

Она отдала последнюю рубашку бездомным животным!

18.04.2009

Поздравляем дипломантов VI Всероссийской межвузовской конференции молодых ученых:

  • Вельдер Сергей - диплом за лучший доклад на секции "Информационные технологии"
  • Чеботарева Юлия - диплом за лучший доклад студента на секции "Информационные технологии"
  • Царев Михаил - диплом за лучший доклад на секции "Информационно-образовательные технологии (педагогика)"
  • Мазин Максим - за второе место на сессии научной школы "Технологии высокопроизводительных вычислений и компьютерного моделирования"

17.04.2009

"Игры" великих ученых

17.04.2009

Шалыто А.А. С одной стороны, с другой стороны...

17.04.2009

Шалыто А.А. О Холокосте

17.04.2009

Один думает, а другой ходит!

13.04.2009

Подсекция "Автоматное программирования" на конференции молодых ученых СПбГУ ИТМО будет более 20 докладов

13.04.2009

Наша поддержка И.Р. Дединского

13.04.2009

Пленарный доклад Шалыто А.А. Проектный подход при обучении программированию одаренных детей на конференции "Одаренные дети: проблемы, перспективы, развитие"

13.04.2009

Как иногда заканчиваются блистательные карьеры

13.04.2009

Это сайт моего двоюродного племянника, который перед поступлением в магистратуру решил объехать полмира!

13.04.2009

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

09.04.2009

Получен искусственный костный мозг

09.04.2009

Павел Лобанов - кандидат технических наук. Поздравляем!

09.04.2009

Во всем виноват фотограф

09.04.2009

Лев Толстой и лженаука

09.04.2009

Почему российские мужчины умирают так рано?

09.04.2009

Биотехнологические компании мало отличаются от порностудий

09.04.2009

Мы в редколегии журнала RSDN

09.04.2009

Искусственный интеллект в компании "Транзас"

07.04.2009

Шалыто А.А. Зачем воспитывать взрослых?

03.04.2009

Народное мнение об одном из лучших, сохраняемых нами в университете.

"Это мегамозг. Реально. Ну, пожалуй, самый умный из тех, кого я знаю лично. И не только головой варит, но ещё и знает кучу всего. Я с ним учился один семестр, пока меня не отчислили :) Брать, обязательно брать (в редколлегию журнала - А.Ш.), если он согласен."

03.04.2009

Карвен Мид - создатель кремниевой компиляции. Вошел в число четырнадцати ученых, определевших развитие технологии интегральных схем и число 400 инноваторов США

03.04.2009

Быстрый старт с Yota

31.03.2009

Итоги 5-го Балтийского научно-инженерного конкурса (BalticSEF)

31.03.2009

Дединский И.Р. Почему мы стали заниматься автоматным программированием?

31.03.2009

Статьи про автоматы в журнале RSDN

29.03.2009

Парфенов, Царев и Intel
http://lenta.ru/news2/2009/03/27/intel/
http://www.hardnsoft.ru/default.asp?trID=298&artID=6591

28.03.2008

Вадим Гуров - кандидат технических наук. Поздравляем!

27.03.2009

Рецензия на книгу Поликарповой Н.И., Шалыто А.А. Автоматное программирование

24.03.2009

23 марта 2009 зафиксирован рекорд сайта 306 хостов

24.03.2009

Владимир Борисович Яковлев - ученый, педагог и организатор. К 75-летию со дня рождения

24.03.2009

Лауреаты премии Тьюринга. Биографии

24.03.2009

Алан Кей - создатель многого!

23.03.2009

Вот какие бывают студенты и преподаватели! А что нам мешает?

23.03.2009

Как должны выглядеть дети, которые стараются радовать родителей своими хорошими оценками (подрисуночная подпись в газете "Комсомольская правда")

21.03.2009

Хотели бы Вы, чтобы Вас защищал такой юрист? (Из подрисуночной подписи в газете "Комсомольская правда")

21.03.2009

19 марта 2009 года зарегистрировано два рекорда сайта: 272 хоста и 976 визитов

21.03.2009

В 2008 году корпорация IBM получила 4186 патентов? А ваша компания?

21.03.2009

Вероятностная логика экологичнее булевой

19.03.2009

Мы открыли музей без помощи государства и меценатов!

19.03.2009

Отзыв на книгу

19.03.2009

Россия: Представлен первый WiMAX-нетбук

19.03.2009

Васильева Е.Ю,, Никитин А.С., Чураков М.Ю. Моделирование проезда регулируемых перекрёстков равнозначных дорог

19.03.2009

Шалыто А.А. Подснежники

19.03.2009

Голубицкий С. Как в зеркале

19.03.2009

Шалыто А.А. Какой номер у Петра?

16.03.2009

Нас включили в программный комитет конференции "Компьютерные науки и информационные технологии", которая проводится в саратовском госудрственном университете им. Н.Г. Чернышевского

14.03.2009

Премию Тьюринга получила профессор MIT Барбара Лисков. Надеюсь, что следующей женщиной, которая получит эту премию, будет Надя Поликарпова. Кстати, она писала бакалаврскую работу (http://is.ifmo.ru/papers/oosusch/) по теме, связанной с работами Лисков. Тем более, что Барбара Лисков недавно приезжала в Высшую политехническую школу в Цюрихе (здесь сейчас пработает и учится Надя) знакомиться с работами группы Бертрана Мейра. Надя с ней разговаривала и делала доклад на тему своей магистерской.
http://lenta.ru/news/2009/03/11/turing/
http://web.mit.edu/newsoffice/2009/turing-liskov-0310.html

13.03.2009

Вручение премии правительства РФ в области образования

12.03.2009

Шалыто А.А. Институт понижения квалификации

08.03.2009

Выпускник кафедры "Компьютерные технологии" Антон Лиходедов - (http://likh.livejournal.com/) самый авторитетный блоггер по экономическим вопросам в российском интернете

07.03.2009

Он создал из фамилии имя

04.03.2009

На тему automata inheritance мы первые в Гугле!

01.03.2009

Цымбалюк Е.А. Текстовый язык автоматного программирования ТАВР

01.03.2009

Эту работу сделали не в ИТМО, но она очень похожа на наши и сделана с помощью нашего подхода

28.02.2009

Приглашение поэта Евгения Евтушенко на 25 дней рождения в Политехнический музей в Москве

28.02.2009

Автограф Евгения Евтушенко на книге

28.02.2009

Художники Алексей Кирьянов и Михаил Шемякин с Железным Феликсом

28.02.2009

На сайте открылся раздел "Автографы"

28.02.2009

Футбол на Паскале

28.02.2009

Президент РФ Д.А. Медведев и генеральный директор компании "Yota Lab" Александр Штучкин (призер чемпионата мира по программированию 2003 года,выпускник СПбГУ ИТМО 2006 года) на стенде "Скартел-Yota"

22.02.2009

Неожиданное поздравление с премией!

22.02.2009

Женский аршин

22.02.2009

Yota на стендах Intel и HTC на выставке в Барселоне

19.02.2009

Президент РФ Д.А. Медведев и чемпион мира по программированию 2008 года Федор Царев (выпускник СПбГУ ИТМО 2009 года) на стенде "Скартел-Yota"

19.02.2009

Какой бренд сейчас моден?

17.02.2009

Jacky J., Veanes M., Campbell C., Schulte W. Model-Based Sowtware Testing and Analysis with C#

17.02.2009

Столяров Л. Трансляция описаний конечных автоматов, представленных в формате MS Visio, в исходный код на языке C

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




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