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



Главная

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

04.12.2014

Обновлен раздел Фотографии: Конференция молодых специалистов ОАО "Концерн "НПО "Аврора". 2014

01.12.2014

Automated Testing and Validation with Reactis (reactive-systems.com)

28.11.2014

Применение единых стандартов на бортовое оборудование перспективных изделий авиационной техники (npo-nauka.ru)

28.11.2014

Стандарт DO 254 на YouTube

28.11.2014

Статья "Модельно-ориентированное проектирование по стандарту DO-254 с помощью инструментов компаний MathWorks и Mentor Graphics" (matlab.ru)

26.11.2014

Лукин М.А., Буздалов М.В., Шалыто А.А. Верификация 800 автоматных программ, построенных при помощи генетического программирования / Международная научно-практическая конференция "Инструменты и методы анализа программ", TMPA 2014. C. 67-75. 2014.

25.11.2014

Lukin M., Buzdalov M., Shalyto A. Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study // HVC 2014, LNCS 8855, pp. 165–170, 2014. Springer Switzerland.

25.11.2014

Наш доклад "Vladimir Ulyantsev, Ilya Zakirzyanov and Anatoly Shalyto. BFS-based Symmetry Breaking Predicates for DFA Identification" приняли в Ниццу на конференцию LATA 2015!

24.11.2014

Обновлен раздел Фотографии: Кубки за победы на чемпионатах мира по программированию (2004, 2008, 2009, 2012, 2013)

24.11.2014

Фильм об искусственном интеллекте и о нас (topspb.tv)

24.11.2014

А.А. Шалыто об ИТ-талантах в журнале "Эксперт. Северо-Запад"

22.11.2014

Братья Кудиновы впереди на лихом коне! (kommersant.ru)

22.11.2014

"Такие проекты, как Технопарк, важны и для рынка в целом, и в первую очередь – для самих студентов. У молодых специалистов должна быть возможность общаться с экспертами отрасли, пробовать свои силы в реальных проектах, иметь перед глазами вдохновляющие примеры. Мы стремимся создавать площадки для этого: проводим Форумы Технологий, организуем крупнейшую в России олимпиаду для программистов Russian Code Cup." – Дмитрий Гришин, генеральный директор Mail.Ru Group

22.11.2014

Сайт олимпиады по программированию для русскоязычных программистов, проводимых Mail.ru и Университетом ИТМО, занял первое место в номинации "Связь, телекоммуникации, информационные технологии" на Всероссийском конкурсе "Золотой сайт 2014" (2014.goldensite.ru)

22.11.2014

А еще в этом году Гена выиграл JetBrains Котлин Challenge! (habrahabr.ru)

22.11.2014

Студент ИТМО впервые в истории взял «Большой шлем» в спортивном программировании (d-russia.ru)

22.11.2014

Поздравляем Геннадия Короткевича с пятой победой в 2014 г. на самых престижных индивидуальных соревнованиях мира по спортивному программированию Topcoder Open

22.11.2014

Университет ИТМО 17-й (!) в рейтинге российских вузов (univer-rating.ru)

21.11.2014

Триумф "на коленке" (Российская Газета)

19.11.2014

Книга об А.П. Ершове. Путь программиста (iis.nsk.su, pdf)

17.11.2014

А.А. Шалыто промотивировал к созданию разновидности автоматного программирования. Статья опубликована в журнале "Программная инженерия". 2014, с. 3-15 (persons.iis.nsk.su)

16.11.2014

Теперь "Заметки" можно слушать (vk.com)

13.11.2014

«Руссофт» определил лучшие ИТ-университеты России (biz.cnews.ru)

07.11.2014

