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



Главная

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

23.04.2011

Бостонская собака превращается в гепарда!

23.04.2011

Как не надо писать статьи

20.04.2011

Д.А. Медведев поздравил В.Н. Васильева

20.04.2011

И там, где нас нет не хорошо

20.04.2011

МТС и легальный контент

20.04.2011

Толковый текст о культуре

20.04.2011

М.Горбачев вручает премии людям, изменившим мир!

20.04.2011

Гослинг переходит в Google

20.04.2011

Для освоения программирования надо 10 лет

20.04.2011

А.А. Шалыто - член экспертного совета конкурса инноваций "Телеком Идея", проводимого МТС, Министерством связи и телекоммуникаций и высшей школой экономики

20.04.2011

Может быть чиновники будут отвечать за прославление Сталина

18.04.2011

Миллиардер Брэнсон спустился с небес на дно

18.04.2011

Плохая шутка!

18.04.2011

Тихое убийство школы. С университетами не лучше

18.04.2011

Как люди уезжали из СССР в эмиграцию!

18.04.2011

Китайцы борются с вирусами в смартфонах

18.04.2011

Максим Мазин - становится евангелистом MPS. Выступление на "Application Developer Days"

18.04.2011

Диплом Алексея Сергушичева за лучший доклад на секции VIII Всероссийской межвузовской конференции молодых ученых

18.04.2011

Мазин М. Language Oriented Programming в действии. Как мы это делаем в JetBrains. на конференции JavaOne - Oracle Develop

17.04.2011

Как получить много патентов? Купить!

17.04.2011

Выдающийся тренер современности Ирина Винер о главном в жизни

17.04.2011

Microsoft поддерживает стартапы в России

17.04.2011

Инновации, принятые в "Сколково"

17.04.2011

Названы лауреаты премии Горбачева

17.04.2011

Универсальное высказывание:"Верьте - знания придут потом" :-)

17.04.2011

Президент РФ Д.А. Медведев рекомендует не надеяться на государство: "Россия - очень бюрократическая страна. Вам надо прошибать стены, нужно толкать свои проекты, используя все возможности в рамках закона. Раскрутка самих себя - это и есть основной двигатель развития"

17.04.2011

Бренд МТС входит в TOP 500

17.04.2011

Российская выставка по беспилотникам

17.04.2011

Премия Тьюринга за 2010 г. присуждена Лесли Вэлианту за выдающиеся достижения в машинном обучении

17.04.2011

Как создавался RUNNnet

17.04.2011

Миллиардеров много, а брендов почти нет

17.04.2011

Джон Милнор получил премию Абеля почти через пятьдесят лет после получения им премии Филдса!

17.04.2011

Как при полном апокалипсисе оставаться людьми

17.04.2011

Лекция Павла Певзнера по геномике

17.04.2011

В рейтинге за неделю самый популярный запрос к Google в Европе - Джеки Чан! Более интересного и важного ничего нет!

17.04.2011

“Т-Платформы” проводят конкурс “графических” проектов

17.04.2011

Брусенцов Л. Автоматическая оптимизация при компиляции

17.04.2011

Чем тише говоришь, тем лучше слышно

17.04.2011

Хорошо учить ребят может только и хорошо оплачиваемый учитель
А. Фурсенко. Российская газета. 5.04.2011 г.

17.04.2011

Наука и искусство, расставшись у основания, встретятся на вершине
Г. Флобер

17.04.2011

Наша команда из пяти студентов под руководством Федора Царева участвовала в семинаре в Барселоне по сборке генома неизвестного существа
http://cnag.bsc.es/index.php?option=com_content&view=article&id=48:what-is-dngasp#icsd
http://seqanswers.com/forums/showthread.php?t=8141

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

Статья о применении формальных методов при создании ответственных систем

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