На главную

Исследовательский центр мультипроцессорных систем (ИЦМС)

Тел/факс: +7(48535)98064    E-mail: abram@botik.ru
Web-site: http://www.botik.ru/PSI/RCMS
Руководитель  ИЦМC ИПС им. А.К. Айламазяна РАН д.ф.-м.н. чл.-корр. РАН Абрамов Сергей Михайлович

2024 | 2023 | 2022 | 2021 | 2020
2019 | 2018 | 2017 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009
2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 1999 | 1998

Публикации 2016 года

  1. Абрамов С. М. О проблемах высшего образования: заметки практика. // Журнал «Ректор ВУЗа». 2016. 5. С. 12–15.
  2. Стародумов И.О., Павлюк Е.В., Абрамов С.М., Клюев Л.В., Галенко П.К., Александров Д.В. Эффективность распараллеливания алгоритма решения уравнения PFG с использованием библиотеки PETIGA. // Вестник Удмуртского университета. Математика, Механика, Компьютерные науки. 2016. Т. 26. Выпуск 3. С. 445–450 http://elibrary.ru/item.asp?id=26726589
  3. Абрамов Н.С., Талалаев А.А., Фраленко В.П. Интеллектуальный анализ телеметрической информации для диагностики оборудования космического аппарата. // Информационные технологии и вычислительные системы. № 1. 2016. С. 64-75  http://elibrary.ru/item.asp?id=25862670
  4. Хачумов В.М. Аппаратные платформы и математическое обеспечение для бортовых систем управления малых летательных аппаратов. // Научное обозрение. № 7. 2016. С. 114-122  http://elibrary.ru/item.asp?id=26145902
  5. Талалаев А.А., Фраленко В.П., Хачумов М.В. Исследовательский программно-аппаратный комплекс высокопроизводительной обработки и визуализации медицинских данных. // Современные наукоемкие технологии. № 7. 2016. С. 67-73  http://elibrary.ru/item.asp?id=26342120
  6. Лончаков Ю.В., Бурдаев М.Н. Старт в вечность (к 55-летию полета в космос Ю.А. Гагарина). // Пилотируемые полеты в космос. № 1. 2016. С. 4-13  http://elibrary.ru/item.asp?id=25983871
  7. Агроник А.Ю., Талалаев А.А., Фраленко В.П., Хачумов В.М., Шишкин О.Г. Анализ систем проектирования технологических цепочек и процессов. // Онтология проектирования. № 3. 2016. С. 255-269. DOI: 10.18287/2223-9537-2016-6-3-255-269 http://elibrary.ru/item.asp?id=26727930
  8. Агроник А.Ю., Фраленко В.П. Библиотека алгоритмов высокопроизводительной обработки данных от системы технического зрения беспилотного летательного аппарата. // Программные системы: теория и приложения: электронный научный журнал. T. 7. № 2(29). 2016. С. 61-71 http://elibrary.ru/item.asp?id=26236793
  9. Латышев А.В., Ромакин В.А., Хачумов В.М., Хачумов М.В. Методы и модели автоматического синтеза технологических процессов, основанного на знаниях. // Программные системы: теория и приложения: электронный научный журнал. T. 7. № 3(30). 2016. С. 25-43  http://elibrary.ru/item.asp?id=26717431
  10. Фраленко В.П. Универсальный графический интерфейс визуального проектирования параллельных и параллельно-конвейерных приложений. // Программные системы: теория и приложения: электронный научный журнал. Т. 7. № 3(30). 2016. С. 45-70  http://elibrary.ru/item.asp?id=26717432
  11. Абрамов Н.С., Заднепровский В.Ф., Фраленко В.П., Шустова М.В. Организация информационной защиты центра высокопроизводительной обработки данных нефтегазового месторождения. // Сборник тезисов научно-практической конференции «Суперкомпьютерные технологии в нефтегазовой отрасли. Математические методы, программное и аппаратное обеспечение», 2016 (HPC-OILGAS-2016) (Москва, НОЦ «Суперкомпьютерные технологии МГУ», 10-12 февраля 2016 г.).
  12. Бурдаев М.Н. Полёт в будущее. Звёздный путь Гагарина. // Общественно-деловая газета 20/20. №1(26). 23-24 марта 2016. Санкт-Петербург.
  13. Khachumov V., Lebedev A. High-performance image processing. // Nauka i studia, Vol. 3, 2016, pp. 404-408.
  14. Фраленко В.П., Заднепровский В.Ф., Шустова М.В., Воля А.В., Власов К.А., Нилов А.Н. Обеспечение информационной безопасности путем использования динамически конфигурируемых средств защиты на автоматной основе. – Доклад на VIII Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (1-3 июня 2016 г., Москва), 2016.
  15. Шишкин О.Г., Талалаев А.А., Калинин Н.Г., Донцов С.А. Интеллектуальный мониторинг бортовой системы электроснабжения космического аппарата. – Доклад на VIII Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (1-3 июня 2016 г., Москва), 2016.
  16. Фраленко В.П. Интеллектуальные инструменты в сфере обработки трафика в особо важных вычислительных сетях. – Материалы конференции «Фундаментальная наука – Армии» в рамках Второго международного военно-технического форума «АРМИЯ-2016» (Московская область, г. Кубинка, 8 сентября 2016 г.).
  17. Хачумов В.М. Программно-инструментальный комплекс для интеллектуальной обработки информации в командно-измерительных системах авиакосмического назначения. – Материалы конференции «Фундаментальная наука – Армии» в рамках Второго международного военно-технического форума «АРМИЯ-2016» (Московская область, г. Кубинка, 8 сентября 2016 г.).
  18. Fralenko V.P., Suvorov R.E., Tikhomirov I.A. Automatic Image Classification for Web Content Filtering: New Dataset Evaluation // World Conference on Soft Computing. – Berkeley, May 22-25 2016.
    URL:
     http://www.wconsc-2016.org.
  19. Емельянова Ю.Г., Хачумов В.М. Концепция архитектуры автоматизированного рабочего места для дистанционного мониторинга арктической зоны. – Труды IV Всероссийской научной конференции молодых ученых с международным участием «Информатика, управление и системный анализ» (ИУСА-2016) (Тверь, Тверской государственный технический университет (ТвГТУ), 8-11 июня 2016 г.). 2016. С. 39-53.
  20. Хачумов В.М. Разрядно-параллельный способ реализации CORDIC-алгоритмов. // Материалы XI Международной конференции по неравновесным процессам в соплах и струях (NPNJ’2016), 25–31 мая 2016 г., Алушта. – М.: Изд-во МАИ. 2016. С. 468-471.
  21. Емельянова Ю.Г. Разработка методов когнитивного отображения состояний динамических систем реального времени. // Искусственный интеллект и принятие решений. № 3. 2016. С. 21-30  http://elibrary.ru/item.asp?id=27180832
  22. Хачумов В.М. Организация конвейерных вычислений при потоковой обработке данных. // Материалы Всероссийской научно-технической конференции молодых ученых, аспирантов и студентов «Интеллектуальные системы, управление и мехатроника − 2016» (ИСУМ 2016) (Севастополь, 19-21 мая 2016 г.). 2016. С. 518-519.
  23. Хачумов В.М., Емельянова Ю.Г., Ватутин В.М., Донцов С.А., Ивашина А.В. Анализ баз данных ДЗЗ для решения задач мониторинга Арктической зоны. // Доклад на VIII Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космического приборостроения и информационных технологий» (1-3 июня 2016 г., Москва), 2016.
  24. Роганов В.А., Осипов В.И., Матвеев Г.А. Решение задачи Дирихле для уравнения Пуассона методом Гаусса-Зейделя на языке параллельного программирования Т++ // Программные системы: теория и приложения. 2016. № 7:3(30). С. 99-107. URL: http://psta.psiras.ru/read/psta2016_3_99-107.pdf  http://elibrary.ru/item.asp?id=26717435 
  25. Абрамов С.М., Амелькин А.С., Цирлин А.М., Чичковский А.А. "Суперкомпьютер должен кипеть" // Материалы 4-й Всероссийской научно-технической конференции "Суперкомпьютерные технологии" (СКТ-2016). 19-24 сентября 2016 г., Дивноморское, Геленджик. −  Ростов-на-Дону: Изд-во Южного федерального унивеситета. Т. 1. С. 10-16. ISBN 978-5-9275-2039-8 (Том 1).
  26. Хачумов В.М. Вычисление математических функций на основе разрядно-параллельных схем. // Информационные технологии и вычислительные системы. 3. 2016. С. 26-44  http://elibrary.ru/item.asp?id=27022651
  27. Хачумов В.М. Построение оптимизированных медицинских конвейерных технологических процессов. – Труды XVIII Международной конференции DAMID/RCDL’2016 «Аналитика и управление данными в областях с интенсивным использованием данных» (Ершово, 11-14 октября 2016 г.). – М.: ФИЦ ИУ РАН. 2016. С. 420-423.
  28. Нгуен З.Т., Фомин М.Б., Хачумов В.М. Оценка точности восстановления координат при моделировании трехмерных объектов с использованием стереоизображений // Девятнадцатая международная научная конференция «Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь (DCCN-2016)» (21–25 оября 2016 г., Москва, Россия).
  29. Шустова М.В., Фраленко В.П. Экспериментальные исследования по выделению и визуализации стволовых клеток на снимках МРТ // III Международная научно-практическая конференция «Проблемы современной медицины: актуальные вопросы» (г. Красноярск, 11 ноября 2016 г.)
  30. Непейвода А.Н., Брауэр Л. Э. Я. Недостоверность принципов логики - Логические исследования № 1 (22) 2016, стр.171-176. ISSN 2074-1472 http://elibrary.ru/item.asp?id=26493326
  31. Antonina Nepeivoda Turchin's Relation for Call-by-Name Computations: A Formal Approach. Proceedings of the Fourth International Workshop on Verification and Program Transformation // In: "Proceedings of the Fourth International Workshop on Verification and Program Transformation'' / Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 216, pp. 137-159, 2016, ISSN: 2075-2180 http://dx.doi.org/10.4204/EPTCS.216.8
  32. Antonina Nepeivoda Ping-pong protocols as prefix grammars: Modelling and verification via program transformation. // Journal of Logical and Algebraic Methods in Programming, 85(5): pp. 782-804 (2016), ISSN: 2352-2208 http://dx.doi.org/10.1016/j.jlamp.2016.06.001
  33. Antonina Nepeivoda Program Transformations as Proof Transformations for Dyadic Logic" // Proceedings of the 12th International Conference "Logic Today: Developments and Perspectives", Логико-философские штудии, Том 13, № 2 (2016), 183-184, ISSN: 2223-3954 http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/443
  34. A.N. Nepeivoda, R. Glueck, A.V. Klimov, Nonlinear Configurations for Superlinear Speedup by Supercompilation. // In: "Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation'', pp. 32-51, 2016, http://elibrary.ru/item.asp?id=26591906
  35. Antonina Nepeivoda. Complexity of Turchin's Relation for Call-by-Name Computations (Extended Abstract). // In: "Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation'', pp. 159-169 , 2016, http://elibrary.ru/item.asp?id=26667994
  36.  Н. Живчикова, С. Бурчу, Ю. Шевчук Виртуальный маршрутизатор Linux в промышленной эксплуатации // ENOG 11 Региональная конференция RIPE NCC, Москва 7-8 июня 2016 года. https://www.enog.org/presentations/enog-11/131-ENOG-Zhivchikova-slides-ru-2.pdf  (Протокол мероприятия https://www.enog.org/enog-11/ru/meeting-report/minutes/)
  37.  S. D. Meshveliani On a K5 problem by S. V. Duzhin // Journal of Knot Theory and Its Ramifications, October 2016, №25, issue 12 http://www.worldscientific.com/doi/pdf/10.1142/S0218216516420098
  38. S. D. Meshveliani Provable programming of algebra: particular points, examples //Международная конференция «Polynomial Computer Algebra», Математический институт им. Эйлера, Санкт-Петербург, апрель 2016, http://pca.pdmi.ras.ru/2016/program  http://dx.doi.org/10.1142/S0218216516420098 
  39. Адамович А.И., Климов А.В. Об опыте использования среды метапрограммирования Eclipse/TMF для конструирования специализированных языков" //В сборнике: Научный сервис в сети Интернет труды XVIII Всероссийской научной конференции. ИПМ им. М.В. Келдыша РАН. Москва, 2016. С. 3-8 http://elibrary.ru/item.asp?id=27268713
  40. Maurice H. ter Beek, Alexei Lisitsa, Andrei Nemytykh and Antonio Ravara (Guest Editors). "Automated Verification of Programs and Web Systems", / Special Issue of Journal of Logical and Algebraic Methods in Programming (JLAMP) , Volume 85, Issue 5, Part 1, Pages 653-804, Published by Elsevier Inc., August 2016 ISSN: 2352-2208  DOI:  http://dx.doi.org/10.1016/S2352-2208(16)30070-0
  41. Maurice H. ter Beek, Alexei Lisitsa, Andrei Nemytykh and Antonio Ravara Automated verification of programs and Web systems, // In: Special Issue of Journal of Logical and Algebraic Methods in Programming (JLAMP) , Volume 85, Issue 5, Part 1, Pages 653–654, Published by Elsevier Inc., August 2016, ISSN: 2352-2208 DOI: http://dx.doi.org/10.1016/j.jlamp.2016.06.005
  42. Geoff Hamilton, Alexei Lisitsa and Andrei Nemytykh (Editors). “Proceedings of the Third International Workshop on Verification and Program Transformation”, Eindhoven, The Netherlands, 2nd April 2016, / Electronic Proceedings in Theoretical Computer Science (EPTCS) Volume 216, Published: 6th July 2016,  , ISSN: 2075-2180, DOI: http://dx.doi.org/10.4204/EPTCS.216
  43. Рюмина Е.В. Экономическая эффективность экологического вектора модернизации // Повышение конкурентоспособности отраслей экономики как направление выхода из экономического кризиса: сбjhybr материалов Международной научно-практической конференции – Чебоксары: Изд-во Чувашского государственного университета, 2016. С. 45-51 http://elibrary.ru/item.asp?id=26339786
  44. Гурман В.И., Рюмина Е.В. Поиск траектории экологически устойчивого развития региона // В сборнике: Проблемы и перспективы развития социально-экономического потенциала российских регионов материалы V Всероссийской электронной научно-практической конференции. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 292-295  http://elibrary.ru/item.asp?id=26466280
  45. Рюмина Е.В. Построение индекса качества населения для российских регионов // В сборнике: Проблемы и перспективы развития социально-экономического потенциала российских регионов материалы V Всероссийской электронной научно-практической конференции. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 467-472 http://elibrary.ru/item.asp?id=26466317
  46. Рюмина Е.В. Рентные доходы как экономический измеритель потребления природных ресурсов // В сборнике: Проблемы и перспективы развития социально-экономического потенциала российских регионов материалы V Всероссийской электронной научно-практической конференции.. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 265-270 http://elibrary.ru/item.asp?id=26466274
  47. Рюмина Е.В. Корректировка показателя ВВП в Индексе человеческого развития // В сборнике: Проблемы и перспективы развития социально-экономического потенциала российских регионов материалы V Всероссийской электронной научно-практической конференции.. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 295-301 http://elibrary.ru/item.asp?id=26466281
  48. Рюмина Е.В. Эколого-экономический показатель качества экономического роста // В сборнике: Проблемы и перспективы развития социально-экономического потенциала российских регионов материалы V Всероссийской электронной научно-практической конференции. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 302-307 http://elibrary.ru/item.asp?id=26466282
  49. Рюмина Е.В. Рентные доходы и налоговые поступления от добычи полезных ископаемых // Восточный вектор России: шанс для «зеленой» экономики в природно-ресурсных регионах. – Иркутск: Изд-во Института географии им. В.Б. Сочавы СО РАН, 2016. С. 19-28.
  50. Lokosov V.V., Ryumina E.V., Ulyanov V.V. Regional Differentiation of Human Potential Indicators. // Electronic Scientific Economic Journal “R-Economy”, Volume 2, Issue 1, 2016. – pp. 28-37.
  51. Рюмина Е.В. Задачи экономических измерений процессов природопользования // Стратегическое планирование и развитие предприятий. Секция 2: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 119-122.
  52. Рюмина Е.В. Регионы добывающей и обрабатывающей отраслевой ориентации: экологические различия // Стратегическое планирование и развитие предприятий. Секция 4: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 168-171.
  53. Рюмина Е.В. Экологически скорректированные оценки доходов: введение в индекс человеческого развития // Стратегическое планирование и развитие предприятий. Секция 4: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 171-173.
  54. Рюмина Е.В. Экономическая оценка потребления природных ресурсов // Creşterea competitivităţii economice în contextul formării societăţii bazate pe cunoaştere : Conferinţa Ştiinţifică Internaţională, Ed. a 11-a, 28- 29 octombrie 2016 / col. red.: Galina Ulian [et al.]. – Chişinău : CEP USM, 2016. С. 177-184.
  55. Рюмина Е.В. Показатель доли негативных проб воздуха и воды: использование в социально-экономи-ческом анализе // Экономика и экология: вызовы XXI века. Международная научная конференция, посвященная 110-летию со дня рождения академи- ка Т. С. Хачатурова. Сборник тезисов / Под ред. С. Н. Бобылева, К. В. Папенова, И. Ю. Ховавко. — М.: Экономический факультет МГУ имени М. В. Ломоносова, 2016. С. 97-98
  56. Гордин И.В. Эколого-экономические оптимумы волонтерского включения населения в лесное хозяйство региона // Материалы V Всероссийской электронной научно-практической конференции Проблемы и перспективы развития социально-экономического потенциала российских регионов. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 285-292 http://elibrary.ru/item.asp?id=26466279
  57. Гордин И.В. Привлечение населения к благоустройству лесного и лесопаркового фонда регионов // Материалы V Всероссийской электронной научно-практической конференции Проблемы и перспективы развития социально-экономического потенциала российских регионов. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 180-187 http://elibrary.ru/item.asp?id=26466261
  58. Вольнов А.В., Гордин И.В. Объекты внебюджетного строительства в энерго-транспортной инфраструктуре региона // Материалы V Всероссийской электронной научно-практической конференции Проблемы и перспективы развития социально-экономического потенциала российских регионов. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 23-31 http://elibrary.ru/item.asp?id=26466222
  59. Новиков С.Л., Гордин И.В. Вклад общественности в монументальное благоустройство территорий // Материалы V Всероссийской электронной научно-практической конференции Проблемы и перспективы развития социально-экономического потенциала российских регионов. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 323-330 http://elibrary.ru/item.asp?id=26466287
  60. Новиков С.Л., Гордин И.В. Внебюджетные резервы формирования спортивно-рекреационной инфраструктуры // Материалы V Всероссийской электронной научно-практической конференции Проблемы и перспективы развития социально-экономического потенциала российских регионов. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 247-255 http://elibrary.ru/item.asp?id=26466271
  61. Гордин И.В. Просчеты стратегического планирования // Стратегическое в использовании рекреационных территорий планирование и развитие предприятий. Секция 4: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 53-55.
  62. Гордин И.В. Краудсорсинг в региональных стратегиях благоустройства территорий // Стратегическое планирование и развитие предприятий. Секция 4: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 50-52.
  63. Гордин И.В., Новиков С.Л. Опыт организации ухода за лесными массивами без бюджетных расходов муниципалитетов // Стратегическое планирование и развитие предприятий. Секция 3: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 46-48.
  64. Гордин И.В. Расширение и оптимизация московского лесопаркового комплекса // Стратегическое планирование и развитие предприятий. Секция 5: Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С. 52-54
  65.  Shvorin Artem Digit-wise Parallel Addition of Real Numbers in Overlaying Numeration Systems // Asian Academic Research Journal of Multidisciplinary. 2016, Volume 3, Issue 1 (January 2016). Online ISSN: 2319 – 2801
  66. Robert Glück, Andrei Klimov Introduction to Valentin Turchin's Cybernetic Foundation of Mathematics // A.V. Klimov and S.A. Romanenko (eds.), Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation (June 27 - July 1, 2016, Pereslavl-Zalessky). — Pereslavl Zalessky: Publishing House "University of Pereslavl", 2016. — Pages 26-31. — ISBN 978-5-901795-33-0 http://elibrary.ru/item.asp?id=26590738
  67. Фраленко В.П., Хачумов М.В., Шустова М.В. Инструментальные средства автоматического поиска и визуализации зон интереса в данных МРТ для поддержки принятия решений врачей-исследователей. – Искусственный интеллект и принятие решений. №4. 2016. С. 27-37.
  68. Абрамов Н.С., Емельянова Ю.Г., Талалаев А.А., Фраленко В.П., Хачумов В.М., Шишкин О.Г., Шустова М.В. Архитектурные и программные решения для мониторинга состояний подсистем космических аппаратов по телеметрическим данным. // Материалы V Национального Суперкомпьютерного Форума (НСКФ-2016) (Переславль-Залесский, 29 ноября – 02 декабря 2016 г.). – Переславль-Залесский: ИПС им. А.К. Айламазяна РАН, 2016. 18 с.
  69. Шворин А.Б. Табличный подход к реализации вычислений в кристаллографическом ускорителе // Материалы V Национального Суперкомпьютерного Форума (НСКФ-2016) (Переславль-Залесский, 29 ноября – 02 декабря 2016 г.). – Переславль-Залесский: ИПС им. А.К. Айламазяна РАН, 2016
  70. Шевчук Ю.В., Шевчук А.Ю.  Виртуальная машина «Etherbox32vm» // Программные системы: теория и приложения. Т.7. №4(31). 2016. С. 119–143 (http://psta.psiras.ru/read/psta2016_4_119-143.pdf)
  71. Непейвода Н.Н. О некоторых возможностях локальных вычислений в теории систем и базах данных. // Программные системы: теория и приложения. Т. 7. № 4(31). 2016. С. 145–160.
  72. Адамович А.И. Язык программирования Ajl: автоматическое динамическое распараллеливание для платформы JVM // Программные системы: теория и приложения. Т.7. №4(31). 2016. С. 83–117 (http://psta.psiras.ru/read/psta2016_4_83-117.pdf)
  73. Нгуен Зуй Тхань, Хачумов В.М. Модели и методы сопоставления изображений в задаче распознавания лиц. // Искусственный интеллект и принятие решений. 4. 2016. С. 5-14.
  74. Фраленко В.П., Хачумов М.В., Шустова М.В. Анализ инструментальных средств обработки и визуализации биомедицинских данных магнитно-резонансной томографии (обзор литературы). DOI: 10.12737/23880. – Вестник новых медицинских технологий. Т. 23. № 4. 2016. С. 307-315.
  75. Абрамов С.М. Метавычисления. Часть I. // Переславль-Залесский: «Университет города Переславля», 2016, 128 с. ISBN 978-5-901795-26-2. (http://site.u.pereslavl.ru/Studentu/uchebniki/Metavychisleniya/part_I)
  76. Абрамов С.М., Пармёнова Л.В. Метавычисления. Часть II. // Переславль-Залесский: «Университет города Переславля». 2016. 72 с. ISBN 978-5-901795-27-9. (http://site.u.pereslavl.ru/Studentu/uchebniki/Metavychisleniya/part_II)
  77. Абрамов С.М., Пармёнова Л.В. Метавычисления. Сборник задач. // Переславль-Залесский: «Университет города Переславля». 2016, 26 с. ISBN 978-5-901795-25-5. (http://site.u.pereslavl.ru/Studentu/uchebniki/Metavychisleniya/tasks)



Адрес: 152020, Ярославская обл., Переславский район,  село Веськово, ул. Петра Первого, д4 "а"
Тел./факс: +7 (48535) 98-064  E-mail: psi@botik.ru    Веб: http://www.psi-ras.ru

©
Институт программных систем имени А.К. Айламазяна РАН, Переславль-Залесский, Россия

 На главную