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



Главная

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

21.10.2015

Владимир Ульянцев и Даниил Чивилихин вышли на защиту (aspirantura.ifmo.ru)

21.10.2015

ОПК завершила испытания комплекса управления роботами (russianelectronics.ru)

19.10.2015

Василий Филиппов снова покоряет мир! (tjournal.ru)

19.10.2015

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

19.10.2015

Рак научились морить голодом (lenta.ru)

19.10.2015

Vincent E., Sergushichev A., Griss T., Gingras M., Samborska B., Ntimbane T., Coelho P., Blagih J., Raissi T., Choiniere L., Bridon G., Loginicheva E., Flynn B., Thomas E., Tavare J., Avizonis D., Pause A., Elder D., Artyomov M., Jones R. Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose - Independent Tumor Growth // Molecular cell. V. 60, Issue 2, pp.195–207, 15 October 2015. DOI:10.1016/j.molcel.2015.08.013. Year Impact Factor: 15.052. Impact Factor: 14.018. SJR: 10.968.

19.10.2015

Виталий Клебан в действии! (russianelectronics.ru)

17.10.2015

Диагноз омбудсмена: почему чиновники и инновации несовместимы (rbc.ru)

17.10.2015

Больше математики: как государство может помочь в подготовке «айтишников» (rbc.ru)

15.10.2015

«Японский Перельман» согласился объяснить главнейшую тайну математики (lenta.ru)

15.10.2015

«Потерянный блокнот» Рамануджана опередил развитие математики на сто лет вперед (lenta.ru)

13.10.2015

Великие компании и компания Никиты Шамгунова MemSQL (wired.com)

08.10.2015

Интересная встреча с интересным человеком :-)

08.10.2015

Грант Шабурова: 50000 рублей гроссмейстерам Codeforces (codeforces.com)

08.10.2015

Реакция на появление сайта "Всемирная школа программирования чемпионов мира из Университета ИТМО":

  • "Круто" (Олег Степанов, соруководитель компании JetBrains).
  • "Классная идея. Бренд должен работать по полной, а у ИТМО бренд в этой области ого-го какой" (Василий Филлиппов, сооснователь компании SPB Software).
  • "Ух, красота какая! Вы молодцы, как обычно" (Женя Куликова, Яндекс).
  • "Круто, молодцы" (Иван Романов, чемпион мира по программирования 2006 г.).
  • "Здорово" (Александр Туркот, экс-руководитель ИТ-направления в Сколково).
  • "Отлично. Хорошо, что смогли реализовать идею, про которую я давно слышал. Супер! Мои поздравления. Казалось бы, произошло некоторое насыщение в России олимпиадным движением, но появляются все новые идеи и проекты. Это не может не радовать!" (Матвей Казаков, третье место на чемпионате мира по программированию 1999, директор по операциям финалов чемпионата мира по программированию по версии ACM).
  • "Круто" (Дима Зевелев, вице-президент Mail.Ru Group).
  • "Nice" (Никита Шамгунов, призер чемпионата мира по программированию 2001 г., сооснователь компании MemSQL).
  • "Ого, все очень серьезно. Дизайн хороший" (Артем Васильев, чемпион мира по программированию 2015 г.).
  • "Я в пятницу встречусь с Ниязом Нигматуллиным в UCLA" (Виктор Шабуров, основатель компании Looksery Inc).

08.10.2015

Другие лица: зачем Snapchat купила российский стартап за $150 млн (forbes.ru)

08.10.2015

Learn to win from champions - Effective training programs to win a high-end programming competitions (wcps.ifmo.ru)

08.10.2015

«Нам нужен далеко не всякий программист» (ucheba.ru)

06.10.2015

Антон Александров - лауреат стипендии Правительства РФ для аспирантов. Поздравляем!

30.09.2015

Сертификаты с конференции GECCO 2015:

28.09.2015

Обновлен раздел "Фотографии": 2015.09.19. Russian Code Cup 2015. Взгляд изнутри

23.09.2015

Вот как играет в настольный теннис чемпион мира... по программированию! (youtube.com)

21.09.2015

Обновлен раздел "Фотографии": 2015.09.19. А.А. Шалыто на Russian Code Cup

20.09.2015

Зажигаю на Russian Code Cup! Блок "Образование и карьера" (it.mail.ru)

17.09.2015

Обновлен раздел "Фотографии": 2015.09.09. Встреча с А.А. Шалыто в "Деловом Клубе журнала "Chief Time". Санкт-Петербург. Ресторан "Дом". Фотографии Юлии Феофановой

12.09.2015

