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



Главная

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

24.07.2011

Эми Уайнхаус, к сожалению, умерла.

23.07.2011

Посмотрите настоящую живопись.

23.07.2011

С.Адоньев и А. Мамут создали классное образовательное учреждение нового типа!

23.07.2011

Вот какую продукцию можно делать! Статья "Apple не успевает угнаться за спросом на iPad".

21.07.2011

Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания. Великий тренер опубликовал первую ВАК-овскую статью

21.07.2011

Большая статья В.Г. Парфенова и А.А. Шалыто в книге "Университет XXI века". СПбГУ ИТМО, 2011.

18.07.2011

Раздел "Внедрение автоматного программирования" переработан и перенесен в раздел "Автоматы".

17.07.2011

Обновлен раздел "проекты". Шестаков А.В., Лиференко К.А. Создание платформы для проведения виртуальных лабораторных работ

15.07.2011

О маразме (PC WEEK. Альма Матер: от бумажных презентаций к электронным).

11.07.2011

Из выступления В.В. Путина на Всероссийском педсовете 01.06.2011 г.: "Нелепо платить гроши человеку, который призван ВОСПИТЫВАТЬ народ" (А.П. Чехов).

11.07.2011

"Транзас" управляет вертолетом.

11.07.2011

Как работается российскому ученому в Нью-Йорке, или студентов должны учить лучшие преподаватели. "Задачки, которые возникают в обычной жизни, порой ничуть не проще математических. Найти красивое (правильное) решение проблемы, которое ничего важного не разрушает, бывает очень трудно... Но иногда удается". Мне тоже (А. Шалыто).

11.07.2011

Об уровне нравственности в стране ("Десятки тысяч выпускников списали ЕГЭ по подсказкам из Интернета").

11.07.2011

Расходы на одного студента в Швейцарии не сравнимы с нашими.

11.07.2011

Преданность на пределе. Низкие зарплаты гонят преподавателей из профессии.

11.07.2011

239 школа имеет в России наибольшее число победителей на Всероссийских олимпиад за последние восемь лет.

11.07.2011

Раздражение не должно накапливаться.

11.07.2011

Успешный бизнес можно делать по-разному.

11.07.2011

Инженеры должны стать главными людьми в стране.

11.07.2011

Обновлен раздел "проекты". Афанасьева А.С. Библиотека структур данных и генетических операторов, используемых для генерации автоматов с помощью генетических алгоритмов

11.07.2011

Раздел "Автоматное программирование в школе" переработан и перенесен в раздел "Автоматы".

10.07.2011

Старт-ап Никиты Шамгунова в Кремниевой долине. Он успешно окончил аспирантуру на кафедре "Компьютерные технологии" СПбГУ ИТМО и защитил диссертацию.

10.07.2011

Самая толковая статья, которую я читал про ЕГЭ и олимпиады.

10.07.2011

Оказывается, Россия не должна экономить на образовании.

08.07.2011

Утверждены приоритетные направления развития науки, технологий и техники в РФ и перечень критических технологий РФ

07.07.2011

Обновлен раздел "Фотографии". Выпуск кафедры Компьютерных Технологий 2011 года.

06.07.2011

На кафедре "Технологии программировании" Федор Александрович Новиков защитил докторскую диссертацию! Поздравляем!

05.07.2011

Один день с Юрием Мильнером.

05.07.2011

Ю. Мильнер переносит свои IT-интересы в Китай.

05.07.2011

Разговор с биологом об одаренности.

05.07.2011

Обновлен раздел "проекты". Банных А.Г., Поромов С.С. Анализ эффективности реализации генетических алгоритмов при использовании вычислений на видеокартах.

04.07.2011

Обновлен раздел "дипломы". Добавлены бакалаврские работы Долгих Е.Д., Попова С.И., Терескина А.А., Чебатуркина А.А.

30.06.2011

Выложена новая версия книги Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб: Наука, 2011. 242 с.

29.06.2011

Еще раз о легальном контенте.

29.06.2011

Легальный контент приходит в Россию. В программе "Деловая Сеть" директор по развитию инновационных медиа-продуктов компании МТС.

29.06.2011

Катков А. Н. Имитационная модель цифрового датчика давления // Молодой ученый. — 2011. — №6. Т.1. — С. 58-66.

