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



Главная

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

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

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

17.01.2011

Почему падают новые западные самолеты

17.01.2011

"Открытый код" на железо

17.01.2011

Конференция по экстремальному программированию

17.01.2011

Что такое аджайл-покер?

16.01.2011

Егор Прохорчук: "Расшифрован ген русского человека"

16.01.2011

От акул погибает в среднем 15 человек в год, от бегемотов - 200, от слонов - 600, от пчел - 1250, от крокодилов - 1500, от москитов - 2 000 000!!!

15.01.2011

С нашей историей не соскучишься

15.01.2011

О возможных помехах на пути модернизации

15.01.2011

И он тоже не сдался!

15.01.2011

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

15.01.2011

В США беспилотные машины экономически выгоднее людей

15.01.2011

"Клубы инноваторов" как у братьев Кудиновых - основа инновационной экономики

15.01.2011

Я его понимаю - что делать, когда по-другому не понимают?

11.01.2011

Команда СПбГУ ИТМО - чемпион России по программированию

11.01.2011

Приложение 2 к "Заметкам о мотивации"

11.01.2011

Приложение 1 к "Заметкам о мотивации". Фрагменты из книги Маслоу А. Мотивация и личность. СПб.: Евразия, 1999

11.01.2011

Революция 1991 года. Санкт-Петербург

11.01.2011

Даже и не знаю как оценить: "Классик мирового кино Жан-Люк Годар отказался приехать на церемонию вручения ему почетного "Оскара". Статуэтку, которую Годар назвал "куском железа", ему пришлют по почте

11.01.2011

Интересный способ определения популярности российских писателей

11.01.2011

Университеты в России могут стать центрами инноваций. так как "через них течет человеческий капитал, тысячи студентов, которые могут иметь новые идеи, которые можно апробировать и довести до коммерциализации. Особенно университеты в крупных городах, так последние сами по себе являются инкубаторами"

11.01.2011

Несмотря на все сложности и проблемы ведения бизнеса в России, уезжать из страны российские предприниматели пока не спешат

11.01.2011

Планшетное помешательство

11.01.2011

Вим Роландс Xilinx продолжает оставаться ярым приверженцем идеи о новой эре управления, когда кадровый ресурс ценится выше физического капитала, что в итоге позволяет достичь большего финансового успеха

11.01.2011

Еще три недели назад Миша Дворкин не знал зачем писать статьи (http://is.ifmo.ru/present/_mit.ppt), а теперь, наконец-то, узнал (http://bioinf.aptu.ru/members). Видимо, "Заметки о мотивации" подействовали. Теперь пора писать "Заметки о порядочности"

10.01.2011

"Вера в то, что в России живут лучшие в мире программисты (или биологи), сродни вере в то, что лучшие в мире портные живут в Жмеринке", - Павел Певзнер. Давайте докажем обратное на его поле - при сборке генома

10.01.2011

Мультипликации бывают и "человеческими"

10.01.2011

Почему в мире ухудшается продовольствие?

10.01.2011

Наностипендиаты

10.01.2011

Почему падают спутники?

10.01.2011

Продолжается борьба с программными ошибками

10.01.2011

Еще один конкурент MPS?

08.01.2011

Воспитанники Федора Царева едут на финал чемпионата мира. Федор Царев - официальный тренер команды ETH на чемпионате мира по программированию 2011 г.

08.01.2011

Гради Буч о программной системной инженерии

08.01.2011

Гради Буч о беспилотниках как предмете системной инженерии

08.01.2011

Ярослав Кузьминов читает интересную лекцию об образовании в России

08.01.2011

У MPS появился конкурент?

06.01.2011

Недовзрослые

06.01.2011

Егоров К.В., Царев Ф.Н., Шалыто А.А. Совместное применение генетического программирования для построения автоматов управления системами со сложным поведением // Труды СПИИРАН. 2010. Вып. 15, с. 123 – 135

06.01.2011

Станкевич А.С. Использование алгоритмов анализа левоконтекстных терминальных грамматик в задачах автоматического тестирования программ // Труды СПИИРАН. 2010. Вып. 13, с. 106 – 121

06.01.2011

Новогодние поздравления от роботов и про футбол

06.01.2011

Она сумела подняться. А Вы сможете?

06.01.2011

В чем состоит главный бизнес DuPont?

06.01.2011

Что смотрят новые люди?

06.01.2011

Как попасть в сборную России по математике?

06.01.2011

Шалыто А.А. Короче не бывает

05.01.2011

В. Сурков: "Нужна система поиска гениев, вычисление, нахождение уникальных людей у нас, за границей – это самое главное, что мы должны сделать. Инновационная экономика всегда возится с людьми, ищет индивидуальности, а не только строит институты. Все должно быть подчинено поиску талантов и талантливых идей. Общество должно научиться быть более внимательным, более любопытным в отношении всего, что не вписалось в мейнстрим. Ведь гении всегда в меньшинстве, но их деятельность делает большинство богаче. привыкайте: "Сколково" - это место для избранных. Для талантливых и гениальных". Наконец-то, как заговорили

05.01.2011

Российскую компьютерную игру загрузило 3.5 млн. пользователей, так как она, по мнению авторов, прикольная

05.01.2011

Кто и как может защитить диссертацию?

05.01.2011

Американцы испытали суперпушку, которая стреляет на 160 км

05.01.2011

Детей учат обращаться с деньгами

05.01.2011

Неугомонный англичанин добился своего (и Вашего тоже) несмотря на скептицизм коллег, который должен был убить интерес к занятиям в этой области у всякого

05.01.2011

Зачем Yandex ввел поиск зарубежных сайтов?

05.01.2011

"Никогда не предполагал, что Михаил Янгель, перенесший три инфаркта, обладает такой силой и мужеством, когда отстаивает новое в технике. Но это были не чудеса, а технический гений, прозорливость и железная воля"

26.12.2010

Столяров Л.В., Петряйкин Ф.А., Уваров Н.С. Разработка платформы для автоматного моделирования и проведения соревнований автоматных интеллектов с трехмерной визуализацией

25.12.2010

"Наука витрины" вместо "науки бомбы"

25.12.2010

Сто мировых столиц аутсорсинга

25.12.2010

Этого не хватало Национальной публичной библиотеке :-)

25.12.2010

Раньше под другим искусством понималось искусство, отличное от социалистического реализма. Теперь другое искусство совершенно другое. Пока не поздно сходите во Фрунзенский универмаг (Московский пр. 60) на выставку "Фестиваль удивительные технологий и искусства Yota Space". До 19.12.2010 г.

25.12.2010

Что бывает, когда годами искореняется все нерентабельное, а потом - все нестандартное, называемое неформатным

25.12.2010

А.А. Шалыто ответил на вопрос "Где построить небоскреб?"

25.12.2010

Что бывает, когда кончается грант. Поэтому и нужна поддержка компаний

25.12.2010

Наука в Гонконге и России

25.12.2010

Михаил Дворкин - отличный учитель информатики!

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [Все новости]




© 2002—2018 По техническим вопросам сайта: vl.ulyantsev@gmail.com