А. Шалыто приглашен на Russian Code Cup (spbit.ru)

08.09.2015

Встреча Делового Клуба ChiefTime: "Как удалось создать в Университете ИТМО систему взращивания команд-чемпионов мира по программированию. Что необходимо для привлечения и удержания молодых талантов. На примере СПбГУ ИТМО"

07.09.2015

Вести 24 и В. Путин о победах студентов ИТМО (youtube.com)

01.09.2015

Президент РФ В.В. Путин первого сентября снова говорил об успехах студентов Университета ИТМО. На этот раз на встрече в образовательном центре "Сириус" в Сочи, организованном по его инициативе для раннего выявления, развития и дальнейшей профессиональной поддержки одаренных детей, проявивших выдающиеся способности в области искусств, спорта, естественнонаучных дисциплин, а также добившихся успеха в техническом творчестве.

01.09.2015

Мотивирую первокурсников Университета ИТМО (ifmo.ru)

01.09.2015

Program Synthesis from Refinement Types by Nadia Polikarpova (research.microsoft.com)

28.08.2015

Gartner назвала самые многообещающие высокие технологии (russianelectronics.ru)

27.08.2015

Обновлен раздел "Фотографии": 2015.08.21. Хельсинки 2015. Награда нашла "героя"

27.08.2015

Одинец В.П. Об истории некоторых математических методов, используемых при принятии управленческих решений: учебное пособие – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2015. – 108 с.

26.08.2015

Award presented to Professor Anatoly Shalyto as workshop organizer of 1st IEEE International Workshop on Distributed Intelligent Automation Systems held in conjunction with IEEE ISPA-15, August 20-22, 2015, Helsinki, Finland

15.08.2015

Год в разгаре, а Гена Короткевич уже четыре крупнейших соревнования по спортивному программированию выиграл: Facebook Нaker Cup, Яндекс.Алгоритм, VK Cup (совместно с Ниязом Нигматуллиным), Google Code Jam. Еще в этом году: в сентябре - Russian Code Cup, в ноябре - TopCoder Open.

15.08.2015

Онлайн курсы по математике и программированию (code.stepic.org)

15.08.2015

Хронические пробки в мегаполисах стали выгодным бизнесом (vedomosti.ru)

15.08.2015

Геннадий Короткевич подтвердил звание чемпиона Google Code Jam во второй раз (ifmo.ru)

15.08.2015

Гена Короткевич опять выиграл Google Code Jam! Поздравляем! Павел Маврин - в десятке! (youtube.com)

13.08.2015

Абсолютный чемпион (ifmo.ru)

10.08.2015

Международный семинар по распределенным интеллектуальным системам автоматизации (ifmo.ru)

08.08.2015

Поздравляем! Геннадий Короткевич стал троекратным победителем чемпионата Яндекс.Алгоритм (ifmo.ru)

07.08.2015

Шалыто А.А. - член технического комитета "IEEE Industrial Informatics" (ieee-tcii.org)

05.08.2015

Правила поступления: Университет ИТМО. Интервью с Владимиром Ульянцевым (ucheba.ru)

04.08.2015

Доклады аспирантов Университета ИТМО признаны лучшими на cтуденческой секции конференции GECCO (ifmo.ru)

31.07.2015

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

29.07.2015

Обновлен раздел "Фотографии": 2015.07. Конференция INDIN 2015, Кембридж, Великобритания

29.07.2015

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

29.07.2015

Статья об олимпиадно-образовательной деятельности со ссылкой на работу М. Буздалова

29.07.2015

В 2015 году пятеро из восьми выпускников, подготовивших бакалаврские работы и магистерские диссертации под руководством Максима Буздалова и Арины Буздаловой, стали соавторами статей, принятых на международные конференции, труды которых индексируются в системе Scopus. Трое из четырех магистрантов, защиты которых состоятся в следующем году, также имеют статьи международного уровня.

Выпускники 2015 года:

  • 4539 - Минаев Борис Юрьевич - нет статей
  • 6538 - Архипов Виктор Сергеевич - 2 статьи
  • 6538 - Буланова Нина Сергеевна - 1 статья
  • 6538 - Матвеева Анна Александровна - 1 статья
  • 6539 - Нигматуллин Нияз Габдуллазянович - нет статей
  • 6539 - Петрова Ирина Анатольевна - 6 статей
  • 6538 - Рост Аркадий Юрьевич - нет статей
  • 6539 - Якупов Илья Юрьевич - 2 статьи
