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



Главная

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

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

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

27.01.2011

Наши умеют не только выигрывать чемпионаты мира по программированию

27.01.2011

Это полезно знать любому проектному менеджеру: "Заметки о мотивации". Неслабо, правда!

27.01.2011

Они все обсуждают надо ли платить стипендию...

26.01.2011

Кто такие простые люди?

26.01.2011

Теперь точно подсчитано, сколько денег человеку требуется для полного счастья

26.01.2011

Мой народ, не склонивший своей головы, мой народ. сохранивший повадку травы: в смертный час зажимающий зерна в горсти, сохранивший способность на камне расти. <...> Припадаю к народу, припадаю к великой реке. Пью великую речь, растворяюсь в ее языке. Припадаю к реке, бесконечно текущей вдоль глаз сквозь века, прямо в нас, мимо нас, дальше нас. (И. Бродский)

26.01.2011

Возраст к ней не имеет никакого отношения!

26.01.2011

Теория X и теория Y Мак-Грегора о мотивации

26.01.2011

Девальвация знаний

26.01.2011

Британский принц не мог позволить себе распутства!

23.01.2011

За что Иоанн Павел II будет причислен к лику блаженных

23.01.2011

"Экономику с потухшими глазами" спасет незамутненный детский взгляд

23.01.2011

Художник по сути своей существо эгоцентрическое. У него в голове не укладывается, что кто-то может сделать лучше, чем он. И ему требуются колоссальные внутренние усилия и мудрость, чтобы это признать. Но когда все-таки удается дойти до уровня понимания, происходит внутреннее освобождение, в результате которого можно, наконец, свободно принять тот факт, что есть люди умнее, талантливее, моложе, богаче и красивее. (А. Михалков-Кончаловский)

23.01.2011

Кто был самым "железным наркомом" Сталина?

23.01.2011

Технологии программирования

23.01.2011

Спортивное программирование

23.01.2011

Он создал из фамилии имя

23.01.2011

Путь к успеху

23.01.2011

Братья Царевы на обложке газеты "Университет ИТМО"

23.01.2011

Никлаус Вирт - почетный доктор нашего университета

23.01.2011

Профессор Хопкрофт - почетный доктор ИТМО

23.01.2011

Андрей Станкевич

23.01.2011

Хамдамов чистой воды. Выдающийся российский деятель искусства, о котором Вы, видимо, не знали

23.01.2011

Они активно сопротивляются!

21.01.2011

Почему о Пикассо все еще спорят?

21.01.2011

Существуют экономисты, которых интересно читать

21.01.2011

Художник Е. Михнов-Войтенко - насмерть серьезная игра

21.01.2011

От него люди не уходят!

21.01.2011

Это продолжает быть актуальным - Маслоу А. Мотивация и личность

17.01.2011

Работы по искусственной жизни продолжаются

17.01.2011

Применение Scrum на практике

17.01.2011

О достоинствах гибких технологий

17.01.2011

Scratch - среда для обучения детей программированию

17.01.2011

Java, Simulink и Matlab

17.01.2011

Самые сложные в мире инженерные проекты

17.01.2011

Что такое сложный программный комплекс

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