Исследовательский центр мультипроцессорных систем (ИЦМС)
|
|
Тел/факс: +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 года
- Абрамов С. М. О проблемах высшего образования: заметки
практика. // Журнал «Ректор ВУЗа». 2016. № 5.
С. 12–15.
- Стародумов И.О., Павлюк
Е.В., Абрамов С.М., Клюев
Л.В.,
Галенко П.К., Александров
Д.В. Эффективность распараллеливания
алгоритма решения уравнения PFG с использованием библиотеки
PETIGA. // Вестник Удмуртского университета.
Математика, Механика, Компьютерные науки. 2016. Т. 26.
Выпуск 3.
С. 445–450
http://elibrary.ru/item.asp?id=26726589
- Абрамов Н.С., Талалаев А.А., Фраленко В.П.
Интеллектуальный анализ телеметрической информации для
диагностики оборудования космического аппарата. // Информационные
технологии и вычислительные системы. № 1.
2016. С. 64-75
http://elibrary.ru/item.asp?id=25862670
- Хачумов В.М. Аппаратные платформы и
математическое обеспечение для бортовых систем управления малых
летательных аппаратов. // Научное обозрение. № 7.
2016. С. 114-122
http://elibrary.ru/item.asp?id=26145902
- Талалаев А.А., Фраленко В.П., Хачумов М.В.
Исследовательский программно-аппаратный комплекс
высокопроизводительной обработки и визуализации медицинских
данных. // Современные наукоемкие технологии. № 7.
2016. С. 67-73
http://elibrary.ru/item.asp?id=26342120
- Лончаков Ю.В., Бурдаев М.Н. Старт в вечность
(к 55-летию полета в космос Ю.А. Гагарина). // Пилотируемые
полеты в космос. № 1. 2016. С. 4-13
http://elibrary.ru/item.asp?id=25983871
- Агроник А.Ю., Талалаев А.А., Фраленко В.П.,
Хачумов В.М., Шишкин О.Г. Анализ систем проектирования
технологических цепочек и процессов. // Онтология проектирования.
№ 3. 2016. С. 255-269.
DOI: 10.18287/2223-9537-2016-6-3-255-269
http://elibrary.ru/item.asp?id=26727930
- Агроник А.Ю., Фраленко В.П.
Библиотека
алгоритмов высокопроизводительной обработки данных от системы
технического зрения беспилотного летательного аппарата. // Программные
системы: теория и приложения: электронный научный журнал.
T. 7. № 2(29).
2016. С. 61-71
http://elibrary.ru/item.asp?id=26236793
- Латышев А.В., Ромакин В.А., Хачумов В.М.,
Хачумов М.В. Методы и модели автоматического синтеза
технологических процессов, основанного на знаниях. // Программные
системы: теория и приложения: электронный научный журнал.
T. 7. № 3(30).
2016. С. 25-43
http://elibrary.ru/item.asp?id=26717431
- Фраленко В.П.
Универсальный графический
интерфейс визуального проектирования параллельных и
параллельно-конвейерных приложений. // Программные
системы: теория и приложения: электронный научный журнал.
Т. 7. № 3(30).
2016. С. 45-70
http://elibrary.ru/item.asp?id=26717432
- Абрамов Н.С., Заднепровский В.Ф., Фраленко
В.П., Шустова М.В. Организация информационной защиты центра
высокопроизводительной обработки данных нефтегазового
месторождения. // Сборник тезисов научно-практической конференции
«Суперкомпьютерные технологии в нефтегазовой отрасли.
Математические методы, программное и аппаратное обеспечение»,
2016 (HPC-OILGAS-2016) (Москва, НОЦ «Суперкомпьютерные
технологии МГУ», 10-12 февраля 2016 г.).
- Бурдаев М.Н. Полёт в будущее. Звёздный путь
Гагарина. // Общественно-деловая газета 20/20. №1(26). 23-24
марта 2016. Санкт-Петербург.
- Khachumov V., Lebedev A. High-performance
image processing. // Nauka i studia, Vol. 3,
2016, pp. 404-408.
- Фраленко В.П., Заднепровский В.Ф., Шустова
М.В., Воля А.В., Власов К.А., Нилов А.Н. Обеспечение
информационной безопасности путем использования динамически
конфигурируемых средств защиты на автоматной основе. – Доклад на
VIII Всероссийской научно-технической конференции «Актуальные
проблемы ракетно-космического приборостроения и информационных
технологий» (1-3 июня 2016 г., Москва), 2016.
- Шишкин О.Г., Талалаев А.А., Калинин Н.Г.,
Донцов С.А. Интеллектуальный мониторинг бортовой системы
электроснабжения космического аппарата. – Доклад на VIII
Всероссийской научно-технической конференции «Актуальные
проблемы ракетно-космического приборостроения и информационных
технологий» (1-3 июня 2016 г., Москва), 2016.
- Фраленко В.П. Интеллектуальные инструменты в
сфере обработки трафика в особо важных вычислительных сетях. –
Материалы конференции «Фундаментальная наука – Армии» в рамках
Второго международного военно-технического форума «АРМИЯ-2016»
(Московская область, г. Кубинка, 8 сентября 2016 г.).
- Хачумов В.М. Программно-инструментальный
комплекс для интеллектуальной обработки информации в
командно-измерительных системах авиакосмического назначения. –
Материалы конференции «Фундаментальная наука – Армии» в рамках
Второго международного военно-технического форума «АРМИЯ-2016»
(Московская область, г. Кубинка, 8 сентября
2016 г.).
- 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.
- Емельянова Ю.Г., Хачумов В.М. Концепция
архитектуры автоматизированного рабочего места для
дистанционного мониторинга арктической зоны. – Труды IV
Всероссийской научной конференции молодых ученых с международным
участием «Информатика, управление и системный анализ»
(ИУСА-2016) (Тверь, Тверской государственный технический
университет (ТвГТУ), 8-11 июня 2016 г.).
2016. С. 39-53.
- Хачумов В.М. Разрядно-параллельный способ
реализации CORDIC-алгоритмов. // Материалы
XI Международной конференции по неравновесным процессам в соплах
и струях (NPNJ’2016), 25–31 мая 2016 г.,
Алушта. – М.: Изд-во МАИ. 2016. С. 468-471.
- Емельянова Ю.Г. Разработка методов
когнитивного отображения состояний динамических систем реального
времени. // Искусственный интеллект и принятие решений. № 3.
2016. С. 21-30
http://elibrary.ru/item.asp?id=27180832
- Хачумов В.М. Организация конвейерных вычислений при
потоковой обработке данных. // Материалы Всероссийской
научно-технической конференции молодых ученых, аспирантов и
студентов «Интеллектуальные системы, управление и мехатроника −
2016» (ИСУМ 2016) (Севастополь, 19-21 мая 2016 г.). 2016.
С. 518-519.
- Хачумов В.М., Емельянова Ю.Г., Ватутин В.М., Донцов С.А.,
Ивашина А.В. Анализ баз данных ДЗЗ для решения задач мониторинга
Арктической зоны. // Доклад на VIII Всероссийской
научно-технической конференции «Актуальные проблемы
ракетно-космического приборостроения и информационных технологий»
(1-3 июня 2016 г., Москва), 2016.
- Роганов В.А., Осипов В.И., Матвеев Г.А. Решение задачи
Дирихле для уравнения Пуассона методом Гаусса-Зейделя на языке
параллельного программирования Т++ // Программные системы:
теория и приложения. 2016.
№ 7:3(30).
С. 99-107. URL:
http://psta.psiras.ru/read/psta2016_3_99-107.pdf
http://elibrary.ru/item.asp?id=26717435
- Абрамов С.М., Амелькин
А.С., Цирлин А.М., Чичковский
А.А. "Суперкомпьютер
должен кипеть" // Материалы 4-й Всероссийской
научно-технической конференции "Суперкомпьютерные технологии"
(СКТ-2016). 19-24 сентября 2016 г., Дивноморское, Геленджик. −
Ростов-на-Дону: Изд-во Южного федерального унивеситета. Т. 1.
С. 10-16. ISBN 978-5-9275-2039-8 (Том 1).
- Хачумов В.М. Вычисление математических функций на основе
разрядно-параллельных схем. // Информационные
технологии и вычислительные системы. № 3.
2016. С. 26-44
http://elibrary.ru/item.asp?id=27022651
- Хачумов В.М. Построение оптимизированных медицинских
конвейерных технологических процессов. – Труды XVIII
Международной конференции DAMID/RCDL’2016 «Аналитика и
управление данными в областях с интенсивным использованием
данных» (Ершово, 11-14 октября 2016 г.).
– М.: ФИЦ ИУ РАН. 2016.
С. 420-423.
- Нгуен З.Т., Фомин М.Б., Хачумов В.М. Оценка точности
восстановления координат при моделировании трехмерных объектов с
использованием стереоизображений // Девятнадцатая международная
научная конференция «Распределенные компьютерные и
телекоммуникационные сети: управление, вычисление, связь
(DCCN-2016)» (21–25 оября 2016 г., Москва, Россия).
- Шустова М.В., Фраленко В.П. Экспериментальные исследования
по выделению и визуализации стволовых клеток на снимках МРТ //
III Международная научно-практическая конференция «Проблемы
современной медицины: актуальные вопросы» (г. Красноярск, 11
ноября 2016 г.)
- Непейвода А.Н., Брауэр Л. Э. Я. Недостоверность принципов
логики - Логические исследования № 1 (22) 2016, стр.171-176.
ISSN 2074-1472
http://elibrary.ru/item.asp?id=26493326
- 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
- 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
- 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
- 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
- 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
- Н. Живчикова, С. Бурчу, Ю. Шевчук Виртуальный
маршрутизатор 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/)
- 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
- 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
- Адамович А.И., Климов А.В. Об опыте использования среды
метапрограммирования Eclipse/TMF для конструирования
специализированных языков" //В сборнике: Научный сервис в сети
Интернет труды XVIII Всероссийской научной конференции. ИПМ им.
М.В. Келдыша РАН. Москва, 2016. С. 3-8
http://elibrary.ru/item.asp?id=27268713
- 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
- 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
- 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
- Рюмина Е.В. Экономическая эффективность
экологического вектора модернизации // Повышение
конкурентоспособности отраслей экономики как направление выхода
из экономического кризиса: сбjhybr материалов Международной
научно-практической
конференции – Чебоксары: Изд-во
Чувашского государственного университета, 2016. С. 45-51
http://elibrary.ru/item.asp?id=26339786
- Гурман В.И., Рюмина Е.В. Поиск траектории экологически
устойчивого развития региона // В сборнике: Проблемы и
перспективы развития социально-экономического потенциала
российских регионов материалы V Всероссийской электронной
научно-практической конференции. – Чебоксары: ООО «Издательский
дом «Пегас», 2016. С. 292-295
http://elibrary.ru/item.asp?id=26466280
- Рюмина Е.В. Построение индекса качества населения для
российских регионов // В сборнике: Проблемы и перспективы
развития социально-экономического потенциала российских регионов
материалы V Всероссийской электронной научно-практической
конференции. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 467-472
http://elibrary.ru/item.asp?id=26466317
- Рюмина Е.В. Рентные доходы как экономический измеритель
потребления природных ресурсов // В сборнике: Проблемы и
перспективы развития социально-экономического потенциала
российских регионов материалы V Всероссийской электронной
научно-практической конференции.. – Чебоксары: ООО «Издательский
дом «Пегас», 2016. С. 265-270
http://elibrary.ru/item.asp?id=26466274
- Рюмина Е.В. Корректировка показателя ВВП в Индексе
человеческого развития // В сборнике: Проблемы и перспективы
развития социально-экономического потенциала российских регионов
материалы V Всероссийской электронной научно-практической
конференции.. – Чебоксары: ООО «Издательский дом «Пегас», 2016.
С. 295-301
http://elibrary.ru/item.asp?id=26466281
- Рюмина Е.В. Эколого-экономический показатель качества
экономического роста // В сборнике: Проблемы и перспективы
развития социально-экономического потенциала российских регионов
материалы V Всероссийской электронной научно-практической
конференции. – Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 302-307
http://elibrary.ru/item.asp?id=26466282
- Рюмина Е.В. Рентные доходы и налоговые поступления от добычи
полезных ископаемых // Восточный вектор России: шанс для
«зеленой» экономики в природно-ресурсных регионах. – Иркутск:
Изд-во Института географии им. В.Б. Сочавы СО РАН, 2016. С.
19-28.
- 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.
- Рюмина Е.В. Задачи экономических измерений процессов
природопользования // Стратегическое планирование и развитие
предприятий. Секция 2: Материалы Семнадцатого всероссийского
симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б.
Клейнера. – М.: ЦЭМИ РАН, 2016. С. 119-122.
- Рюмина Е.В. Регионы добывающей и обрабатывающей отраслевой
ориентации: экологические различия // Стратегическое
планирование и развитие предприятий. Секция 4: Материалы
Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. /
Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С.
168-171.
- Рюмина Е.В. Экологически скорректированные оценки доходов:
введение в индекс человеческого развития // Стратегическое
планирование и развитие предприятий. Секция 4: Материалы
Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. /
Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С.
171-173.
- Рюмина Е.В. Экономическая оценка потребления природных
ресурсов // 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.
- Рюмина Е.В. Показатель доли негативных проб воздуха и воды:
использование в социально-экономи-ческом анализе // Экономика и
экология: вызовы XXI века. Международная научная конференция,
посвященная 110-летию со дня рождения академи- ка Т. С.
Хачатурова. Сборник тезисов / Под ред. С. Н. Бобылева, К. В.
Папенова, И. Ю. Ховавко. — М.: Экономический факультет МГУ имени
М. В. Ломоносова, 2016. С. 97-98
- Гордин И.В. Эколого-экономические
оптимумы волонтерского включения населения в лесное хозяйство
региона // Материалы V Всероссийской электронной
научно-практической конференции Проблемы и перспективы развития
социально-экономического потенциала российских регионов. –
Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 285-292
http://elibrary.ru/item.asp?id=26466279
- Гордин И.В. Привлечение населения к
благоустройству лесного и лесопаркового фонда регионов //
Материалы V Всероссийской электронной научно-практической
конференции Проблемы и перспективы развития
социально-экономического потенциала российских регионов. –
Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 180-187
http://elibrary.ru/item.asp?id=26466261
- Вольнов А.В., Гордин И.В. Объекты
внебюджетного строительства в энерго-транспортной инфраструктуре
региона // Материалы V Всероссийской электронной
научно-практической конференции Проблемы и перспективы развития
социально-экономического потенциала российских регионов. –
Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 23-31
http://elibrary.ru/item.asp?id=26466222
- Новиков С.Л., Гордин И.В. Вклад
общественности в монументальное благоустройство территорий //
Материалы V Всероссийской электронной научно-практической
конференции Проблемы и перспективы развития
социально-экономического потенциала российских регионов. –
Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 323-330
http://elibrary.ru/item.asp?id=26466287
- Новиков С.Л., Гордин И.В. Внебюджетные
резервы формирования спортивно-рекреационной инфраструктуры //
Материалы V Всероссийской электронной научно-практической
конференции Проблемы и перспективы развития
социально-экономического потенциала российских регионов. –
Чебоксары: ООО «Издательский дом «Пегас», 2016. С. 247-255
http://elibrary.ru/item.asp?id=26466271
- Гордин И.В. Просчеты стратегического
планирования // Стратегическое в использовании рекреационных
территорий планирование и развитие предприятий. Секция 4:
Материалы Семнадцатого всероссийского симпозиума, 12-13 апреля
2016 г. / Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН,
2016. С. 53-55.
- Гордин И.В. Краудсорсинг в региональных
стратегиях благоустройства территорий // Стратегическое
планирование и развитие предприятий. Секция 4: Материалы
Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. /
Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С.
50-52.
- Гордин И.В., Новиков С.Л. Опыт
организации ухода за лесными массивами без бюджетных расходов
муниципалитетов // Стратегическое планирование и развитие
предприятий. Секция 3: Материалы Семнадцатого всероссийского
симпозиума, 12-13 апреля 2016 г. / Под ред. чл.-корр. РАН Г.Б.
Клейнера. – М.: ЦЭМИ РАН, 2016. С. 46-48.
- Гордин И.В. Расширение и оптимизация
московского лесопаркового комплекса // Стратегическое
планирование и развитие предприятий. Секция 5: Материалы
Семнадцатого всероссийского симпозиума, 12-13 апреля 2016 г. /
Под ред. чл.-корр. РАН Г.Б. Клейнера. – М.: ЦЭМИ РАН, 2016. С.
52-54
- 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
- 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
- Фраленко В.П., Хачумов М.В., Шустова М.В. Инструментальные
средства автоматического поиска и визуализации зон интереса в
данных МРТ для поддержки принятия решений врачей-исследователей.
– Искусственный интеллект и принятие решений. №4. 2016.
С. 27-37.
- Абрамов Н.С., Емельянова Ю.Г., Талалаев А.А., Фраленко В.П.,
Хачумов В.М., Шишкин О.Г., Шустова М.В.
Архитектурные и программные решения для мониторинга состояний
подсистем космических аппаратов по телеметрическим данным.
// Материалы V Национального Суперкомпьютерного Форума (НСКФ-2016)
(Переславль-Залесский, 29 ноября – 02 декабря 2016 г.). –
Переславль-Залесский: ИПС им. А.К. Айламазяна РАН, 2016. 18 с.
- Шворин А.Б. Табличный подход к реализации вычислений в
кристаллографическом ускорителе // Материалы V Национального
Суперкомпьютерного Форума (НСКФ-2016) (Переславль-Залесский, 29
ноября – 02 декабря 2016 г.). – Переславль-Залесский: ИПС им.
А.К. Айламазяна РАН, 2016
- Шевчук Ю.В., Шевчук
А.Ю. Виртуальная машина
«Etherbox32vm» // Программные системы: теория и приложения.
Т.7. №4(31). 2016.
С. 119–143 (http://psta.psiras.ru/read/psta2016_4_119-143.pdf)
- Непейвода Н.Н. О
некоторых возможностях локальных вычислений в теории систем и
базах данных. // Программные системы: теория и приложения.
Т. 7. № 4(31). 2016.
С. 145–160.
- Адамович А.И. Язык
программирования Ajl: автоматическое динамическое
распараллеливание для платформы JVM // Программные системы:
теория и приложения. Т.7. №4(31). 2016.
С. 83–117 (http://psta.psiras.ru/read/psta2016_4_83-117.pdf)
- Нгуен Зуй Тхань, Хачумов В.М. Модели и методы сопоставления
изображений в задаче распознавания лиц. // Искусственный
интеллект и принятие решений. № 4. 2016.
С. 5-14.
- Фраленко В.П., Хачумов М.В., Шустова М.В. Анализ
инструментальных средств обработки и визуализации биомедицинских
данных магнитно-резонансной томографии (обзор литературы). DOI:
10.12737/23880. – Вестник новых медицинских технологий. Т. 23.
№ 4. 2016.
С. 307-315.
- Абрамов С.М. Метавычисления. Часть I.
// Переславль-Залесский: «Университет города Переславля», 2016, 128
с. ISBN 978-5-901795-26-2. (http://site.u.pereslavl.ru/Studentu/uchebniki/Metavychisleniya/part_I)
- Абрамов С.М., Пармёнова
Л.В. Метавычисления. Часть II. // Переславль-Залесский: «Университет города Переславля». 2016. 72
с. ISBN 978-5-901795-27-9. (http://site.u.pereslavl.ru/Studentu/uchebniki/Metavychisleniya/part_II)
- Абрамов С.М., Пармёнова
Л.В. Метавычисления. Сборник задач. // Переславль-Залесский: «Университет города Переславля». 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
© Институт программных систем имени А.К.
Айламазяна РАН, Переславль-Залесский, Россия
|
На
главную |
|