29.06.2011

ИТМО круто стоит по результатам чемпионатов мира по программированию!

29.06.2011

Еще раз об олимпиадах по программированию.

29.06.2011

В Гонконге объявлены лауреаты азиатской "нобелевской" премии.

29.06.2011

Как сейчас обстоят дела в IBM, в которой работает около 450 тыс. человек?

29.06.2011

А сейчас у нее 6925 пирсингов. Охренеть!

29.06.2011

Добавлено свидетельство о регистрации программы. Программное средство для удаления ошибок из набора чтений нуклеотидной последовательности.

27.06.2011

Актриса приморского театра заработала в два раза больше Анджелины Джоли.

27.06.2011

Классное зрелище! (Маятниковые волны).

27.06.2011

Прекрасные фотографии Земли.

26.06.2011

Статья в Санкт-Петербургских Ведомостях "Не соврать мотив, ребята!".

25.06.2011

В СПбГУ ИТМО может открыться кафедра Mail.Ru.

23.06.2011

Выступление Федора Царева на ICPC CLIS 2011, Orlando, Florida, USA - Collaborative Learning Institute Symposium (CLIS)in conjunction with the ACM International Collegiate Programming Contest (ICPC) World Finals.

23.06.2011

Выступление А.А. Шалыто в пресс-клубе НП "Руссофт" на тему: "Кадры для ИТ-индустрии: найти и удержать". Москва, 22.06.2011 г.

22.06.2011

Чего изволите - физику или химию?

22.06.2011

Каждый должен заниматься своим делом.

21.06.2011

3D изображение без специальных очков.

21.06.2011

Нам пишут: "Анатолий Абрамович! Спасибо Вам за поддержку и человеческое участие. Мало кто в наше время отваживается на искренность по отношению к другим, почти посторонним людям. Успехов в делах. Всегда вспоминаю Вас с радостью".

21.06.2011

Ребенок должен понимать зачем он учится.

21.06.2011

Шутка: "Кто бы ни был прав - Библия или Дарвин, мы происходим, стало быть, или от еврея, или от обезьяны" (Венедикт Ерофеев)

21.06.2011

Ректор ВШЭ Я. Кузьминов: "В ближайшие 10 лет ключевой вызов для России — образовательная революция".

21.06.2011

Люди, которые никогда не играли в футбол.

21.06.2011

О роли иммигрантов в инновационной экономике США.

21.06.2011

Диссертации Матвея Казакова и Максима Мазина утвердили в Москве. Поздравляем!

21.06.2011

Ситуация с электроникой в России.

17.06.2011

Обнаружен самый живучий организм.

17.06.2011

Кон, который про людей.

17.06.2011

О новом телевидении - канал "Дождь".

17.06.2011

Шпионаж на генетическом уровне.

17.06.2011

Обновлен раздел "Фотографии". Когда Федя Царев был молодым. Конференция по искусственному интеллекту в Коломне в 2007 году.

15.06.2011

Еще один музей современного искусства в Санкт-Петербурге - "Новый музей" (в коллекции в основном московские художники).

15.06.2011

Посмотрите то, что называется живописью (в основном ленинградская).

15.06.2011

Когда люди не понимают, что надо работать!

15.06.2011

Моделирование стратегической ПРО.

15.06.2011

Председатель Комитета по инвестициям и стратегическим проектам администрации СПб А.Чичканов: "Основное направление развития города - инновационная экономика, на основе человеческого капитала, его роста, улучшения качества и потенциала. Автокластер и туризм - это не главное!".

15.06.2011

"Omlet.ru" на платформе LG Smart TV.

15.06.2011

Лауреат премии Филдса Владимир Воеводский из института высших исследований в Принстоне и Ян Малаховски из комнаты высших исследований из СПбГУ ИТМО с противоположных сторон решают одну и ту же задачу - как помочь ученым, которые занимаются чистой математикой, использовать компьютер для проверки правильности доказательства теорем

15.06.2011

Томский государственный университет систем управления и радиолектроники создал элитную аспирантуру - "аспирантура полного рабочего дня" на 10 мест - им будут платить 25 тыс. рублей в месяц за работу на постоянной основе, после защиты диссертации они должны отработать еще не менее трех лет.