Обновлен раздел Фотографии: 2014.10.31. Посещение "Лаборатории непрерывного математического образования" (http://lmno.ru) при 564 школе

06.11.2014

Обновлен раздел "Статьи":

03.11.2014

Гость «Лаборатории непрерывного математического образования» - профессор А.А. Шалыто (отзыв)

02.11.2014

Приняли доклад на еще одну конференцию по верификации TMPA-2014

28.10.2014

Буклет лаборатории "Компьютерные технологии": на русском, на английском

26.10.2014

В.Н. Васильев о развитии Университета ИТМО (kommersant.ru)

26.10.2014

Наш доклад на очень крутой конференции HVC 2014 (research.ibm.com)

25.10.2014

Еще раз об автоматном программировании. Лившиц А.С. Два случая устойчивости логики программы

23.10.2014

Обновлен раздел Фотографии: 2014.10.18. Наши на заседании международного совета по проекту "5 российских вузов в 100 лучших университетов мира"

22.10.2014

Одинец В.П. Зарисовки по истории компьютерных наук: учебное пособие. – Сыктывкар: Коми пединститут, 2013, 421 с.

22.10.2014

Призеры премии «Эксперт в инновационно-промышленной сфере» (expert.ru)

03.10.2014

Вручение премии «Эксперт года» (ifmo.ru)

02.10.2014

Обновлен раздел Фотографии: 2014.10.02. Премия "Эксперт года" 2014

02.10.2014

Журнал "Эксперт Северо-Запад" объявляет начало приема заявок на соискание премии "Эксперт в инновационно-промышленной сфере"

26.09.2014

Обновлен раздел Фотографии: 2014.09.26. Учредительный съезд ассоциации выпускников Университета ИТМО

26.09.2014

Темы магистерских диссертаций, бакалаврских и курсовых работ для студентов "Компьютерные технологии"

22.09.2014

Обновлен раздел Фотографии: 2014.09.16. Руководство Ростуризма приняло участие в 20-й Международной туристской выставке "Отдых-2014"

20.09.2014

Виталик Аксенов получил диплом первой степени на международной олимпиаде по математике среди студентов (http://www.imc-math.org.uk/imc2014/imc2014-scores.html, 27 место в мире!). Поздравляем!

19.09.2014

Принята в печать статья: Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F., Ribo J., Bori J., Riva M., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators B: Chemical (5-Year Impact Factor: 4.101), 2014, 7 p., Elsevier.

09.09.2014

Обновлен раздел Фотографии: 2014.09.09. Геннадий Короткевич

08.09.2014

Колонки из новых номеров журнала "Chief Time":

03.09.2014

Сотрудница нашей научной лаборатории Светлана Попова с работой на тему "Автоматическое извлечение информации и метаданных из неструктурированных источников информации" - победитель конкурсного отбора на предоставление в 2014 году субсидий молодым ученым, молодым кандидатам наук вузов, отраслевых и академических институтов, расположенных на территории Санкт-Петербурга

03.09.2014

ALS IceBucket Challenge video (youtube.com)

03.09.2014

Почему я пишу "Заметки"? Ответ здесь (d-russia.ru)

30.08.2014

Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantiac and Tools / 12th IEEE International Conference on Industrial Informatics (INDIN 2014). July 27-30 2014. Port Alegre, Brazil

24.08.2014

Дуров признан самым перспективным молодым бизнесменом Северной Европы (lenta.ru)

20.08.2014

Поздравляем претендентов на получение премии Правительства Санкт-Петербурга победителям конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и академических институтов:

  • Александров Антон ("Разработка метода исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности")
  • Казаков Сергей ("Сборка контигов геномных последовательностей на основе принципа максимального правдоподобия")
  • Сергушичев Алексей ("Разработка метода восстановления фрагментов генома с доказуемым качеством")
  • Буздалова Арина ("Повышение эффективности эволюционных алгоритмов с помощью обучения с подкреплением")
  • Буланова Нина ("Построение управляющих конечных автоматов с использованием алгоритмов многокритериальной оптимизации")
  • Бужинский Игорь ("Метод построения управляющих автоматов с непрерывными воздействиями с автоматическим подбором переменных")
  • Петрова Ирина ("Повышение эффективности эволюционных алгоритмов при помощи обучения с подкреплением в нестационарной среде")

15.08.2014

Группировка из тысячи роботов научилась выстраиваться в сложные фигуры (lenta.ru)

11.08.2014

Трансформируемый «Робот-оригами» самостоятельно собирается за 4 минуты: видео (russianelectronics.ru)

01.08.2014

Рецензия на "Заметки о мотивации" в журнале "Прочтение"
Скриншот с сайта журнала

30.07.2014

Сотрудники лаборатории "Алгоритмы сборки геномных последовательностей", созданной при кафедре "Компьютерные технологии" Университета ИТМО, принимают участие в проектах сборки геномов редких бактерий. Сотрудник лаборатории Сергей Казаков принял участие в проекте сборки генома редкой бактерии Serratia grimesii. Образцы клеток бактерии получены в Институте цитологии Российской академии наук в Санкт-Петербурге, а ее секвенирование выполнено в Казани в Институте фундаментальной медицины и биологии Казанского Федерального Университета. Геном бактерии включен в международную базу данных биотехнологической информации NCBI: http://www.ncbi.nlm.nih.gov/nuccore/JGVP00000000.

28.07.2014

Обновлен раздел "Articles":

25.07.2014

Студент Университета ИТМО – дипломант GECCO (ifmo.ru)

23.07.2014

Aksenov V., Kokhas K. Domino tilings and determinants // Journal of Mathematical Sciences, Vol. 200, No. 6, pp. 647-653, 2014.

22.07.2014

Поздравляем Бужинского И.П. с выигрышем приза "Best Undergraduate Student Contribution to the Student Workshop" на конференции GECCO 2014

20.07.2014

Графы де Брюйна и алгоритмы сборки — Сергей Нурк (youtube.com)

19.07.2014

SPAdes: a New Genome Assembly Algorithm and its Applications to Single-Cell Sequencing (youtube.com)

17.07.2014

Обновлен раздел "Articles":

17.07.2014

Программный продукт (Санкт-Петербургские ведомости)

07.07.2014

Курс на Атлантику. Журнал "Newtone". 2014. № 16, май - июнь, с. 42.

07.07.2014

Игры престолов. Журнал "Newtone". 2014. № 16, май - июнь, с. 34, 35.

05.07.2014

"Свидетельство ненормальности — это повторение одного и того же поступка с ожиданием разных результатов", но конечные автоматы работают именно так!

03.07.2014

Несколько слов о кафедре "Компьютерные технологии" и автоматном программировании (youtube.com)

29.06.2014

Опарин В.В., Фильченков А.А., Сироткин А.В., Тулупьев А.Л. Матроидное представление семейства графов смежности над набором фрагментов знаний // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики. 2010. № 4(68). C. 73-76.

21.06.2014

Обновлен раздел Фотографии:

21.06.2014

Презентации на тему "Формальная верификация" (myshared.ru)

11.06.2014

Обновлен раздел "Статьи":

10.06.2014

Обновлен раздел "Фотографии": 2014.06.06. А.А. Шалыто в его комнате

08.06.2014

Обновлен раздел "Articles":

27.05.2014

Обновлен раздел "Фотографии": 2014.05.23. Открытый кубок по программированию ОАО "Концерн "НПО Аврора" 2014

22.05.2014

А.А. Шалыто. Где выход из вины? // Журнал "Chief Time", апрель 2014

22.05.2014

А.А. Шалыто. О, команда // Журнал "Chief Time", май-июнь 2014

21.05.2014

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

29.04.2014

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

15.04.2014

Автоматы все шире внедряются в программирование (state-machine.com)

15.04.2014

В этом принимает участие наш выпускник (top.rbc.ru)

08.04.2014

10 основателей, ушедших из своих проектов

31.03.2014

Первая часть радиоверсии книги А.А. Шалыто "Заметки о Мотивации" (радио "Мегабайт")

29.03.2014

Обновлен раздел "Фотографии": А. Шалыто и В. Ульянцев

28.03.2014

А.А. Шалыто - член программного комитета VI Всероссийской научно-практической конференции "Нечеткие системы и мягкие вычисления–2014" (НСМВ–2014)

26.03.2014

Реакция на книгу Васильева В.Н., Парфенова В.Г. Истории кафедры "Компьютерные технологии"

23.03.2014

Председателем Комитета по туризму Санкт-Петербурга назначена Инна Шалыто (Петербургский дневник)

22.03.2014

В Санкт-Петербурге решили выяснить, как университеты меняют мегаполисы (severinform.ru)

22.03.2014

Ф. Царев и А. Шалыто - эксперты в деловой сети (m2ies.com)

21.03.2014

Питомник гениев

15.03.2014

Пимкин А. Транслятор описания конечного автомата в исходный код на языке описания аппаратуры Verilog (ded32.net.ru)

07.03.2014

7 марта 2014 г. Шалыто А. А. начал читать "Заметки о мотивации" на студенческом радио "Мегабайт" [НИУ ИТМО]

04.03.2014

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия РАН. Теория и системы управления. 2014. № 2. С. 111-121.

02.03.2014

Полмиллиарда долларов на экзистенциальный риск (pcweek.ru)

02.03.2014

Сколь велик сегодня искусственный интеллект? (pcweek.ru)

02.03.2014

15.02.2014 г. исполнилось 80 лет со дня рождения лауреата премии Тьюринга Никлауса Вирта - почетного доктора НИУ ИТМО

28.02.2014

И.П. Бужинский, В.И. Ульянцев, Ф.Н. Царев. Построение управляющих конечных автоматов с вещественными переменными по обучающим примерам // Материалы 6-й Всероссийской мультиконференции по проблемам управления. Ростов-на-Дону: Изд-во ЮФУ, Т. 1, с. 9-13, 2013.

23.02.2014

Обновлен раздел "Фотографии": 2014.02.15. Семинар по социальному проектированию для участников конкурса "Ты нужен людям"

22.02.2014

Самые красивые математические формулы (lenta.ru)

22.02.2014

Студенты и выпускники кафедры "Компьютерные технологии" НИУ ИТМО так выступили в финале Facebook Hacker Cup 2014: Г. Короткевич - 1 место, Н. Нигматуллин - 4 место, А. Станкевич - 6 место, Е. Капун - 8 место, М. Кевер - 19 место. Поздравляем!

06.02.2014

В разделе "Статьи" выложены наши работы из сборника материалов конференции СПИСОК-2013

04.02.2014

Мы выиграли грант РФФИ по конкурсу инициативных научных проектов (конкурсу «A»). Тема проекта - «Разработка муравьиных алгоритмов для построения управляющих конечных автоматов», руководитель - Шалыто А.А.

31.01.2014

Автоматизация в промышленности и заметки о мотивации нашли друг друга (avtoprom.ru)

28.01.2014

Обновлен раздел "Фотографии": 2013.11. Конференция ICMLA 2013, Майами

25.01.2014

Книга В.Н. Васильева и В.Г. Парфенова "Истории кафедры "Компьютерные технологии НИУ ИТМО" в "Виртуальном компьютерном музее"

24.01.2014

Обновлен раздел "Диссертации". Добавлена диссертация К.В. Егорова на тему «Генерация управляющих автоматов на основе генетического программирования и верификации».

23.01.2014

Б. Мейер, К. Чоппи, Я.В. Ливен, Й. Стаунструп. Computer Science борется за справедливую оценку // Санкт-Петербургский университет. 2011, №9.

18.01.2014

Рождение кафедры "Компьютерные технологии" НИУ ИТМО в потоке мировых событий в области ИТ

16.01.2014

Обновлен раздел "Фотографии": Так А.А. Шалыто себя мотивирует

16.01.2014

А.А. Шалыто. А так ли мы устаем, чтобы отдыхать? // Журнал "Chief Time", февраль 2014

02.01.2014

Машинное обучение от "Яндекса" (habrahabr.ru)

02.01.2014

Стэнфордский курс по машинному обучению (stanford.edu)

02.01.2014

Поздравляем победителей конкурса инициативных научных проектов Российского фонда фундаментальных исследований, выполняемых молодыми учеными ("Мой первый грант"):

  • Казаков С.В., Бужинский И.П. Разработка метода построения конечных автоматов для управления объектами со сложным поведением на основе обучающих примеров
  • Чивилихин Д.С., Ульянцев В.И. Разработка методов автоматизированного построения надежного программного обеспечения по обучающим примерам и темпоральным свойствам на основе автоматного подхода
  • Александров А.В., Капун Е.Д. Разработка метода сборки генома из чтений, содержащих ошибки вставки и удаления

31.12.2013

Новогоднее поздравление от В. Макарова

24.12.2013

Технические проекты и инициатива "Сохраним в университетах лучших!" (bigrobot.ru)

24.12.2013

Реестр ведущих научных и научно-педагогических школ Санкт-Петербурга

21.12.2013

С.Е. Рукшин рассказывает об образовании. Что такое школьное образование в России сегодня (spbroditeli.ru)

19.12.2013

О встрече, посвященной выходу книги «Истории кафедры «Компьютерные технологии»:

19.12.2013

Анатолий Шалыто - об отъезде за рубеж молодых квалифицированных специалистов (youtube.com)

17.12.2013

Обновлен раздел "Фотографии":

15.12.2013

О браслетах TapTap:

15.12.2013

Наши выпускники еще умеют собирать деньги под проекты (kickstarter.com)

14.12.2013

Русский смартфон YotaPhone уже можно купить. Пока недешево. Медведев: «Apple напрягся?» (russianelectronics.ru)

14.12.2013

Коростин Д.О. Лекция "Высокопроизводительное секвенирование и его применение" (lectoriy.mipt.ru)

14.12.2013

Публичные лекции по биоинформатике в МФТИ. Миронов А.А. (dbmp.mipt.ru)

14.12.2013

Обновлен раздел "Верификация":

14.12.2013

Видеосервис “Одноклассников” дополнился онлайн-кинотеатром (pcweek.ru)

13.12.2013

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

07.12.2013

Калиниченко А.И., Казаков С.В., Ульянцев В.И., Чивилихин Д.С. - победители 2013 года конкурса грантов для студентов вузов, расположенных на территории Санкт-Петербурга, аспирантов вузов, отраслевых и академических институтов, расположенных на территории Санкт-Петербурга (http://knvsh.gov.spb.ru/)

07.12.2013

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

05.12.2013

Обновлен раздел "Свидетельства":

30.11.2013

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

27.11.2013

2013.11.26. Диплом И.П. Бужинского, В.И. Ульянцева, Ф.Н. Царева за победу в конкурсе научно-технических работ и проектов «Молодёжь и будущее авиации и космонавтики»

23.11.2013

Программа для чемпионов (youtube.com)

17.11.2013

Чемпионы ИТМО тренируют студентов из Китая (ifmo.ru)

17.11.2013

Проект НИУ ИТМО принес победу Санкт-Петербургу (ifmo.ru)

17.11.2013

Юрий Мильнер профинансирует электронное секвенирование ДНК (lenta.ru)

10.11.2013

Приглашение к участию в I Петербургском Международном Молодежном Форуме

07.11.2013

Обновлен раздел Фотографии: 2013.11.01. Вручение "Кубка Вызова" (лучший инновационный регион России) Санкт-Петербургу за проект НИУ ИТМО "Easy Genomics". От Санкт-Петербурга - Инна Шалыто, от НИУ ИТМО - Павел Федотов.

04.11.2013

Журнал "NewTone". 2013. № 12. Статьи о нас:

03.11.2013

НИУ ИТМО идет дальше (poisknews.ru)

03.11.2013

О победе в «Кубке вызова» 2013

02.11.2013

Обновлен раздел "Дипломы": выложены несколько дипломных работ за 2013 год

02.11.2013

Каждый, кто программирует, думает, что он умеет, или где стоило применять автоматное программирование (ko.com.ua)

30.10.2013

Ульянцев В.И. Программный комплекс для построения и тестирования управляющих конечных автоматов // Свидетельство о регистрации программы для ЭВМ. № 2013619840. Дата регистрации - 17.10.2013.

25.10.2013

Буклет для финала чемпионата мира по программированию 2013 года в Санкт-Петербурге

22.10.2013

Федор Царев на Lenta.ru

20.10.2013

Поздравляем Лауреатов Премии Правительства Санкт-Петербурга! (ifmo.ru)

19.10.2013

Фильм "Колыбель гениев" (автор и режиссер - Ярослав Фомичёв, 2001)

16.10.2013

Приказ о стипендиях имени В.А. Годунова на 2013/2014 учебный год

14.10.2013

Результаты Кубка Вызова 2013: наш проект «Easy Genomics» принес победу Санкт-Петербургу

13.10.2013

Обновлен раздел Фотографии: 2013.10.08. А.А. Шалыто

08.10.2013

Статьи, принятые на ICMLA'13 (Miami, Florida, USA, 4-7 декабря):

  • Petrova I., Buzdalova A., Buzdalov M. Improved Helper-Objective Optimization Strategy for Job-Shop Scheduling Problem
  • Arkhipov V., Buzdalov M., Shalyto A. Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms
  • Buzdalov M., Buzdalova A., Shalyto A. A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning
  • Chivilikhin D., Ulyantsev V. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions

04.10.2013

Васильев В.Н., Парфенов В.Г. Истории кафедры «Компьютерные технологии» НИУ ИТМО

01.10.2013

Панченко Е.В., Ульянцев В.И. Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам // Научно-технический вестник информационных технологий, механики и оптики, 2013, № 4 (86). C. 151-153.

28.09.2013

В 2013 г. премию Правительства Санкт-Петербурга победителям конкурса грантов для студентов и аспирантов получили наши студенты и аспиранты:

  • Калиниченко А.И. Комплекс для исследования автоматного управления роботами;
  • Казаков С.В. Разработка алгоритма упрощения графа перекрытий при сборке геномных последовательностей;
  • Ульянцев В.И. Построение управляющих конечных автоматов по сценариям работы на основе решения задачи удовлетворения ограничений;
  • Чивилихин Д.С. Разработка метода генерации конечных автоматов на основе муравьиного алгоритма.
Поздравляем!

28.09.2013

В финале чемпионата мира среди русскоязычных программистов Russian Code Cup из 50 участников шесть (!) выпускников и студентов кафедры "Компьютерные технологии" НИУ ИТМО: П. Маврин, В. Исенбаев, Е. Капун, М. Кевер, Н. Нигматуллин и Г. Короткевич. Все они чемпионы мира разных лет, причем Е. Капун, М. Кевер, Н. Нигматуллин - двукратные.

28.09.2013

Лекция о роботах в рамках Russian Code Cup (газета "Московские новости")

28.09.2013

Интервью с двукратным чемпионом мира по программированию Михаилом Кевером (газета "Университет ИТМО", сентябрь 2013)

28.09.2013

Поздравляем Геннадия Короткевича с успехом на Russian Code Cup (spbit.ru)

16.09.2013

Обновлен раздел "Articles":

07.09.2013

Buzdalova A., Buzdalov M., Parfenov V. Generation of Tests for Programming Challenge Tasks using Helper-Objectives // Lecture Notes in Computer Science. Heidelberg: Springer, 2013. Vol. 8084, pp. 300-305.

02.09.2013

Стипендия для студентов и аспирантов кафедры КТ имени Виктора Александровича Годунова (положение)

31.08.2013

Новый офис Mail.ru (bigpicture.ru)

31.08.2013

Очередная победа наших! (Российская газета)

23.08.2013

Журнал "Наука в фокусе" о нашей победе

22.08.2013

С ними стоит сотрудничать

21.08.2013

Министерство обороны и НИУ ИТМО (dp.ru)

21.08.2013

Интервью А.А. Шалыто после финала чемпионата мира в Санкт-Петербурге (1-line.spbu.ru/)

18.08.2013

Подготовка квалифицированных ИТ-специалистов очень дорого обходится компании "Яндекс"

14.08.2013

Александров А.В., Казаков С.В., Царев Ф.Н., Сергушичев А.А., Федотов П.В. Программное средство, реализующее алгоритм поиска перекрытий между квазиконтигами // Свидетельство о регистрации программы для ЭВМ. № 2013616471. Дата регистрации - 09.07.2013

13.08.2013

Презентация про почетных докторов НИУ ИТМО

13.08.2013

St. Petersburg National Research University of IT, Mechanics & Optics and ACM International Collegiate Programming Contest

09.08.2013

Обновлен раздел "Articles":

06.08.2013

Олимпиады и поступление в вузы (Санкт-Петербургские ведомости)

06.08.2013

А тем временем мы побеждаем! (crn.ru)

01.08.2013

Большая статья о Никите Шамгунове и его деле (wired.com)

27.07.2013

Фильм "Компьютерные мальчики", который был снят девять лет назад

27.07.2013

Организация чемпионата мира в Петербурге признана лучшей в истории проведения соревнований (Петербургский дневник)

27.07.2013

Благодарность А. Шалыто за участие в работе Экспертного совета конкурса «Телеком Идея 2013»

27.07.2013

Обновлен раздел Фотографии: 2013.07.03. Финал соревнований ACM ICPC 2013

26.07.2013

Обновлен раздел Фотографии: 2012.10.26. Конкурс The Big Bang, НИУ ИТМО

26.07.2013

Илья Сегалович, конструктор национальной машины (РИА Новости)

25.07.2013

Обновлены разделы "Статьи" и "Articles":

24.07.2013

Четверо спокойных мужчин (rusrep.ru)

22.07.2013

Газета "Поиск": Нарасхват!

21.07.2013

В.Н. Васильев о будущем НИУ ИТМО (strf.ru)

21.07.2013

На конференцию BRICS-CCI приняты наши доклады:

  • Maxim Buzdalov and Fedor Tsarev. An Evolutionary Approach to Hard Test Case Generation for Shortest Common Superstring Problem
  • Daniil Chivilikhin and Vladimir Ulyantsev. Learning Finite-State Machines with Classical and Mutation-Based Ant Colony Optimization: Experimental Evaluation

20.07.2013

В 2008 г. в конкурсе "Молодые. Дерзкие. Перспективные" в разделе "Бизнес-идея" победили братья Царевы. В 2013 г. в финал этого конкурса в разделе "Научно-исследовательский проект" вышла Арина Буздалова. Поздравляем! Болеем!

20.07.2013

Янкин Ю.Ю., Шалыто А.А. Метод создания программного обеспечения модулей, выполненных на основе программируемых логических интегральных схем // Системы управления и обработки информации. 2013. Вып. 26, с. 128–135.

19.07.2013

Оказывается герои, а среди них есть Герои России, слишком много получали - много должны получать другие! (Известия)
Герои не должны и пенсии большие получать - чиновники, как всегда знают, как правильно (Известия)

19.07.2013

Обновлен раздел Фотографии: 2013.07.04. Вручение диплома и мантии Почетного доктора НИУ ИТМО Бьерну Страуструпу

15.07.2013

Professor Shalyto! Thank you for your spirited speech at my honoring (I had a few bits translated in real time) and the delicious Georgian dinner. I too hope that we will find opportunities to meet again in the future.
Bjarne Stroustrup

13.07.2013

Наши статьи в материалах конференции GECCO 2013:

12.07.2013

Петербургский дневник:

12.07.2013

Фотографии с финала ACM ICPC 2013:

12.07.2013

Обновлен раздел Фотографии: 2013.07.07. Церемония чествования выпускников 2013 года

12.07.2013

НИУ ИТМО - один из победителей конкурса на предоставление субсидий для вхождения в мировые рейтинги университетов (ifmo.ru)

12.07.2013

ИТМО - необычная точка роста на ИТ-карте России. Михаил Левин на "Дожде" (tvrain.ru)

12.07.2013

Новое место работы для программистов (pcweek.ru)

12.07.2013

Еще раз о победе команды НИУ ИТМО в ICPC 2013

10.07.2013

Процессоры, гаджеты, НИУ ИТМО и Яндекс (vesti.ru)

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