НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»



Главная

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

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

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии

English
Home

Articles
Automata-Based Programming
EffelState
Initiatives
Projects
Miscellaneous
Presentations
State Machines
Technology
UniMod
UniMod Projects
Visualizers


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

Яndex



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


Новости



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

Линус Торвальдс получил Премию тысячелетия в области технологий ("Поиск" - За качество жизни. Объявлены лауреаты технологической “нобелевки”)

16.05.2012

Шалыто А. А. А не придурок ли ты?

15.05.2012

Шалыто А. А. Заметки о мотивации. Редакция от 15.05.2012

15.05.2012

Карпов Ю. Новая жизнь верификации

15.05.2012

У Андрея Клебанова приняли доклад "Distributed Atlas: a Rule-based System for Query Federation over Semantically Aligned Gene Expression Data Sources" на "8th International Conference on the Bioinformatics of Genome Regulation and Structure\Systems Biology (BGRS\SB-2012)" Novosibirsk 25-29 June 2012

12.05.2012

Как живут в Норвегии: "Все хорошо, единственная проблема — я не понимаю, когда мы учимся, а когда у нас перемена" ("Огонек" - Фьорд фокус)

12.05.2012

Нанотехнологические проекты, которые могут стать успешными ("Эксперт" - Американская нанобаза в Химках)

12.05.2012

Новаторы и инноваторы из Apple ("Открытые системы" - Новатор и инноватор: две стороны медали)

11.05.2012

Компания, в который каждый делает, что ему нравится! ("Хабрахабр" - Valve: как я здесь оказался, на что это похоже и чем я здесь занимаюсь)

11.05.2012

"Время электроники": в Москве заработала сеть LTE оператора Yota

09.05.2012

О Российском индексе научного цитирования ("Поиск" - Авторская работа. Российский индекс научного цитирования поможет оценить деятельность ученого и организации)

09.05.2012

Доклад Zakonov A., Shalyto A. Towards automated high coverage test generation for Web applications using abstract syntax trees analysis приняли на семинар "Program Semantics, Specification and Verification: Theory and Application" (PSSV 2012)

09.05.2012

Доклад Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Ant Colony Optimization приняли на конференцию "Eight International Conference on Swarm Intelligence" (ANTS 2012), Брюссель

09.05.2012

Шалыто А. А. Мои счастливые годы жизни на кафедре "Компьютерные технологии" СПбГУ ИТМО (к двадцатилетию кафедры "Компьютерные технологии"). Редакция от 09.05.2012.

09.05.2012

Наши 24 часа решают задачи и побеждают (Challenge24 - 12th International 24-hour Programming Contest - 2012)

08.05.2012

Мир продолжает смотреть телевизор ("Время электроники" - Конец эпохи телевизоров отменен)

08.05.2012

"PCWEEK": Европейский суд постановил, что программы и языки программирования не могут быть интеллектуальной собственностью

08.05.2012

Академик К.Г. Скрябин рассказывает о своей семье и геноме

05.05.2012

"Инновационные тренды": Какой аналог DARPA нам нужен

05.05.2012

Программирование ждет научные методы, а пока работает как получается. ("PCWEEK" - Какой будет разработка ПО в будущем?)

05.05.2012

Объявлен старт второй ежегодной олимпиады по программированию Russian Code Cup 2012

05.05.2012

Анохин К.В. Мозг и разум. Лекция 1, лекция 2

03.05.2012