15.06.2011

Проект "Мечта профессора Ясина" - из личных подарков два года назад создал фонд, который позволил в Высшей школе экономики (ВШЭ) сохранить трех выпускников, чем профессор (он научный руководитель ВШЭ) очень гордится. После этого в руководство ВШЭ создало элитную аспирантуру на 25 мест. Это сказано на 50 минуте беседы с В. Познером на Первом канале.

15.06.2011

Художественное произведение с большим списком литературы.

15.06.2011

Обновлен раздел "Статьи". Матюшкин И.В. Перспективы развития современных средств проектирования клеточных автоматов.

15.06.2011

Еще раз об академике Сахарове.

15.06.2011

Зачем нужны мигранты.

15.06.2011

Ошибка в журнале: там написано, что дочка МТС планирует построить сеть распространения видео для устройств любых типов, а на самом деле это собирается сделать МОЯ дочка! :-)

15.06.2011

Они так укрепляют обороноспособность нашей страны!

15.06.2011

Обновлен раздел "Статьи". Малаховски Я.М., Корнеев Г.А. Валидация автоматов с переменными на функциональных языках программирования.

15.06.2011

Человек, активно интересующийся книгами об успехе, о "Заметках о мотивации".

15.06.2011

Дико интересная статья о Колумбийском университете и декане математического факультета из России!

15.06.2011

Президент РФ Д.А. Медведев поздравляет В.Н. Васильева с шестидесятилетием.

15.06.2011

Вот такие "облачно-сколковские" проекты… Что бы это значило?

15.06.2011

Максим Казак - Не верю иностранцам в Сколково.

15.06.2011

Федор Чистяков - это тоже классно!

15.06.2011

Юлия Коган в группе "Ленинград" - это настоящее!

15.06.2011

Как создаются инновационные ИТ-продукты.

15.06.2011

Шалыто А. А. Мои счастливые годы жизни на кафедре "Компьютерные технологии" СПбГУ ИТМО (к двадцатилетию кафедры "Компьютерные технологии"). Редакция от 14.06.2011.

15.06.2011

Обновлен раздел "Фотографии". Профессор А.А. Шалыто и его ученики Ф. Царев и М. Буздалов.

10.06.2011

Сергей Брин заявил, что "Windows" — это «сущая пытка для пользователей»

06.06.2011

Брошюра с финального соревнования ACM ICPC в Орландо

03.06.2011

Бауржан Абдишев - аким (по-нашему - мэр) города Караганда принял решение установить памятник крылатой фразе "Где-где? В Караганде!" Монумент представляет собой дорожный указатель и двух людей, который ведут диалог. В городе еще есть свободные площади для развития сюжета. Вскоре здесь появятся памятники "Откуда? От верблюда!" и "Кто-кто? Конь в пальто!"

31.05.2011

Обновлен раздел "Фотографии". Конференция "Список-2011". Матмех СПбГУ.

31.05.2011

Обновлен раздел "Фотографии". Ф. Царев и А. Шалыто в физико-математическом лицее №30.

22.05.2011

Unova - новости инноваций и венчурного рынка.

19.05.2011

Доклад П.А. Белова "Передача изображений со сверхразрешением при помощи метаматериалов" и ответы на вопросы на VIII конференции молодых ученых. С участием А.А. Шалыто на 12:55.

19.05.2011

Над чем работают в институте системного программирования.

19.05.2011

Добавлена бакалаврская работа Дениса Родикова.

15.05.2011

Выложена статья "Не отпустить выпускника!". Издание "Поиск" от 05.02.2010.

14.05.2011

Обновлен раздел дипломы. Добавлена магистерская диссертация Игоря Синева.

12.05.2011

Выложена новая версия учебного пособия "Верификация автоматных программ"

10.05.2011

С сегодняшнего дня сайт поддерживается Владимиром Ульянцевым. Благодарим за успешную и ответственную работу Михаила Царева, поддерживавшего сайт с 2007 года.

09.05.2011

Первый квалификационный тур "Российского кубка по программированию", проводимый Mail.ru Group и кафедрой "Компьютерные технологии" СПбГУ ИТМО, прошел без сбоев!

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

Шалыто А.А. Неужели вы придаете значение словам?

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