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



Главная

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

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

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