Два проекта наших аспирантов - "CloudGenomics - облачный интернет-сервис для обработки и хранения геномных данных" (руководитель - Ф. Царев) и "Конструктор M2M-систем - программа-конструктор систем телеметрии" (руководитель - В. Клебан) прошли в финал конкурса "Бизнес Инновационных Технологий 2012 - Северо-Запад" (БИТ 2012 - Северо-Запад) (http://bit-konkurs.ru/Severo-Zapad/Podrobno/Final_BIT-Severo-Zapad). Проект Виталия Клебана занял третье место и вышел в полуфинал Всероссийского конкурса "БИТ 2012". Поздравляем!

03.05.2012

Доклад Zakonov A., Shalyto A. Generating Test Cases With High Branch Coverage for Web Applications приняли на SYRCoSE 2012 (http://syrcose.ispras.ru/)

03.05.2012

Технологический бум в Сингапуре! ("Время электроники" - Почему полупроводниковым компаниям комфортно в Сингапуре?)

03.05.2012

Царев Ф.Н., Шалыто А.А. Построение конечных автоматов на основе генетических алгоритмов и генетического программирования // Труды Третьей российской конференции с международным участием "Технические и программные средства систем управления, контроля и измерения" (УКИ’12). М.: ИПУ РАН. 2012, c. 2017-2031.

03.05.2012

Не рой другому яму, сам в нее попадешь! И попал таки. ("Известия" - Главкома ВВС уволили за нежелание возглавить Академию им. Жуковского)

03.05.2012

Владимир Николаевич Васильев - член-корреспондент РАН ("Информационно-управляющие системы", №2, 2012)

02.05.2012

Оргкомитет рад сообщить, что доклад Григория Чикишева принят на школу-семинар SIBECRYPT'12

02.05.2012

У науки еще много не решенных проблем ("Время электроники" - Опасные микроорганизмы могут вывести из строя МКС)

02.05.2012

Успехи наших сотрудников на XII International 24 Hours Programming Contest, 2012 год

  • П. Митричев, Е. Куликов, П. Маврин (НИУ ИТМО) - 1-ое место
  • А. Станкевич (НИУ ИТМО), С. Поромов (НИУ ИТМО), Д. Гозман - 5-ое место

02.05.2012

Наши и Президент РФ Д.А. Медведев (Медиапортал ИТМО - СМИ о Университете)

28.04.2012

Частные полеты в космос в США ("Огонек" - Без NASA обойдутся)

28.04.2012

Трудно ли было придумать, что перед операцией надо мыть руки? ("Город 812" - Почему доктора не хотят мыть руки)

27.04.2012

Поиск в Mail.Ru развивается ("Computerworld Россия" - Поиск ближе к пользователям)

27.04.2012

Oracle: в Google заведомо «нарушили правила» ("Открытые системы")

27.04.2012

"PCWEEK": Свободна ли Java, оба Ларри не знают

26.04.2012

Беседа с бывшим акционером РКК "Энергия" С. Недорослевым ("Известия" - «Мне всегда была интересна эта компания»)

26.04.2012

Зачем тогда вообще нужны наши заводы электроприборов, если на них не получаются iPhone? ("Известия" - Возвращение цели)

26.04.2012

Один из создателей Microsoft финансирует детальное исследование головного мозга ("Поиск" - Умозрительный сигнал)

25.04.2012

Б. Мейер рассказал В. Суркову о работе в России ("Известия" - Владислав Сурков послушал про низкие зарплаты и нехватку кадров)

25.04.2012

ИТ-отрасль порождает все новых миллиардеров ("Огонек" - Майк Кригер и Кевин Систром, основатели Instagram)

24.04.2012

Царев Ф. Н., Шалыто А. А. Эволюционные вычисления и генерация конечных автоматов. Третья российская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения». Институт проблем управления имени В. А. Трапезникова РАН (г. Москва, Россия), 17 апреля 2012 года. Пленарный доклад.

24.04.2012

Red Hat первой заработала миллиард долларов на открытом ПО ("Открытые системы" - Red Hat вступила в клуб «миллиардеров»)

24.04.2012

Эксафлопсные вычисления. Отчет по проблеме (Концепция по развитию технологии высокопроизводительных вычислений на базе суперэвм эксафлопного класса (2012-2020 гг.))

24.04.2012

Поздравляем студентов кафедры КТ - победителей студенческой математической олимпиаде Северо-Запада России! Особо - Е. Капуна, В. Аксенова и В. Кевера

23.04.2012

"Сети/network world": готовы ли Вы отказаться от крутого смартфона?

23.04.2012

"Время электроники": машинное зрение встраиваемых систем: накануне бума

23.04.2012

"Время электроники": Google показал свои секретные очки дополненной реальности

20.04.2012

Панорама Санкт-Петербурга

20.04.2012

Курс Ф. Царева "Эволюционные алгоритмы"

20.04.2012

У нас приняли стендовый доклад (Zakonov A., Shalyto A. Towards automated high coverage test generation for web applications using abstract syntax trees analysis) на конференцию "PSSV 2012 : Program Semantics, Specification and Verification: Theory and Applications"

17.04.2012

Кто из наших ребят попадет в Зал славы искусственного интеллекта Института инженеров по электротехнике и электронике (IEEE)? ("Поиск" - Искусственные мысли)

17.04.2012

Саратовский государственный университет им. Н.Г. Чернышевского проводит международную научную конференцию "Компьютерные науки и информационные технологии" им. А.М. Богомолова (http://knit2012.sgu.ru/). Шалыто А.А. - член программного комитета. По поводу подачи докладов обращаться к Ф. Цареву.

16.04.2012

Нобелевскую премию получить легко. Посмотрите рисунки! (Esquire - Ценные бумаги)

14.04.2012

На матмехе СПбГУ будет проходить конференция "Системы Программирования, Интеллектуальные Системы, Обеспечение Качества" (СПИСОК-2012). На сайте конференции приведен шаблон для подачи материалов на конференции. Мы успешно выступили на "Списке-2011" и приглашены участвовать на этой конференции. Наша секция "Автоматное управление, эволюционные алгоритмы, верификация на моделях" (руководитель - А.А. Шалыто), видимо, будет проходить 27.04.2012 г. с 10-00 на матмехе. Желательно, чтобы большинство докладов с III сессии научной школы "Технологии программирования и искусственный интеллект" с конференции молодых ученых НИУ ИТМО (I Всероссийский конгресс молодых ученых) были поданы на "Список".

12.04.2012

"Поиск": Точный ход. Главная математическая награда вручена выпускнику аспирантуры МГУ

12.04.2012

Живые публикации - это интересно. "Заметки о мотивации" - пример живой публикации ("Поиск" - Юбилей РФФИ: остаться в живых)

12.04.2012

Новый подход к секвенированию генома ("Эксперт" - Геном за десять долларов)

12.04.2012

Mail.ru выполняет работы по поиску ("Эксперт" - Mail.ru учится искать)

06.04.2012

Известный американский изобретатель и футуролог Рэймонд Курцвейл - обладатель крупнейшей в мире инноваций премии MIT-Lemelson и Национальной медали США в области технологий, утверждает, что к 2045 году биология перейдет в разряд информационных наук и за счет окончательной расшифровки геномов откроются неограниченные возможности воспроизводства клеток.

06.04.2012

11 апреля 2012 г. 14.20. III сессия научной школы «Технологии программирования и искусственный интеллект» на I Всероссийском конгрессе молодых ученых. Руководитель школы - А.А. Шалыто. Адрес: Кронверкский пр. д.49, ауд. 446, страницы программы - 33,34.

05.04.2012

Минобороны заказало "Транзасу" ударные беспилотники ("Военное обозрение" - Военные определились с беспилотниками)

05.04.2012

Почему все пользуются старыми языками программирования? ("PCWEEK" - Про идеальный язык программирования)

03.04.2012

Роботы с живыми нейронными сетями ("Итоги" - Мысленно с вами)

03.04.2012

"Центр информационной безопасности": японцы изобрели прибор, применение которого заставляет человека замолчать

03.04.2012

Кафедра КТ заняла призовое место на конкурсе кафедр университета

03.04.2012

Премию Тьюринга за 2011 г. дали за работы по искусственному интеллекту. Мы на правильном пути. ("Computerworld Россия" - Премия за интеллект)

02.04.2012

Обновлен раздел Дипломы. Решетников Е.О. Инструментальное средство для поддержки автоматного программирования в среде разработки Microsoft Visual Studio 2008

02.04.2012

Лев Хасис сделал феноменальную карьеру! ("Слон" - Русский в Wal-Mart: Лев Хасис сделал самую крутую карьеру)

02.04.2012

Интервью Льва Хасиса РБК daily

29.03.2012

Второй докладчик подтвердил, что на практике все, что написано в "Заметках о мотивации" осуществимо!

29.03.2012

Джекобсон A., Хyaн Ш., Кaйкo-Мэтсон M., МакМэхон П., Сeймyp Э. SЕMAT - взгляд на три года вперед // Программирование. 2012. № 1, с. 3 - 18

28.03.2012

Google уже похоже не дает 20% свободного времени. Остается только кафедра КТ :-) ("PCWEEK" - Google больше не интересуют инновации – только деньги)

28.03.2012

Дискуссия: "Как преподавать информатику в школе?" ("PCWEEK" - Перестали преподавать информатику...)

24.03.2012

Хабрахабр: алгоритмическая ошибка привела к аварии самолета из песочницы. Заметим, что по ссылке на наш сайт, находящейся в комментарии девятого уровня вложенности, прошло более 300 человек.

23.03.2012

21 марта 2012 года В.Н. Васильев выступил с докладом на двадцать девятом заседании Комиссии при Президенте РФ по модернизации. Скачать презентацию

22.03.2012

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2011 году

22.03.2012

Еще один основатель Mail.ru Group продает ее акции (Газета.ру - Mail.Ru доросла до выхода)

22.03.2012

Коммерсантъ: Юрий Мильнер ушел из Mail.ru Group

22.03.2012

Как создавать пограммные системы для ответственных приложений. ("PCWEEK" - США захватывают ключевые плацдармы компьютерных стандартов)

20.03.2012

"Аэрофлот" начинает акцию "Приведи друга в летчики"... и получи деньги

20.03.2012

В "Роскосмосе" должности "генеральный конструктор" и "генеральный директор" разделили

18.03.2012

Шалыто А. А. Заметки о мотивации. Редакция от 18.03.2012

15.03.2012

Даже студенты начали понимать, что пока высшее образование не станет платным толку не будет (Варвалюк И. К вопросу о введении студенческого самоуправления и студенческих советов в ВУЗах для повышения качества высшего образования)

15.03.2012

Шалыто А.А. Шаг в правильном направлении

15.03.2012

Как делают IPad ("Время электроники" - The new iPad: работник Foxconn поведал, почему он ненавидит делать айфоны)

14.03.2012

Построение визуализатора для начертательной геометрии (!) на основе автоматного программирования. Бобровских А.С. Разработка обучающей системы для алгоритмов начертательной геометрии с использованием технологии автоматного программирования // «Вестник компьютерных и информационных технологий». 2011. № 1, с.38 – 43.

14.03.2012

Планшеты - наше ближайшее будущее

11.03.2012

Наконец-то, и руководители страны начинают понимать, что бюджетное высшее образование – это не подарок, а взаимные обязательства государства и студента.

Д. МЕДВЕДЕВ: Задача государства состоит в том, чтобы сделать так, чтобы деньги, которые мы тратим на образование, тратились с умом, и чтобы люди, которые получают бесплатное образование, всё-таки это ценили.
Если студент бюджетного отделения, получивший бесплатное образование, после этого уезжает куда-то, например, за границу работать, это как минимум повод для того, чтобы поставить вопрос о том, на основании каких соглашений он получил это высшее образование. Если ты учишься за свои деньги – всё понятно, а если ты получаешь бюджетное образование… Конечно, невозможно запретить людям уехать в современной жизни, в современном мире, но, мы неоднократно об этом говорили, крайне важно оформлять такие отношения, может быть, соответствующими договорами, которые будут фиксировать взаимные обязательства сторон: государства в лице соответствующего университета, с одной стороны, и лица, которое получает бесплатное образование за счёт бюджетных средств. Понятно, он не крепостной, он не привязан к этим местам, но он должен понимать, что какую-то часть своих знаний он обязан отдать Отечеству своему.
http://blog.kremlin.ru/post/211/transcript

08.03.2012

Лекции из Стенфорда и МТИ

06.03.2012

Как это все начиналось ("Деловой Петербург" - Петербург плодовит на программистов)

06.03.2012

Гениальные кадры - играй до конца! (YouTube)

05.03.2012

Почему в нашей стране не надо бороться с коррупцией? ("Эксперт" - Как устроена Россия)

05.03.2012

Человек, прошедший путь от простого кодера к вершинам управленческой структуры софтверного гиганта ("PCWEEK" - Стивен Синофски. Многие видят в нем следующего главу Microsoft)

05.03.2012

Доколь... ("NoNetwork" - Наука по барабану)

02.03.2012

Обновлен раздел Курсовые проекты. Бочкарев А.И. Портирование генетических алгоритмов на платформу OpenCL на примере генерации автомата в задаче „Умный муравей“

02.03.2012

И. Шалыто: "Страна привыкает платить за контент" ("Стандарт" - Одиночество в Сети)

01.03.2012

Пока другие хотят, мы уже во второй раз делаем!

01.03.2012

Интервью газете "Ведомости" генерального директора Mail.ru Group Д. Гришина

29.02.2012

Мы работаем в очень хорошем вузе ("Известия" - Самые богатые вузы — в Петербурге)

29.02.2012

Отсутствие мотивации - это серьезно ("Итоги" - Как рабы на галерах)

28.02.2012

Интервью с Ильей Широковым - руководителем проекта "Одноклассники".

28.02.2012

Обновлен раздел Статьи. Выложено 17 наших статей журнала "Научно-технический вестник СПбГУ ИТМО". Выпуск 72(2), 2011.

27.02.2012

Обновлен раздел Книги. Миронов А.М. Теория функциональных программ

27.02.2012

Б.П. Кузнецов и А.А. Шалыто об автоматном программировании

24.02.2012

Протокольные автоматы (Иерархические диаграммы состояний и переходов в синтезе телекоммуникационных протокольных автоматов)

24.02.2012

Язык Cell - программирование иерархических автоматов

24.02.2012

Применение автоматов в промышленности (Разработка и исследование управляющего автомата электропривода технологического комплекса "Подъем")

24.02.2012

Почему в Германии все нормально с экономикой ("Русский репортер" - Вторая промышленная революция)

24.02.2012

Во второй раз стартовал Russian Code Cup

22.02.2012

"Скартел" запускает LTE в Москве ("Время электроники" - WiMAX в России умер? Да будет LTE!)

22.02.2012

Нью-Йорк будет строить свое Сколково

22.02.2012

Юдицкий С.А. Моделирование динамики многоагентных триадных сетей. – М.: СИНТЕГ, 2012, 112 с.

22.02.2012

Хозяева виртуальной реальности - это интересно (Forbes представляет 30 самых заметных фигур русского интернет-бизнеса)

22.02.2012

Нужна антенна - пожалуйста! ("Время электроники" - Нужна антенна? Просто пшикни из баллончика!)

21.02.2012

Журнал "Forbes": Гендиректор Mail.ru Group Дмитрий Гришин возглавил кафедру ИТМО

21.02.2012

Как быстро меняются тенденции в сфере создания мобильных телефонов (Lenta.ru - Развод и девичья фамилия)

21.02.2012

Язык программирования "Дракон" (http://ru.wikipedia.org/wiki/ДРАКОН_(алгоритмический_язык)). Зачем управляющие алгоритмы описывать так громоздко (http://www.youtube.com/watch?v=Ua9dUUONjdk&feature=youtu.be), когда есть автоматное программирование (http://is.ifmo.ru/), в котором используются схемы связей и графы переходов (http://is.ifmo.ru/books/_book.pdf). Что применять схемы, похожие на схемы алгоритмов, применять нецелесообразно, показано здесь (http://is.ifmo.ru/books/djvu/pdf/A009.pdf).

21.02.2012

В России, наконец-то, задумались о создании элементной базы! ("Время электроники" - России нужна своя электронная элементная база)

21.02.2012

"В какой бы стране Вы ни создавали лабораторию, столкнетесь примерно с одними и теми же трудностями. Это относится и к подбору персонала. Кадры в области исследований и разработок — страшный дефицит хоть в Китае, хоть в США, хоть в России. Потому что Вы ищете что-то уникальное. Потому что зачастую нужен специалист со вполне определенным набором компетенций, а Вам говорят, что таких в принципе нет. В России мы никогда не будем иметь тысячи и тысячи кодировщиков. Такие задачи даже нет смысла ставить. Формирование идеологии программных продуктов, разработка их архитектуры, управление такими проектами — вот это наше. В эту сторону и двигаемся" (Конильев К., генеральный директор IBM в России и СНГ).

20.02.2012

О достоинствах и недостатках научной работы за рубежом ("Российская газета" - Одиссея Павла Бушева)

20.02.2012

Максим Мазин теперь Senior Meta-Developer. Круто!

20.02.2012

На пути к экзофлопcным вычислителям ("PCWEEK" - Эволюционное развитие и выдающиеся исключения)

20.02.2012

JetBrains открывает код нового языка программирования "Kotlin" ("PCWEEK" - Открыт код нового языка программирования Kotlin)

20.02.2012

Награждение Бертрана Мейера 2010 Miills Award (YouTube - Bertrand Meyer Recipient of 2010 Mills Award)

17.02.2012

14.02.2012 г. В.В. Путин обсудил с руководством ведущих вузов страны будущее высшей школы. При этом в статье в "Российской газете", в частности, сказано: "От премьера не укрылась "осторожная" реакция профессуры на идею сделать стипендии 5 тысяч рублей - потому что ассистенты получают столько же" (http://www.rg.ru/2012/02/15/putin-rektory.html). Возможно, что этот "осторожный" профессор я, так как в моей статье "Кадры для ИТ-индустрии: найти и удержать" (http://is.ifmo.ru/belletristic/2011/Shalyto-IT-kadry.pdf) в п.11 сказано об этом, а статья была передана 28.10.2011 г. Ф. Царевым на встрече В. Суркову, который присутствовал и на этой встрече. На встрече с В.В. Путиным наряду с В.Н. Васильевым присутствовал, в частности, и Ф. Царев.

17.02.2012

NASA завершила выпуск на бумаге четыре тома воспоминаний российского ученого Бориса Чертока, которые сразу полностью выложила в Интернет (только первый том странный)! (Lenta.ru - NASA завершило издание мемуаров Бориса Чертока)

16.02.2012

На кафедре "Технологии программирования" праздник: Федор Александрович Новиков - доктор технических наук по специальности 05.13.11. Поздравляем!

16.02.2012

Apple быстро отреагировала на плохие условия сборки их продукции в Китае ("Время электроники" - Apple навела шороху на заводах китайских партнеров)

15.02.2012

По мнению китайских ученых восьмым по значимости научным событием в мире за 2011 г. было признано секвенирование генома картофеля, которое выполнялось проектной группой, состоящей из 29 исследовательских групп (!!!), представляющих 14 стран мира. Информация об этом размещена в июльском номере журнала Nature. Это достижение поможет ученым и селекционерам повысить урожайность картофеля, а также улучшить качество, пищевую ценность и сопротивляемость болезням этого ценного корнеплода. ("Поиск" - Восточная десятка. Китай предложил свой рейтинг научных и технических достижений 2011 года.)

15.02.2012

В.В. Путин: "Профессора на своей основной работе должны получать достаточно, чтобы не искать заработков на стороне"

15.02.2012

iPad в обучении ("Computerworld Россия" - Учить не по учебнику)

14.02.2012

Обновлен раздел Статьи. Выложено 28 статей сборника "Автоматное программирование". Научно-технический вестник СПбГУ ИТМО. Выпуск 53, 2008.

14.02.2012

Шалыто А. А. Заметки о мотивации. Редакция от 14.02.2012

13.02.2012

Математики МТИ ускорили алгоритм быстрого преобразования Фурье ("Computerworld Россия")

13.02.2012

Помощник президента А. Дворкович возглавил комиссию по развитию системы поиска и поддержки талантливых людей ("Комсомольская правда" - Дворкович будет совершенствовать ЕГЭ)

13.02.2012

В Китае построили 30-этажное здание за 15 (!!!) дней ("Итоги" - Фастбилдинг)

13.02.2012

Почему iPhone дешево стоит? ("Время электроники" - Время решительных действий)

13.02.2012

Геномные исследования в США финансируются все сильнее ("Поиск" - Внимание к персоне. Сотни миллионов долларов будут потрачены в США на геномные исследования.)

13.02.2012

Даже основателям приходится покидать компании ("Computerworld Россия" - Уход Янга сулит Yahoo большие перемены)

13.02.2012

В Думе живут Маниловы: "Если бы аспирант получал 30-40 тысяч рублей..." ("Поиск" - Что в портфеле? Депутаты возьмутся за базовые законы.)

12.02.2012

Ведутся работы над проектом "Концепции интеграции эффективных механизмов поиска и поддержки талантливых детей и молодежи в общенациональную систему". Одаренная молодежь в науке и образовании - до 35 лет. ("Поиск" - Налечь на селекцию! Отбор одаренной молодежи объявлен делом государственной важности)

11.02.2012

Для успеха в жизни интеллект не является самым главным ("Итоги" - Воспитание чувств)

10.02.2012

США задумывается о производстве и разработках за рубежом ("Время электроники" - Время решительных действий)

10.02.2012

Пентагон работает над упрощением программирования ("Военно-промышленный курьер" - Снова о прикладных исследованиях)

09.02.2012

Как учить детей сегодня ("Итоги" - Научите меня жить)

09.02.2012

Кто определял дизайн гаджетов "Apple" ("Итоги" - Ваше Художество)

09.02.2012

Об организации старапов в мире ("Эксперт" - Кто управляет Кремниевой долиной)

09.02.2012

О юбилее проводимой реформы образования ("Эксперт" - Забытый юбилей)

08.02.2012

Зачем нужны школьные олимпиады? Школьная фотография нашего выпускника Жени Мандрикова опубликована в статье "Олимпийские резервы" журнала "Итоги"

08.02.2012

Добавлено свидетельство о регистрации программы "Программное средство генерации тестовых данных для задачи о поиске максимального потока с использованием генетических алгоритмов"

08.02.2012

Если бы все схемы были для космоса, то стоимость станции и вовсе была бы нереальной ("Время электроники" - Более половины микросхем «Фобос-Грунта» нельзя было использовать для космоса)

08.02.2012

Как создавался российский Интернет ("Итоги" - Интернет как предчувствие)

07.02.2012

3D-конверсия фильмов ("Итоги" - «Титаник». Перезагрузка)

07.02.2012

Обновлен раздел Статьи. Добавлены наши статьи из журнала "Научно-технический вестник информационных технологий, механики и оптики" №1(77).

07.02.2012

Сингапур - страна, в которой нет коррупции ("Эксперт" - После чуда)

07.02.2012

Питирим Сорокин - русский политик, который в Америке стал всемирно известным социологом. (Питирим Сорокин: с корабля на лифт)

06.02.2012

Популярная статья об оценках сложности игр (Lenta.ru - Некоторые любят посложнее)

06.02.2012

Америка поощряет меценатов ("Итоги" - Сделайте нам культурно)

06.02.2012

Wi-Fi опасен для здоровья ("Итоги" - Удар ниже пояса)

06.02.2012

НИУ ИТМО - чемпион России по программированию 2011 года (Компьютер-информ - Питерские программисты выиграли полуфинал и стали чемпионами России)

02.02.2012

Обновлен раздел Статьи. Выложено 18 наших материалов из сборника "Список-2011".

24.01.2012

Б. Мейер, Д. Гришин, ИТМО на "Эхо Москвы" (Точка: IT-образование в России и за рубежом)

23.01.2012

Обновлен раздел Фотографии. 2011.12.24. Декабрь 2011 г. - продолжение августа 1991 г.

19.01.2012

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

19.01.2012

Из раздела Наука выделен раздел Новости науки, содержащий ссылки на интересные статьи о науке.

19.01.2012

Парфенов В.Г. Национальный научно-образовательный центр «Программная инженерия и интернет-технологии»

19.01.2012

Видео с полуфинала чемпионата мира по программированию

19.01.2012

29.10.2011 г. Президент РФ Д.А. Медведев в Московской школе экономики и управления «Сколково» встретился с молодыми учеными, инноваторами и предпринимателями. Фрагмент стенограммы с Федором Царевым

19.01.2012

В книге "Стив Джобс и я" Стив Возняк дважды упоминает машину состояний. На стр. 203 - "Я спроектировал аппаратную часть флоппи-дисковода и запрограммировал машину состояний", а на стр. 251 - "Для четырехбитного процессора сложно писать программы. Почти так же сложно, как написать машину состояний для флоппи-диска".

19.01.2012

В журнале "Computer" опубликована статья Хармана М. Программная инженерия и эволюционные вычисления. Ее можно скачать с домашней страницы автора ("Открытые системы" - Программная инженерия и смежные дисциплины)

19.01.2012

Как выпускник ЛИТМО стал Президентом страны ("Итоги" - Рожденный в СССР)

18.01.2012

Обновлен раздел Статьи. Казаков С.В., Царев Ф.Н., Шалыто А.А. Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник СПбГУ ИТМО. 2011, №6(76), стр. 64-68

17.01.2012

Обновлен раздел Ролики о нас. Пламенная речь А.А. Шалыто на 52 минуты на Software Project Management Conference. Россия. Санкт-Петербург. Гостиница "Карелия". 26.11.2011

17.01.2012

Тезисы доклада А.А. Шалыто "Кадры для ИТ-индустрии: найти и удержать" на Software Project Management Conference

16.01.2012

Не являются ли некоторые ИТ-компании мыльными пузырями? ("Эксперт" - Золотые скидки)

16.01.2012

Мало вузов в стране, которым нужны олимпиадники ("Поиск" - Лишняя элита? Далеко не все вузы конкурируют за олимпиадников)

16.01.2012

Бертран Мейер и НИУ ИТМО ("Открытые системы" - Строитель надежных программ)

15.01.2012

Когда маркетологи работают плохо... ("PCWEEK" - Microsoft готовит значительное сокращение менеджеров и маркетологов?)

15.01.2012

Появился 4G LTE смартфон ("Время электроники" - HTC представляет первый смартфон 4G LTE Windows Phone)

15.01.2012

Сайт "Наука и технологии в РФ"

14.01.2012

Шалыто и "Коммерсант" (Omlet.ru добавили в телеменю)

14.01.2012

Итальянский математик бросает вызов Google ("Открытые системы")

12.01.2012

Для чего нужно уметь собирать геном ("Огонек" - Берегите гены)

12.01.2012

Искусство из наглухо закупоренной страны ("Эксперт" - Оно вернется)

12.01.2012

Выпускник кафедры КТ Павел Белов вселяет оптимизм в возможность занятия наукой в России ("Московский комсомолец" - Динамичный товарищ фотончик)

11.01.2012

Научное образование и инновации ("Эксперт" - ИТ-садоводы)

10.01.2012

Обновлен раздел Беллетристика. Добавлены электронные версии четвертого и пятого издания "Заметок о мотивации".

10.01.2012

Появляются роботы - двойники ("Итоги" - Человекообразные)

09.01.2012

В раздел Articles добавлены наши статьи с конференции ICMLA 2011, прошедшей в Гонолулу.
Afanasyeva A., Buzdalov M. Choosing Best Fitness Function with Reinforcement Learning / Proceedings of the Tenth International Conference on Machine Learning and Applications, ICMLA 2011, Honolulu, HI, USA, 18-21 December 2011. IEEE Computer Society, 2011. Vol. 2. P. 354–357
Ulyantsev V., Tsarev F. Extended Finite-State Machine Induction using SAT-Solver / Proceedings of the Tenth International Conference on Machine Learning and Applications, ICMLA 2011, Honolulu, HI, USA, 18-21 December 2011. IEEE Computer Society, 2011. Vol. 2. P. 346–349

09.01.2012

Новое мышление молодого ученого ("Поиск" - Нужен маршрут. Молодые ученые настаивают: современному высшему образованию требуется академическая мобильность)

08.01.2012

Какие бывают выпускники и какие бывают университеты: миллиардер Амар Боуз передал акции своей компании "Bose Corporation" Массачусетскому технологическому институту, в котором учился и работал ("Про бизнес" - Амар Боуз)

08.01.2012

Как люди по-настоящему занимаются наукой ("Эксперт" - Ученый, забравшийся в клетку)

07.01.2012

Две культуры однокашников ("Огонек" - Орден — непродающимся)

07.01.2012

Еще раз о Перельмане ("Эксперт" - Ключ от Перельмана)

07.01.2012

Почему в Южной Корее за тридцать лет такой рост? ("Русский репортер" - Бремя белого инженера)

06.01.2012

Выдающийся дизайнер Владимир Пирожков тоже готовит молодых людей для работы на Западе. До коль? ("Итоги" - Нарисуем полетим)

06.01.2012

Как добиться успеха в бизнесе в 13 лет ("Русский репортер" - Ночной портье)

06.01.2012

Не обижайте девочек, а то... (Журнал "Огонек")

03.01.2012

Ученым Интернета недостаточно. Нужны еще книги

03.01.2012

Согласно исследованиям НИУ "Высшая школа экономики", для того чтобы высококвалифицированные специалисты шли работать в систему образования, зарплата должна составлять около 150% в среднем специальном и 220% в высшем образовании от средней заработной платы по региону.

03.01.2012

Царев Ф.Н. стал победителем конкурса "Молодой ученый НИУ ИТМО"

03.01.2012

Обновлен раздел Свидетельства. Добавлены свидетельства о регистрации программ "Программное средство для построения управляющих конечных автоматов, решающих задачи навигации, с использованием генетических алгоритмов", "Виртуальная лаборатория для обучения рефакторингу автоматных программ", "Программное средство для автоматизированных рефакторингов в инструментальном средстве Unimod", "Виртуальная лаборатория для обучения методам искусственного интеллекта при построении конечных автоматов"

01.01.2012

Для кого учат те, кто не видит "никаких моментов, которые бы остановили отток мозгов за границу"?

01.01.2012

Самые популярные ролики в Интернете

01.01.2012

В мире есть всего несколько организаций, обладающих возможностями для хранения и анализа генетической информации

01.12.2012

Поздравляем с Новым годом!

29.12.2011

Обновлена научная работа за 2011 год.

28.12.2011

Не списывайте! Вице-спикер Европарламента покинула пост из-за обвинений в списывании диссертации

28.12.2011

Люди пишут статьи, на которые ссылаются 2500 раз

27.12.2011

Обновлен раздел Курсовые проекты. Богуцкий А.Д., Сметанников И.Б. Использование генетических алгоритмов для построения функций принадлежности для заданных нечетких множеств

27.12.2011

Обновлен раздел Фотографии. 2011.10.28 Ф. Царев, М. Буздалов и С.П. Капица на международном кинофестивале научно-популярных фильмов "Мир знаний"

27.12.2011

Обновлен раздел Фотографии. 2011.11.01 Участие в работе 7-й международной научно-практической конференции "Разработка ПО 2011" (CEE-SEC(R) 2011)

27.12.2011

SECR2011 – фотографии с участием Бертрана Мейера

27.12.2011

Рассказ про очень смелую женщину

26.12.2011

Реактор от Билла Гейтса

26.12.2011

"Лучшая часть нашего общества, или, вернее, наиболее продуктивная его часть требует уважения к себе". Неожиданное интервью с В. Сурковым.

25.12.2011

Сразу две "Булавы" полетели!

25.12.2011

Что должен сделать М.Б. Пиотровский, чтобы стать академиком?

25.12.2011

О нравах в СПбГУ

25.12.2011

Студенты кафедры "Компьютерные технологии" С.А. Алексеев и В.И. Ульянцев стали победителями конкурса "У.М.Н.И.К."

24.12.2011

Кто и зачем выходит на митинги с барабанами!

24.12.2011

Беседа с председателем ВАК академиком РАН М.П. Кирпичниковым

23.12.2011

Архивные фото. 13.09.2005 Никлаус Вирт — почетный доктор нашего университета

23.12.2011

Обновлен раздел Фотографии. 2011.12.22 Защита кандидатской диссертации и банкет в честь успешной защиты А.С. Станкевича

23.12.2011

Обновлен раздел Фотографии. 2011.10.26 Круглый стол "Чему учить и как учить?" в Президентской библиотеке им. Б.Н. Ельцина

23.12.2011

Обновлен раздел Фотографии. 2011.11.26 Командный чемпионат России по программированию NEERC-2011

22.12.2011

Умер выдающийся человек - Вацлав Гавел!

22.12.2011

Cisco предложит бизнес-планшеты всех возможных размеров

22.12.2011

Только 15% сотрудников РАН в Москве и Санкт-Петербурге моложе 35 лет!

21.12.2011

Б. Мейер - заведующий кафедрой НИУ ИТМО на конференции SECR

21.12.2011

Юрий Мильнер и Павел Дуров раздадут денег на старапы

21.12.2011

Д. Кнут получил очередную награду

21.12.2011

Умер создатель отечественной школы управления космическими аппаратами

21.12.2011

Золотая эра человечества начнется с киргизов! Зима не будет! (youtube.com)

21.12.2011

Министр образования и науки А. Фурсенко: "У нас сегодня людей не учат учиться, у нас не показывают и не приучают к тому, что это здорово и само по себе интересно. Удовольствию получать новые знания никто не учит. У нас переход от образования на всю жизнь к образованию в течение всей жизни еще не произошел. У нас до сих пор считают, что, получив даже не образование, а диплом об образовании, ты себе гарантировал, что все хорошо, но это не так"

20.12.2011

Quadroid – новый Wintel?

19.12.2011

Когда принимать антибиотики

19.12.2011

Денег на науку в России выделяется все больше, но...

19.12.2011

Еще раз о математике Раманужане

19.12.2011

Как надо работать в 80 лет. Г. Вишневская отвечает на вопросы

19.12.2011

С сегодняшнего дня наш сайт использует Яндекс.метрику

16.12.2011

Еще раз о свободном программном обеспечении

16.12.2011

Apple-революция только начинается

16.12.2011

Microsoft тоже не может без iPad

14.12.2011

В Intel с уважением говорят о Mail.ru

14.12.2011

Неплохо, чтобы кто-то взял тему бакалаврской работы или магистерской диссертации по разработке алгоритмов для Kilobots

13.12.2011

"Молодец! Чего такого материть?" Фрагменты личных дневников Берии

13.12.2011

Сервис Slando обошелся южноафриканскому акционеру Mail.ru в $29 млн

13.12.2011

Mail.ru запустит "русский Twitter"

12.12.2011

Обновлен раздел «Лабораторные работы». Николаев К. Отчет по лабораторной работе «Верификация программ»

12.12.2011

Всегда хотел, чтобы кто-то с кафедры "Компьютерные технологии" НИУ ИТМО сказал, что он ведущий разработчик нового языка программирования. Такой человек появился: Андрей Бреслав - ведущий разработчик языка программирования Kotlin (http://compsciclub.ru/node/1479 и http://www.osp.ru/os/2011/09/13011550). Поздравляю Андрея и всех нас!

12.12.2011

За тридцать лет Монпелье превратился из захолустного городка в центр высоких технологий мирового уровня. Секрет успеха - последовательная политика муниципальной власти плюс система "ручного" выращивания высокотехнологичных компаний

12.12.2011

Как сохраняют лучших для Сингапура!

12.12.2011

ВАК в сети Интернет

12.12.2011

HTML5 - оружие мобильной революции

12.12.2011

Живые публикации - это классно. "Заметки о мотивации" - это очень живая публикация

12.12.2011

О самом крупном технопарке в Швеции

12.12.2011

Европа разработала новый инструмент управления НТП - технологическую платформу. Скопировать европейский опыт России могут помешать...

08.12.2011

Mail.Ru Group и МГТУ им. Н.Э. Баумана открывают Технопарк@Mail.Ru

08.12.2011

Обновлен раздел "Articles" англоязычной части сайта. Fedor Tsarev and Kirill Egorov. 2011. Finite state machine induction using genetic algorithm based on testing and model checking. In Proceedings of the 13th annual conference companion on Genetic and evolutionary computation (GECCO '11), Natalio Krasnogor (Ed.). ACM, New York, NY, USA, 759-762

08.12.2011

Обновлен раздел "Articles" англоязычной части сайта. Maxim Buzdalov. 2011. Generation of tests for programming challenge tasks using evolution algorithms. In Proceedings of the 13th annual conference companion on Genetic and evolutionary computation (GECCO '11), Natalio Krasnogor (Ed.). ACM, New York, NY, USA, 763-766

08.12.2011

Обновлен раздел "Articles" англоязычной части сайта. Anton Alexandrov, Alexey Sergushichev, Sergey Kazakov, and Fedor Tsarev. 2011. Genetic algorithm for induction of finite automata with continuous and discrete output actions. In Proceedings of the 13th annual conference companion on Genetic and evolutionary computation (GECCO '11), Natalio Krasnogor (Ed.). ACM, New York, NY, USA, 775-778

07.12.2011

Это стоит прочесть. Коммерсантъ: "2012 год: конец эпохи ублюдков, начало эры толпы"

07.12.2011

Горячие головы в бизнесе

07.12.2011

Борис Барабанов — о Поле Маккартни, человеке, превратившем свою жизнь в творческий эксперимент

07.12.2011

Что думают настоящие ученые об организации науки в России

07.12.2011

Армия ждет пятого поколения ракет

07.12.2011

Мы расшифровываем геном

05.12.2011

"Я помогаю нашей стране сохранить какой-то остаточный уровень культуры, уже не науки, а просто культуры. Из тех ребят, которые у меня учатся, какие-то станут учеными, какие-то нет. А те, кто уйдет из науки, хотя бы приобретут некую культуру, знания, этические представления о том, что хорошо, а что плохо. Мне это важно" (профессор Ф. Атауллаханов, биофизик). Мне тоже (А.Ш.).

05.12.2011

Как суперкомпьютер помогает бороться с пробками в Токио

05.12.2011

Зачем нужен большой интернет-книжный магазин, в котором можно найти все, а не только фантастику и детективы?

05.12.2011

Россия - родина турнира по популярной мобильной игре "Angry Birds"

04.12.2011

Интервью с Григорием Перельманом

04.12.2011

Классный текст о Морзе

04.12.2011

Обновлен раздел «Статьи». Сборник "Список-2011". Материалы второй межвузовской научной конференции по проблемам информатики. СПб.: ВВМ, 2011. - 476 с. Конференция проходила 27-29.04.2011 г. на матмехе СПбГУ. Наши статьи на с. 319-384.

04.12.2011

И. Шалыто о консервативном видеоконтенте в журнале "Эксперт"

04.12.2011

Обновлен раздел «Статьи». Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных стратегий // Научно-технический вестник СПбГУ ИТМО. 2011, №6(76), стр. 123-127.

02.12.2011

Обновлены успехи студентов и выпускников кафедры «Компьютерные технологии» НИУ ИТМО на соревнованиях по программированию

01.12.2011

Интересный проект "50 лет информационным технологиям" на английском языке (50 Years of Information Technology)

01.12.2011

Обновлен раздел «Дипломы». Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных алгоритмов

01.12.2011

Кто поедет на финал чемпионата мира по программированию от нашего региона?

30.11.2011

Лауреатом премии Рунета в номинации "Наука и Образование" в 2011 г. стала компания Mail.ru Group - проект "Russian Code Cup". Это соревнование Mail.ru Group проводила совместно с НИУ ИТМО.
Премия Рунета является общенациональной наградой в области высоких технологий и интернета, поощряющей выдающиеся заслуги компаний-лидеров в области информационных технологий и электронных коммуникаций, государственных и общественных организаций, бизнес-структур, а также отдельных деятелей, внесших значительный вклад в развитие российского сегмента сети Интернет (Рунета).

29.11.2011

Что дает прямая трансляции олимпиады в сайте mail.ru?

«Здравствуйте, Анатолий Абрамович! Сегодня "болела" онлайн за наше будущее вообще и за команду сына (ВолгГТУ), в частности. Залпом прочла рекомендованную книжку - "Заметки..." Супер! Буду всем рекомендовать. Спасибо Вам!!! И за высказанное в интервью - тоже. Вы абсолютно правы во всем!»

Лариса Катаева, письмо в социальной сети "В контакте"

29.11.2011

Студенты кафедры "Компьютерные технологии" НИУ ИТМО - чемпионы России по программированию

29.11.2011

"Яндекс" приобрел "SPB Software" за $38 млн

29.11.2011

Здравствуйте, Царь!

29.11.2011

Юрий Мильнер принялся за индийский интернет

24.11.2011

Получены результаты тестирования iPhone 4S

24.11.2011

О ученых степенях у нас и в мире

21.11.2011

О достоинствах Android

21.11.2011

Численность сотрудников на 01.11.2011 г.: Microsoft - 90800; Google - 28700; Cisco - 64300; SAS - 12200

21.11.2011

10 тиранов моды

19.11.2011

Коэффициент умственных способностей можно повысить

17.11.2011

Еще раз о выставке "Беспутные праведники. Орден нищенствующих живописцев" в Санкт-Петербурге

16.11.2011

Армия берет деньги за прогулы. А почему не берут гражданские вузы?

16.11.2011

Уоррен Баффетт приобрел пакет акций IBM за 10,7 млрд долл.

15.11.2011

Лучше своим присутствием разлагать другую страну, чем свою Родину. Причины погромов в Лондоне.

15.11.2011

Они создавали настоящий социалистический реализм, и поэтому не нравились властям

15.11.2011

Умер Нортон Додж (США), собравший коллекцию более 10 000 картин непризнанных художников СССР. Он сохранил их в музее американского университета.

15.11.2011

Класс - железная собака призывается в армию США!

15.11.2011

"Яндекс" на пятом месте в мире по числу обработанных запросов за месяц, но проигрывает "Google" в 39 раз!

10.11.2011

Какие в России бывают частные коллекции

10.11.2011

Китай движется вперед

10.11.2011

Обновлен раздел «Статьи». Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать

08.11.2011

Сколько времени надо спать?

08.11.2011

Электромагнитные поля - это опасно

08.11.2011

Богуцкий А.Д. Отчет по лабораторной работе «Верификация программ»

08.11.2011

Шалыто А. А. Заметки о мотивации. Редакция от 07.11.2011

07.11.2011

А Джобс такой молодой...

07.11.2011

У нас все хотят много денег вне зависимости от результата

07.11.2011

Высшая математика парковки

07.11.2011

После американских решили делиться немецкие миллиардеры

07.11.2011

Очень интересная статья: "Инновации победили Мальтуса"

07.11.2011

Как писатели познают жизнь

07.11.2011

Инновации и одежда!

03.11.2011

Обновлен раздел «Презентации». Царев Ф. Н., Шалыто А. А. Программирование олимпиадными командами как разновидность экстремального программирования для решения задач дискретной математики (на примере сборки генома). CEE-SEC(R) 2011

02.11.2011

Из раздела "Генетические алгоритмы" выделен новый раздел "Лабораторные работы"

02.11.2011

Обновлено меню нашего сайта!

30.10.2011

Office интегрируется в почту mail.ru

30.10.2011

Можно вкусно худеть

30.10.2011

Обучение в "Сколково" обойдется государству в 10 раз дороже, чем в других государственных вузах

30.10.2011

Судьбы больных детей обжигают души россиян

30.10.2011

IГений: как Стив Джобс изменил мир

30.10.2011

Ф. Царев выступает в перед Президентом РФ Д.А. Медведевым в Сколково

30.10.2011

29.10.2011 г. аспирант кафедры "Компьютерные технологии" Федор Царев в "Сколково" на встрече с Президентом РФ Д.А. Медведевым доложил о результатах сохранения в университете НИУ ИТМО чемпионов по программированию (43-51 минуты трансляции http://news.kremlin.ru/video/998)

30.10.2011

Шалыто А.А. Кадры для ИТ-индустрии: найти и удержать. Редакция от 28.10.2011 г.

27.10.2011

Геномные исследования. Как это важно!

27.10.2011

Зачем нужны исследования генома

27.10.2011

В интернете в свободном доступе можно найти интересные книги Аладьев В.З. Классические однородные структуры. Клеточные автоматы.- CA: Palo Alto, Fultus Corporation, 2009, 536 c., ISBN 978-1596821385, Haupt R.L., Haupt S.E. Practical Genetic Algorithms. John Wiley & Sons, Inc. NJ: 2004, Wagner F., Thomas - Modeling Software with Finite State Machines. Practical Approach (pdf)

27.10.2011

Обновлен раздел "Статьи". Буздалов М. В. Генерация конечных автоматов с помощью генетических алгоритмов для решения задач навигации //Сборник научных трудов VI-ой Международной научно-практической конференции «Интегрированные модели и мягкие вычисления в искусственном интеллекте. М. : Физмалит. 2011, с. 566 – 577.

27.10.2011

Обновлен раздел "Генетические алгоритмы". Добавлено семь отчетов по лабораторным работам 2010-2011 учебного года.

27.10.2011

Обновлен раздел "Articles". Zakonov A., Shalyto A. Design by contract approach to test generation for EFSMs using GA /10th Annual International Software Testing Conference 2010. Software Testing College

27.10.2011

Чем интересен SCRUM-менежмент? (PCWEEK, “В определенном смысле ничего нового в методологии разработки ПО нет”)

27.10.2011

Фрагменты из книги о Стиве Джобсе

27.10.2011

Почему процессоров Intel все еще нет в телевизорах и смартфонах

27.10.2011

Оказывается, Ассанж в Интернет выкладывает не все

21.10.2011

Президент РФ В.В. Путин принимает победителей ACM ICPC 2004

21.10.2011

Робот вместо репортера

21.10.2011

Прочтите это! Речь Стива Джобса перед выпускниками Стэнфорда

21.10.2011

О Стиве Джобсе продолжают писать

20.10.2011

Учреждение высшего профессионального образования не получит государственного статуса, если в нем не выполняются фундаментальные и (или) прикладные научные исследования (Приложение 1 к приказу Минобрнауки № 2253 от 2.09.2011 г.)

19.10.2011

Обновлен раздел "Проекты". Чивилихин Д.С. Метод построения управляющих автоматов на основе муравьиных алгоритмов

18.10.2011

Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы // Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011). - Санкт-Петербург: СПбГЭТУ, 2011. - Т. 2. - С. 69-75.

18.10.2011

Вихарев А.К., Ульянцев В.И., Шалыто А.А. Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы // Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011). - Санкт-Петербург, СПбГЭТУ, 2011. - Т. 2. - С. 76-80.

18.10.2011

Констатация факта - тотальная незаинтересованность школьников в получении знаний

18.10.2011

Царев Ф.Н., Шалыто А.А. Программирование олимпиадными командами как разновидность экстремального программирования для решения задач дискретной математики на примере сборки генома. Выступление на конференции "Разработка ПО 2011" CEE-SECR 2011.

18.10.2011

Максим Буздалов - победитель конкурса на заключение государственного контракта по лоту «Проведение научных исследований целевыми аспирантами по направлению нано-, био-, информационные, когнитивные технологии», проводимого в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы. Тема исследования: "Разработка методов автоматической генерации тестов на основе эволюционных алгоритмов".

16.10.2011

Обновлен раздел "Книги". Одинец В.П. Зарисовки по истории компьютерных наук. Часть 1. Сывтывкар. Коми гос. педагогический институт. 2011. 199 с.

16.10.2011

Добавлена бакалаврская работа Шестакова А.В. по теме "Разработка методов модификации автоматных программ при изменении сценариев их работы"

16.10.2011

В Индии и сегодня многие вопросы можно решить непротивления злу

16.10.2011

Говорят, что АФТУ РАН в области математики - это классно. Что тогда говорить про СПбНИУ ИТМО? Результаты студенческой математической олимпиады Санкт-Петербурга

15.10.2011

Режиссер Андрей Звягинцев о нормальном кино

12.10.2011

О богатстве

12.10.2011

На кафедре "Компьютерные технологии" СПбНИУ ИТМО создана лаборатория "Алгоритмы сборки геномных последовательностей"

12.10.2011

Можно ли превысить скорость света?

12.10.2011

Стив Джобс делал неплохие продукты.

09.10.2011

Виктор Вексельберг о Стиве Джобсе

09.10.2011

Мнение Стива Джобса о "Сколово"

09.10.2011

Придумали ли DOS и Windows в Microsoft? Теперь это неважно - они это внедрили во всем мире. Посмотрите фильм художественный фильм "Пираты силиконовой долины". Это интересно.

09.10.2011

Русский Forbs о Стиве Джобсе

09.10.2011

Баку через 20 лет независимости

07.10.2011

Как о Стиве Джобсе еще ни ком не вспоминали!

07.10.2011

Добавлена бакалаврская работа Банных А.Г. по теме "Применение деревьев для реализации массовых операций на многомерных массивах данных"

06.10.2011

Беседа с генеральным директором Mail.Ru Group Дмитрием Гришиным: "Главное - открыть звезду вовремя"

06.10.2011

Беседа с заведующим кафедрой СПбНИУ ИТМО Бертраном Мейером об утечке мозгов

06.10.2011

Новое соревнование по сборке генома. Участвуют команды из США, Канады, Китая, Франции, Италии, Португалии, Великобритании и России. От нашей страны только - СПбНИУ ИТМО (кафедра КТ). Команда под руководством Федора Царева на чемпионате мира по программированию АСМ победила команды университетов, участвующих в этом соревновании. Надеюсь, что со временем мы победим в этом соревновании!

06.10.2011

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

06.10.2011

Умер Стив Джобс. "Apple потеряла своего фантастического и изобретательного гения, а мир лишился замечательного человека"

03.10.2011

Добавлена бакалаврская работа Ульянцева В.И. по теме "Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы"

02.10.2011

Тойота выбирает автоматы как стратегию будущего развития. “MATLAB, Simulink, and Stateflow … have become the de facto standard at Toyota for simulation, data processing, and controls design. It would be impossible to list all of the applications for these tools at Toyota.” Akira Ohata, Toyota

02.10.2011

Интересный текст про Agile 2.0

02.10.2011

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

01.10.2011

29.09.2011 г. на конференции "Агентство стратегических инициатив - взгляд от малого до среднего бизнеса в сторону социально-эффективного государства", которая проходила в рамках IV Петербургского международного инновационного форума, А.А. Шалыто предложил в качестве стратегической инициативы обеспечить государственную поддержку молодых людей, которые работают в российских университетах на постоянной основе и которые в молодом возрасте уже добились выдающихся результатов в науке, инновациях и творческих конкурсах (международных олимпиадах). Поддержка должна осуществляться в форме стипендий в 50 тыс. рублей в месяц сроком до 10 лет с ежегодным отчетом о проделанной работе. Сейчас существуют такие стипендии для работников оборонного комплекса страны. Размер стипендии - 20 тыс. рублей. Срок - до трех лет. Наличие таких стипендий должно позволить сохранять в российских университетах молодые таланты на постоянной работе (http://www.izvestia.ru/news/502243). Предложение было поддержано модератором конференции Чуриной Е.Н. и вызвало интерес у Пескова Д.Н. - директора направления "Молодые профессионалы" Агентства (http://asi.ru). Посмотрим, предложат ли подавать заявку на продвижение этой инициативы.

01.10.2011

Intel и IBM вложат 4,4 млрд. долл. в создание исследовательского центра

30.09.2011

Добавлена бакалаврская работа Казакова С.В. по теме "Разработка метода построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров"

30.09.2011

Где взять кадры для новой экономики?

30.09.2011

Очень интересная точка зрения Н. Касперской о стартапах.

30.09.2011

В.Г. Парфенов на круглом столе "Создание комфортной среды для эффективной работы IT-специалистов"

27.09.2011

"Вконтакте" за день посещают 11.5 млн. человек, "Одноклассники" - 6.8 млн., "Facebook" - 1.2 млн. "Яндекс" в день имеет 14.5 млн кликов, "Mail.ru" - 12.9 млн. (Газета "Известия". 27.09.2011)

27.09.2011

Шалыто А.А. "Кадры для ИТ-индустрии: найти и удержать"

27.09.2011

Ректор СПбНИУ ИТМО В.Н. Васильев выступил с докладом на "Комиссии при Президенте РФ по модернизации и технологическому развитию экономики России". Презентация доклада на сайте i-russia.ru. Скачать презентацию.

27.09.2011

"Норникель" отказался от патентов

27.09.2011

Доказана Грандиозная теорема. Труд на ее доказательство тоже грандиозный

26.09.2011

Репортаж про Russian Code Cup 2011 (раздел "Кубок лучшему программисту"), в конце материала есть видео.

26.09.2011

Интервью Ю. Мильнера и М. Цукерберга

26.09.2011

Еще о Российском кубке по программированию! (Code Forces. Финал Russian Code Cup 2011: взгляд сбоку)

26.09.2011

Отличная статья о Юрии Мильнере!

22.09.2011

Во второй порции мегагрантов только один ученый, постоянно проживающий в России. (Известия. Мегагранты привлекли в Россию зарубежных ученых)

21.09.2011

Об анонимных спасателях людей! (Известия. Иван Ткаченко и другие анонимные спасатели)

20.09.2011

18 сентября в Москве корпорация Mail.ru Group совместно с кафедрой компьютерных технологий СПбГУ ИТМО провела пятый, заключительный тур "Российского кубка по программированию" (Russian Code Cup 2011). Победители: Петр Митричев (Москва), Евгений Капун (магистрант кафедры КТ СПбГУ ИТМО) и Михаил Дворкин (выпускник кафедры КТ СПбГУ ИТМО). В заключительном туре принимало участие 50 человек из 3000 русскоязычных участников из различных стран мира. Статьи по теме: C-news, Российская Газета, hi-tech@mail.ru

19.09.2011

Хабрахабр. Финал @ Russian Code Cup 2011

15.09.2011

Наука в России сегодня. (Российская Газета: Ученый в собственном соку).

10.09.2011

Как работают в "Parallels" (Новая Газета. Репортаж из офиса российского IT-гиганта)

05.09.2011

Поздравляем выпускников кафедры КТ Павла Белова и Юрия Шполянского с утверждением докторами физико-математических наук!

02.08.2011

Шалыто А. А. Мои счастливые годы жизни на кафедре "Компьютерные технологии" СПбГУ ИТМО (к двадцатилетию кафедры "Компьютерные технологии"). Редакция от 02.08.2011.

01.08.2011

Мы выиграли еще один конкурс на заключение государственного контракта. Тема исследования: "Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности"

30.07.2011

Балет. Наталья Осипова и Иван Васильев - это классно!

30.07.2011

Правительство РФ приняло решение о том, что с 01.01.2012 г. 4,5 тыс. студентов получат дополнительные 5 тыс. рублей ежемесячно за отличную учебу, а 500 выдающихся аспирантов - по 10 тыс. рублей в месяц. Интересно, что 5 тыс. рублей - это оклад ассистента, а 10 тыс. рублей - оклад доцента со степенью или половина оклада заведующего кафедрой, доктора наук, профессора! Еще давно Л. Толстой сказал: "Все смешалось в доме Облонских". Смешивание продолжается. Ура!

30.07.2011

Поздравляем П. Маврина (7 место), Е. Капуна (9 место), В. Исенбаева (10 место) с высокими результатами на World Finals 2011 Code Jam.

29.07.2011

Лекция профессора А.Яковлева "О вычислительных системах, модулируемых энергией". Кому интересно - с ним можно связаться.

29.07.2011

Обновлен раздел "свидетельства". Программное средство для генерации конечных автоматов с дискретными и непрерывными выходными воздействиями

28.07.2011

Обновлена Научная работа за 2011 год

28.07.2011

Шалыто А. А. Заметки о мотивации. Редакция от 28.07.2011

24.07.2011

IT-новости от Дины Исхаковой.

24.07.2011

А Вы так умеете?

24.07.2011

Эми Уайнхаус, к сожалению, умерла.

23.07.2011

Посмотрите настоящую живопись.

23.07.2011

С.Адоньев и А. Мамут создали классное образовательное учреждение нового типа!

23.07.2011

Вот какую продукцию можно делать! Статья "Apple не успевает угнаться за спросом на iPad".

21.07.2011

Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания. Великий тренер опубликовал первую ВАК-овскую статью

21.07.2011

Большая статья В.Г. Парфенова и А.А. Шалыто в книге "Университет XXI века". СПбГУ ИТМО, 2011.

18.07.2011

Раздел "Внедрение автоматного программирования" переработан и перенесен в раздел "Автоматы".

17.07.2011

Обновлен раздел "проекты". Шестаков А.В., Лиференко К.А. Создание платформы для проведения виртуальных лабораторных работ

15.07.2011

О маразме (PC WEEK. Альма Матер: от бумажных презентаций к электронным).

11.07.2011

Из выступления В.В. Путина на Всероссийском педсовете 01.06.2011 г.: "Нелепо платить гроши человеку, который призван ВОСПИТЫВАТЬ народ" (А.П. Чехов).

11.07.2011

"Транзас" управляет вертолетом.

11.07.2011

Как работается российскому ученому в Нью-Йорке, или студентов должны учить лучшие преподаватели. "Задачки, которые возникают в обычной жизни, порой ничуть не проще математических. Найти красивое (правильное) решение проблемы, которое ничего важного не разрушает, бывает очень трудно... Но иногда удается". Мне тоже (А. Шалыто).

11.07.2011

Об уровне нравственности в стране ("Десятки тысяч выпускников списали ЕГЭ по подсказкам из Интернета").

11.07.2011

Расходы на одного студента в Швейцарии не сравнимы с нашими.

11.07.2011

Преданность на пределе. Низкие зарплаты гонят преподавателей из профессии.

11.07.2011

239 школа имеет в России наибольшее число победителей на Всероссийских олимпиад за последние восемь лет.

11.07.2011

Раздражение не должно накапливаться.

11.07.2011

Успешный бизнес можно делать по-разному.

11.07.2011

Инженеры должны стать главными людьми в стране.

11.07.2011

Обновлен раздел "проекты". Афанасьева А.С. Библиотека структур данных и генетических операторов, используемых для генерации автоматов с помощью генетических алгоритмов

11.07.2011

Раздел "Автоматное программирование в школе" переработан и перенесен в раздел "Автоматы".

10.07.2011

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

10.07.2011

Самая толковая статья, которую я читал про ЕГЭ и олимпиады.

10.07.2011

Оказывается, Россия не должна экономить на образовании.

08.07.2011

Утверждены приоритетные направления развития науки, технологий и техники в РФ и перечень критических технологий РФ

07.07.2011

Обновлен раздел "Фотографии". Выпуск кафедры Компьютерных Технологий 2011 года.

06.07.2011

На кафедре "Технологии программировании" Федор Александрович Новиков защитил докторскую диссертацию! Поздравляем!

05.07.2011

Один день с Юрием Мильнером.

05.07.2011

Ю. Мильнер переносит свои IT-интересы в Китай.

05.07.2011

Разговор с биологом об одаренности.

05.07.2011

Обновлен раздел "проекты". Банных А.Г., Поромов С.С. Анализ эффективности реализации генетических алгоритмов при использовании вычислений на видеокартах.

04.07.2011

Обновлен раздел "дипломы". Добавлены бакалаврские работы Долгих Е.Д., Попова С.И., Терескина А.А., Чебатуркина А.А.

30.06.2011

Выложена новая версия книги Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб: Наука, 2011. 242 с.

29.06.2011

Еще раз о легальном контенте.

29.06.2011

Легальный контент приходит в Россию. В программе "Деловая Сеть" директор по развитию инновационных медиа-продуктов компании МТС.

29.06.2011

Катков А. Н. Имитационная модель цифрового датчика давления // Молодой ученый. — 2011. — №6. Т.1. — С. 58-66.

29.06.2011

ИТМО круто стоит по результатам чемпионатов мира по программированию!

29.06.2011

Еще раз об олимпиадах по программированию.

29.06.2011

В Гонконге объявлены лауреаты азиатской "нобелевской" премии.

29.06.2011

Как сейчас обстоят дела в IBM, в которой работает около 450 тыс. человек?

29.06.2011

А сейчас у нее 6925 пирсингов. Охренеть!

29.06.2011

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

27.06.2011

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

27.06.2011

Классное зрелище! (Маятниковые волны).

27.06.2011

Прекрасные фотографии Земли.

26.06.2011

Статья в Санкт-Петербургских Ведомостях "Не соврать мотив, ребята!".

25.06.2011

В СПбГУ ИТМО может открыться кафедра Mail.Ru.

23.06.2011

Выступление Федора Царева на ICPC CLIS 2011, Orlando, Florida, USA - Collaborative Learning Institute Symposium (CLIS)in conjunction with the ACM International Collegiate Programming Contest (ICPC) World Finals.

23.06.2011

Выступление А.А. Шалыто в пресс-клубе НП "Руссофт" на тему: "Кадры для ИТ-индустрии: найти и удержать". Москва, 22.06.2011 г.

22.06.2011

Чего изволите - физику или химию?

22.06.2011

Каждый должен заниматься своим делом.

21.06.2011

3D изображение без специальных очков.

21.06.2011

Нам пишут: "Анатолий Абрамович! Спасибо Вам за поддержку и человеческое участие. Мало кто в наше время отваживается на искренность по отношению к другим, почти посторонним людям. Успехов в делах. Всегда вспоминаю Вас с радостью".

21.06.2011

Ребенок должен понимать зачем он учится.

21.06.2011

Шутка: "Кто бы ни был прав - Библия или Дарвин, мы происходим, стало быть, или от еврея, или от обезьяны" (Венедикт Ерофеев)

21.06.2011

Ректор ВШЭ Я. Кузьминов: "В ближайшие 10 лет ключевой вызов для России — образовательная революция".

21.06.2011

Люди, которые никогда не играли в футбол.

21.06.2011

О роли иммигрантов в инновационной экономике США.

21.06.2011

Диссертации Матвея Казакова и Максима Мазина утвердили в Москве. Поздравляем!

21.06.2011

Ситуация с электроникой в России.

17.06.2011

Обнаружен самый живучий организм.

17.06.2011

Кон, который про людей.

17.06.2011

О новом телевидении - канал "Дождь".

17.06.2011

Шпионаж на генетическом уровне.

17.06.2011

Обновлен раздел "Фотографии". Когда Федя Царев был молодым. Конференция по искусственному интеллекту в Коломне в 2007 году.

15.06.2011

Еще один музей современного искусства в Санкт-Петербурге - "Новый музей" (в коллекции в основном московские художники).

15.06.2011

Посмотрите то, что называется живописью (в основном ленинградская).

15.06.2011

Когда люди не понимают, что надо работать!

15.06.2011

Моделирование стратегической ПРО.

15.06.2011

Председатель Комитета по инвестициям и стратегическим проектам администрации СПб А.Чичканов: "Основное направление развития города - инновационная экономика, на основе человеческого капитала, его роста, улучшения качества и потенциала. Автокластер и туризм - это не главное!".

15.06.2011

"Omlet.ru" на платформе LG Smart TV.

15.06.2011

Лауреат премии Филдса Владимир Воеводский из института высших исследований в Принстоне и Ян Малаховски из комнаты высших исследований из СПбГУ ИТМО с противоположных сторон решают одну и ту же задачу - как помочь ученым, которые занимаются чистой математикой, использовать компьютер для проверки правильности доказательства теорем

15.06.2011

Томский государственный университет систем управления и радиолектроники создал элитную аспирантуру - "аспирантура полного рабочего дня" на 10 мест - им будут платить 25 тыс. рублей в месяц за работу на постоянной основе, после защиты диссертации они должны отработать еще не менее трех лет.

15.06.2011

Проект "Мечта профессора Ясина" - из личных подарков два года назад создал фонд, который позволил в Высшей школе экономики (ВШЭ) сохранить трех выпускников, чем профессор (он научный руководитель ВШЭ) очень гордится. После этого в руководство ВШЭ создало элитную аспирантуру на 25 мест. Это сказано на 50 минуте беседы с В. Познером на Первом канале.

15.06.2011

Художественное произведение с большим списком литературы.

15.06.2011

Обновлен раздел "Статьи". Матюшкин И.В. Перспективы развития современных средств проектирования клеточных автоматов.

15.06.2011

Еще раз об академике Сахарове.

15.06.2011

Зачем нужны мигранты.

15.06.2011

Ошибка в журнале: там написано, что дочка МТС планирует построить сеть распространения видео для устройств любых типов, а на самом деле это собирается сделать МОЯ дочка! :-)

15.06.2011

Они так укрепляют обороноспособность нашей страны!

15.06.2011

Обновлен раздел "Статьи". Малаховски Я.М., Корнеев Г.А. Валидация автоматов с переменными на функциональных языках программирования.

15.06.2011

Человек, активно интересующийся книгами об успехе, о "Заметках о мотивации".

15.06.2011

Дико интересная статья о Колумбийском университете и декане математического факультета из России!

15.06.2011

Президент РФ Д.А. Медведев поздравляет В.Н. Васильева с шестидесятилетием.

15.06.2011

Вот такие "облачно-сколковские" проекты… Что бы это значило?

15.06.2011

Максим Казак - Не верю иностранцам в Сколково.

15.06.2011

Федор Чистяков - это тоже классно!

15.06.2011

Юлия Коган в группе "Ленинград" - это настоящее!

15.06.2011

Как создаются инновационные ИТ-продукты.

15.06.2011

Шалыто А. А. Мои счастливые годы жизни на кафедре "Компьютерные технологии" СПбГУ ИТМО (к двадцатилетию кафедры "Компьютерные технологии"). Редакция от 14.06.2011.

15.06.2011

Обновлен раздел "Фотографии". Профессор А.А. Шалыто и его ученики Ф. Царев и М. Буздалов.

10.06.2011

Сергей Брин заявил, что "Windows" — это «сущая пытка для пользователей»

06.06.2011

Брошюра с финального соревнования ACM ICPC в Орландо

03.06.2011

Бауржан Абдишев - аким (по-нашему - мэр) города Караганда принял решение установить памятник крылатой фразе "Где-где? В Караганде!" Монумент представляет собой дорожный указатель и двух людей, который ведут диалог. В городе еще есть свободные площади для развития сюжета. Вскоре здесь появятся памятники "Откуда? От верблюда!" и "Кто-кто? Конь в пальто!"

31.05.2011

Обновлен раздел "Фотографии". Конференция "Список-2011". Матмех СПбГУ.

31.05.2011

Обновлен раздел "Фотографии". Ф. Царев и А. Шалыто в физико-математическом лицее №30.

22.05.2011

Unova - новости инноваций и венчурного рынка.

19.05.2011

Доклад П.А. Белова "Передача изображений со сверхразрешением при помощи метаматериалов" и ответы на вопросы на VIII конференции молодых ученых. С участием А.А. Шалыто на 12:55.

19.05.2011

Над чем работают в институте системного программирования.

19.05.2011

Добавлена бакалаврская работа Дениса Родикова.

15.05.2011

Выложена статья "Не отпустить выпускника!". Издание "Поиск" от 05.02.2010.

14.05.2011

Обновлен раздел дипломы. Добавлена магистерская диссертация Игоря Синева.

12.05.2011

Выложена новая версия учебного пособия "Верификация автоматных программ"

10.05.2011

С сегодняшнего дня сайт поддерживается Владимиром Ульянцевым. Благодарим за успешную и ответственную работу Михаила Царева, поддерживавшего сайт с 2007 года.

09.05.2011

Первый квалификационный тур "Российского кубка по программированию", проводимый Mail.ru Group и кафедрой "Компьютерные технологии" СПбГУ ИТМО, прошел без сбоев!

07.05.2011

Завтра начинается "Российский кубок по программированию". Организаторы - Mail.Ru Group и кафедра "Компьютерные технологии" СПбГУ ИТМО

05.05.2011

Парфенов В. Г., Шалыто А. А. Подготовка высококвалифицированных специалистов в области производства программного обеспечения и развитие технологий программирования на кафедре "Компьютерные технологии"

29.04.2011

Программа работы секции «Автоматное управление, эволюционные алгоритмы, верификация на моделях» на 2-ой Межвузовской научной конференции по проблемам информатики (СПИСОК – 2011) Место проведения – матмех СПбГУ 10-00 29.04.2011

29.04.2011

Изменить стране проще, чем ее изменить

29.04.2011

Князев Е., Шопырин Д. Методы автоматизированной классификации изменений программного кода и их применение в процессе разработки и поддержки программ, LAP LAMBERT Academic Publishing (2011-04-05)

29.04.2011

На факультете "Информационные технологии и программирование" открылась новая кафедра "Программная инженерия и программирование". Заведующий кафедрой - Бертран Мейер!

29.04.2011

В рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009 – 2013 годы мы выиграли конкурс на заключение на государственного контракта на проведение научных исследований по теме «Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям» научными группами под руководством докторов наук в следующих областях: биокаталитические, биосинтетические и биосенсорные технологии; биомедицинские и ветеринарные технологии жизнеобеспечения и защиты человека и животных; геномные и постгеномные технологии создания лекарственных средств; клеточные технологии; биоинженерия; биоинформационные технологии». Контрактов было шесть, а заявок – 103, причем мы снова выиграли первое место!!!

29.04.2011

В рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009 – 2013 годы мы выиграли конкурс на заключение на государственного контракта на проведение научных исследований по теме «Разработка методов машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов» научными группами под руководством докторов наук по направлению «Информатика». Контрактов было всего три, а заявок 73 (по одной от организации), причем мы выиграли первое место!

26.04.2011

На факультете "Информационные технологии и программирование" открылась новая кафедра "Программная инженерия и программирование". Заведующий кафедрой - Бертран Мейер!

24.04.2011

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

24.04.2011

Принц женится

24.04.2011

Каким быть баллистическим ракетам в России

24.04.2011

Чем кормить маленьких детей

24.04.2011

94-й закон для приглашенных ученых - дикость

24.04.2011

Художник Олег Целков о культуре

24.04.2011

Ларри Пейдж перетряхивает Google

24.04.2011

Еще раз об образовании в России

23.04.2011

Бостонская собака превращается в гепарда!

23.04.2011

Как не надо писать статьи

20.04.2011

Д.А. Медведев поздравил В.Н. Васильева

20.04.2011

И там, где нас нет не хорошо

20.04.2011

МТС и легальный контент

20.04.2011

Толковый текст о культуре

20.04.2011

М.Горбачев вручает премии людям, изменившим мир!

20.04.2011

Гослинг переходит в Google

20.04.2011

Для освоения программирования надо 10 лет

20.04.2011

А.А. Шалыто - член экспертного совета конкурса инноваций "Телеком Идея", проводимого МТС, Министерством связи и телекоммуникаций и высшей школой экономики

20.04.2011

Может быть чиновники будут отвечать за прославление Сталина

18.04.2011

Миллиардер Брэнсон спустился с небес на дно

18.04.2011

Плохая шутка!

18.04.2011

Тихое убийство школы. С университетами не лучше

18.04.2011

Как люди уезжали из СССР в эмиграцию!

18.04.2011

Китайцы борются с вирусами в смартфонах

18.04.2011

Максим Мазин - становится евангелистом MPS. Выступление на "Application Developer Days"

18.04.2011

Диплом Алексея Сергушичева за лучший доклад на секции VIII Всероссийской межвузовской конференции молодых ученых

18.04.2011

Мазин М. Language Oriented Programming в действии. Как мы это делаем в JetBrains. на конференции JavaOne - Oracle Develop

17.04.2011

Как получить много патентов? Купить!

17.04.2011

Выдающийся тренер современности Ирина Винер о главном в жизни

17.04.2011

Microsoft поддерживает стартапы в России

17.04.2011

Инновации, принятые в "Сколково"

17.04.2011

Названы лауреаты премии Горбачева

17.04.2011

Универсальное высказывание:"Верьте - знания придут потом" :-)

17.04.2011

Президент РФ Д.А. Медведев рекомендует не надеяться на государство: "Россия - очень бюрократическая страна. Вам надо прошибать стены, нужно толкать свои проекты, используя все возможности в рамках закона. Раскрутка самих себя - это и есть основной двигатель развития"

17.04.2011

Бренд МТС входит в TOP 500

17.04.2011

Российская выставка по беспилотникам

17.04.2011

Премия Тьюринга за 2010 г. присуждена Лесли Вэлианту за выдающиеся достижения в машинном обучении

17.04.2011

Как создавался RUNNnet

17.04.2011

Миллиардеров много, а брендов почти нет

17.04.2011

Джон Милнор получил премию Абеля почти через пятьдесят лет после получения им премии Филдса!

17.04.2011

Как при полном апокалипсисе оставаться людьми

17.04.2011

Лекция Павла Певзнера по геномике

17.04.2011

В рейтинге за неделю самый популярный запрос к Google в Европе - Джеки Чан! Более интересного и важного ничего нет!

17.04.2011

“Т-Платформы” проводят конкурс “графических” проектов

17.04.2011

Брусенцов Л. Автоматическая оптимизация при компиляции

17.04.2011

Чем тише говоришь, тем лучше слышно

17.04.2011

Хорошо учить ребят может только и хорошо оплачиваемый учитель
А. Фурсенко. Российская газета. 5.04.2011 г.

17.04.2011

Наука и искусство, расставшись у основания, встретятся на вершине
Г. Флобер

17.04.2011

Наша команда из пяти студентов под руководством Федора Царева участвовала в семинаре в Барселоне по сборке генома неизвестного существа
http://cnag.bsc.es/index.php?option=com_content&view=article&id=48:what-is-dngasp#icsd
http://seqanswers.com/forums/showthread.php?t=8141

15.04.2011

Руководство страны созрело - в диплом вернется слово "инженер"

15.04.2011

Что будет делаться по национальной программной платформе

15.04.2011

VIII всероссийская межвузовская конференция молодых ученых. Открытие. Школа А.В. Бухановского по параллельным вычислениям. III сессия научной школы "Технологии программирования и искусственный интеллект" (научный руководитель - А.А. Шалыто)

15.04.2011

Ежегодный сборник статей сотрудников кафедры "Системное программирование" СПбГУ

15.04.2011

Наши кафедры одни из лучших в городе

15.04.2011

Архив дипломных работ кафедры "Системное программирование" СПбГУ

15.04.2011

Рекомендации по преподаванию программной инженерии

14.04.2011

Рекомендации по преподаванию информатики в университетах

14.04.2011

Ключевые технологии 2011 года

10.04.2011

Лицо человека в зеркале эпохи

09.04.2011

II сессия научной школы "Технологии программирования и искусственного интеллекта" на VIII Всесоюзной межвузовской конференции молодых ученых. СПбГУ ИТМО. 2011

09.04.2011

Национальная программная платформа попала в перечень технологических платформ России

09.04.2011

Конференция НАСА по открытому коду

09.04.2011

Как будут защищать диссертации военные. Хотели ли Вы так?

09.04.2011

Страна, где нищенствуют учителя, не имеет будущего
А.Солженицын

09.04.2011

Книги существуют не для информации, а для воспитания души
С.Говорухин

09.04.2011

Вы не понимаете даже слово "бесплатно", поэтому вы не Пеле

09.04.2011

То что на нас ссылаются - хорошо, а что предлагают - не очень

09.04.2011

Нижегородской государственный университет покупает мощный кластер

09.04.2011

Как бороться с очковтирательством

09.04.2011

Программа IV сессии научной школы-практикума «Технологии высокопроизводительных вычислений и компьютерного моделирования»

09.04.2011

Андрей Станкевич проводит Russin Code Cup для Mail.Group

07.04.2011

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ

03.04.2011

Сборник "Технологии автоматного программирования и искусственного интеллекта" (Статьи)

03.04.2011

Сборник "Технологии автоматного программирования и искусственного интеллекта" (Обложка)

03.04.2011

Как получить 7 000 000 просмотров на YouTube

02.04.2011

Владимиру Николаевичу Васильеву - 60. Сердечно поздравляем!

28.03.2011

Еще раз об инженерном образовании

28.03.2011

Трудно понять китайцев и женщин, или до чего мы докатились

28.03.2011

О Павле I и Тенесси Уильямсе!

28.03.2011

В "Сколково" пустят без виз

28.03.2011

Как зарабатывать на контенте в 21 веке

28.03.2011

Президент РФ Д.А. Медведев об инженерном образовании

28.03.2011

Стоит ли платить за контент?

28.03.2011

1-й конкурс молодежных инновационных проектов в сфере телекоммуникаций "Телеком Идея"

28.03.2011

Шалыто А.А. Неужели вы придаете значение словам?

28.03.2011

Лукин М.А. Верификация визуальных автоматных программ с использованием инструментального средства SPIN

28.03.2011

Лукин М.А. Верификация автоматных программ

28.03.2011

Яминов Б.Р. Автоматизация верификации автоматных UniMod-моделей на основе инструментального средства Bogor

28.03.2011

Яминов Б.Р. Сравнение методов верификации UniMod-моделей

24.03.2011

Наши в "Коммерсанте"

24.03.2011

Максим Мазин на Code Fest

24.03.2011

Генеральный директор Google может войти в администрацию США

24.03.2011

Интервью с композитором Эдуардом Артемьевым

24.03.2011

О реформе школьного образования

24.03.2011

Посмотрите изумительный фильм "Невидимая сторона" с Сандрой Баллок в главной роли

23.03.2011

Как за роуминг платить меньше

23.03.2011

Какие компании считаются лидерами в инновациях

23.03.2011

Аплодируйте когда захотите

23.03.2011

Выступления В.Г. Парфенова и А.А. Шалыто на конференции по одаренным детям

23.03.2011

Наши публикации в начале 2011 года

19.03.2011

Разговор в РИА "Новости" об ИТ-образовании

19.03.2011

New York, New York = это классно

19.03.2011

С удовольствием посмотрел ваше интервью. Жаль, что оборвалось в конце в середине мысли.
Матвей Казаков

19.03.2011

Не так важно кто нечто придумал первым - важно кто начинает это использовать не от случая к случаю, а как технологию: "Как делаются общественно-политические изобретения. Например, само по себе изобретение паровой машины еще не вело к промышленной революции — нечто подобное создавалось и раньше в других странах Европы. Заслуга Джеймса Уатта была не в том, что он изобрел паровую машину, а в том, что сумел продать первые сто экземпляров. Это и есть опыт цивилизации — когда открытие, возникшее исторически случайно, начинает использоваться сознательно, как технология, и воспроизводится в дальнейшем опыте (Виталий Лейбин. Русский репортер)".
Я считаю, что так произошло с автоматным программированием, которое распространяется все шире и шире - http://www.state-machine.com/about/customers.php. Название нашего сайта уже много лет связано с автоматным программированием, у этого сайта даже понятие автомат даже входит в его адрес. Обратите внимание каким компаниям нужны инструменты для автоматного программирования! А мне все не верили, как оно важно.

19.03.2011

Реакция на интервью: "Посмотрел. Классно. Показываю теперь всем".
Максим Мазин

19.03.2011

Уважаемый господин Генельт!
Благодарим Вас за возможность ознакомиться с интервью-лекцией А.А.Шалыто
Государственное управление образования Псковской области обратилось к научно-педагогической общественности Псковского государственного политехнического института с просьбой обсудить затронутые в интервью проблемы подготовки инженерных кадров в России.
Любовь Ильина, и.о. начальника Государственного управления образования Псковской области

19.03.2011

Я не только посмотрел Ваше интервью, но и всем своим ключевым коллегам переслал. Народ уже посмотрел тоже. Вы, как Кашпировский, заряжаете через свои книги и интервью. Жаль, что пока лично не могу с Вами продолжать встречаться, так как теперь живу далеко. Посмотрел, прочитал - пошел работать с удвоенной силой и энтузиазмом :)
Павел Петрошенко

19.03.2011

Все умны потом

19.03.2011

Бизнес. Как это может быть в России

18.03.2011

О роли Михаила Горбачева в истории

17.03.2011

Малинин С.Н. Тестирование объектно-ориентированного программного обеспечения на основе моделирования конечными автоматами

15.03.2011

Планшеты не обязательно должны быть мобильными

15.03.2011

Стоит подумать, кем мы будем там, куда сбежим

15.03.2011

Гражданские дизайнеры проектируют новый корвет!

15.03.2011

Владимир Глебович Парфенов

15.03.2011

О классных педагогах

14.03.2011

Реакция на интервью
http://twitter.com/#!/heneltae
http://heneltae.livejournal.com/

14.03.2011

Часовое интервью с А.А. Шалыто на Медиа-портале СПбГУ ИТМО

14.03.2011

Варвалюк И. Мысли после прочтения «Заметок о мотивации»

12.03.2011

Шалыто А.А., Янкин Ю.Ю. Автоматное программирование ПЛИС в задачах управления электроприводом

12.03.2011

Письмо об автоматном программировании

12.03.2011

Виктор Вексельберг о скептиках, ученых, иннограде и своем переезде в Подмосковье

12.03.2011

Интервью с главой IT-кластера "Сколково" Александром Туркотом

12.03.2011

Новый ужасный факт из жизни президента АН СССР М.В. Келдыша

12.03.2011

Китайцы хотят создать очень-очень большой город

12.03.2011

В американских университетах не так все ладно

12.03.2011

Можно ли воровать секреты?

12.03.2011

Главное сейчас - занять достойное место в глобальной конкуренции за талантливых, конкурентоспособных молодых людей (создатель "Вымпелкома" Дмитрий Зимин)

12.03.2011

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

06.03.2011

Генерал милиции рассказал, как правильно бухать на работе

06.03.2011

Ярослав Кузьминов о российском высшем образовании

06.03.2011

Юрий Мильнер инвестирует в старапы

06.03.2011

Интересный текст о российской культуре

06.03.2011

Непросто бороться с упертыми

06.03.2011

Почему Михаил Горбачев празднует свой юбилей в Лондоне?

06.03.2011

Лувр на песке. Этим все сказано

06.03.2011

В Дании живут самые счастливые люди в мире

06.03.2011

Зачем нужно документировать процессы

06.03.2011

Фаюмские портреты - фантастика

06.03.2011

В Америке должна пройти модернизация

06.03.2011

Роботы преодолевают марафонскую дистанцию

06.03.2011

Android 3.0 может стать угрозой для Apple iPad

06.03.2011

За этот сайт (http://www.etudes.ru/) Николаю Андрееву дали премию Президента РФ для молодых ученых в области науки и инновации за 2010 г.

06.03.2011

Душно жить без совести

06.03.2011

Ходите в оперу, господа

06.03.2011

Искусство и воспитание

06.03.2011

В российской науке есть, кроме меня, еще и другие оптимисты

06.03.2011

Российские беспилотники наши военные применять не хотят

05.03.2011

Вручение премии Президента РФ для молодых ученых за 2010 г.

05.03.2011

Россия будет финансировать MIT. Больше некого?

05.03.2011

На дикое и год от года растущее невежество абитуриентов жалуются все. И похоже его еще хотят усугубить!

05.03.2011

Нобелевский лауреат по экономике Дж. Стиглиц: "Мы не только поощряем все большее число молодых людей заняться спекуляциями, но и фактически заявляем, что мы как общество ценим спекуляции более высоко, чем обычную работу"

05.03.2011

Скандинавское Сколково вовсю занимается науками о жизни, а большинство из вас даже к геному силой не затащить

04.03.2011

Корм для рыб сложнее человека

04.03.2011

О геноме

04.03.2011

Если нет нефти, то может быть все остальное

04.03.2011

Разработку беспилотников будут продолжать финансировать

04.03.2011

Ремизов А.О., Шалыто А.А. Верификация автоматных программ на основе метода Model Checking

04.03.2011

Что нам стоит мост построить?

04.03.2011

Инновации в контексте Селигера

04.03.2011

Что такое Roboearth?

04.03.2011

Робот приносит сок больному

04.03.2011

Размер не имеет значения

04.03.2011

Конкурентам трудно кооперироваться

04.03.2011

О проблеме "Just for fun"

04.03.2011

О Моцарте

04.03.2011

По поводу приезда иностранцев на работу в России существуют разные мнения и у Шалыто тоже

04.03.2011

Студентам надо платит ь стипендию!

04.03.2011

Первый китайский искусственный мозг

04.03.2011

Депрессия и уныние, которые не встретишь ни в одной стране

03.03.2011

Российскую науку ожидают революционные перемены

03.03.2011

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

03.03.2011

Как композитор Малер становится великим

03.03.2011

Кто такие просты люди

03.03.2011

Не попадитесь :-)

01.03.2011

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

01.03.2011

Авиационное ПО в России начинают создавать по-человечески

01.03.2011

У них идеи превращаются в деньги -
http://www.innovaterussia.ru/member/short/22105
http://www.innovaterussia.ru/member/short/161943

01.03.2011

Как воспитать гениев!

01.03.2011

Каких только истории не бывает в жизни!

01.03.2011

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

01.03.2011

Климович А.С., Соловьев В.В. Преобразование автомата Мили в автомат Мура путем расщепления вершин

01.03.2011

Есть люди, которые продолжают делать добро!

01.03.2011

Люди, которые не умеют писать по-русски, пишут стандарт образования

01.03.2011

О тех, кто боролся за свободу свою и нашу

01.03.2011

Интервью с Людмилой Улицкой

01.03.2011

О писателе Владимире Сорокине

01.03.2011

Сергей Собянин старается не ошибаться, и это у него получается

01.03.2011

"Транзас" создал 3D тренажер

01.03.2011

Пять мегапопулярных игр, про которые мы ничего не слышали

01.03.2011

Почему министр из своей сравнительно небольшой зарплаты устанавливает гранты студентам, когда казалось бы мог это сделать существенно больше и лучше из бюджета Министерства? Я этого не понимаю.

25.02.2011

Masters In Mathematics And Computer Science, ITMO

25.02.2011

Большое интервью Президента МТС Шамолина

22.02.2011

Automata-Based Programming With Petri Nets – Part 1

22.02.2011

Great Theoretical Ideas in Computer Science - One Minute To Learn Programming: Finite Automata

22.02.2011

Genetic Algorithms for Automata-based Programming

22.02.2011

В 100 наиболее известных технологий программирования входят Automata-Based Programming, Automata-Based Programming, (Shalyto`s approach), SWITCH-tecnology и JetBrains MPS

22.02.2011

Automata Based Programming - free powerpoint templates

22.02.2011

Автоматное программирование используется во Флориде

22.02.2011

У Apple много конкурентов

22.02.2011

Валентина Матвиенко и Федя Царев

16.02.2011

Креативным директором Intel стал лидер поп-группы Black Eyed Peas

16.02.2011

Соглашение между Nokia и Microsoft затуманивает будущее финской компании

16.02.2011

Государство, наконец, просыпается

16.02.2011

При верификации в 2008 г. в компании Rockwell Collins используются stateflow

16.02.2011

Model Checking для критических систем (2010 г.). Stateflow, SAT, конвертор Java-Promela и много чего еще

16.02.2011

Использование формальных методов при создании авиационных систем (2008 г.) - "сумбур вместо музыки"

16.02.2011

Статья о применении формальных методов при создании ответственных систем

16.02.2011

Образцы для молодежи П. Дуров и Ф. Царев

16.02.2011

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

16.02.2011

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

16.02.2011

Simulink Design verifier и Stateflow

16.02.2011

IBM Rational Rhapsody - возможность генерации кода по statecharts

16.02.2011

IBM Rational Statemate

16.02.2011

Профессор Ю.П. Заричняк прислал "Жителей моря". Смотрите - красиво

16.02.2011

Виталий Клебан (на снимке снизу) - "Умник", который стал на "Старт"

15.02.2011

Юрий Мильнер лично инвестировал в 40 стартапов в Кремниевой долине. Среди получивших инвестиции есть мой ученик!

15.02.2011

Тест Тьюринга назначен на 14 февраля., а пока смотрите как машина обыгрывает людей

15.02.2011

Письмо главы "Nokia" о бедственном положении компании

15.02.2011

Проект о людях, которые своими идеями, словами и поступками оказывают влияние или активно участвуют в жизни Москвы. Горжусь!

15.02.2011

Верификация авиационных систем

15.02.2011

Первые проекты, выполняемые в "Сколково"

15.02.2011

Страуструп рассказывает о С++

15.02.2011

Почему в Силиконовой долине хорошо с инновациями

15.02.2011

Россия вошла в международный проект "Протеом человека" и выбрала для исследования 18-ою хромосому, которая содержит 286 генов

15.02.2011

Мнение о "Заметках о мотивации": "Об этом тексте не стоит говорить "нравится - не нравится"... Скорее резонирует - не резонирует"... Безусловно. резонирует!... И многоголосье - хор цитат только усиливает резонанс, а не заглушает." (В. Мошников)

15.02.2011

Он будет распоряжаться миллиардами

13.02.2011

Шалыто А.А. Сохраним в университетах лучших!

13.02.2011

Сборник, которым так гордится В.Г. Парфенов

10.02.2011

Ярослав Кузьминов о российском высшем образовании

10.02.2011

Студенты ИТМО стали лучшими программистами в России

10.02.2011

Он написал грамматику любви

10.02.2011

Сколько денег нужно для счастья?

10.02.2011

Всегда ли хорошо говорить правду?

10.02.2011

О первом в мире долларовом миллиардере

10.02.2011

Пришло время поговорить о людях, которые не имели шансов стать мыслителями, а все-таки ими стали

10.02.2011

Лазерный прорыв Валентина Гапонцева

10.02.2011

А мне все рассказывают, что надо бороться со сложными ошибками

10.02.2011

Модернизация. Еще не все потеряно

29.01.2011

Михаил Царев - победитель общеуниверситетского конкурса проектных решений

29.01.2011

Казаков М.А. Автореферат

29.01.2011

Казаков М.А. Презентация

29.01.2011

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

29.01.2011

Мазин М.А. Автореферат

29.01.2011

Мазин М.А. Диссертация на тему «Автоматное программирование для среды языково-ориентированного программирования»

29.01.2011

Защита кандидатской диссертации М. Мазина

29.01.2011

Защита кандидатской диссертации М. Казакова

29.01.2011

Банкет после успешных защит

29.01.2011

Осторожно с контентом

27.01.2011

Наши умеют не только выигрывать чемпионаты мира по программированию

27.01.2011

Это полезно знать любому проектному менеджеру: "Заметки о мотивации". Неслабо, правда!

27.01.2011

Они все обсуждают надо ли платить стипендию...

26.01.2011

Кто такие простые люди?

26.01.2011

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

26.01.2011

Мой народ, не склонивший своей головы, мой народ. сохранивший повадку травы: в смертный час зажимающий зерна в горсти, сохранивший способность на камне расти. <...> Припадаю к народу, припадаю к великой реке. Пью великую речь, растворяюсь в ее языке. Припадаю к реке, бесконечно текущей вдоль глаз сквозь века, прямо в нас, мимо нас, дальше нас. (И. Бродский)

26.01.2011

Возраст к ней не имеет никакого отношения!

26.01.2011

Теория X и теория Y Мак-Грегора о мотивации

26.01.2011

Девальвация знаний

26.01.2011

Британский принц не мог позволить себе распутства!

23.01.2011

За что Иоанн Павел II будет причислен к лику блаженных

23.01.2011

"Экономику с потухшими глазами" спасет незамутненный детский взгляд

23.01.2011

Художник по сути своей существо эгоцентрическое. У него в голове не укладывается, что кто-то может сделать лучше, чем он. И ему требуются колоссальные внутренние усилия и мудрость, чтобы это признать. Но когда все-таки удается дойти до уровня понимания, происходит внутреннее освобождение, в результате которого можно, наконец, свободно принять тот факт, что есть люди умнее, талантливее, моложе, богаче и красивее. (А. Михалков-Кончаловский)

23.01.2011

Кто был самым "железным наркомом" Сталина?

23.01.2011

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

23.01.2011

Спортивное программирование

23.01.2011

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

23.01.2011

Путь к успеху

23.01.2011

Братья Царевы на обложке газеты "Университет ИТМО"

23.01.2011

Никлаус Вирт - почетный доктор нашего университета

23.01.2011

Профессор Хопкрофт - почетный доктор ИТМО

23.01.2011

Андрей Станкевич

23.01.2011

Хамдамов чистой воды. Выдающийся российский деятель искусства, о котором Вы, видимо, не знали

23.01.2011

Они активно сопротивляются!

21.01.2011

Почему о Пикассо все еще спорят?

21.01.2011

Существуют экономисты, которых интересно читать

21.01.2011

Художник Е. Михнов-Войтенко - насмерть серьезная игра

21.01.2011

От него люди не уходят!

21.01.2011

Это продолжает быть актуальным - Маслоу А. Мотивация и личность

17.01.2011

Работы по искусственной жизни продолжаются

17.01.2011

Применение Scrum на практике

17.01.2011

О достоинствах гибких технологий

17.01.2011

Scratch - среда для обучения детей программированию

17.01.2011

Java, Simulink и Matlab

17.01.2011

Самые сложные в мире инженерные проекты

17.01.2011

Что такое сложный программный комплекс

17.01.2011

Почему падают новые западные самолеты

17.01.2011

"Открытый код" на железо

17.01.2011

Конференция по экстремальному программированию

17.01.2011

Что такое аджайл-покер?

16.01.2011

Егор Прохорчук: "Расшифрован ген русского человека"

16.01.2011

От акул погибает в среднем 15 человек в год, от бегемотов - 200, от слонов - 600, от пчел - 1250, от крокодилов - 1500, от москитов - 2 000 000!!!

15.01.2011

С нашей историей не соскучишься

15.01.2011

О возможных помехах на пути модернизации

15.01.2011

И он тоже не сдался!

15.01.2011

Поделюсь опытом: любая тусовка — это поиск партнера. Молодежь тусуется легко, радостно, с азартом, потому что все ищут друг друга. А как только человек находит своего партнера — интерес к гулянкам, сборищам, к тусовочной жизни пропадает. И тусоваться он перестает. (А. Михалков-Кончаловский)

15.01.2011

В США беспилотные машины экономически выгоднее людей

15.01.2011

"Клубы инноваторов" как у братьев Кудиновых - основа инновационной экономики

15.01.2011

Я его понимаю - что делать, когда по-другому не понимают?

11.01.2011

Команда СПбГУ ИТМО - чемпион России по программированию

11.01.2011

Приложение 2 к "Заметкам о мотивации"

11.01.2011

Приложение 1 к "Заметкам о мотивации". Фрагменты из книги Маслоу А. Мотивация и личность. СПб.: Евразия, 1999

11.01.2011

Революция 1991 года. Санкт-Петербург

11.01.2011

Даже и не знаю как оценить: "Классик мирового кино Жан-Люк Годар отказался приехать на церемонию вручения ему почетного "Оскара". Статуэтку, которую Годар назвал "куском железа", ему пришлют по почте

11.01.2011

Интересный способ определения популярности российских писателей

11.01.2011

Университеты в России могут стать центрами инноваций. так как "через них течет человеческий капитал, тысячи студентов, которые могут иметь новые идеи, которые можно апробировать и довести до коммерциализации. Особенно университеты в крупных городах, так последние сами по себе являются инкубаторами"

11.01.2011

Несмотря на все сложности и проблемы ведения бизнеса в России, уезжать из страны российские предприниматели пока не спешат

11.01.2011

Планшетное помешательство

11.01.2011

Вим Роландс Xilinx продолжает оставаться ярым приверженцем идеи о новой эре управления, когда кадровый ресурс ценится выше физического капитала, что в итоге позволяет достичь большего финансового успеха

11.01.2011

Еще три недели назад Миша Дворкин не знал зачем писать статьи (http://is.ifmo.ru/present/_mit.ppt), а теперь, наконец-то, узнал (http://bioinf.aptu.ru/members). Видимо, "Заметки о мотивации" подействовали. Теперь пора писать "Заметки о порядочности"

10.01.2011

"Вера в то, что в России живут лучшие в мире программисты (или биологи), сродни вере в то, что лучшие в мире портные живут в Жмеринке", - Павел Певзнер. Давайте докажем обратное на его поле - при сборке генома

10.01.2011

Мультипликации бывают и "человеческими"

10.01.2011

Почему в мире ухудшается продовольствие?

10.01.2011

Наностипендиаты

10.01.2011

Почему падают спутники?

10.01.2011

Продолжается борьба с программными ошибками

10.01.2011

Еще один конкурент MPS?

08.01.2011

Воспитанники Федора Царева едут на финал чемпионата мира. Федор Царев - официальный тренер команды ETH на чемпионате мира по программированию 2011 г.

08.01.2011

Гради Буч о программной системной инженерии

08.01.2011

Гради Буч о беспилотниках как предмете системной инженерии

08.01.2011

Ярослав Кузьминов читает интересную лекцию об образовании в России

08.01.2011

У MPS появился конкурент?

06.01.2011

Недовзрослые

06.01.2011

Егоров К.В., Царев Ф.Н., Шалыто А.А. Совместное применение генетического программирования для построения автоматов управления системами со сложным поведением // Труды СПИИРАН. 2010. Вып. 15, с. 123 – 135

06.01.2011

Станкевич А.С. Использование алгоритмов анализа левоконтекстных терминальных грамматик в задачах автоматического тестирования программ // Труды СПИИРАН. 2010. Вып. 13, с. 106 – 121

06.01.2011

Новогодние поздравления от роботов и про футбол

06.01.2011

Она сумела подняться. А Вы сможете?

06.01.2011

В чем состоит главный бизнес DuPont?

06.01.2011

Что смотрят новые люди?

06.01.2011

Как попасть в сборную России по математике?

06.01.2011

Шалыто А.А. Короче не бывает

05.01.2011

В. Сурков: "Нужна система поиска гениев, вычисление, нахождение уникальных людей у нас, за границей – это самое главное, что мы должны сделать. Инновационная экономика всегда возится с людьми, ищет индивидуальности, а не только строит институты. Все должно быть подчинено поиску талантов и талантливых идей. Общество должно научиться быть более внимательным, более любопытным в отношении всего, что не вписалось в мейнстрим. Ведь гении всегда в меньшинстве, но их деятельность делает большинство богаче. привыкайте: "Сколково" - это место для избранных. Для талантливых и гениальных". Наконец-то, как заговорили

05.01.2011

Российскую компьютерную игру загрузило 3.5 млн. пользователей, так как она, по мнению авторов, прикольная

05.01.2011

Кто и как может защитить диссертацию?

05.01.2011

Американцы испытали суперпушку, которая стреляет на 160 км

05.01.2011

Детей учат обращаться с деньгами

05.01.2011

Неугомонный англичанин добился своего (и Вашего тоже) несмотря на скептицизм коллег, который должен был убить интерес к занятиям в этой области у всякого

05.01.2011

Зачем Yandex ввел поиск зарубежных сайтов?

05.01.2011

"Никогда не предполагал, что Михаил Янгель, перенесший три инфаркта, обладает такой силой и мужеством, когда отстаивает новое в технике. Но это были не чудеса, а технический гений, прозорливость и железная воля"

26.12.2010

Столяров Л.В., Петряйкин Ф.А., Уваров Н.С. Разработка платформы для автоматного моделирования и проведения соревнований автоматных интеллектов с трехмерной визуализацией

25.12.2010

"Наука витрины" вместо "науки бомбы"

25.12.2010

Сто мировых столиц аутсорсинга

25.12.2010

Этого не хватало Национальной публичной библиотеке :-)

25.12.2010

Раньше под другим искусством понималось искусство, отличное от социалистического реализма. Теперь другое искусство совершенно другое. Пока не поздно сходите во Фрунзенский универмаг (Московский пр. 60) на выставку "Фестиваль удивительные технологий и искусства Yota Space". До 19.12.2010 г.

25.12.2010

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

25.12.2010

А.А. Шалыто ответил на вопрос "Где построить небоскреб?"

25.12.2010

Что бывает, когда кончается грант. Поэтому и нужна поддержка компаний

25.12.2010

Наука в Гонконге и России

25.12.2010

Михаил Дворкин - отличный учитель информатики!

23.12.2010

Выпускник кафедры КТ 2000 г. Юрий Шполянский защитил диссертацию на соискание ученой степени доктора физико-математических наук. 21:0! Поздравляю!

22.12.2010

Геном и постгеном

17.12.2010

Лауреат премии Филдса Станислав Смирнов о науке

17.12.2010

Будет ли государство разбираться с первопричиной?

17.12.2010

Тесты на IQ содержат ошибки!

17.12.2010

25 ноября 2010 г. защитил докторскую диссертацию физ-мат. наук выпускник кафедры КТ 2000 г. Павел Белов! Поздравляем! 23 декабря 2010 г. такую же диссертацию защищает его однокурсник Юрий Шполянский!

17.12.2010

Спорт больших людей в США и России! Сравните!

17.12.2010

От технопарков - к городам науки

17.12.2010

Об уставе СПб ГУ (2)

17.12.2010

Об уставе СПб ГУ (1)

06.12.2010

"Заметки о мотивации" опубликованы на бумаге и пока всем нравятся!

06.12.2010

Фильм режиссера Алексея Федорченко "Овсянки" - призер Венецианского фестиваля, приглашен для участия еще на 48 фестивалей! Посмотрите его. Он отличается от фильмов, которые обычно нравятся молодежи.

06.12.2010

Об успехе в IT-предпринимательстве. Интервью с основателем и главой компании ABBYY Давидом Яном

06.12.2010

Бунт Парфенова

06.12.2010

Почему страдают Гаити и Россия

06.12.2010

О порядочных людях

06.12.2010

Кошмар в столице будущей Олимпиады по программированию

06.12.2010

Кто мешает спать Президенту Саркази?

06.12.2010

Тот, кто числился в лузерах, может внезапно взять свое, ибо сохранил себя

03.12.2010

Трупы привезут из Германии...

03.12.2010

Памяти Беллы Ахмадулиной. 2

03.12.2010

Памяти Беллы Ахмадулиной. 1

03.12.2010

Ты покормил козла?

03.12.2010

Началась схватка между Facebook и Google

28.11.2010

Потрясающий материал о Китае: "Их не догонишь?"

28.11.2010

Писатели и наша жизнь

28.11.2010

Девальвация знаний

28.11.2010

Беседа с Нобелевским лауреатом Андреем Геймом

28.11.2010

Чащин Д.А., Шалыто А.А. Распределенная виртуальная лаборатория для обучения генетическим алгоритмам

28.11.2010

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

28.11.2010

Вот, что думают российские программисты о российских программистах

24.11.2010

Команда Цюрихской высшей политехнической школы, которую тренировали М. Буздалов, А. Станкевич и Ф. Царев, впервые в истории этого университета прошла в финал чемпионата мира по программированию ACM ICPC

15.11.2010

Главное, Федя, воля к победе!

15.11.2010

Скончался отец фрактальной геометрии

15.11.2010

Гонка за число ядер сходит на нет

15.11.2010

Случай из жизни. Ответ большому начальнику: "Мы вынуждены притворяться дураками для того, чтобы Вы почувствовали свое величие!"

15.11.2010

Об Андрее Белом

15.11.2010

ИТ-технологии. Это разве наше все?

15.11.2010

Будут ли сохранять молодежь в нашей стране?

15.11.2010

Печальные мысли о российской науке. Кроме меня почти никто ничего другого не пишет (А. Шалыто)

15.11.2010

98% микропроцессоров применяются во встроенных системах, большинство из которых восьмиразрядные и программируются одним-двумя человеками. Чем не раздолье для автоматного программирования?

15.11.2010

Памяти Бенуа Мандельброта

15.11.2010

Алгоритм быстрой сортировки и ошибка на миллион долларов

15.11.2010

Еще так много надо успеть

14.11.2010

Малышу сделали уникальную операцию еще... до его рождения!

14.11.2010

Действительно царственная
http://rus.ruvr.ru/2010/11/02/30764806.html
http://rus.ruvr.ru/2010/11/11/32647379.html

14.11.2010

Чурюмов С. Нужна энергия страсти

14.11.2010

Посмотрите фильм Алексея Учителя "Край"

14.11.2010

Двадцатилетние мальчики создали социальные сети

14.11.2010

О Mail.ru Group подробнее

14.11.2010

Кто поможет альма-матер?

14.11.2010

Есть российские бизнесмены, которые сеют миллионы!

14.11.2010

Книга Айн Рэнд (Алисы Розенбаум) "Атлант расправил плечи" согласно данным Конгресса США стала второй после Библии, что изменило жизнь читателей

13.11.2010

Непримитивные примитивы

13.11.2010

Российскому «Сколково» угрожают из Лондона

12.11.2010

Знай наших!

11.11.2010

Рейман учредил центр разработки СПО

11.11.2010

Есть ли жизнь без Нобелевской премии?

07.11.2010

Лень передается по наследству

07.11.2010

Открытая публикация статей все более приветствуется

07.11.2010

О научной деятельности

07.11.2010

Посмотрите фильм Клинта Иствуда "Мосты округа Мэдисон" (1995 г.)

06.11.2010

Российский ученый получил премию Пифагора

05.11.2010

1. Сегодня главная проблема - отсечение псевдообразования. Ярослав Кузьминов
2. Израиль на первом месте в мире по оттоку научных кадров за рубеж на душу населения. Известия. 29.10.2010.

05.11.2010

Интервью с певицей, знающей себе цену

05.11.2010

Доля предприятий России, создающих инновации

05.11.2010

О знании русского языка молодежью

05.11.2010

Экономика без иллюзий, или во многих странах ИТ - это не вся экономика

05.11.2010

Вера Полозкова читает Дмитрия Быкова

05.11.2010

Поэтическая композиция на стихи Веры Полозковой

05.11.2010

Кто формирует фонд поддержки МГИМО

05.11.2010

Такие бывают выпускники

05.11.2010

Доклад Чащина Д. А., Шалыто А. А. Распределенная виртуальная лаборатория для обучения генетическим алгоритмам приняли на V Международную научно-практическую конференцию "Современные информационные технологии и ИТ-образование", которая будет проходить в МГУ 8,9.11.2010 г.

05.11.2010

Они будут выступать на конференции, посвященной 60-летию Бертрана Мейра

05.11.2010

Наука в Microsoft

05.11.2010

Электронное правительство в Южной Корее позволяет гражданам осуществлять около 2000 операций. У нас три операции и 73 тестируются

05.11.2010

Поздравляем Стафеева С.К., Вейко В.П. и Туккеля И.Л. с присуждением премии Правильства России в области образования за 2010 год

05.11.2010

Названы 10 стратегических технологий будущего

05.11.2010

Нобелевский лауреат Андрей Гейм отказался работать в Сколково

05.11.2010

Оззи о не очень радостном будущем Microsoft

05.11.2010

Из Microsoft уходит программный идеолог - Рэй Оззи

05.11.2010

Как будет строиться экономика счастливых людей

05.11.2010

Самые сложные инженерные проекты в мире

05.11.2010

Статья "Рецепт от утечки мозгов" в журнале "Ученый совет" 2010. № 8

05.11.2010

Нас обсуждают

05.11.2010

В России формируется студенческая футбольная лига - школа программирования и футбола может оказаться востребованной

03.11.2010

Заметки о мотивации. Редакция от 02.11.2010

02.11.2010

Подведены итоги конкурса по привлечению выдающихся ученых в российские вузы. СПбГУ ИТМО привлечет двоих!

30.10.2010

Всегда ли хороша правда? Правдолюбцы прочтите!

26.10.2010

На Северо-Западном молодежном инновационном конвенте 2010 года профессор СПбГУ ИТМО А.А.Шалыто сказал генеральному директору Российской венчурной компании (РВК) И.Р. Агамирзяну, что прежде, чем создавать посевные компании в российских университетах необходимо посеять талантливых выпускников. Руководитель РВК не отрицал сказанного, но и помочь не обещал.

24.10.2010

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

24.10.2010

Это интересно. Юбилей Саши Черного

24.10.2010

Второе издание книги "Автоматное программирование"

23.10.2010

Оценка публикаций в Scopus 2

23.10.2010

Оценка публикаций в Scopus 1

23.10.2010

Посетите первый музей современного искусства (частный) "Эрарта" (Санкт-Петербург)

23.10.2010

Посмотрите работы художника Вячеслава Михайлова

23.10.2010

Startup Weekend в Питере

23.10.2010

Представление стартапов

23.10.2010

Hack Day в Петербурге

23.10.2010

Какие стипендии должны получать аспиранты?

23.10.2010

Мой ученик

23.10.2010

Это интересно. Юбилей Наума Коржавина

23.10.2010

Андрей Гейм и Константин Новоселов - лауреаты Нобелевской премии по физике, или почему будущего лауреата не приняли в МИФИ

23.10.2010

Победитель конкурса на лучшую магистерскую диссертацию СПбГУ ИТМО 2010 года - Андрей Клебанов. Лауреаты этого конкурса - Михаил Дворкин, Кирилл Егоров и Андрей Законов. Поздравляем!

22.10.2010

Неплохой рейтинг размышлений о жизни и смерти

19.10.2010

Кому действительно удалось зажечь огонь в глазах участников Конвента

19.10.2010

Мандриков Е.А. Совместное использование автоматного программирования и генетических алгоритмов для управления мультиагентными системами

19.10.2010

Чернявский И.И. Применение машинного обучения для создания управляющих автоматов на примере игры "Robocode"

16.10.2010

"Булава" полетела

16.10.2010

Пирамида потребностей по Маслоу. Потребность в самореализации должна находиться существенно ниже - почти у основания

16.10.2010

Даже у Королева были неудачи

16.10.2010

Почему Нобелевскую премию могут получить только те ученые, которые уехали за границу

15.10.2010

Россия в лидерах в любви к Интернету

15.10.2010

Это интересно. Терц против Синявского

15.10.2010

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

15.10.2010

Автомобилю, созданному компанией Google, водитель не нужен

14.10.2010

Это интересно. Терц против Синявского

13.10.2010

Вельдер С.Э. Применение методов снижения размерности к задачам верификации TCTL и оптимальной укладки графов

13.10.2010

Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моделью танка в игре Robocode

13.10.2010

Акишев И.Р., Дворкин М.Э. О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности

13.10.2010

Слайд-шоу "Северо-западный инновационный конвент"

13.10.2010

Идея, близкая с предложенной мною

12.10.2010

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

12.10.2010

Инструкция по работе с виртуальной лабораторией на языке C#

12.10.2010

Виртуальная лаборатория на языке C#

12.10.2010

Код виртуальной лаборатории на Java

12.10.2010

Описание виртуальной лаборатории на Java

08.10.2010

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

03.10.2010

Выступление на инновационном конвенте

03.10.2010

Бренд МТС на 89-м месте в мире

03.10.2010

Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях

01.10.2010

Применение головоломок при обучении решению реальных проблем

01.10.2010

Какой должна быть аспирантура - сохраним в аспирантуре лучших!

01.10.2010

Инженерное образование в 21 веке

01.10.2010

Summary of "Transforming Engineering Education: Creating Interdisciplinary Skills for Complex Global Environments" (6-9 April 2010, Dublin Ireland)

01.10.2010

Transforming Engineering Education. The Road Ahead

01.10.2010

Индикаторы в образовании

30.09.2010

"Булаву" мы поднимем

30.09.2010

"Принятием законопроекта о создании инновационного центра "Сколково" мы, по сути, подписываемся под проектом строительства Ноева ковчега, который призван собрать остатки российской интеллектуальной элиты и плыть к земле обетованной, где в цене будет стремление к приращению нового научного знания о мире, внедренческая деятельность, способная облагораживать нашу жизнь. Этот "остров", создающий преференции для занятий наукой, для инноваций, может стать той архимедовой "точкой опоры", которая позволит перевернуть если не весь мир, то хотя бы структуру российской экономики от сырьевой к "экономике знаний" XXI века".

Лидер фракции "Справедливая Россия" в Государственной Думе Николай Левичев

30.09.2010

Инновации нужны армии

30.09.2010

Царев Ф.Н. Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования

30.09.2010

Лившиц А. Надо делиться-2

30.09.2010

Лившиц А. 90-е годы: делиться надо!

30.09.2010

Шалыто А.А. Что нам мешает построить экономику, основанную на знаниях?

30.09.2010

Мы тренируем команду неплохого университета - Цюрихского политехнического института (ETH)

30.09.2010

Быстро богатейте, как хозяин Faсebook!

30.09.2010

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

30.09.2010

Какие бывают условия для тренировок! А у вас не такие?

29.09.2010

Исенбаев В.В. Разработка системы секвенирования ДНК с использованием paired-end данных

29.09.2010

Исенбаев В.В. Разработка системы секвенирования ДНК с использованием paired-end данных (презентация)

29.09.2010

«Вконтакте» генерирует половину всего Интернет-трафика в России

23.09.2010

Валерий Гергиев: "Мой приоритет номер один на ближайшие годы - помочь молодому поколению найти себя". И мой тоже. А. Шалыто

23.09.2010

Успешные генетики в коммерческих фирмах получают 30-40 тыс. руб. в месяц

23.09.2010

Zakonov A., Stepanov O., Shalyto A. GA-based and Design by Contract Approach to Test Generation for EFSMs

23.09.2010

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н. Генетическое прогрммирование на основе обучающих примеров для построения конечных автоматов управления моделью беспилотного самолета

23.09.2010

Наши выступления на "Северо-Западном инновационном конвенте"

23.09.2010

Знаменитый диетолог Мишель Монтиньяк умер в 66 лет

23.09.2010

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

23.09.2010

Ответ на вопрос для спецвыпуска «Задел для инноваций» газеты «Санкт-Петербургские ведомости» № 168-с от 8.09.2010 г.: «В чем Вы видите результаты инновационной экономики?»

23.09.2010

MIT будет бесплатно выкладывать статьи своих сотрудников. Мы на сайте это делаем давно

23.09.2010

Многие авторы до публикации выкладывают препринты своих статей на специальные сервера (например, arXiv.org)

23.09.2010

Об индексе Хирша

23.09.2010

Получить информацию о геноме станет труднее

23.09.2010

Новый телефон от "Скартела" показали Президенту РФ Д.А. Медведву

22.09.2010

Доклад А.Законова, О.Степанова и А.Шалыто GA-based and design by contract approach to test generation for EFSMs на конференции IEEE EAST-WEST DESIGN & TEST SYMPOSIUM 2010 St. Petersburg, Russia, September 17-20, 2010

22.09.2010

Андрей Тихомиров, Ян Малаховски (дипломные проекты) и Павел Маврин (кандидатский проект) - победители конкурса грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга 2010 г.

22.09.2010

Юрий Мильнер и социальные сети. 1

22.09.2010

Юрий Мильнер и социальные сети. 2

22.09.2010

Как современные тинейджеры используют новые медиа

22.09.2010

Наша история все еще является непредсказуемой

22.09.2010

Создается экономика счастливых людей. А я стараюсь создать такое же образование

22.09.2010

СПбГУ ИТМО - один из немногих университетов страны, подписавших меморандум о сотрудничестве с фондом "Сколково"

17.09.2010

Сокуров принимает решение...

17.09.2010

О выдающемся композиторе современности

17.09.2010

Мало известная выдающаяся российская художница

17.09.2010

О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности

17.09.2010

Инновационное образование у Жореса Алферова

17.09.2010

Во всемирном рейтинге конкурентоспособности стран Россия заняла 63 место. Первое - Швейцария. Второе - Швеция. Третье - Сингапур. Четвертое - США. 121 место - Киргизия

17.09.2010

Linux по-русски

17.09.2010

Функциональное программирование - друг параллелизма

16.09.2010

10 ключевых фраз науки

16.09.2010

Дело сдвигается с мертвой точки - в стране появилось первые 25 аспирантов с нормальной стипендией

16.09.2010

Постоянная стимуляция мозга препятствует процессу познания

16.09.2010

"Yota" на первой странице газеты "Известия"!

16.09.2010

Стивен Хокинг: "Создание Вселенных не требует вмешательства существа или бога"

16.09.2010

Какие у нас были философы!

15.09.2010

Под руководством академика К.Г. Скрябина расшифрован геном русского

15.09.2010

Зачем расшифровывать геном по национальностям

15.09.2010

МГУ попал в сотню лучших университетов мира

10.09.2010

Встреча с руководством MIT

10.09.2010

Диплом - хорошо, а счастье лучше

10.09.2010

Отличия за научные заслуги должны быть такими, чтобы никто, кроме ученых, не мог их добиться

10.09.2010

Шалыто А.А. Сохраним в университетах лучших!

09.09.2010

Живем в эпоху без идей

09.09.2010

Методы создания цифрового представления Земли

09.09.2010

Кому в России нужны гуманитарные науки?

09.09.2010

Нужны ли нам герои?

07.09.2010

Шалыто А.А. Дерзайте, все в ваших руках!

07.09.2010

II Международная научно-практическая конференция "Объектные системы-2010" (зимняя сессия)

05.09.2010

Лекции о сихронизируемых автоматах в ПОМИ

29.08.2010

Создан консорциум по военной робототехнике

29.08.2010

Ученые расшифровали код смерти

28.08.2010

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

28.08.2010

Зачем нужны профессора

28.08.2010

"МК в Питере" об ИТ-образовании

28.08.2010

Математик из Индии претендует на решение задачи тысячелетия

28.08.2010

Физики замахнулись на одну из математических "задач тысячелетия"

28.08.2010

Что такое настоящая ИТ-компания?

25.08.2010

Шалыто А.А. Об отношении к жизни...

25.08.2010

Россиянин получил "математическую Нобелевку"

25.08.2010

Apple отнимает у Microsoft звание крупнейшей ИТ-компании

24.08.2010

10 продуктов, полезных для сердца

23.08.2010

Британский ученый заразил себя компьютерным вирусом

22.08.2010

Apple отнимает у Microsoft звание крупнейшей ИТ-компании

21.08.2010

Русский триггер

21.08.2010

Фракталы

21.08.2010

Математик, решивший «задачу тысячелетия», ошибся

11.07.2010

Центру речевых технологий 20 лет

11.07.2010

Выпуск кафедры "Компьютерные технологии" 2010

09.07.2010

Медаль за 40 лет работы в ОАО "Концерн "НПО "Аврора"

09.07.2010

Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ

09.07.2010

Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ (презентация)

09.07.2010

Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ

09.07.2010

Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ (презентация)

09.07.2010

Владислав Сурков: "Если первые десятки, сотни людей ПРИЕДУТ, потом это будет происходить само собой"
Анатолий Шалыто: "Если первые десятки, сотни людей НЕ УЕДУТ, потом это будет происходить само собой"

09.07.2010

Кондолиза Райс музицирует

09.07.2010

Зачем нас пугают Америкой?

09.07.2010

Очень интересная статья режиссера Андрона Кончаловского!

07.07.2010

Стыдно, когда не стыдно

07.07.2010

Игры патриотов

07.07.2010

Только свободные творческие личности могут создать новую экономику

07.07.2010

Поколение сидящих на двух стульях

07.07.2010

О букве "ё" в русском языке

07.07.2010

Мы можем, наконец, заняться тем, ради чего рождены на свет. Потреблением

07.07.2010

Последнее нет доктора Перельмана

07.07.2010

Об уникальном хирурге!

07.07.2010

Некогда ходить на выставки - зайдите сюда

07.07.2010

О науке в России

07.07.2010

Крупные компании не любят тестирование

07.07.2010

Автоматное программирование в Челябинске, в котором живут суровые мужики :-)

03.07.2010

Нам пишут

03.07.2010

Мастер-класс. Награждение. Видео

03.07.2010

М. Дворкин, П. Маврин, А. Станкевич - лауреаты премии Правительства Санкт-Петербурга педагогам наставникам, подготовившим победителей и призеров международных и Всероссийских олимпиад школьников, за 2009 г.

02.07.2010

Шалыто А.А. На ком держится Россия

02.07.2010

Собрать из осколков

02.07.2010

Идея, подсмотренная у Шалыто

02.07.2010

Проводить модернизацию Медведеву будет не с кем

02.07.2010

Вручение премии "Мастер"

02.07.2010

Введение в биоинформатику

02.07.2010

Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты

02.07.2010

Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты (презентация)

30.06.2010

Удивительное рядом

30.06.2010

Интересные фотографии

29.06.2010

Поздравляем Евгения Князева и Олега Степанова с присвоением ученой степени "кандидат технических наук"

29.06.2010

В. Исенбаев - второй, Е. Капун - седьмой, П. Маврин - восьмой в мире

29.06.2010

Израиль блокирует сделку по беспилотникам с РФ

29.06.2010

Zakonov A. A GA-based approach for test generation for automata-based programs

29.06.2010

Онколог нашел лекарство от малярии

29.06.2010

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

22.06.2010

Дворкин М.Э. Методы минимизации необходимого числа цепей для секвенирования ДНК (презентация)

22.06.2010

Дворкин М.Э. Методы минимизации необходимого числа цепей для секвенирования ДНК

21.06.2010

Dvorkin M. Genomics Quick Start

16.06.2010

Дворкин М.Э. Методы оптимизации доказательства NP-полноты двумерных локально зависимых задач

15.06.2010

Генельт А.Е. Письмо о джазе

15.06.2010

Обсуждение доклада Андрея Клебанова на SYRCoSE 2010

15.06.2010

Интересное интервью с Вячеславом Колосковым о футболе в России

10.06.2010

Klebanov A.A. On the Formal Specification of Automata-based Programs via Specification Patterns

10.06.2010

Умер изобретатель банкомата

10.06.2010

Семь вопросов академику К.Г. Скрябину

10.06.2010

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

10.06.2010

Участие в оргкомитете международной конференции "Fourth International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD) 2010"

10.06.2010

В Высшей школе экономики решили сохранять аспирантов! Наконец-то, еще кто-то, кроме нас, решил спасать молодежь!

04.06.2010

03.06.2010 г. в Париже скончался выдающийся российский математик Игорь Владимирович Арнольд

03.06.2010

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

Я вас поздравляю с днем рождения! Желаю вам здоровья и еще больше сил! То, что вы делаете - феноменально! Спасибо вам большое за все! Я думаю к моему спасибо присоединятся еще многие и многие люди. Я постараюсь не подвести.

01.06.2010

Петербург попрощался с выдающимся человеком - Витольдом Витальевичем Войтецким. Он много лет возглавлял НПО "Аврора". Скорбим!

01.06.2010

Приняли доклад Акишева И.Р.и Дворкина М.Э.О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности на IX Сибирскую научную школу-семинар с международным участием "Компьютерная безопасность и криптография" – SIBECRYPT’10, которая будет проводиться в Тюменском государственном университете 6-11.09.2010 г.

01.06.2010

Шалыто А.А. Сохраним лучших. Save the best! //Русский меценат. 2010. Вып. 7, с. 46-51.

01.06.2010

Программируем футбол ////Русский меценат. 2010. Вып. 7, с. 52-55.

01.06.2010

Щедрая помощь бизнеса университетам :-) Многие чиновники и даже их жены имеют годовой доход значительно больший, чем все российское бизнес-сообщество потратило на вузы страны! Хотело потратить 130 млн. рублей, а потратило 122 млн. рублей. Такие деньги легко мог бы потратить один богатый человек! Смех да и только!

01.06.2010

Бактерию собрали из кусочков

01.06.2010

Борисенко А.А. Интеграция верификации в интерактивный процесс разработки программ с явным выделением состояний

01.06.2010

Радзиховский Л. Приоритеты. Почему в России трудно проводить модернизацию?

31.05.2010

В Вятке придумали как сделать так, чтобы дети поступали в местные вузы. Когда в России придумают как сделать так, чтобы более старшие дети не уезжали учиться в зарубежные аспирантуры?

31.05.2010

Книжная серия. История информатики. (Краткое содержание). Составитель Я.И.Фет. Новосибирск. Изд. ИВМ и МГСОРАН, 2009.

27.05.2010

Шалыто А.А. Тяжелый коврик и автоматное программирование. Третья редакция

25.05.2010

У меня не хватило смелости в статье "Распределенный "Город солнца" http://is.ifmo.ru/education/_gorod_solnca.pdf назвать будущий город в Сколково "Солнечным городом" как это было сделано в книге Носова, а у кого-то хватило ума сделать Незнайку символом экспозиции нашей страны http://newsland.ru/News/Detail/id/505482/ на Всемирной выставке ЭКСПО-2010, которая проходит сейчас в Шанхае!

24.05.2010

"Spring/Summer Young Researchers' Colloquium on Software Engineering" (SYRCoSE-2010), который проводится Институтом системного программирования РАН 1,2 июня 2010 в Нижнем Новгороде http://syrcose.ispras.ru/node/12

Труды этой и предшествующих конференций http://syrcose.ispras.ru/node/13

20.05.2010

Для сильного ученого совершенно необходима уверенность в завтрашнем дне!

20.05.2010

Ректор "Высшей школы экономики" Я. Кузьминов о национальных исследовательских университетах, Сколково и...

20.05.2010

В АФТУ делается фокус

18.05.2010

Поздравляем Павловскую Татьяну Александровну, Корнеева Георгия Александровича, Столяра Сергея Ефимовича с премий Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в 2010 году в номинации "Учебно-методическое обеспечение учебного процесса, направленное на повышение качества подготовки специалистов"

17.05.2010

У Америки сегодня четыре приоритета - это наука, наука, наука и наука

17.05.2010

Промышленность важнее армии

17.05.2010

Москва обошлась без портретов Сталина

17.05.2010

Почему для России хороша плоская шкала налогов

17.05.2010

Молодежь, которой нечего делать - как движущая сила революций

17.05.2010

Беседа с президентом "Skype"

17.05.2010

Google - самый дорогой брэнд мира

17.05.2010

Выступление на семинаре "Искусственный интеллект" (руководитель - докт. тех. наук Алексей Потапов)

17.05.2010

Алексей Бобровский, Лауреат премии Президента РФ в области науки и инноваций для молодых ученых

17.05.2010

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

17.05.2010

Алфёров Ж.И. Трамвай 9-й номер (фрагмент)

17.05.2010

ИТМО и подготовка арбитров по футболу

17.05.2010

Жукова А.Р., Мазин М.А. Акторное расширение языка Java в среде MPS

17.05.2010

Выступление на Восьмой Всероссийской конференции "Преподавание информационных технологий в России"

17.05.2010

Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моедлью танка в игре Robocode

15.05.2010

Нас читают

15.05.2010

Президент Д.А. Медведев о талантливых детях и молодежи

15.05.2010

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

15.05.2010

Ярослав Кузьминов, ректор «Высшей школы экономики». Может ли появиться креативный класс без проведения научных исследований в вузах?

13.05.2010

Фантастика: сколько платит Америка своим солдатам и генералам

13.05.2010

Еще раз о хамстве - разные точки зрения

13.05.2010

Можно ли надеяться на бюджетное финансирование науки http://www.rg.ru/2010/04/21/bio.html. Мы выиграли грант Российского фонда фундаментальных исследований - очень почетно, но просили 500 тыс.руб. в год, а получил 180 (!?) - грязными. Можно на это жить? Можно одному человеку и очень плохо! Несмотря на то, что мы выиграли и другие гранты, без инициативы "Сохраним в университетах лучших!" ребят не просодержать.

13.05.2010

Polikarpova N.I., Tochilin V.N., Shalyto A.A. Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming

13.05.2010

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

13.05.2010

Вручение Андрею Станкевичу молодежной премии Санкт-Петербурга за 2009 год

13.05.2010

Зарплаты растут, а работать лучше мы не стали

13.05.2010

Еще раз о Сколково

12.05.2010

При университетах создаются фонды, но что из созданного фонда выделят именно нам? Мы пойдем своим путем!

12.05.2010

Наука и нравственность - Бор и Гейзенберг

07.05.2010

Шалыто А.А. Ну, Димуля, держись!

07.05.2010

В.Г. Парфенов и А.А. Шалыто со своими сотрудниками (фотограф Александр Ботков)

07.05.2010

В.Н. Васильев, В.Г. Парфенов и А.А. Шалыто со своими сотрудниками (фотограф Александр Ботков)

07.05.2010

Анатолий Абрамович Шалыто (фотограф Александр Ботков)

07.05.2010

Федор Царев (фотограф Александр Ботков)

03.05.2010

США делает ставку на беспилотники

03.05.2010

Об отраслевой науке в России

03.05.2010

У нас приняли доклад на Международный семинар "Семантика, спецификация и верификация программ: теория и приложения", который проходить в Казани 14 и 15 июня 2010 г. в рамаках 5th International Computer Science Symposium in Russia (CSR-2010)

03.05.2010

Фундаментальная наука в Африке, где охота чуть ли не главная отрасль экономике. Почему во всем мире, кроме России, понимают, что ученые должны производить только новые знания?

03.05.2010

За что дали премию Абеля этого года

27.04.2010

Шалыто А.А. Как поссорились специалист по математической логике со специалистом по логическому управлению

27.04.2010

Вельдер С.Э. Оптимальные укладки графов в пространстве и их приложения к задаче выполнимости

26.04.2010

Диплом Клебанова Андрея за лучший доклад на секции "Автоматное программирование"

23.04.2010

Шалыто А.А. Тяжелый коврик и автоматное программирование

22.04.2010

О кукле "круче" Барби!

21.04.2010

110 лет СПбГУ ИТМО: как предотвратить «утечку мозгов»

19.04.2010

Колеса будущей науки

19.04.2010

Снова - здорово. Давно не регистрировали множительную технику!

19.04.2010

Русский язык нужен в Америке

19.04.2010

Какая бывает любовь

19.04.2010

Третьеразрядные футболисты получают больше олимпийских чемпионов

19.04.2010

Выступление А.А. Шалыто в Эрмитажном театре о движении "Сохраним в университетах лучших!"

19.04.2010

Кулямин В., Корныхин Е. Формальная верификация: методы и приложения

19.04.2010

Профессор С.П. Капица об инновациях в России

19.04.2010

Наши опять в топе!

19.04.2010

Еще раз о "Булаве"

19.04.2010

Встреча с с первым заместителем главы Администрации президента В.Ю.Сурковым, на которой были наши

19.04.2010

Классно написано про тень!

19.04.2010

За что еще дадут миллион долларов

19.04.2010

О нас на "Дне мецената"

19.04.2010

Выступление А.А. Шалыто в клубе инноваторов

18.04.2010

Результат выступления в клубе инноваторов (выделено красным)

18.04.2010

19.03.2010 г. был рекорд сайта: 447 посетителей, 461 хост.
05.04.2010 г. на сайте было 1087 визитов.

18.04.2010

Зарубежная благотворительность подходит к концу

15.04.2010

Где находятся лидеры российской математики

15.04.2010

Этот фонд будет большим! А остальные?

15.04.2010

Студенты Бауманки и заграница

15.04.2010

Мечтаю продавать китайские машины по всему миру, вместо того чтобы иностранные машины ездили по всему Китаю. Ли Шуфу, основатель концерна Geely, который договорился с Ford о покупке Volvo!

15.04.2010

О Катыни и не только

15.04.2010

День мецената прошел на ура!

10.04.2010

Михаил Царев в полуфинале конкурса бизнес-кейсов Changellenge Cup 2010

05.04.2010

О ситуации в российской науке

Науку у нас в Новосибирске сохранили, даже в несильно потрепанном виде: лаборатории работают, молодые учатся, защищают диссертации. Одна великая проблема, что молодь (и не только, начали забирать уже 40-50-ти летних), как горячие пирожки расхватывают западные университеты, и тут ничего не поделаешь. Ведь действительно, на те зарплаты, даже с грантами, даже с западными, прожить трудно, а заработать на квартиру совсем нереально, вот и убегают они, талантливые, кто в "бусинес", а чаще на запад. Есть проблема, что с каждым годом выпускники ВУЗов становятся все менее образованными (в целом), и никто особенно в науку идти не хочет (обрекать себя на нищету). Старые, образованные кадры, которые могут научить, еще есть, но и они уходят постепенно, нужно принимать СРОЧНЫЕ меры по "сплаву" квалифицированных кадров и талантливой молодёжи, иначе никак!

Комментарий к материалу http://newsland.ru/News/Detail/id/483178/

P.S. А мы уже меры приняли. http://www.savethebest.ru

05.04.2010

Молодежь сразу хочет комфорта. Так многого не достигнем...

05.04.2010

Поснов М.Н., Архангельский Ю.Б., Мараховский В.Б., Чугуев Г.П. Настольная полноклавишная релейная вычислительная машина "Нева-3"

05.04.2010

Владыкин А.А., Шалыто А.А. Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение

05.04.2010

Страна непрофессионалов

05.04.2010

Будет создаваться еще один научный центр

05.04.2010

Доклад о российской научной диаспоре

05.04.2010

Игорь Иртеньев о Григории Перельмане

05.04.2010

Движение за возрождение Российской науки

05.04.2010

Г. Малинецкий - об инновациях глубоко и серьезно

03.04.2010

Ценности в жизни, предложенные Ш. Шварцем

03.04.2010

Владелец оригинала моей книги для Google Книги - Калифорнийский университет

03.04.2010

Вернулся из бани розовый Шалыто. В руке он держпал утюг, от которого недавно избавилась вдова

03.04.2010

Через Google Книги я узнал, что Шалыто - "да живет долгие добрые годы"

03.04.2010

"Шалыто встревожился и начал искать следователя" (Автор этой строки режиссер Эльдар Рязанов писал сценарии с Эмилем Брагинским, который был женат на двоюродной сестре моего отца. Так фамилии попадают в художественные книги)

03.04.2010

Они не могли не уволить великого актер

03.04.2010

Перельман сформировал проблему тысячелетия: "Как можно отказаться от миллиона долларов?"

03.04.2010

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

02.04.2010

Поздравляем Станислава Викторовича Шидловского (Томский государственный университет)с присуждением медали Российской академии наук для молодых ученых за 2009 год за работу "Перестраиваемые вычислительные структуры в системах автоматизации" (http://is.ifmo.ru/aboutus/shidl/)

02.04.2010

Архангельский Ю.Б. Из истории клавишной машины "Нева"

02.04.2010

Жить по-другому и ради другого. Григорий Перельман отказался от денег!

02.04.2010

О науке

02.04.2010

Григорий Перельман окончательно и бесповоротно вошел в историю

02.04.2010

Григорию Перельману присудили премию Клэя

02.04.2010

Бизнесмен спас Малый оперный театр!

02.04.2010

Инновации: Россия-стартап

02.04.2010

Судьбы российской математики

02.04.2010

Город будет?

02.04.2010

Еще один автор считает, что без принуждения в модернизации ничего не добиться

02.04.2010

Они успели написать картину!

02.04.2010

В экономическом соревновании "Россия - Бразилия" побеждает последняя

02.04.2010

Паши (Белов и Маврин) стреляли из пушки!

02.04.2010

Быков Д. Минидернизация!

02.04.2010

Почему побеждали наши параолимпийцы?

02.04.2010

Миллиардер в 25 лет!

02.04.2010

Пусто место. Проект без фундамента

02.04.2010

Музыканты многих российских симфонических оркестров похоже живут хуже ученых и преподавателей

02.04.2010

Российские компании делают нормальные чипы

02.04.2010

Поздравляем Сергея Николенко с грантом Президента РФ для молодых кандидатов наук за 2010 год

02.04.2010

Поздравляем Алексея Потапова с грантом Президента РФ для молодых докторов наук за 2010 год

01.04.2010

Карьера ученого в России

01.04.2010

Два Паши и Федя о СПбГУ ИТМО

01.04.2010

Судьба российской науки

01.04.2010

"Деловый Петербург" об еще одном выпускнике кафедры "Компьютерные технологии"

01.04.2010

Игры патриотов

30.03.2010

Видео о Григории Перельмане

30.03.2010

Физико-математический лицей № 239 по рейтингу "Российской газеты" лучшая школа России

30.03.2010

Академик К.Г. Скрябин н 5-ом канале

27.03.2010

Умер писатель Дмитрий Горчев. http://kazan.kp.ru/daily/24463/624186/. Очень жаль! http://gorchev.lib.ru/txt/misc/chetyre.shtml

27.03.2010

А этот кабинетик у нас

27.03.2010

Федор Царев в журнале Cosmopolitan

23.03.2010

В России собираются строить долину мозгов

23.03.2010

Выступление в "В клубе инноваторов" 23.03.2010. Приглашаются все желающие

23.03.2010

Паращенко Д.А. Суффиксные автоматы с сохранением промежуточных версий и их приложений

21.03.2010

Шалыто А.А. Новый инвестор

21.03.2010

Дмитрий Быков. Это стоит смотреть

21.03.2010

Шалыто А.А. Распределенный "Город Солнца"

21.03.2010

Беседа с академиков Людвигом Дмитриевичем Фаддеевым

19.03.2010

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

17.03.2010

Вручение Молодежной премии Санкт-Петербурга в области информационных технологий Андрею Станкевичу

14.03.2010

Книга по мотивации

14.03.2010

О фотовыставке Инны Шалыто

14.03.2010

Научно-технический отчет о выполнении Государственного контракта по теме "Методы повышения качества при разработке автоматных программ с использованием функциональных и объектно-ориентированных языков программирования"(этап 1)

14.03.2010

Невероятная история

14.03.2010

Путин: на Олимпиаду ездят не пропотеть, а победить
В науке тоже пропотеть не является главным (А.Ш.)

12.03.2010

Встреча с академиком Алфёровым перед юбилеем

12.03.2010

Baier Ch., Katoen J.-P. Principles of Model Checking

12.03.2010

Поздравляем академика Жореса Ивановича Алфёрова с юбилеем!

12.03.2010

Вручение Президентом РФ Д.А. Медведевым премии "Открытие" выпускникам кафедры "Компьютерные технологии" СПбГУ ИТМО Александру Штучкину, Федору Цареву и Евгению Южакову

10.03.2010

Научно-технический отчет о выполнении Государственного контракта по теме "Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов" (этап 1)

10.03.2010

Царев Ф.Н. Разработка методов совместного применения генетического и автоматного программирования

10.03.2010

Научно-технический отчет о выполнении Государственного контракта по теме "Применение методов искусственного интеллекта в разработке управляющих программных систем" (этап 1)

08.03.2010

Форма и суть

08.03.2010

В Швейцарии люди борются с возрастом

08.03.2010

Дискуссия о принуждении к творчеству продолжается

06.03.2010

Многое о "Сапсане"

06.03.2010

Новое искусство

06.03.2010

Павел Белов как победитель Олимпиады в Ванкувере

06.03.2010

Шалыто А.А. Расширенный вариант статьи "ИТ-образование: государство или не только"

06.03.2010

Шалыто А.А. ИТ-образование: государство или не только

03.03.2010

Кочелаев Д.Ю. Проектирование, спецификация и реализация автоматизированных классов

03.03.2010

Царев Ф.Н. Разработка метода совместного применения генетического программирования и конечных автоматов

03.03.2010

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

03.03.2010

Князев Е.Г. Автореферат

03.03.2010

Академик РАН Халатников И.М. Как Сталин проиграл физикам

03.03.2010

Академик РАН Халатников И.М. Псовая охота в науке

03.03.2010

Семья дороже бизнеса - он может себе это позволить

03.03.2010

Малаховски Я.М., Шалыто А.А. Конечные автоматы в чистых функциональных языках программирования

01.03.2010

Шалыто А.А. Сохраним в университетах лучших!

01.03.2010

Человек, который активно и полезно работает!

01.03.2010

В стране должна быть четко выстроенная системы выращивания смены и гарантии успешно работающим профессорам

01.03.2010

Определены пять вещей, делающие человека счастливым

01.03.2010

Четырехкратный чемпион Олимпийских игр Александр Попов о неудачах Ванкувере

01.03.2010

Малинин С.Н. Тестирование объектно-ориентированного программного обеспечения на основе моделирования конечными автоматами

01.03.2010

Историческая эпоха метаматериализма

01.03.2010

Научно-технический отчет о выполнении Государственного контракта по теме "Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами" (этап 1)

25.02.2010

Необычная фотовыставка

25.02.2010

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

25.02.2010

В январе 1992-го был выпущен на свободу самый многострадальный узник советского режима - рубль!

25.02.2010

Проигравшие судят

25.02.2010

О сериале "Школа"

25.02.2010

В ПО современных автомобилей 100 млн. строк кода, и с этим никто не может справиться

25.02.2010

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

25.02.2010

Одна из продолговатых скульптур Джакометти (http://is.ifmo.ru/education/zurich_money/)продана на аукционе за 65 миллионов фунтов стерлингов! (http://www.vedomosti.ru/newspaper/article/2010/02/05/224811)

25.02.2010

Российских чиновников обманывали относительно инноваций

23.02.2010

Мой двоюродный брат о золотом сечений на лице человека

23.02.2010

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

23.02.2010

Почему людям лень думать?

23.02.2010

Паращенко Д.А. Обработка строк на основе суффиксных автоматов

23.02.2010

Как надо пахать и не только в спорте!

23.02.2010

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

23.02.2010

Интересная фотография

22.02.2010

Академик Людвиг Фаддеев отвечает реформаторам

22.02.2010

Интересное об именах

21.02.2010

Смотрите больше "Аватаров" и вы ослепнете

21.02.2010

У оптимистов ниже риск развития болезней сердца

21.02.2010

Для инноваций необходимы дерзость, вера и воля

21.02.2010

Кто заплатит за модернизацию?

21.02.2010

Промышленность важнее армии

21.02.2010

Причины поражения в Ванкувере

17.02.2010

Вручение премии Президента РФ в области науки и инноваций для молодых ученых за 2009 г. выпускнику кафедры "Компьютерные технологии" СПбГУ ИТМО 2000 г. Павлу Белову

17.02.2010

Мобильные технологии негативно влияют на навыки чтения

17.02.2010

В России появится своя "силиконовая долина"

17.02.2010

Yota и Samsung ускоряют процесс распространения сетей Mobile WiMAX по всей России

17.02.2010

Настойчивость. Какова её роль в достижении Успеха?

17.02.2010

Цифровая революция "перемонтировала" мозг детей

16.02.2010

Вручение премии Президента РФ в области науки и инноваций для молодых ученых за 2009 г. выпускнику кафедры "Компьютерные технологии" СПбГУ ИТМО 2000 г. Павлу Белову

14.02.2010

Человек, пребывающий в тоске, сокращает себе жизнь

14.02.2010

Кое-что интересное о людях

14.02.2010

Великий конструктор подводных ракетоносцев С.Н. Ковалев о Сталине

14.02.2010

Фильм о СПбГУ ИТМО

14.02.2010

Компания, в которой к людям относятся классно!

14.02.2010

Принуждение к инновациям ...олигархов

14.02.2010

Статистика использования операционных систем

12.02.2010

Президент вручил премии молодым ученым

07.02.2010

Президент РФ Д.А. Медведев и кафедра "Компьютерные технологии" СПбГУ ИТМО:

  • 6 мая 2009 года он встречался с тремя студентами кафедры - чемпионами мира по программированию
  • 17 декабря 2009 года он вручил выпускникам кафедры 2005, 2006, 2009 гг. Гран-При "Открытие" на Форуме Победителей в Москве
  • 8 февраля 2010 года он вручит Премию Президента РФ 2009 года в области науки и инноваций для молодых ученых выпускнику кафедры 2000 года Павлу Белову

07.02.2010

Малаховски Я.М., Шалыто А.А. Реализация конечных автоматов на функциональных языках программирования

07.02.2010

Сайт об Викторе Ильиче Варшавском

07.02.2010

Шалыто А.А. Еще раз о принуждении к творчеству

07.02.2010

Как создавалась Yota. Информация из перевых рук

07.02.2010

А. Хлунов, зам. министра образования и науки. Качественное образование без проведения научных исследований становится невозможным

04.02.2010

Шалыто А.А. Принуждение к творчеству. Новая редакция

04.02.2010

Шалыто А.А. Грустная история

03.02.2010

Любовь к тиранам

03.02.2010

Gurov V. Practical Web Development with Language-Oriented Programming. Выступление на конференции Jfokus 2010 (Стокгольм, январь 2010 г.)

03.02.2010

Президент РФ Дмитрий Анатольевич Медведев вручил главный приз года молодежи - Гран-при "Открытие" первой молодежной национальной премии "Прорыв" выпускникам СПбГУ ИТМО Евгению Южакову, Федору Цареву и Александру Штучкину за разработку первого в мире оммуникатора 4G WiMax "Yota"

03.02.2010

Пресс-конференция победителей Года молодежи

01.02.2010

То что за много лет не сделали студенты, сделали школьники под руководством девятиклассника Леонида Столярова (лицей "Вторая школа", Москва). Руководитель - Илья Дединский

31.01.2010

Версегов Н. А как у нас с культурой?

31.01.2010

Версегов Н. Почему у нас долго не живут и плохо работают?

31.01.2010

Книга о тестировании программ и автоматах

31.01.2010

Китайцам запретят есть собак и кошек

31.01.2010

Еще одна конференция, на которой предлагают выступить

29.01.2010

Вельдер С.Э., Шалыто А.А. Верификация автоматных моделей методом редуцированного графа переходов

25.01.2010

Выстрел Ф. Царева из пушки в Петропавловской крепости (2)

25.01.2010

Выстрел Ф. Царева из пушки в Петропавловской крепости

24.01.2010

Поздравляем доктора технических наук Шидловского Станислава Викторовича (28 лет!) с присуждением молодежной премии Российского Союза НИО в области науки и техники «Надежда России» 2009 года

21.01.2010

Пример того, что можно написать во восьмом классе школы

19.01.2010

10 самых главных инноваций в 2009 году в области радикального продления жизни

19.01.2010

Что нужно России: модернизация или инновации?

19.01.2010

О создании ядерного щита страны

19.01.2010

Обсуждение фильма "Школа"

19.01.2010

Юрий Шевчук: «Не хочу, чтобы у людей в мозгах трава росла»

19.01.2010

Еще раз об Егоре Гайдаре

19.01.2010

Дединский И. Проектная работа в школе: аналитический подход к довузовскому преподаваниию программирования

19.01.2010

Портал о применении NVIDIA, который будет агрегировать информацию о применении GPU в приложениях молекулярной динамики, вычислительной химии, биологии, биохимии, иммунологии, генетики, физиологии, экологии и т.д. (Life Sciences)

14.01.2010

Егоров К.В., Царев Ф.Н. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением

14.01.2010

Ремизов А.О., Шалыто А.А. Применение автоматного подхода при создании программного обеспечения БИУС

14.01.2010

Волобуев В.Н., Калачинский А.В. Опыт использования автоматного подхода при разработке программного обеспечения систем боевого управления

14.01.2010

Национальную футбольную идею - стать чемпионами мира по футболу, первым сформулировал не Сергей Фурсенко http://www.izvestia.ru/football/article3136622/, а Анатолий Шалыто, предложив девиз "Школы программирования и футбола" для Михаила Царева "Мой брат стал чемпионом мира по программированию – я сделаю вас чемпионами мира по футболу» http://gazeta.ifmo.ru/article/641.html

14.01.2010

Hackday в журналистике

14.01.2010

Школьники 239 школы Прорвались! Поздравляем!

14.01.2010

Победителем в номинации "Инновационная компания" на Восьмом конкурсе русских инноваций стал "Центр речевых технологий"

14.01.2010

Анатолий Шалыто и Надежда Поликарпова в числе организаторов 4th International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD 2010)

14.01.2010

Степанов О.Г. Автореферат

14.01.2010

Степанов О.Г. Диссертация на тему «Методы реализации автоматных объектно-ориентированных программ»

13.01.2010

О роли Егора Гайдара в истории России

13.01.2010

В России 2070 г. будут вспоминать Егора Гайдара как одного из великих политических деятелей страны

13.01.2010

Школе Microsoft по структурам данных и алгоритмам в Санкт-Петербурге в августе 2010 г.

13.01.2010

Принципы разработки программного обеспечения с учетом необходимости его повторного использования, сопровождения и модификации и их поддержка в среде разработки IBM Rational Rhapsody

13.01.2010

Разработка, проверка и согласование технических заданий на всех уровнях разработки программно-аппаратных систем с использованием формальных исполняемых моделей на языке моделирования UML 2.0 и среды разработки IBM Rational Rhapsody

13.01.2010

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

13.01.2010

Идеи, которые изменят мир

13.01.2010

Гниломедов И.И. Моделирование экономических агентов при помощи конечных автоматов

13.01.2010

Если Вы не были в художественном музее Цюриха, то кликните сюда!

12.01.2010

Веселые картинки - а ну-ка, догони!

12.01.2010

Возникло не просто клиповое мышление, но и появилась целая клиповая культура. Ярослав Кузьминов об образовании

12.01.2010

Способность порождать и ценить человеческий гений для сегодняшней России - вопрос национального выживания

12.01.2010

Об островках творческой свободы

11.01.2010

Страсть, позволяющая забыть о бренности сущего, - это и есть смысл существования

11.01.2010

Открыт сайт "Образовательной Программы Футбол" по обучению футболу

11.01.2010

Yota и институт медиа, архитектуры и дизайна

11.01.2010

"Ботаники" пошли в рост

30.12.2009

Школе Microsoft по структурам данных и алгоритмам в Санкт-Петербурге в августе 2010 г.

30.12.2009

Кто получит 10 млн. долларов за секвенирование геномов?

30.12.2009

Медведев пообещал ускорить согласование с ФСО внедрения 4G в Москве

30.12.2009

Медведев: все, что я говорю, в граните отливается

30.12.2009

Егоров К.В., Царев Ф.Н. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением /Сборник трудов конференции "Информационные технологии и системы(ИТ и С`09)". М.: ИППИ им. А.А. Харкевича РАН. 2009., с.77-88.

30.12.2009

Янкин Ю.Ю. Применение автоматного подхода к управлению электроприводом

30.12.2009

Дмитрий Медведев встретился с российскими студентами – победителями чемпионата мира по программированию

30.12.2009

Съемка фильма "Алгоритм Берга"

30.12.2009

Фотография, выложенная на нашем сайте пошла в народ!

25.12.2009

Выпусников кафедры "Компьютерные технологии" Евгения Князева (год окончания - 2005 г.) и Олега Степанова (2006 г.) поздравляем с успешной защитой диссертаций!

25.12.2009

Работа братьев Царевых "Программирование и футбол" вошла в число лучших инновационных проектов России

24.12.2009

Дмитрий Медведев вручил выпускникам СПбГУ ИТМО - разработчикам коммуникатора Yota - Гран-при премии "Прорыв"

24.12.2009

Прорыв 2009 - Yota сделали выпускники СПбГУ ИТМО

24.12.2009

Александр Штучкин, Федор Царев,Евгений Южаков и "Yota" в воздухе "Олимпийского"

23.12.2009

Президент РФ Дмитрий Анатольевич Медведев вручил главный приз года молодежи - Гран-при "Открытие" первой молодежной национальной премии "Прорыв" выпускникам СПбГУ ИТМО Евгению Южакову, Федору Цареву и Александру Штучкину за разработку первого в мире оммуникатора 4G WiMax "Yota"

11.12.2009

Приглашение на I Всероссийский Форум победителей "ПРОРЫВ"

10.12.2009

В разделе "Образование" размещен фотоотчет о посещении Цюриха

09.12.2009

Шалыто А.А., Мандриков Е.А., Чеботарева Ю.К. Автоматное программирование и параллельные вычисления

09.12.2009

А.А. Шалыто в научно-популярном фильме "Алгоритм Берга"

09.12.2009

Скоро "Форум победителей", на который едут наши!

09.12.2009

Встань и беги: смогут ли чемпионы по информатике перепрограммировать российских футболистов?

09.12.2009

Шалыто "зажигает" на Hack Day в ИТМО 5 декабря 2009 г.

09.12.2009

Наши доклады на конференции "Современные информационные технологии и ИТ-образование"

09.12.2009

Открыт сайт по проектному обучению на основе автоматного программирования

05.12.2009

Фильм "Алгоритм Берга" продают за 22 рубля!

05.12.2009

Усилиями Михаила Царева Детско-юношеская спортивная школа Красносельского района Санкт-Петербурга стала победителем конкурса по качеству "Сделано в Санкт-Петербурге", организованного Правительством Санкт-Петербурга и СПбГУ "Центр контроля качества товаров (продукции), работ и услуг". Золотым знаком качества был отмечен проект "Применение информационных технологий и менеджмента в подготовке юных спортсменов". ГОУ ДОД ДЮСШ Красносельского района стала победителем конкурса по качеству "Сделано в Санкт-Петербурге", организованного Правительством Санкт-Петербурга и СПбГУ "Центр контроля качества товаров (продукции), работ и услуг". Золотым знаком качества был отмечен проект "Применение информационных технологий и менеджмента в подготовке юных спортсменов"

05.12.2009

Фильм "Алгоритм Берга"

05.12.2009

Компьютер на футбольном поле

05.12.2009

Владыкин А. Декларативный язык описания алгоритмов извлечения данных их XML-документов

02.12.2009

Что делать, чтобы стать героем?

02.12.2009

Кадры о нас из фильма "Алгоритм Берга"

02.12.2009

10 идей, которые изменяют мир

02.12.2009

Серьезный разговор о российской науке

01.12.2009

Президент РФ Д.А. Медведев о сталинских репрессиях

01.12.2009

Художники Зверев и Матисс

01.12.2009

Читать всем! Гурджиев Георгий Иванович. Путь к бессмертию.

01.12.2009

СПбГУ ИТМО получил Премию Правительства Санкт-Петербурга в области инноваций

01.12.2009

О работе братьев Царевых с экстравагантным названием

01.12.2009

2 декабря 2009 года в 18-00 в Доме кино (в кинотеатре "Родина" рядом с Зимним стадионом и цирком) премьера фильма "Алгоритм Берга", в котором снимались преподаватели и студенты ИТМО, а музыку написал Максим Буздалов. Приглашаются все желающие.

25.11.2009

Honorable Doctors in Computer Science of St. Petersburg University of IT, Mechanics & Optics

25.11.2009

St. Petersburg University of IT, Mechanics & Optics and ACM International Collegiate Programming Contest

21.11.2009

Тихомиров А.В. Адаптивная модификация текстурной раскладки для карт освещенности

19.11.2009

24.11.2009 в 23:55 по каналу "Культура" будут показывать фильм "Алгоритм Берга", в котором мы снимались, а музыка - Максима Буздалова

19.11.2009

29.10.2009 года вице-президент Rational Software IBM Software Group Steve Robinson (http://www.ibm.com/developerworks/blogs/page/SteveRobinson) посетил СПбГУ ИТМО

18.11.2009

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

18.11.2009

Шалыто А.А. Задача, которую не смогли решить чемпионы мира

18.11.2009

Шалыто А.А. Последний учитель

14.11.2009

"Митьки" и натюрморты

14.11.2009

Официальный прогноз ИТ-кадрового голода

14.11.2009

СПбГУ мечтает попасть в 50 лучших университетов мира

14.11.2009

Кто куда поступал в этом году

13.11.2009

VoIP для мобильного WiMAX

11.11.2009

Зачем нужны толстые журналы

11.11.2009

Широков Ф.В. Как делается настоящая наука

11.11.2009

15 млн руб. за "глубокие нравственные страдания"

11.11.2009

Почему в нашем исследовательском университете не изучается эта проблема?

11.11.2009

Бедное животное

10.11.2009

Студенты живут в отеле "Балчуг"!

08.11.2009

Федотов П.В. Подход к безопасному внесению изменений в графы переходов автоматных систем

04.11.2009

Жена Брина за 399$ определяет предрасположенность к болезням по геному(https://www.23andme.com/)

04.11.2009

Канжелев С.Ю. Назначение технологии Windows Workflow Foundation - планы и реализация. Обзор

04.11.2009

О нас пишут так

02.11.2009

На полке в Санкт-Петербургском Доме книге: Д. Кнут, Н.Поликарпова, А.А.Шалыто и Б.Мейер

02.11.2009

Победители Санкт-Петербургского четвертьфинала чемпионата мира по программированию сезона 2009-2010

02.11.2009

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

30.10.2009

И в Google тоже публикуют статьи

26.10.2009

Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота

26.10.2009

Джон Хопкрофт и книга Н. Поликарповой и А. Шалыто "Автоматное программирование"

26.10.2009

Футбол с программированием признали

26.10.2009

Восьмиклассник Л.В. Столяров (лицей "Вторая школа") опубликовал работу в журнале Прикладная дискретная математика. Приложение. 2009. № 1, с.81-83,который выпускается Томским государственным университетом

26.10.2009

Джон Хопкрофт - почетный доктор СПбГУ ИТМО

26.10.2009

Автономный вертолет с интеллектуальной навигацией

26.10.2009

Это интересно - образовательный портал: математика, кибернетика и программирование

26.10.2009

Да были Люди в наше время...

26.10.2009

Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях

26.10.2009

Инновационная Россия

26.10.2009

Нуклеидования гонка

26.10.2009

Буздалов М.В. Применение генетических алгоритмов, выявляющих неэффективные решения олимпиадных задач по программированию, на примере задачи о рюкзаке

26.10.2009

В.Н. Васильев о национальных исследовательских университетах

24.10.2009

Россия ждет ученых-наших соотечественников, которые готовы работать на тех же условиях, что и мы!

23.10.2009

Почему в России не построили одну из самых мощных ЭВМ в мире

23.10.2009

Мировая цифровая библиотека

23.10.2009

Интернет разрушает язык - говорит директор Библиотеки Конгресса США Джеймс Биллингтон

23.10.2009

Смирнов Е.В. Приведение объектно-ориентированных программ к автоматному виду

22.10.2009

Школа программирования и футбола на НТВ

20.10.2009

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode / Сборник трудов четвертой Международной конференции по проблемам управления. М.: ИПУ РАН. 2009, с.1521-1528

20.10.2009

Почему турбины летают

20.10.2009

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

19.10.2009

Письмо о книге

17.10.2009

У нас организуется национальный исследовательский центр по технологиям программирования и искусственного интеллекта и появлятся социалдарвинизм!

17.10.2009

"Проблемы "Булавы" не в пиропатронах, а в качестве программирования"

17.10.2009

Disney подключился к русскому WiMAX!!!

17.10.2009

О роли личности в истории - как Михаил Прохоров стал ерундинцем

14.10.2009

Переписка докт. физ.-мат. наук Е.О. Степанова и докт. техн. наук А.А. Шалыто

14.10.2009

Клебан В.О., Шалыто А.А. Применение автоматного программирования во встраиваемых системах

11.10.2009

СПбГУ ИТМО - национальный исследовательский университет информационных и оптических технологий!!!

11.10.2009

Состав конкурсной комиссии по отбору программ развития университетов, в отношении которых устанавливается категория "Национальный исследовательский университет"

10.10.2009

Федор и Михаил Царевы - лауреаты премии Правительства Санкт-Петербурга на лучший инновационный проект (в номинации "Для обеспечения интересов молодежи")

07.10.2009

Нобелевские лауреаты на пароходе

07.10.2009

Круглый стол «Информационные технологии и образование»

07.10.2009

Санкт-Петербургский научный форум «Наука и общество. Информационные технологии. IV Петербургская встреча лауреатов Нобелевской премии» 21–25 09 2009

06.10.2009

Shalyto A. Automata-Based Programming and Automata-Based Control

06.10.2009

М. Ковальчук, директор Российского научного центра "Курчатовский институт", член-корреспондент РАН

06.10.2009

Селифонов Е.В. Оптимизация работы программ для графического процессора

06.10.2009

Тайны человеческого организма, не разгаданные наукой

05.10.2009

О Нобелевской премии

05.10.2009

Видео о посещении Великими СПбГУ ИТМО

04.10.2009

Первопроходцы цифрового мира

04.10.2009

Вернуть мозги

04.10.2009

Человек освобождающийся

04.10.2009

Ученые, уехавшие на Запад, подали SOS о российской науке

04.10.2009

У нас приняли два доклада на пятую Восточно-Европейскую конференцию "Разработка ПО 2009" (CEE-SECR 2009). М.: 28-29.10.2009 http://cee-secr.org/:

  • Губин Ю., Шалыто А. Neuro-Automata Based Controlling
  • Борисенко А., Федотов П., Степанов О., Шалыто А. Reliable Software with Complex Behavior Development (второй доклад не заслушивается, а только опубликуется в сборнике трудов)

04.10.2009

Шалыто А.А. Сколько высококвалифицированных программистов можно готовить стране в год?

04.10.2009

Шалыто А.А. Одна из причин, почему трудно построить экономику, основанную на знания

02.10.2009

Нам пишут

02.10.2009

Нобелевский лауреат Дэвид Гросс и лауреат премии Тьюринга Джон Хопкрофт в СПбГУ ИТМО

02.10.2009

Они открыли, а другие стали известны как авторы

02.10.2009

Памяти кинорежиссера Ивана Дыховичного

02.10.2009

Выпускники кафедры "Компьютерные технологии" Павел Белов и Юрий Шполянский выиграли гранты Президента РФ для государственной поддержки молодых российских ученых - кандидатов наук (МК-2009), но к сожалению, не по компьютерным технологиям, а по разделу "Физика и астрономия". Этот же грант по разделу "Технические и инженерные науки" выиграл наш новый соавтор - Сергей Чепинский. Поздравляем!

02.10.2009

Парфенов В.Г., Шалыто А.А. Тезисы докладов «Наука и общество. Информационные технологии» Инициатива в ИТ-образовании России «Сохраним в университетах лучших!»

02.10.2009

Применение автоматов при проектировании больших интегральных схем!

29.09.2009

Научно-образовательный центр СПбГУ ИТМО "Искусственный интеллект и робототехника"

29.09.2009

Определены финалисты конкурса «Национальный исследовательский университет»

25.09.2009

Как было с инновациями в стране три года назад http://is.ifmo.ru/belletristic/innov/ и как дело с инновациями обстоят сейчас http://www.ras.ru/digest/showdnews.aspx?id=a041cfd1-b29b-4c60-9f2e-77f04234dd5b&_Language=ru

23.09.2009

У нас приняли доклад на конференцию «Гражданская электроника России: Стратегия возрождения», (CIV EL-2009). М.: 1.10.2009: Клебан В., Шалыто А. Применение автоматного программирования во встроенных системах

22.09.2009

24.09.2009 г. в 12-40 состоится вручение диплома и мантии Почетного доктора СПбГУ ИТМО лауреату премии Тьюринга, профессору компьютерных наук Корнельского университета Джону Хопкрофту

17.09.2009

У нас приняли два доклада на "International Confereence Knowledge Intensive Multi-Agent Systems (KIMAS 2009)". St.Louis. 2009. 11-14 октябрь:

  • Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Agent Controllers Represented by Automata
  • Gnilomedov I., Nikolenko S. Agent-Based Economic Modeling With Finite State Machines

17.09.2009

На сайте в разделе "Книги" опубликованы опечатки и неточности к первому тиражу книги Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009, 176 с.

17.09.2009

Опубликован второй тираж Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2010, 176 с. с исправленными опечатками и неточностями первого тиража

17.09.2009

Сможем ли мы сохранить в университетах лучших?

17.09.2009

Д.А. Медведев, Президент РФ, Российская газета. 11.09.2009 г., фрагменты

17.09.2009

Федор Царев на Первом канале в "День программиста" (на видео)

17.09.2009

Решена классная задача в области криптографии

17.09.2009

Как вера влияет на приверженность к свободнму коду

17.09.2009

Событийный подход при построении информационных систем

16.09.2009

«Лаборатория Касперского» вошла в рейтинг мировых лидеров софтверной индустрии

16.09.2009

Владимир Николаевич Васильев в хорошей компании

16.09.2009

Шалыто А.А. Термин «автоматное программирование» на английском языке

16.09.2009

Парфенов В.Г. и Шалыто А.А. выступают 23.09.2009 г. в 15-00 на круглом столе "Образование и информационные технологии" на Санкт-Петербургском научном форуме с участием Нобелевских лауреатов "Наука и общество. Информационные технологии". СПб., 21-25.09.2009 г.

16.09.2009

Мы заняли первое место на конкурсе: "Федеральная целевая программа "Научные и научно-педагогические кадры инновационной России" на 2009 - 2013 годы. Направление 1. "Стимулирование закрепления молодежи в сфере науки, образования и высоких технологий". Мероприятие 1.3.1. "Проведение научных исследований молодыми учеными - кандидатами наук". Выполнение поисковых научно-исследовательских работ по проекту (лоту): "Проведение поисковых научно-исследовательских работ по направлению "Информатика". Тема: "Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными объектами". Регистрационный номер: НК-178/12".

16.09.2009

С Днем программиста поздравляю!

11.09.2009

Алексиевич С. Как встретить конец жизни?

10.09.2009

У нас приняли три доклада на Всероссийскую научную конференцию "Нечеткие системы и мягкие вычисления", которая состоится 21-24 сентября 2009 г. в Волгограде (СЕКЦИЯ 3. Эволюционное моделирование и генетические алгоритмы; нейронные сети и нейроинтеллект, модели адаптивного поведения и нейроэволюции):

  1. Буздалов М.В. Применение генетических алгоритмов для определения неэффективных решений олимпиадных задач по программированию (на примере задачи о рюкзаке).
  2. Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях.
  3. Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота.

09.09.2009

Морозов Ю. Время "Горбушки"

04.09.2009

Губернатор Санкт-Петербурга В.И. Матвиенко, вице-губернатор Санкт-Петербурга А.Ю. Манилова, ректор СПбГУ ИТМО В.Н. Васильев, студенты СПбГУ ИТМО Царев Ф.Н. и Царев М.Н.

04.09.2009

Балахничев В. Как побеждать

02.09.2009

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

02.09.2009

Лаборатория HP в Санкт-Петербурге

02.09.2009

Корпорация "Интел" в Нижнем Новгороде

02.09.2009

Почему экономисты проморгали кризис

02.09.2009

Три столпа медицины

02.09.2009

Технический гений сына русского купца

02.09.2009

Любимые вирусы Дмитрия Лозинского

31.08.2009

Отличная книга С. Столяра и А. Владыкина

31.08.2009

Как на сборах в Петрозаводске выступали команды различных университетов

29.08.2009

Штучные программисты-2

29.08.2009

Штучные программисты

25.08.2009

Конкурс ISEF

21.08.2009

Матвиенко в ИТМО подарили обучающий диск футбольного арбитра

18.08.2009

Java реального времени

18.08.2009

Чернявский И.И. Генерация автоматных лексических анализаторов по регулярным выражениям

15.08.2009

Бедный Ю.Д., Шалыто А.А. Создание системы управления танком для игры Robocode с использованием генетических алгоритмов

12.08.2009

Шалыто А.А. Синхронное плавание

11.08.2009

Зачем программисту грамотно писать по-русски?

11.08.2009

Яснов М. Кто такой Хоттабыч?

09.08.2009

Андрей Лопатин (СПбГУ) победил в соревнованиях TopCoder (раздел "Марафон")

05.08.2009

Данилов В.Р., Шалыто А.А. Представление функции переходов линейными бинарными графами при генерации управляющих автоматов с помощью генетического программирования

01.08.2009

Официальная хроника. Чемпионы мира по программированию Максим Буздалов, Федор Царев и примкнувшие к ним Денис Буздалов и Анатолий Шалыто слышали, как кричит малютка-привидение

01.08.2009

Шалыто А.А. Об инновациях

30.07.2009

Андрей Станкевич - один из лучших в мире тренеров по спортивному программированию

27.07.2009

«Как можно запустить инновационное развитие в нашей стране? На наш взгляд, только если государство сможет стать агентом «принуждения к инновациям» большинства участников рынка». В. Иноземцев Инновации с принуждением //Российская газета. 23. 07. 2009. Не правда ли, как похоже на мое принуждение к качественному выполнению курсовых проектов и всего остального?

26.07.2009

Интервью с генеральным директор Yota StarLab А. Штучкиным

24.07.2009

Как живут в Северной Корее

24.07.2009

Газета "Комсомольская правда" о чемпионах мира по программированию 2009 года из СПбГУ ИТМО. В статье есть еще фотография с Президентом РФ Д.Ф. Медведевым

24.07.2009

Интервью с Михаилом Бабушкиным - выпускником кафедры КТ СПбГУ ИТМО, генеральным директором компании DevExperts

17.07.2009

Роботы на сборочном производстве отступают человеку

16.07.2009

Ф.Н. Царев, Н.Н. Красильников, П.Ю. Маврин - победители конкурса грантов для студентов и аспирантов вузов Санкт-Петербурга. Поздравляем!

15.07.2009

Нескромный Ларри

14.07.2009

В порядке обсуждения. 28 причин почему Linux не имеет будущего

13.07.2009

В один и тот же день Президент РФ Д. А. Медведев и замглавы Минэкономразвития А. Н. Клепач озвучили РАЗЛИЧНЫЕ приоритетные направления модернизации российской экономики! Причем в первом перечне информационные технологии есть, а во втором - их нет! В общем, мы победили! (http://www.spbvedomosti.ru/article.htm?id=10258558@SV_Articles)

12.07.2009

Вручение дипломов выпускникам 2009 года

11.07.2009

Из речи Президента РФ Д. А. Медведев при вручении государственных премий в области науки, технологий и культуры 12.06.2009 г.

11.07.2009

Шалыто А.А. Как победить китайцев?

08.07.2009

Нам пишут

07.07.2009

Наши и не только на банкете ACM Awards 2009

07.07.2009

Наши доклады на Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ, 2009:

07.07.2009

Музыка композитора Максима Буздалова, который заодно выиграл и чемпионат мира по программированию

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

Автоматное программирование в журнале "Форсайт", выпускаемом в Высшей школе экономике

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

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

07.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

16.02.2009

Broy M., Jonsson B., Katoen J., Leucker M., Pretschner A. Model-Based Testing of Reactive Systems

16.02.2009

Исповедь начинающего педагога: в школах травят молодых учителей!

16.02.2009

Почему ракета "Булава" не летает

15.02.2009

Это надо посмотреть всем!!!

15.02.2009

Сайт, посвященный автоматно-алгоритмическим схемам

10.02.2009

Yota ТВ - претендент на звание "Лучшего мобильного ТВ"

10.02.2009

Чем мы с А. Штучкиным занимались несколько лет назад

10.02.2009

Колтунцев А.В., Золотарев С.В. ISaGRAF - основа для создания распределенных приложений в среде программируемых контроллеров на базе стандарта IEC61499

10.02.2009

Где можно купить нашу книгу!
http://www.piter.com/book.phtml?978538800692
http://www.books.ru/shop/books/638620
http://www.bolero.ru/index.php?topic=181443&scurcat=1&cat=181443&stype=quick&sclass=all&level=5&fquery=%D8%E0%EB%FB%F2%EE
http://www.ozon.ru/context/detail/id/4259083/

10.02.2009

Что с нами происходит?

09.02.2009

Поликарпова Н.И., Шалыто А.А. Автоматное программирование. Книга в Word, формат PDF (авторская редакция).

06.02.2009

Модельно-ориентированное проектирование систем управления

03.02.2009

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

03.02.2009

Давыдов А.А., Поликарпова Н.И., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Разработка программного средства 3Genetic для генерации автоматов управления системами со сложным поведением

02.02.2009

Разработка требований на ПО ответственных систем

02.02.2009

Microsoft делает Oslo. Предисловие в журнал "Технология "Клиент-Сервер". Третий квартал 2008 года

31.01.2009

Microsoft полюбила визуальное программирование

31.01.2009

Шалыто А.А. Еще раз об автоматном программировании

31.01.2009

Как обратиться к душе ученика

31.01.2009

Шалыто А.А. Хроническая болезнь

31.01.2009

Поздравляем декана факультета ИТиП Парфенова Владимира Глебовича с 60-летием! Желаем ему счастья и здоровья!

28.01.2009

Первый блин комом - в книге Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер, 2009 во во всех листингах при верстке исчезло форматирование и появились неточности в рисунках. Правильый вариант книги будет размещен по адресу http://is.ifmo.ru/books/

28.01.2009

Зачем нужна фундаментальная наука?

28.01.2009

Переписка в связи с получением премии

24.01.2009

Шалыто А.А. Не перестаю удивляться

24.01.2009

В продаже первая в мире книга по автоматному программированию

20.01.2009

Трудная работа мечтателя (Даг Энгельбарт)

20.01.2009

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

20.01.2009

19.01.2009 на сайте было просмотрено 944 страницы

19.01.2009

Поздравляем Федора Царева с назначением на стипендию Президента Российской Федерации!

18.01.2009

Друзья Yota

17.01.2009

За нами следят в Таллине!

17.01.2009

О Российском и Советском Военно-морском флоте

17.01.2009

Выпускник СПбГУ ИТМО Александр Штучкин вошел в семерку самых успешных молодых бизнесменов Санкт-Петербурга 2008 года!

16.01.2009

"Санкт-Петербургские" ведомости о нашей премии

16.01.2009

Тихонова У.Т. Определение языков программирования интерпретируемыми автоматами

15.01.2009

За что мы получили премию!

15.01.2009

Умер Михаил Донской - один из создателей "Каиссы" (первой программы - чемпиона мира по шахматам среди компьютеров, 1974 год)

13.01.2009

Шалыто А.А. Термин "автоматное программирование" на английском языке

13.01.2009

Шалыто А.А. Современная логика

13.01.2009

Yota Медиа Beta

13.01.2009

Запущена Yota Media

30.12.2008

На сайте создан новый раздел "Автоматное программирование в школе"

30.12.2008

Козлов В.А. Оптимальный поиск в длинных строках с использованием внешней памяти

30.12.2008

Hamming R. You and Your Research

30.12.2008

Федор и Михаил Царевы вошли в число лучших молодых инноваторов Санкт-Петербурга

29.12.2008

Выпускники кафедр "Компьютерные технологии" и "Технологии программирования" СПбГУ ИТМО разработали первый в мире коммуникатор, способный работать в сетях GSM и Mobile WiMAX, - HTC MAX 4G. Презентация этого устройства состоялась 12 ноября в Москве. Программное обеспечение для него разработали в компании <Скартел Стар Лаб>, генеральный директор которой Александр Штучкин стал в 2001 году чемпионом России, а в 2003-м - бронзовым призером чемпионата мира по программированию

29.12.2008

Они обсуждают меня и автоматное программирование (январь 2008 года), а караван идет

29.12.2008

Чемпионат мира по программированию, СПбГУ ИТМО и разработка первого в мире коммуникатора, способного работать в сетях GSM и Mobil WiMAX

29.12.2008

Стив Меллор - модели должны работать

26.12.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов

26.12.2008

Шалыто А.А. Автоматное программирование (http://www.sci-innov.ru/articles/itcs/contest_its/?action=send_att&entry_id=68363&fname=68363e2-st19_(Шалыто_А.А.).pdf) /Электронная публикация статей победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы" (http://www.sci-innov.ru:80/articles/itcs/contest_its/)

26.12.2008

Перелом в парадигме обучения

26.12.2008

Проект EiffelState

26.12.2008

Надя Поликарпова в одном из лучших университетов мира

26.12.2008

Евгений Мандриков и Михаил Царев на IV Петербургском международном инновационном форуме

26.12.2008

Инновационные успехи молодых людей, прошедших через олимпиады

26.12.2008

Сколько хотят зарабатывать молодые ученые - как я и предполагал около 40 тысяч рублей

26.12.2008

Министр энергетики США - нобелевский лауреат

26.12.2008

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

26.12.2008

Кулямин В.В. Методы верификации программного обеспечения. 117с.

26.12.2008

23 декабря новый рекорд - на сайте зарегистрировано 267 хостов. 724 визита было зарегистрировано 15.12.2008

26.12.2008

Домашний электронный музей живописи

24.12.2008

Шалыто А.А. Не так учим

22.12.2008

На сайте зарегистрирован рекорд посещаемости - 255 хостов!

19.12.2008

А.А. Шалыто на Mobile Software Forum. "Настоящих буйных мало - вот и нету вожаков" В.В. Высоцкий

19.12.2008

16 декабря на сайте зарегистрирован рекорд посещаемости - 244 хоста!

19.12.2008

Новый российский автомобиль не может без Yota

18.12.2008

Начали о Шалыто - кончили про Microsoft

18.12.2008

Президент Российской Федерации Д.А. Медведев и генеральный директор компании "Скартел Стар Лаб" А. Штучкин на 1 канале

12.12.2008

Что такое WiMax?

12.12.2008

Создатель транзистора

12.12.2008

Президент Российской Федерации Д. А. Медведев и генеральный директор компании "Скартел Стар Лаб" А. Штучкин

12.12.2008

Новые интерфейсы

12.12.2008

Про нанотехнологии

12.12.2008

Анатолий Чубайс и нанотехнологии

12.12.2008

У каждого своя Мона Лиза

http://rogeralsing.com/2008/12/07/genetic-programming-evolution-of-mona-lisa/
http://is.ifmo.ru/works/cellaut.pdf

12.12.2008

Сайт Виталия Клебана включен в top20 российских сайтов по робототехнике

12.12.2008

Создание беспилотного автомобиля

08.12.2008

Царев М.Н., Царев Ф.Н. Школа информационных технологий и футбола

05.12.2008

О том, как российская наука не хочет и не умеет рекламировать собственные достижения

05.12.2008

Доклад "Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов" на конференции III международной научно-практической конференции "Современные информационные технологии и ИТ-образование" на двух секциях сразу
http://2008.it-edu.ru/pages/day3-sec2
http://2008.it-edu.ru/pages/sec-3-2

04.12.2008

Владимир Глебович Парфенов об олимпиадах по программированию и не только

04.12.2008

Разработка кода происходит путем внесения в него изменений и дополнений, - сказал один опытный программист. Какое уж там проектирование программ?

04.12.2008

Статья о "Транзасе"

29.11.2008

Sun уволит 18% сотрудников

29.11.2008

Open Source, наступит ли момент истины?

29.11.2008

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

29.11.2008

Какие статьи могут пройти в рецензируемыйй журнал

29.11.2008

Русский интернет

29.11.2008

В следующие 25 лет роботы изменят нашу жизнь так же сильно, как изменили ее компьютеры за последние 25 лет. Родни Брукс

29.11.2008

Дополненная реальность

29.11.2008

Нас включили в программный комитет конференции "47th International Conference Objects, Models, Components, Patterns" (TOOLS-EUROPE 2009). И больше никого из России

29.11.2008

Об объективной невозможности удержаться, чтобы не сказать гадость!

29.11.2008

Википедия как она есть!

29.11.2008

Диплом за активное участие во II международной выставке "Перспективные технологии"

29.11.2008

Медаль "За успехи в научно-техническом творчестве"

29.11.2008

"Скартел": коррекция развития?

29.11.2008

WiMAX-телефон - эксклюзивно для российских пользователей

29.11.2008

Давно ничего не писали о Федоре Цареве!

29.11.2008

Алан Гринспэн: в кризисе виноваты роботы, торгующие на бирже?

29.11.2008

Отчет по контракту о верификации автоматных программ. Четвертый этап.

29.11.2008

Отчет по контракту о верификации автоматных программ. Третий этап.

29.11.2008

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Четвертый этап.

28.11.2008

Шалыто А.А. Сокращение человеческого фактора

28.11.2008

СПбГУ ИТМО, СКАРТЕЛ, WiMAX и олимпиады по программированию

28.11.2008

Школа программирования и футбола братьев Царевых. "Мой брат стал чемпионом мира по программированию. Я вас сделаю чемпионами мира по футболу" - Михаил Царев.

28.11.2008

Разработка технологии генетического программирования для генерации автоматов управления системами со сложным поведением

28.11.2008

Технология верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода

26.11.2008

На сайте зарегистрировано 232 хоста

25.11.2008

Наше выступление на конкурсе "Молодые. Дерзкие. Перспективные"

23.11.2008

Грустная история

23.11.2008

Выпуск iPhone 3G сократят - Computerworld Россия

23.11.2008

Intel вложится в WiMAX и Atom - Computerworld Россия

23.11.2008

Motorola выбирает Android

23.11.2008

Из корпорации SUN ушел один из ее основателей

23.11.2008

Первый WiMAX-коммуникатор создали специально для России

19.11.2008

На сайте зарегистрировано 224 хоста

19.11.2008

Монолог о жизни и смерти

19.11.2008

О победе на чемпионате мира по программированию

14.11.2008

Презентация компании "Скартел" - мобильный WiMAX из России!

14.11.2008

Еще о "Скартел"

12.11.2008

Презентация HTC MAX 4G и мобильных WiMAX сервисов Yota

11.11.2008

Госкорпорация "Ростехнологии" купила 25,1% WiMax-оператора "Скартел"

11.11.2008

Побеждаем не только на чемпионатах мира по программированию. Беседа с Анатолием Никитиным

10.11.2008

О работе Института междисциплинарных проектов в Санта-Фе (оттуда родом брат умного муравья!)

10.11.2008

Михаил Прохоров. Мода на инновации

10.11.2008

Является ли менеджмент наукой?

10.11.2008

Поздравляем команду СПбГУ ИТМО в составе Максим Буздалов, Владислав Исенбаев Евгений Капун, которая стала победителем IX Открытой Всесибирской олимпиады по информатике

07.11.2008

Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование

07.11.2008

Вручены Шнобелевские премии за 2008 год

07.11.2008

Наше участие в "Итоговой конференции ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 г."

07.11.2008

Чемпион мира по шахматам среди программ. Победитель давно обыгравает людей

07.11.2008

Как американцы создавали боевые информационно-управляющие системы для советских подводных лодок

30.10.2008

Даже с великой идей неудачники не преуспеют

30.10.2008

Бизнес должен давать деньги не милиции, а школам

30.10.2008

Как за 4,5 тысячи рублей в журнале опубликовали заведомую галиматью

29.10.2008

Что требуется для успеха в жизни?

29.10.2008

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

29.10.2008

А у Вас еще не задрожали ложечки?

28.10.2008

Кубасов С.В. Диссертация на тему «Верификация автоматных программ в контексте синхронного программирования»

27.10.2008

Поздравляем Вадима Гурова и Павла Лобанова с успешными защитами кандидатских диссертаций!

26.10.2008

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной модели во входной язык верификатора SMV"

26.10.2008

Свидетельство о государственной регистрации программы для ЭВМ "Система преобразования автоматной модели в модель Крипке и верификация CTL-свойств на ней"

26.10.2008

Роберт Нойс. Первый президент компании Intel

26.10.2008

Как Дейв Паккард и Билл Хьюлетт весь мир покорили

22.10.2008

Лекции Д. Павлова

19.10.2008

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

18.10.2008

Статья Бертрана Мейра "Семь принципов тестирования программ"

17.10.2008

Model-Checking Real-Time Control Programs

17.10.2008

Вот какие бывают программисты!

17.10.2008

Можете предложить как изменить мир, а вам за это дадут много денег!

17.10.2008

Каширин В.В. Метод модификации оценочных функций для оптимизации работы генетических алгоритмов, генерирующих конечные автоматы

15.10.2008

Существует ли профессия программного инженера?

14.10.2008

Главный секрет создания качественного программного кода

14.10.2008

Джеймс Уотсон - отец современной генетики

14.10.2008

Перечень критических технологий Российской Федерации

14.10.2008

Через 33 года обнаружена ошибка в генераторе грамматического разбора yacc

14.10.2008

Проектный подход к программированию в школах!
http://ded32.net.ru/
http://store.ded32.net.ru/Lib/Doc/ExperimentPres2007.ppt

14.10.2008

Модификация UML для мехатронных систем
http://nbp-www.upb.de/index.php?id=57&L=1
http://ag-schaefer.uni-paderborn.de/PaperReader/PaperReader
http://wwwcs.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/MARTES05.pdf
http://ag-schaefer.upb.de/PaperReader/PaperReader?xmlfile=./ag-documents.xml&priority&name=Sch%E4fer

14.10.2008

Microsoft полюбил UML

13.10.2008

В новости "новый Третьяков" Игорь Маркин рассказывает о выдающемся художнике Дмитрии Краснопевцеве

08.10.2008

Миша Дворкин с детства любил автоматы

07.10.2008

Читайте - Дмитрий Горчев!

07.10.2008

"Сохраним в университетах лучших" на сайте СПбГУ ИТМО

07.10.2008

Художник Илья Кабаков о том как мы жили

07.10.2008

Музей актуального искусства

04.10.2008

Сохраним в университетах лучших!

03.10.2008

Миронов А.М. Теория процессов

03.10.2008

Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)»

03.10.2008

Российский научный журнал опубликовал бессмысленный текст, созданный компьютером

03.10.2008

Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?

03.10.2008

На конференции SECR-2008 будет докладывать не только Эрих Гамма, но и Артем Астафуров!

03.10.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО

30.09.2008

Русский аристократ и его коллекция, которую сейчас купили для России и показывают в Санкт-Петербурге в театральном музее
http://www.kommersant.ru/doc.aspx?DocsID=20191
http://www.kommersant.ru/doc-rss.aspx?DocsID=221707
http://www.kommersant.ru/doc.aspx?DocsID=9015733

26.09.2008

Лобанов П.Г. Диссертация на тему «Использование генетических алгоритмов для генерации конечных автоматов»

26.09.2008

Так в Америке сохраняют в университах лучших:
http://en.wiktionary.org/wiki/endowed_chair,
http://www2.creighton.edu/about/endowedchair/,
http://paradise.caltech.edu/bruck.html

26.09.2008

Вот к чему приводит автоматное программирование - Надежда Поликарпова и Бертран Мейер в Италии!

26.09.2008

Требования к выполнению курсовых работ

25.09.2008

Когда люди не жмотничают!

25.09.2008

Наш сайт кому-то нужен: все вставки с этого сайта

23.09.2008

И вам желаю того же!

23.09.2008

WebTV было предложено в СССР 36 лет назад!

23.09.2008

Кто способен попасть на эту конференцию?

22.09.2008

Компании DataArt и DevExpert, в руководство которых входят наши выпускники, среди лидеров по разработке экспортных программных продуктов

22.09.2008

Высшее образование и российское общество, или куда зашло высшее образование

21.09.2008

Очень интересный блог про программирование

20.09.2008

У нас может просто не остаться специалистов, которые хоть что-то будут понимать в термоядерных реакторах

20.09.2008

Мы смогли что-то сделать в жизни, потому что нас учили замечательные люди

20.09.2008

Еще раз о российском высшем образовании

20.09.2008

Жизнь против часовой стрелки!

19.09.2008

Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?

19.09.2008

WiMax как минимум

19.09.2008

Юрий Лифшиц - инноватор

19.09.2008

Российские математики В.Арнольд и Л.Фаддеев получили в Гонконге "Азиатскую Нобелевскую премию"

19.09.2008

Мобильный WiMAX в действии

19.09.2008

"Программный продукт, полностью созданный в России, по словам Чемезова (генерального директора госкорпорации "Ростехнологии"), прекрасно с непревзойденным качеством передает мобильную картинку, ее можно использовать и в деле обеспечения безопасности при установке сколь угодно сложных сетей видеонаблюдения с большой разрешающей способностью на улицах и в общественных местах... Если этот проект будет реализован, "это будет первый случай, когда Россия внедряет в Западном полушарии столь высокую технологию, даже еще в США этого нет"

19.09.2008

Создан робот с биологическим мозгом

19.09.2008

Обама против аутсорсинга

19.09.2008

Высота газпромовской "башни" после грузинской агрессии

19.09.2008

Cергей Брин в Москве

19.09.2008

Большинство людей просто не любит напрягаться. А Вы?

16.09.2008

Награждение чемпионов мира по программированию в исследовательской лаборатории IBM

14.09.2008

Организации, участвующие в Движении в ИТ-отрасли России "Сохраним в университетах лучших"

14.09.2008

А.А. Шалыто в полуфинале передачи "Игра ума" сезона 2007-2008 гг. на 5 канале

14.09.2008

А.А. Шалыто в ЗАКЛЮЧИТЕЛЬНОЙ (ее ЗАКРЫЛИ) передаче "Игра ума" на 5 канале

14.09.2008

Виртуальная лаборатория для первоначального обучения проектированию автоматных программ

14.09.2008

Главком СВ: танк будущего будет без танкистов

12.09.2008

Интернет взял высокую "Йоту"

11.09.2008

А еще мы пишем публицистические сборники

11.09.2008

Прочтите эти статьи, и природа автоматного программирования станет яснее!

http://www.osp.ru/os/2008/06/5345473/
http://is.ifmo.ru/works/turing/

07.09.2008

Статья "Автоматное программирование" - один из победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы".

05.09.2008

000 "Скартел" первой в России запустила сеть WiMax для предоставления услуг под брендом Yota (http://www.yota.ru/ru/)! Основной акционер - кипрская WiMax Holding Ltd. (http://www.rian.ru/economy/20080903/150913385.html), также контролирующая компании разработчик мобильных сервисов "Скартел стар лаб" (генеральный директор - выпускник кафедры "Компьютерных технологий" СПбГУ ИТМО А.А.Штучкин http://is.ifmo.ru/projects/calc/) и агрегатора медиаконтента "Моrе" (генеральный директор - И.А. Шалыто)!!!

05.09.2008

Лекция ИТМО и программирование по контракту Бертрана Мейра

31.08.2008

Стрюк Л.Е., Дахин О.А., Шалыто А.А. Решение задачи движения робота по линии с применением автоматного подхода (проект RoboChuck)

27.08.2008

Enterprise Java Community: Asynchronous Processes Modeled as Persistent Finite State Machines

27.08.2008

Фетисов уедет, а с чем останемся мы?

27.08.2008

Бедний Ю.Д. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления

09.08.2008

Такие жены достаются только гениям? Или не только? И как известно из истории не всем!

09.08.2008

Как расстреливали генетику

06.08.2008

Разговоры о Model Checking

06.08.2008

В поисках надежного кода

04.08.2008

Молодой человек 1981 года рождения Шидловский Станислав Викторович, работающий в Томском государственном универоситете систем управления и радиолектроники, утвержден ВАК Минобрнауки РФ доктором технических наук.

По этому университету издали приказ (после его защиты кандидатской диссертации в 23 года), что людям защитившим кандидатскую диссертацию до 24 лет выплачивают 250 т. руб (!), а докторскую до 28 лет - 500 т. руб (!!!).

Поздравляем от всей души!

04.08.2008

Женщины Билла Гейтса

23.07.2008

Точилин В.Н. Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования

23.07.2008

ICFP 2008 Programming Contest - Построение системы управления марсоходом

Условия задачи: http://smlnj.org/icfp08-contest/task.html
Пример решения: http://www.youtube.com/watch?v=Ee3Bnhm2eU4

23.07.2008

Hoffman L. In Search of Dependable Design

23.07.2008

Hoffman L. Q&A Talking Model-Checking Technology

23.07.2008

Одному из автором АВЛ-деревьев, на повторной защите которого я был, 85 лет. Поздравляем!

23.07.2008

Astafurov A.A., Shalyto A.A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages

13.07.2008

Котов А.Н. Моделирование дорожного движения на многополосной магистрали при помощи двумерного вероятностного клеточного автомата с тремя состояниями

13.07.2008

Егоров К.В. Разработка верификатора автоматных программ

13.07.2008

Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша

13.07.2008

Абдрашитов Д.С. Применение деревьев для представления строковой информации

13.07.2008

Акишев И.Р. Об опыте участия в командных соревнованиях по программированию формата ACM ICPC

11.07.2008

Шалыто А.А. Зачем нужны автоматы?

11.07.2008

Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики включен в перечень ВАК Минобранауки РФ

10.07.2008

Поздравляем Анатолия Никитина с наградой на Imagine Cup

http://www.cybersecurity.ru/prognoz/51221.html
http://imaginecup.com/about/news.aspx
http://imaginecup.com/about/news.aspx

09.07.2008

The Engineering Excellence Achievement Award, sponsored by Microsoft's Enterprise Engineering Center, is designed to recognize three outstanding teams from the Software Development category that have created solutions that demonstrate the potential to be developed to scale with focused guidance from a Microsoft engineer, was won by the following:

Bulgaria - Team Atlas
Team Members: Boryana Miloshevska, Dobromira Ivanova, Martin Damyanov, Yordan Pavlov

USA - Team Sparx
Team Members: Adam Risi, Zachery Shivers, Ziyan Zhou

Russia - Team Ignition
Team Members: Anatoly Nikitin, Roman Belov, Daria Elkina

07.07.2008

Хобби российских чемпионов мира последних лет - любят сниматься с Дональдом Кнутом (2006 год - http://ivanromanov.livejournal.com/788.html#cutid1, 2008 год - http://is.ifmo.ru/programming_competitions/champ&knuth)

07.07.2008

А.А.Шалыто в пятый раз в "Игре ума"

06.07.2008

Наши среди великих (страница 14)

06.07.2008

Kurbatsky E. Verification of automata-based programs

06.07.2008

Иринев А.В. Генерация вероятностных автоматов методами стимулирующего обучения

06.07.2008

Kulev V.A., Mandrikov E.A. Development of Software System for State Machine Generation Using Genetic Algorithm

06.07.2008

Михаил Царев и Евгений Мандриков вошли в состав победителей конкурса "Умник". Поздравляем!

05.07.2008

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Третий этап.

04.07.2008

Чеботарева Ю.К. Визуальное редактирование автоматов в "Виртуальной лаборатории для первоначального обучения проектированию программ"

04.07.2008

Лагунов И.А. Разработка текстового языка автоматного программирования и его реализация для инструментального средства UniMod на основе автоматного подхода

04.07.2008

"Бог - это графический редактор для рисования конечных автоматов"

04.07.2008

Борисенко А.А., Пенкин Д.М. Моделирование работы электронной автомобильной сигнализационной системы

04.07.2008

За что дают технологического "нобеля"

04.07.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение островного генетического алгоритма для постороения автоматов Мура и систем взаимодействующих автомтаов Мили на примере задачи об "Умном муравье"

04.07.2008

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode

04.07.2008

Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений

04.07.2008

Поздравления от Бертрана Мейра

04.07.2008

Очень немногие люди на земле два раза получали ACM AWARDS. Это, например, Кнут, Дейкстра, Харел, Кларк, Хольцман, Парфенов и Станкевич. Двое последних - в номинации "ACM International Collegiate Programming Contest"

03.07.2008

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

03.07.2008

Продолжение темы о родстве Балмера и Дворкина

03.07.2008

Являются ли Стив Балмер и Миша Дворкин родственниками?

01.07.2008

Халл Э., Джексон К., Дик Дж. Разработка и управление требованиями

01.07.2008

Работа, похожая на UniMod (только хуже)

01.07.2008

Поздравляем Виталия Клебана, Илью Колыхматова, Андрея Бреслава, Константина Рубинова, Дмитрия Суясова, Олега Степанова - студентов и аспирантов нашей кафедры с победой в конкурсе на предоставление в 2008 году грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга

01.07.2008

"Санкт-Петербургские ведомости" о победе на чемпионате мира и о сохранении в университетах лучших

28.06.2008

Юрий Владимирович Матиясевич и Виктор Петрович Иванников избраны академиками Российской академии наук. Поздравляем!

22.06.2008

Методическая разработка по применению верификатора Spin

17.06.2008

Видеолекции по верификации

17.06.2008

Очень интересные лекции по верификации

11.06.2008

О нас пишут

11.06.2008

Еще два доклада (Клебан В.О., Шалыто А.А. на темы "Автоматный подход к проектированию многоуровневых систем управления мобильными роботами" и "Компонентная архитектура программного обеспечения мобильного робота") приняты Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в промышленности, энергетике и на транспорте", на секции "Системы логического управления".

11.06.2008

Об "Игре ума" пишут

11.06.2008

Применение автоматного программирования при создании автоответчика

10.06.2008

Работы по визуальному программированию

09.06.2008

Фотографии А.А. Шалыто

09.06.2008

Доклад Ю.Д. Бедного и А.А. Шалыто на тему "Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" принят Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в гибридных и других сложных моделях динамических и интеллектуальных систем", на секции "Искусственный интеллект в управлении".

09.06.2008

Обсуждение автоматного программирования

09.06.2008

Скаков П.С. Классификация поведения одномерных клеточных автоматов

09.06.2008

В.И.Варшавский в хорошей компании

09.06.2008

Журнал "Хакер" о победе на чемпионате мира по программированию

09.06.2008

Подарок А.А. Шалыто от передачи "Игра ума" - "Beloved Expert - Анатолий Абрамович Шалыто"

08.06.2008

Как написать 85000 книг?

08.06.2008

Сайт, посвященный научно-технических проблемам отечественного тактического ДПЛАстроения

08.06.2008

5 июня 2008 года сайт посетило 216 пользователей

08.06.2008

Вторая в истории человечества :-) конференция, на которой была секция "Автоматное программирование" ("Automata-Based Programming"). http://syrcose.ispras.ru/program.html.

Впервые такая секция была на конференции "The International Computer Science Symposium in Russia, CSR-2006" http://unimod.sourceforge.net/wiki/index.php/CSR2006_ABP_WORKSHOP

08.06.2008

А.А. Шалыто в передаче "Игра ума" на "Пятом канале". Передача 4

01.06.2008

Дональд Кнут (профессор Стэнфордского университета) избран в мае 2008 года иностранным членом РАН

28.05.2008

Поздравляем Анатолия Абрамовича Шалыто с шестидесятилетием!

Желаем ему здоровья, благополучия, успехов в научной и педагогической работе!

25.05.2008

Оружие должны делать молодые люди

23.05.2008

О нас помнят

22.05.2008

В Стокгольме вручена престижная премия Кроуфорда математику из Химок

22.05.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об "Умном муравье"

22.05.2008

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

22.05.2008

Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе

22.05.2008

Автоматное программирование продолжает двигаться в народ

21.05.2008

Важно и интересно: cовременные языки программирования и computer science

21.05.2008

State Chart XML (SCXML): State Machine Notation for Control Abstraction

21.05.2008

IBM Modeling and Integration Tools for State Chart XML

17.05.2008

Automata-Based Programming

17.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко (фотография)

17.05.2008

Награда за "Игру ума"

17.05.2008

Дворкин М.Э., Станкевич А.С., Шалыто А.А. О применении автоматов при реализации алгоритмов дискретной математики (на примере АВЛ-деревьев)

17.05.2008

Шалыто А.А. Ум должен быть с "кулаками"

17.05.2008

Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения систем управления мобильными роботами

15.05.2008

Маврин П., Шалыто А. Зачем нам чемпионы мира по программированию

15.05.2008

Шалыто А.А. Кому нужна игра ума?

14.05.2008

В.A. Королева - А.А. Шалыто

09.05.2008

Открылся сайт проекта GAAP (Genetics Algorithms for Automata-based Programming), выполняемого студентами кафедры КТ. Ведущие проекта - Евгений Мандриков (mandrikov@rain.ifmo.ru) и Владимир Кулев (kulev@rain.ifmo.ru).

Присоединяйтесь: http://gaap.net.ru:8080/

08.05.2008

Хотите иметь цифровую копию жизни?

06.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

06.05.2008

My baby, the finite state machine

05.05.2008

Третий семинар по программной инженерии с Бертраном Мейером

03.05.2008

Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора и кандидата наук (редакция апрель 2008 года)

03.05.2008

Как у нас любят чужие успехи

01.05.2008

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

01.05.2008

Почему Паскаль?

01.05.2008

Berry G. Synchronous Programming Techniques for Embedded Systems

01.05.2008

Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов"

30.04.2008

А.А. Шалыто Зачем нам чемпионы по программированию? Пятнадцать аргументов в пользу программистских олимпиад

30.04.2008

Из обсуждения статьи "Сохраним в университетах лучших!" на сайте http://www.pcweek.ru/themes/detail.php?ID=108777

30.04.2008

Чем займутся чемпионы мира по программированию

30.04.2008

Еще одна победа наших студентов

30.04.2008

R. Breukelaar, Th. Back Использование генетических алгоритмов для прослеживания поведения в многомерных клеточных автоматах

29.04.2008

Шалыто А.А. в третьей передаче "Игра ума"

28.04.2008

В. Мошников - А. Шалыто

28.04.2008

В. Б. Яковлев - А. А. Шалыто

25.04.2008

На "Вторую молодежную Всероссийскую конференцию по программной инженерии", которая будет проходить 29-30 мая 2008 г. на матмехе СПбГУ у нас приняли восемь (!) докладов и собщений (из них семь по автоматному программированию)

25.04.2008

Долматов А.Г., Петров А.С. Утилита разработки конечных автоматов StateCAD

24.04.2008

Поздравляем А.А. Шалыто, который за лекцию "Автоматное программирование" на научной школе "Технологии высокопроизводительных вычислений и систем" получил оценку слушателей 4,75. Выше оценка только у кофебрейка - 4,82.

24.04.2008

Поздравляем Анатолия Никитина студента кафедры КТ с грандиозной победой на полуфинальных (Всероссийских) соревнованиях ImagineCup, которые проходили в Москве. А за одно - "Знай наших".

24.04.2008

Поздравляем Михаила Царева с третьим местом на конкурсе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию), который проходил в рамках V Всероссийской межвузовской конференции молодых ученых

24.04.2008

Поздравляем студентов кафедры КТ Михаила Царева и Евгения Мандрикова с награждением дипломами I степени за лучшие доклады на соответсвующих секциях на V Всероссийской межвузовской конференции молодых ученых.

24.04.2008

Триумф российской школы программирования

24.04.2008

"Сохраним в университетах лучших" на сайте еженедельника PCWEEK/RE

20.04.2008

В Цюрихском политехническом институте новый ректор - женщина

20.04.2008

О национальной капитуляции

20.04.2008

Наша История

16.04.2008

Какие компьтеры делали в СССР!

15.04.2008

Новое движение для ИТ-отрасли России «Сохраним в университетах лучших»

15.04.2008

Наши студенты - Дмитрий Абдрашитов, Дмитрий Паращенко и Федор Царев (тренер - Андрей Станкевич) стали чемпионами мира и Европы по программированию! Поздравляем!

15.04.2008

Новые специалисты новой России

11.04.2008

Лучшие программисты теперь живут в Питере

11.04.2008

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

11.04.2008

Еще одна российская инициатива

09.04.2008

Финал чемпионата по программированию 2008 года.

По информации из Канады, команда СПбГУ ИТМО сдала 8 задач (A,B,E,F,G,I,J,K) и стала чемпионом мира 2008 года. Команды MIT, ИжГТУ, Львовского НУ, МГУ, Stanford U, Tsinghua U, U of Zagreb, Waterloo U - 7 задач. Возможно, этот список неполон. Среди команд, решивших по 6 задач - СПбГУ, ПетрГУ, БГУ, МФТИ, Орловский ГТУ, Ставропольский ГУ, Warsaw U. У команд НГУ и УрГУ 5 задач, у команды Алтайского ГТУ 4 задачи.

Предварительный подсчёт даёт следующее распределение медалей. Золото - у СПбГУ ИТМО, и скорее всего - у МИТ, Ижевского ГТУ и Львовского НУ. Серебро - у МГУ и скорее всего, у Stanford U, Tsinghua U, U of Zagreb. Распределение бронзовых медалей зависит от "скрытых семёрок". По 6 задачам лучшее время у команды ПетрГУ, за ними следует команда СПбГУ. В случае, если приведённый список команд, решивших 7 задач, полный, бронзовые медали получит ещё одна команда, решившая 6 задач.

08.04.2008

У старшего преподавтеля кафедры КТ Андрея Станкевича восьмой рейтинг в мире по спортивному программированию, у студента группы 4539 Михаила Дворкина - 27, у студента группы 6539 Павла Маврина - 37-ой. Первое место из 7238 участников, имеющих мировой рейтинг, с большим отрывом занимает другой российский программист - Петр Митричев, который в прошлом году закончил МГУ. http://www.topcoder.com/tc?module=AlgoRank

08.04.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник. Вып. 42. Фундаментальные и прикладные исследования информационных систем и технологий. СПбГУ ИТМО. 2007, с. 29-32

08.04.2008

Терехов А. Российская индустрия программирования

08.04.2008

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

08.04.2008

Microsoft избавит программирование от написания кода

03.04.2008

Поздравляем студента группы 4539 Анатолия Никитина и возглавляемую им команду с победой в полуфинале (Северо-Западный Федеральный округ) ежегодного технологического конкурса "Кубок Технологий" ("Imagine Cup"), проводимого корпорацией Microsoft http://corp.cnews.ru/news/line/index.shtml?2008/03/18/292536

Тема работы: "Система поддержки принятия решений при борьбе с лесными пожарами "Арина" http://qd.ifmo.ru/view/projects?page=1

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной Unimod-модели во входной язык верификатора Spin"

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Расширение верификатора Bagor для верификации автоматных Unimod-моделей"

01.04.2008

Technology of Automata-based programming

01.04.2008

Попали в библиографию Вольфрама

01.04.2008

22 результата по Switch-технологии

23.03.2008

Microsoft и автоматы

22.03.2008

Нашествие безграмотности

22.03.2008

Когда у наших студентов есть потребность души, то они могут писать и такое! Статья признана хорошей! http://ru.wikipedia.org/wiki/Manowar

А на все связанное с программированием, особенно автоматным, надо загонять силой!

19.03.2008

Не всем нравится как люди программируют сегодня

19.03.2008

Программная инженерия в Высшей школе экономики

19.03.2008

Дети могут успешно руководить ИТ-компаниями

17.03.2008

Шалыто А.А. Автоматное программирование, водка и буква Ё

17.03.2008

Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools

16.03.2008

Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники)

14.03.2008

Пишем!

14.03.2008

Данилов В.Р. Технология генетического программирования для генерации автоматов управления системами со сложным поведением

14.03.2008

У нас на кафедре учится много очень способных людей, которые любят и умеют решать задачи, но задач должно быть много - 10-11 и таких, чтобы их все можно было решить часов за пять. Одной задачи, которую быть может можно решить за большее время им мало! Некоторое время Роман Анатольевич Елизаров (новость на сайте от 29.06.2007 г.) сказал многим из нaших любителей решать задачи, что ему стала известна задачка на 25 тысяч долларов в очень простой формулировке - существует ли универсальная машина Тьюринга с двумя состояниями и тремя входными символами. Никому из наших любителей решать задачи, видимо, деньги были не нужны, или одной задачи было мало, или она имела слишком простую формулировку или ... В общем, ее решил студент третьего курса Бирмингемского университета Алекс Смит, изучающий электротехнику (http://www.lenta.ru/news/2007/10/24/math/), и посмотрите как он оформил доказательство (http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf). Видимо, по собственной инициативе, без насилия и понуканий!

14.03.2008

Приняли доклад "Рубинова К.В., Веденеева В.В., Шалыто А.А. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования" на конференцию "Технологии Microsoft в теории и практике программирования". Южно-Уральский государственный университет. 11-13.03.2008

14.03.2008

Гарри Львиное Сердце, или Приключения титулованной особы

14.03.2008

Между Фоменко и обезьяной

14.03.2008

Математика, которую нельзя запретить

14.03.2008

Уравнение злого духа

14.03.2008

Пикирующее крыло Нортропа

14.03.2008

Осталось пять лет

13.03.2008

Организованная лженаука

13.03.2008

Индустрия недоверия

13.03.2008

Умер Егор Летов

12.03.2008

Хазановский А.Ю., Шалыто А.А. Применение автоматного программирования в системе беспилотного управления автомобилем

12.03.2008

Дело автоматного программирования живет и медленно побеждает

12.03.2008

И вы можете сделать что-то подобное...

11.03.2008

Еще раз о поиске в раскрашенных лабиринтах

11.03.2008

Автоматы не спят!

10.03.2008

Паша Маврин и Рома Сатюков вышли в финал соревновнования 2008 TopCoder Open, который пройдет Лас Вегасе. Поздравляем!

10.03.2008

А.А. Шалыто в "Игре ума" на Пятом канале. Часть 2

10.03.2008

А.А. Шалыто и Ф.Н. Царев в передаче "Игра ума" на Пятом канале

08.03.2008

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

07.03.2008

Наука - дело непростое!

07.03.2008

Модели с переключением режимов (regime switching models) - это применение конечных автоматов в экономике (см. начиная со стр. 34)

05.03.2008

Переучить людей практически невозможно - их сразу надо учить создавать программы по-человечески. Сколько не убеждай народ, что программу сначала необходимо спроектировать, создав диаграммы, а потом их, по возможности, формально реализовать, большинство людей из народа поступает прямо наоборот. Этот народ может и дальше так создавать программы, только ко мне с этим не приходите!

03.03.2008

Наумов Л., Трофимов Д. Реализация клеточного автомата WireWorld с помощью инструментального средства CAME&L и его зональная оптимизация

01.03.2008

2007 год - урожайный для автоматов. Microsoft делает Windows Workflow, ACM дает премию за Statemate, а премию Тьюринга - за верификацию программ на основе моделей

01.03.2008

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ

01.03.2008

Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для построения автоматов с минимальным числом состояний для задачи об "Умном муравье"




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