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



Главная

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

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

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

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

25.03.2010

Карьеру нужно делать в России! "Известия", 25.03.2010

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 млн. строк кода, и с этим никто не может справиться

Страницы: [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