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



Главная

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

09.05.2011

Если честно, я не понимаю, как это - выскакивать из окопа и бежать вперед, на чужие пулеметы, которые стремятся превратить тебя в труп, в мясо

07.05.2011

Завтра начинается "Российский кубок по программированию". Организаторы - Mail.Ru Group и кафедра "Компьютерные технологии" СПбГУ ИТМО

05.05.2011

Парфенов В. Г., Шалыто А. А. Подготовка высококвалифицированных специалистов в области производства программного обеспечения и развитие технологий программирования на кафедре "Компьютерные технологии"

29.04.2011

Программа работы секции «Автоматное управление, эволюционные алгоритмы, верификация на моделях» на 2-ой Межвузовской научной конференции по проблемам информатики (СПИСОК – 2011) Место проведения – матмех СПбГУ 10-00 29.04.2011

29.04.2011

Изменить стране проще, чем ее изменить

29.04.2011

Князев Е., Шопырин Д. Методы автоматизированной классификации изменений программного кода и их применение в процессе разработки и поддержки программ, LAP LAMBERT Academic Publishing (2011-04-05)

29.04.2011

На факультете "Информационные технологии и программирование" открылась новая кафедра "Программная инженерия и программирование". Заведующий кафедрой - Бертран Мейер!

29.04.2011

В рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009 – 2013 годы мы выиграли конкурс на заключение на государственного контракта на проведение научных исследований по теме «Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям» научными группами под руководством докторов наук в следующих областях: биокаталитические, биосинтетические и биосенсорные технологии; биомедицинские и ветеринарные технологии жизнеобеспечения и защиты человека и животных; геномные и постгеномные технологии создания лекарственных средств; клеточные технологии; биоинженерия; биоинформационные технологии». Контрактов было шесть, а заявок – 103, причем мы снова выиграли первое место!!!

29.04.2011

В рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009 – 2013 годы мы выиграли конкурс на заключение на государственного контракта на проведение научных исследований по теме «Разработка методов машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов» научными группами под руководством докторов наук по направлению «Информатика». Контрактов было всего три, а заявок 73 (по одной от организации), причем мы выиграли первое место!

26.04.2011

На факультете "Информационные технологии и программирование" открылась новая кафедра "Программная инженерия и программирование". Заведующий кафедрой - Бертран Мейер!

24.04.2011

Что надо сделать, чтобы тебя уволили из фирмы с твоим именем

24.04.2011

Принц женится

24.04.2011

Каким быть баллистическим ракетам в России

24.04.2011

Чем кормить маленьких детей

24.04.2011

94-й закон для приглашенных ученых - дикость

24.04.2011

Художник Олег Целков о культуре

24.04.2011

Ларри Пейдж перетряхивает Google

24.04.2011

Еще раз об образовании в России

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

Пять мегапопулярных игр, про которые мы ничего не слышали

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