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



Главная

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

Балтийский научно-инженерный конкурс проводится с участием Университета ИТМО (Санкт-Петербургские ведомости)

04.02.2015

Обновлен раздел Фотографии: 2015.02.04. Участие А.А. Шалыто в работе жюри "Балтийского научно-технического конкурса"

31.01.2015

Обновлен раздел Фотографии: 2015.01.27. Фрагмент заседания Ученого Совета университета ИТМО

27.01.2015

Награждение «Почетным знаком Святой Татьяны» в Смольном соборе (ifmo.ru)

26.01.2015

Обновлен раздел Фотографии: 2015.01.25. А.А. Шалыто в Смольном соборе награжден Почетным знаком святой Татианы в категории "Наставник молодежи"

25.01.2015

Автоматное программирование продолжает внедряться. Справка о внедрении результатов кандидатской диссертационной работы Большакова Олега Андреевича

23.01.2015

Работа студии Артемия Лебедева в Санкт-Петербурге стоила один рубль, а в Москве 232 миллиона (topspb.tv)

22.01.2015

Мы все еще нужны ETH:
"Dear Maxim,
I hope this Email finds you well. I am writing to you on behalf of the ACM committee, because just as last year the ETH team managed to qualify for the World Finals, and we wanted to ask you whether it would be possible to again have a training week for the team here at ETH. We would be able to cover the travel and accommodation costs of you and the team, and also pay you directly for your efforts with regard to the training week.
Please let me know what you think.
Best regards, Jan"

14.01.2015

В режиме “инкогнито”. Российской компьютерной науке пора выбираться из тени (poisknews.ru)

13.01.2014

Обновлен раздел Фотографии: 2014.12.27. Защита М.А. Лукина

12.01.2015

Видеокурс машинного обучения на русском (youtube.com)

12.01.2015

An unbeatable computer program has finally solved two-player limit Texas hold'em poker (theverge.com)

11.01.2015

Новый компьютер освоил блеф в покере (rg.ru)

10.01.2015

Нияз Нигматуллин и Владимир Ульянцев вывели в финал чемпионата мира команду UCLA (в рейтинге лучших университетов мира на 12 месте)!

"Dear Niyaz and Vladimir,
I enjoyed our discussions when you visited UCLA and I am happy that you trained our students.
Today we got word that:
> Your team from UCLA will advance to the 2015 ACM-ICPC World Finals in Marrakech, Morocco.
This is a wonderful outcome of your visit; we are grateful.
I hope all is well with you.
Best regards,
Jens Palsberg, dean CS department"

08.01.2015

Классное начало Нового Года! Максим Буздалов входит в европейскую элиту по эволюционным вычислениям и ведет за за собой других (даже тех, кто этого и не хочет). Поздравляю и спасибо! (Справка: Benjamin Doerr - Professor for Computer Science Laboratoire d'Informatique Ecole Polytechnique, Senior Researcher for Max-Planck-Institut fur Informatik)

  1. Buzdalov M., Kever M., Doerr B. Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump_{n,l} // Proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimisation
  2. Antipov D., Buzdalov M., Doerr B. Runtime Analysis of (1+1) Evolutionary Algorithm Controlled with Q-learning using Greedy Exploration Strategy on OneMax+ZeroMax Problem // Proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimisation
Материалы этой конференции публикуются в "Lecture Notes on Computer Science". SJR = 0,31 - "некачественные работы"!

05.01.2015

Сроки (в месяцах) от подачи статьи до ее принятия и выхода в журналах американского математического общества. И это если статья проходит нормально. Примеры по близкой к нам тематике:
1. Algoritmica 7 + 14 = 21
2. Automatica J. IFAK 13 + 6 = 19
3. Discrete Math 12 + 3 = 15
4. Theory Comput Syst. 7 +12 = 19

03.01.2015

10 жителей Иннополиса выбрали мэром экс-гендиректора Yota (cnews.ru)

02.01.2015

Воспитанники школы спортивного программирования ИТМО бьют мировые рекорды (it-weekly.ru)

31.12.2014

IEEE DIAS 2015 - Workshop on Distributed Intelligent Automation Systems

31.12.2014

О TAP TAP Мити Гориловского! (russianelectronics.ru)

24.12.2014

Обновлен раздел Фотографии: 2014.12.22. Защита Максима Буздалова

21.12.2014

Технология разработки алгоритмов и программ "Графит-Флокс"

21.12.2014

Автоматный язык применяется в космосе более 25 лет (old.computerra.ru)

21.12.2014

Язык "ДРАКОН" (ru.wikipedia.org)

17.12.2014

Большаков О.А., Рыбаков А.В. Автоматное моделирование технологических процессов на ПЛК Siemens // Вестник МГТУ «СТАНКИН». 2013. № 4, с. 71–75.

17.12.2014

Шелехов В.И. Язык и технология автоматного программирования // Программная инженерия. 2014. № 4, с. 3-15.

17.12.2014

Автоматное программирование используется в промышленности.
Большаков О.А., Рыбаков А.В. Разработка систем диспетчеризации и управления технологическим процессом на основе прототипа и промежуточного тестирования компонентов разрабатываемой системы // Промышленные АСУ и контроллеры. 2014. № 6, с. 3-7.

17.12.2014

Через 17 лет после выхода книги появились люди, которые не могут жить без автоматного программирования в промышленности.
Большаков О.А., Рыбаков А.В. Автоматное моделирование систем автоматизации с реализацией на ПЛК // Автоматизация в промышленности. Октябрь 2013, с. 61-64.

17.12.2014

Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). C. 146-152.

17.12.2014

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). С. 98-105.

11.12.2014

Обновлен раздел Фотографии: 2014.12.09. Пресс-конференция в Университете ИТМО

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

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