Магистранты, выпускающиеся в 2016 году:
  • 5539 - Антипов Денис Сергеевич - 1 статья
  • 5538 - Басин Антон Олегович - нет статей
  • 5539 - Кравцов Никита Олегович - 1 статья
  • 5538 - Миронович Владимир Анатольевич - 2 статьи

27.07.2015

Студенты Университета ИТМО – триумфаторы VK Сup! (ifmo.ru)

20.07.2015

На крупнейшей в мире конференции по эволюционным вычислениям на молодежной секции (аспиранты и студенты) наши - Даниил Чивилихин и Арина Буздалова - заняли второе и третье место, соответственно

20.07.2015

Миронов А.М. Теория вероятностных автоматов. Часть 1

20.07.2015

Паша Маврин - большой начальник (минобрнауки.рф)

20.07.2015

Хочу, чтобы кто-нибудь занялся этим (livejournal.com)

18.07.2015

Выпускница Университета ИТМО получила стипендию ACM-W Scholarship

14.07.2015

Дело Мордвинцева живет и побеждает (instagram.com)

07.07.2015

Обновлен раздел "Фотографии": 2015.07.04. Выпуск кафедры КТ Университета ИТМО 2015

30.06.2015

В.Вяткин и А. Шалыто проводят семинар "Распределенные интеллектуальные системы автоматизации" в рамках симпозиума IEEE, проводимого в Хельсинки

30.06.2015

Обновлен раздел "Фотографии": 2015.06.16. Защита дипломов 2015

29.06.2015

Шалыто А.А. Может быть, при построении определенного класса больших программных систем лед тронулся?

26.06.2015

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

24.06.2015

Берем новые рубежи! Ирина Петрова выиграла стипендию ACM-W для поездки на конференцию GECCO 2015

22.06.2015

Обновлен раздел "Фотографии": А. Шалыто, А. Станкевич и В. Парфенов в календаре

22.06.2015

А.А. Шалыто. О реакциях на то, что о нас сказал Президент

22.06.2015

Наш человек в Google Research - выпускник кафедры КТ 2010 года Саша Мордвинцев

18.06.2015

Обновлен раздел "Фотографии": Приглашение А.С. Станкевича на церемонию вручения Государственных премий 2014 года

08.06.2015

У нас приняли доклады на конференции:

  • Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems / The 2015 First International Workshop on Distributed Intelligent Automation Systems (DIAS). 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), August 20-22, 2015, Helsinki.
  • Chivilikhin D., Vyatkin V., Shalyto A. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks / The 2015 First International Workshop on Distributed Intelligent Automation Systems (DIAS). 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), August 20-22, 2015, Helsinki.
  • Buzdalov M., Arkhipov V. An Asynchronous Implementation of the Limited Memory CMA-ES: First Results / 21st International Conference on Soft Computing (MENDEL), 2015.
  • Buzdalova A., Bulanova N. Selection of Auxiliary Objectives in Artificial Immune Systems: Initial Explorations / 21st International Conference on Soft Computing (MENDEL), 2015.

07.06.2015

Message from the DIAS 2015 Workshop Chairs

30.05.2015

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

30.05.2015

Об успехах в спортивном программировании в Университете ИТМО (facebook.com)

27.05.2015

Обновлен раздел "Фотографии": 2015.05.20. Финал чемпионата мира по программированию ACM ICPC 2015

27.05.2015

Обновлен раздел "Фотографии": Так куются будущие победы

27.05.2015

Поздравление от журнала Chief Time

21.05.2015

Студенты петербургского ИТМО победили на Чемпионате мира по командному программированию (rtr.spb.ru)

21.05.2015

ICPC Live Finals (youtube.com)

12.05.2015

Аспирантам кафедры "Компьютерные технологии", обучающимся по приоритетным направлениям модернизации и технологического развития экономики России, Арине Буздаловой и Даниилу Чивилихину назначены стипендии Президента РФ, Владимиру Ульянцеву - Правительства РФ на 2015/16 учебный год. Поздравляем!

08.05.2015

СПбМО: история, воспоминания (mathsoc.spb.ru)

07.05.2015

Обновлен раздел "Фотографии": НПО «Аврора» празднует 70-летие победы

05.05.2015

О работах по биоинформатике в лаборатории «Компьютерные технологии» Университета ИТМО

28.04.2015

В.Н. Васильев о сохранении в университетах лучших (businesspuls.ru)

24.04.2015

67 израильских изобретений, которые изменили мир (itbusinessweek.com)

22.04.2015

Обновлен раздел "Фотографии": 2015.04.09. VI сессия научной школы "Технологии программирования и искусственный интеллект". Университет ИТМО

20.04.2015

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

