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



Главная

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

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

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

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

Шалыто А.А. Сокращение человеческого фактора

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