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



Главная

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

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

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

English
 Home

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


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

Яndex



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


Новости



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

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

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

24.06.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

Удивительное рядом

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

Шалыто А.А. Ну, Димуля, держись!

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

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

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




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