| 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
| Что такое сложный программный комплекс
|