18.04.2015

Подача статей на DIAS Workshop (конференция ISPA 2015)

15.04.2015

У нас приняли доклады на конференции:

  • V. Ulyantsev, M. Melnik. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-solver. AlCoB 2015, Mexico City, Mexico, August 4-6, 2015.
  • D. Chivilikhin, A. Shalyto, S. Patil, V. Vyatkin. Reconstruction of Function Block Logic using Metaheuristic Algorithm. INDIN 2015, Cambridge, UK, July 22-24, 2015.
  • I. Buzhinsky, V. Ulyantsev, J. Veijalainen, V. Vyatkin. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications. INDIN 2015, Cambridge, UK, July 22-24, 2015.

30.03.2015

VI сессия научной школы "Технологии программирования и искусственный интеллект" на IV Всероссийском конгрессе молодых ученых. Университет ИТМО. 2015.

28.03.2015

Алексей Сергушичев рассказывает о своей работе (ifmo.ru)

22.03.2015

Университетам поставили "отлично" (rg.ru)

21.03.2015

Abhishek K. Jha, Stanley Ching-Cheng Huang, Alexey Sergushichev, Vicky Lampropoulou, Yulia Ivanova, Ekaterina Loginicheva, Karina Chmielewski, Kelly M. Stewart, Juliet Ashall, Bart Everts, Edward J. Pearce, Edward M. Driggers, Maxim N. Artyomov. Network Integration of Parallel Metabolic and Transcriptional Data Reveals Metabolic Modules that Regulate Macrophage Polarization. Immunity, Volume 42, Issue 3, pp. 419–430, 2015. Cell Press.

18.03.2015

Поздравляем Лешу Сергушичева с большим успехом! (facebook.com)

17.03.2015

Мы тренируем команды Пекинского университета (ifmo.ru)

17.03.2015

Геннадий Короткевич начал побеждать по второму разу. Поздравляем! (ifmo.ru)

17.03.2015

Наши выиграли чемпионат Татарстана по спортивному программированию (icl.ru)

13.03.2015

Статья в Forbes о знакомых

13.03.2015

Компания Devino Telecom, помогающая нам, вошло в число лучших работодателей России (kommersant.ru). Поздравляем!

11.03.2015

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

10.03.2015

Применение автоматного программирования в неожиданной области (doc2all.ru)

09.03.2015

Очень рад, что познакомился с Вами на конференции 9th International Conference on Language and Automata Theory and Applications. Глядя на работы Вашей команды, хочется верить, что Computer Science в России все же существует.
С уважением, Пантелеев Павел (Мехмат МГУ).

08.03.2015

Студент третьего курса Геннадий Короткевич – двукратный победитель Facebook Hacker Cup (ifmo.ru)

27.02.2015

Ученые объяснили превосходство искусственного интеллекта в аркадных играх (lenta.ru)

27.02.2015

Switch-технология (энциклопедия "Традиция")

27.02.2015

Анатолий Шалыто о "Заметках" (журнал "Понедельник")

17.02.2015

Обновлен раздел Фотографии: Сотрудники лаборатории «Компьютерные технологии» (фотосессия сотрудников Университета ИТМО 23-24.12.2014)

17.02.2015

В ожидании Терминатора (Санкт-Петербургские ведомости)

16.02.2015

Правильные книги! (ponedelnikmag.com)

14.02.2015

О нас пишут (http://mroovka-framework.blogspot.ru): "My inspirations. I love to program computers. Especially in the way described by this scientist: http://en.wikipedia.org/wiki/Anatoly_Shalyto. Sammy is my another source of inspiration: http://pl.wikipedia.org/wiki/Samuel_Eilenberg. So is David Harel. For his Statemate work: http://en.wikipedia.org/wiki/David_Harel. I do believe that works of these people have fundamental significance for the future trends in programming. Automata scented with algebra, Petri nets are the right ways to program today's systems".

11.02.2015

"Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump_{n,1}. Maxim Buzdalov, Mikhail Kever, Benjamin Doerr.
This is to let you know that your paper submitted to EvoCOP has been nominated for a best paper award. On behalf of the programme chairs, we send our congratulations and best wishes. Awards will be presented at the EvoStar closing ceremony on Friday 10 April just before lunch. We look forward to seeing you in Copenhagen. Could I ask you please to forward this mail to your co-authors. Good luck!
Jennifer Willies, Edinburgh Napier University, Institute for Informatics & Digital Information 10 Colinton Road, Edinburgh EH10 5DT, UK"

07.02.2015

Правильная газета (gazeta.ifmo.ru)

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)

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