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



Главная

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

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

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

English
 Home

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


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

Яndex



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


Новости



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

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

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

Нам пишут

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




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