Публикации

Список наиболее важных публикаций за 2013 г.

Монографии

  1. "Юрий Борисович Румер. Физика, XX век". Авт.-сост. И.А. Крайнева, М.Ю. Михайлов, Т.Ю. Михайлова, З.А. Черкасская. Отв. ред. д.ф.-м.н. А.Г. Марчук. Новосибирск, изд-во "АРТА", серия "Наука Сибири в лицах", 2013, 592 C. Рецензенты : академик РАН А.В. Чаплик, члены-корреспонденты РАН В.А. Ламин и И.Б. Хриплович.

Центральные издания

  1. Идрисов Р.И., Одинцов С.П., Шилов Н.В.  Онтологический подход к проблеме классификации компьютерных языков: состояние и перспективы //  Системная информатика. - 2013. - № 1.  - С. 63-78.
  2. Першин Д.Ю., Щербаков А.С. и др. Абсолютное кинематическое позиционирование одночастотным фазовым ГНСС приемником, интегрированным с инерциальными датчиками // Известие вузов. Геодезия и аэрофотосъёмка, 4 / 1, 2013.
  3. Липский Н.В., Соловьев В.В. Построение блоков обработки исключений при декомпиляции Java-байткода // Системная информатика. — 2013. — № 2. — С. 1-22.
  4. Демин А.В. Обучающаяся модель управления хемотаксисом нематоды C. elegans // Нейроинформатика. – 2013. – Т. 7. – № 1. – С. 29-41.
  5. Демин А.В. Логико-вероятностные методы прогнозирования и распознавания нарушений динамики финансовых временных рядов // Молодой ученый. – 2013. – № 11 (58) – С. 41-46.
  6. Ошевская Е.С. — Сравнение эквивалентностей на полукубических множествах и пространствах // Математические труды, 2013, Т 16, №1, С. 150-188.
  7. А.Г.Марчук. Система для создания, поддержания и публикации электронных архивов // Российский электронный журнал "Электронные библиотеки", ISSN 1562-5419, Volume 16, Issue 2, 2013
    http://www.elbib.ru/index.phtml?page=elbib/rus/journal/2013/part2/M
  8. А.Г. Марчук, В.В. Целищев.О расхождении информационных онтологий с концептуализациями внешнего мира. №4 (59) Философия науки, 2013, с. 67-78.
  9. Платонов Ю.Г. Метод слабосвязанных бизнес-коммуникаций в гомогенных информационных системах // Современные проблемы науки и образования. – 2013. – № 1; URL: http://www.science-education.ru/107-8263 (дата обращения: 17.04.2013).
  10. Платонов Ю.Г., Артамонова Е.В. МЕТОД BUSINESS COMMUNITY И "ОБЛАЧНЫЕ" ВЫЧИСЛЕНИЯ (CLOUD COMPUTING) // Фундаментальные исследования. – 2013. – № 4 (часть 5). – С. 1089-1093.
  11. Дмитриева Е.А., Дмитриева Л.А., Куклина Г.Я. ОБЛАСТНАЯ ЛЕТНЯЯ ЕСТЕСТВЕННОНАУЧНАЯ ШКОЛА "ЛАБОРАТОРИЯ Z"// Вестник Новосибирского государственного университета. Серия: Педагогика. 2013. Т. 14. № 1. С. 153-159.
  12. Тихонова Т.И. Командная олимпиада для юных программистов // "Педагогические заметки". Том 6, выпуск 2. – Новосибирск: ИПИО РАО, 2013. – стр.
  13. Тихонова Т.И. Шаги к профессиональному мастерству // "Педагогические заметки". Том 6, выпуск 3. – Новосибирск: ИПИО РАО, 2013. – стр. (в печати)
  14. А.С. Коновалов, В.Л. Селиванов. Булевы алгебры регулярных языков. Алгебра и логика, 52, № 6 (2013). (В печати).
  15. Н.О.Гаранина. Общие знания в хорошо структурированных системах с абсолютной памятью. Моделирование и анализ информационных систем, Ярославский государственный университет, №6, 2013 (В печати).
  16. И.В.Марьясов, В.А.Непомнящий, А.В.Промский, Д.А.Кондратьев. Автоматическая верификация С-программ на основе смешанной аксиоматической семантики. Моделирование и анализ информационных систем, Ярославский государственный университет, №6, 2013 (В печати).
  17. D.A. Chkliaev, V.A. Nepomniaschy. Formal verification of programs for abstract register machines. Joint NCC&IIS Bulletin, Series Computer Science. 2013. Vol.35 (В печати).
  18. Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В.  Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. Санкт-Петербург, 2013. N 3. С. 349-383.
  19. Ануреев И.C. Предметно-ориентированные системы переходов: объектная модель и язык // Системная информатика. Новосибирск: ИСИ СО РАН, 2013. N 1. С. 1-34.
  20. Ануреев И.C. Онтологические системы переходов и их применение к семантике компьютерных языков // Известия Томского политехнического университета. 2013. Т. 322. N 5. С. 209-213.
  21. Ануреев И.С. На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов // Труды СПИИРАН. Санкт-Петербург,  2013. N 2. С. 255-276.
  22. Кондратьев Д.А., Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // Системная информатика. — Новосибирск: ИСИ СО РАН, 2013. — №. 1. — с. 79–96.
  23. Bodin E.V. Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 // System Informatics. - Novosibirsk. - 2013.- № 2. (To appear.).
  24. Grebeneva J.V., Shilov N.V., Garanina N.O. ALC for CLA: Towards Description Logic on Concept Lattices. Joint NCC&IIS Bulletin, Series Computer Science, Vol.35, 2013. (To appear)
  25.  Promsky A.V. Experiments on self-applicability in the C-light verification system. Joint NCC&IIS Bulletin, Series Computer Science, Vol.35, 2013 (To appear)
  26. Gribovskaya N. Causality versus True Concurrency in the Setting of Real-Time // Системная информатика. - Новосибирск: ИСИ СО РАН, 2013. - №. 1. — P. 71-100.
  27. Грибовская Н.С. Логическая унификация поведенческих эквивалентностей временных структур событий // Вестник НГУ, серия: математика, механика, информатика, 2013, том 13 №1, с. 32-47
  28. Вирбицкайте И.Б., Быстров А.В. Об "истинно-параллельной" и недетерминированной семантике временных элементарных сетевых систем // Вычислительные технологии. 2013, 18, № 6, с. 16-31.
  29. Загорулько Ю.А. О концепции интегрированной модели представления знаний // Известия Томского политехнического университета. – 2013. – Т. 322. – № 5. – С. 98-103.
  30. Сидорова Е.А. Разработка лингвистического обеспечения информационных систем на основе онтологических моделей знаний // Известия Томского политехнического университета. – 2013. – Т. 322. – № 5. – C. 143-147.
  31. Бименова Ж.Б., Джумамуратов Р.А., Сидорова Е.А. Подход к построению русско-казахского тезауруса по информатике // Вестник Бурятского государственного университета. – 2013. – № 9. – С. 53-62.
  32. Сидорова Е.А., Серый А.С. Подход к созданию исследовательской информационной системы с документально подтверждаемой информацией // Системная информатика. – 2013. – № 1. – С. 107-120.
  33. Шевченко И.В. Некоторые модели анализа и прогнозирования временных рядов // Системная информатика. – 2013. – № 2. – С. 23-40.
  34. Массель Л.В., Серый А.С., Сидорова Е.А. Подход к повышению уровня доверия к информации на основе интеграции текстовых и семантических моделей данных // Вестник Иркутского государственного технического университета. 2013. №11 (82). – С.29-36.
  35. Ю.А. Загорулько, Н.В. Саломатина, А.С. Серый, Е.А. Сидорова, В.К. Шестаков. Выявление нечетких дубликатов при автоматическом формировании тематических коллекций документов на основе web-публикаций // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2013. Том.11, выпуск 4 (в печати 16 стр.).
  36. И.Р. Ахмадеева, Ю.А. Загорулько, Н.В. Саломатина, А.С. Серый, Е.А. Сидорова, В.К. Шестаков. Подход к формированию тематических коллекций текстов на основе интернет-ресурсов // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2013. Том.11, выпуск 4 (в печати 12 стр.).
  37. Загорулько Ю.А., Кононенко И.С. Особенности разработки русско-английского тезауруса по компьютерной лингвистике // Слово и словарь= Vocabulum et vocabularium: сб. науч. тр. / ГрГУ им. Я. Купалы; Редкол.: Л. В. Рычкова (гл. ред.), В. В. Дубичинский, Т. Ройтер [и др.]. – Гродно: ГрГУ, 2013. – С. 146–148. ISBN 978-985-515-628-5.
  38. Батура Т.В. Модели и методы анализа компьютерных социальных сетей // Программные продукты и системы. 2013. № 3. С. 130–137.
  39. Копылова Н.С., Мурзин Ф.А., И.А. Курков И.А. Моделирование социальных процессов и мультиагентный подход // Программные продукты и системы. 2013. № 3. С. 120–126.
  40. Батура Т.В., Копылова Н.С., Мурзин Ф.А., Проскуряков А.В. Методы анализа данных из социальных сетей // Вестник НГУ. Серия: Информационные технологии. 2013. Т. 11. (В печати).
  41. Трофимов В.К., Храмова Т.В. Универсальное кодирование марковских источников неравнозначными символами // Дискретный анализ и исследование операций. Новосибирск, 2013. Том 20, № 3. – С. 71–83.
    http://elibrary.ru/item.asp?id=19527447
    http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=da&paperid=733&option_lang=rus
  42. Bulyonkov M.A., Filatkina N.N. Situation analysis for transport network development forecast in the MIX-PROSTOR system // Joint Bull. of NCC&IIS. Ser.: Comput. Sci. 2013. Vol. 34. (To appear).
  43. Batura T.V., Kopylova N.S., Murzin F.A., Proskuryakov A.V. Methods for analysis of data from social networks // Joint Bull. of NCC&IIS. Ser.: Comput. Sci. 2013. Vol. 34. (To appear).
  44.  Никитин С.И., Черемушкин Е.С. Разработка программы построения и кластеризации геномных профилей с использованием GPU. Системная информатика – электронный журнал.
    http://www.system-informatics.ru/ru/article/54
  45. Крайнева И.А., Марчук А.Г. Игорь Васильевич Поттосин. Из истории новосибирской школы программирования (к 80-летию со дня рождения). Вестник НГУ, Серия: математика, механика, информатика. 2013, Т.13.,№1. С. 2-12
  46. Крайнева И.А. Электронные архивы по истории науки. Вестник НГУ, Серия: история, филология. 2013, т.12, вып.1. с.76-83.
  47. Крайнева И.А. Электронные архивы Сибирского отделения РАН: проекты 2000-2012 гг. Отечественные архивы, 2013, ?2, с.36-43.
  48. Крайнева И.А. Фотодокументы как источник по истории сибирской науки: на материалах фотоархива СО РАН. Вестник ТГУ, Серия истории. В печати.
  49.  Крайнева И.А. Ю.Б. Румер и <Дело физиков> (1938 г.). Вестник НГУ, Серия: история, филология. В печати.

Зарубежные издания

  1. Kasyanov V.N. Kasyanova E. V. Information visualization based on graph models // Enterprise Information Systems, 2013, Vol. 7, N 2, 187-197.
  2. Kasyanov V.N. Sisal 3.2: functional language for scientific parallel programming // Enterprise Information Systems, 2013, Vol. 7, N 2, 227-236.
  3. Kasyanov V.N. Methods and tools for structural information visualization // WSEAS Transactions on Computers, 2013, Vol. 12, Issue 7, 349-359.
  4. A.V. Demin, E.E. Vityav, Learning in a virtual model of the C.elegans nematode for locomotion and chemotaxis // Biologically Inspired Cognitive Architectures (2013), Elsevier, 2013. (в печати).
  5. Oshevskaya E.S. — Equivalence Of The Category Of Precubical Sets And The Category Of Transitional Chu Spaces With Preservation Of The Openness Property Of Morphisms// Journal of Mathematical Sciences, 2013, Vol. 195, No. 6, pp 832-850.
  6. Zinaida Apanovich, Alexander Marchuk Experiments on Using LOD Cloud Datasets to Enrich the Content of a Scientific Knowledge Base //Knowledge Engineering and the Semantic Web. Communications in Computer and Information Science, Volume 394, 2013, pp 1-14
  7. Egor A. Nasibulov, A. N. Pravdivtsev, Alexandra V. Yurkovskaya, Nikita N. Lukzen, Hans-Martin Vieth, Konstantin L. Ivanov “Analysis of nutation patterns in Fourier-Transform NMR of non thermally polarized multispin systems”, Zeitschrift für Physikalische Chemie, 227, 927-953 (2013). DOI: 10.1524/zpch.2013.0397
  8. Selivanov V. Total Representations // Logical Methods in Computer Science, v.9, №2, 2013, p.1 - 30.
  9. Chkliaev D.A., Nepomniaschy V.A. Deductive Verification of the Sliding Window Protocol // Automatic Control and Computer Sciences. 2013. Vol. 47, № 7 (To appear).
  10. Anureev I.S. Deductive verification of telecommunication systems written in C // Automatic Control and Computer Sciences. 2013. Vol. 47, N 7. (To appear).
  11. Tarasyuk I.V. Equivalence relations for modular performance evaluation in dtsPBC // Mathematical Structures in Computer Science 23, 77 p., Cambridge University Press, Cambridge, UK, 2013.
    http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8918449
  12. Tarasyuk I.V., Macia S.H., Valero R.V. Discrete time stochastic Petri box calculus with immediate multiactions dtsiPBC // Electronic Notes in Theoretical Computer Science 296, p. 229-252, Elsevier, August 2013.
  13. M. Korovina and O. Kudinov. Positive Predicate Structures for Continuous Data. Journal of Mathematical Structures in Computer Science, 2013 (To appear).
  14. St Laurent G, Tackett MR, Nechkin S, Shtokalo D, Antonets D, Savva YA, Maloney R, Kapranov P, Lawrence CE, Reenan RA. Genome-wide analysis of A-to-I RNA editing by single-molecule sequencing in Drosophila // Nature Structural and Molecular Biology. 2013. Nov;20(11):1333-9. doi: 10.1038/nsmb.2675. Epub 2013 Sep 29.Sep 29.
  15. Georges St Laurent, Dmitry Shtokalo, Biao Dong, Michael R Tackett, Xiaoxuan Fan, Sandra Lazorthes, Estelle Nicolas, Nianli Sang, Timothy J Triche, Timothy A McCaffrey, Weidong Xiao and Philipp Kapranov. VlincRNAs controlled by retroviral elements are a hallmark of pluripotency and cancer // Genome Biology. 2013 July 22, 14:R73. doi:10.1186/gb-2013-14-7-r73.
  16. St Laurent G, Shtokalo D, Tackett MR, Yang Z, Vyatkin Y, Milos PM, Seilheimer B, McCaffrey TA, Kapranov P. On the importance of small changes in RNA expression // Methods. 2013 Apr 4. pii: S1046-2023(13)00096-0. doi: 10.1016/j.ymeth.2013.03.027

Материалы международных конференций

  1. Kasyanov V.N. Methods and tools for visualization of graphs and graph algorithms // Recent Advances in Systems, Control, Signal Processing and Informatics. Proceedings of the 2013 International Conference on Systems, Control, Signal Processing and Informatics (SCSI 2013), WSEAS Press, 2013, pp. 296-302.
  2. Касьянов В.Н., Касьянова Е.В. Средства поддержки применения теоретико-графовых методов в информатике и программировании // Материалы XIII Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2013. – Том.1. – С. 225 – 228.
  3. Касьянова Е.В., Касьянова С.Н. Язык программирования в старших классах школы // Материалы XIII Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2013. – Том.4. – С. 35 – 38.
  4. Касьянов В. Н. Визуализация информации на основе графовых моделей // Mathematical and informational technologies. МИТ 2013. Conference information. — Београд, Друштво математичара Косова и Метохиjе, 2013. — С. 97.
  5. Касьянов В. Н., Касьянова С. Н. Системы поддержки графов и графовых алгоритмов // Mathematical and informational technologies. МИТ 2013. Conference information. — Београд, Друштво математичара Косова и Метохиjе, 2013. — С. 97-98.
  6. Гордеев Д.С. Интерпретационный метод визуализации графовых алгоритмов // ГрафиКон'2013: 23-я Международная конференция по компьютерной графике и зрению. - Владивосток, Институт автоматики и процессов управления ДВО РАН, 2013 - с. 157-160.
  7. Pershine D., Scherbakhov A. Improvement position accuracy for one frequency GNSS receivers by means of inertial sensors // 20th Saint Petersburg International Conference on Integrated Navigation Systems, 27-29 May 2013, Saint Petersburg, Russia (ISBN 978-5-91995-020-2, 386 P.),  P. 236-239.
  8. Першин Д.Ю., Щербаков А.С. Улучшение точности местоположения для одночастотных приёмников ГНСС при помощи инерциальных датчиков // XX Санкт-Петербургская международная конференция по интегрированным навигационным системам, 27-29 мая 2013, Санкт-Петербург, Россия (ISBN 978-5-91995-018-9, 319 стр.), С. 184-188.
  9. Щербаков А.С., Першин Д.Ю. Улучшение точности местоположения одночастотных ГНСС приёмников при помощи инерциальных датчиков // IX Международные научный конгресс и выставка ИНТЕРЭКСПО ГЕО-СИБИРЬ-2013, Новосибирск, 2013, Т. 3, С. 3-7.
  10. Shelekhov V. Validation of Rules for Deductive Verification of Predicate Programs // Verification and Assurance (VeriSure 2013), Workshop associated with 25th International Conference on Computer-Aided Verification (CAV-2013). – Saint Petersburg, Russia, 2013, 7p.
  11. Шелехов В.И. Язык и технология автоматного программирования для разработки систем управления // Тр. 15-й межд. конф. "Проблемы управления и моделирования в сложных системах". — Самара, Самарский научный центр РАН, 2013. – С. 554-564.
  12. D.Ponomaryov and D. Vlasov. A Sort-binding Method of Combining Logics. Proc. 4th World Congress on Universal Logic, UNILOG'13, April 3-7, Rio de Janeiro, Brazil.
  13. D.Ponomaryov and M.Soutchanski. Progression of Decomposed Situation Calculus Theories. Proc. 27th conference on Artificial Intelligence, AAAI'13, July 14-18, Bellevue WA, USA.
  14. D.Ponomaryov and D. Vlasov. Concept Definability and Interpolation in Enriched Models of EL-TBoxes. Proc. 26th International Workshop on Description Logics, DL'2013, July 23-26, Ulm, Germany.
  15. Демин А.В., Витяев Е.Е. Обучающаяся система управления поведением нематоды C.Elegans // Труды VII Международной научно-практической конференции "Интегрированные модели и мягкие вычисления в искусственном интеллекте" (Коломна, 20-22 мая 2013). – 2013. – Т.3. – С. 988-997.
  16. Demin A.V., Vityaev E.E. Learning of locomotion and chemotaxis in 3D model of the C.Elegans nematode // 5th International Young Scientists School System Biology & Bioinformatics. – Novosibirsk, 2013. – p. 30.
  17. Демин А.В. Обучающаяся модель нейронных контуров управления локомоцией и хемотаксисом нематоды C. elegans // Материалы II Международной научной Интернет-конференции "Математическое и компьютерное моделирование в биологии и химии. Перспективы развития". – Казань, 2013. – Т. 1. – С. 59–66.
  18. Dubtsov R., Oshevskaya E., Virbitskaite I. — A Domain View of Timed Behaviors. // Proceedings of the 22nd International Workshop CS&P 2013, September, 25-27, Warsaw, Poland, pp 111-121.
  19. Ошевская Е.С. — О подклассах направленных топологических пространств // Тезисы Международной конференции "Дни геометрии в Новосибирске", 28-31 августа 2013, стр. 67-68.
  20. Городняя Л.В., Марчук А.Г. Развитие моделей параллелизма в языках высокого уровня // В сборнике Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма"
    http://agora.guru.ru/abrau2013
  21. Насибулов Е.А. “Теория импульсного ЭПР радикальных пар, регистрируемого по выходу продуктов реакции ”// Материалы 51 международной научно-практической конференции, 12-18 апереля, 2013, Новосибирск  – с. 78.
  22. Egor Nasibulov, Leonid Kulik, Robert Kaptein, Konstantin Ivanov, “Theory of pulsed reactiuon yield detected magnetic resonance”, 13th International Symposium on Spin and Magnetic Field Effects in Chemistry and Related Phenomena, 22-26 April, 2013, Bag Hofgastein, Austria
  23. Victor Selivanov, Anton Konovalov. Boolean algebras of regular omega-languages // Proc. LATA 2013, Lecture Notes in Computer Science, Vol. 7810, 2013, 504-515.
  24. Selivanova S., Selivanov V. Computing solution operators of boundary-value problems for some linear hyperbolic systems of PDEs (extended abstract) // Abstracts of Gregynog Workshop ”Continuity, Computability, Constructivity. From Logic to Algorithms”, 2013, Swansea University, p. 19-28.
  25. Selivanov V., Selivanova S. Computability of solution operators of boundary-value problems for symmetric hyperbolic systems of PDEs // Proc. 9-th Int. Congress ISAAC, Krakow Pedagogical University p. 185-186, 2013.
  26. Garanina N., Sidorova E., Bodin E. A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology // Proc. 22nd Intern.Workshop on Concurrency, Specification and Programming, Warsaw, Poland, 2013. CEUR Workshop Proceedings, v.1032, p. 122-132
  27. Garanina N.O.  Common Knowledge in Well-structured Perfect Recall Systems // Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications” Yekaterinburg, Russia, 2013, p.42-49.
  28. Julia V. Grebeneva, Nikolay V. Shilov, Natalia O. Garanina. Towards Description Logic on Concept Lattices // Proc. Tenth International Conference on Concept Lattices and Their Applications, La Rochelle, France, 2013. CEUR Workshop Proceedings, v.1062, p. 287-292
  29. Maryasov I.V., Nepomniaschy V.A., Promsky A.V. and Kondratyev D.A. Automatic C Program Verification Based on Mixed Axiomatic Semantics // Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications” Yekaterinburg, Russia, 2013, p. 50-59.
  30. Vizovitin N.V., Nepomniaschy V.A. and Stenenko A.A. Verification of UCM-Specifications of Distributed Systems Using Coloured Petri Nets // Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications” Yekaterinburg, Russia, 2013, p. 70-80.
  31. Ануреев И.С. На пути к технологии разработки средств дедуктивной верификации программ // Материалы Международной научно-практической конференции "Инструменты и методы анализа программ" (TMPA 2013), Кострома, 2013. С. 66-77.
  32. Ануреев И.С., Атучин М.М. Технология формально-логического проектирования и прототипирования интеллектуальных систем // Материалы III Международной научно-технической конференции "Открытые семантические технологии проектирования интеллектуальных систем", Минск, 2013. С. 43-48.
  33. Satekbayeva A., Shilov N. Some results on Multiagent Algorithms in Social Software Context // Proc. 14th Intern.Symposium on Advanced Intelligent Systems, Daejeon, Korea, 2013.
  34. S. Selivanova and V. Selivanov. Computability of the solution operators of symmetric hyperbolic systems. Труды международной конференции "Дифференциальные уравнения. Функциональные пространства. Теория приближений", Институт математики СО РАН, с.  453, 2013.
  35. Шилов Н.В., Бернштейн А.Ю., Шилова С.О. Применение недетерминированных монадических схем программ к исследованию свойств программных логик с неподвижными точками. Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ, Новосибирск, 11–15 ноября 2013 г., С. 58.
  36. Башеева А. О., Гребенёва Ю. В., Сатекбаева А. Ж., Шилов Н. В.. Расширения конечных решеток для модальных и дескрипционных логик. Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ, Новосибирск, 11–15 ноября 2013 г., С. 58.
  37. Korovina M. V. Computing combinatorial types of Multi-State Pfaffian Dynamics // Proc. Conf. “Continuity, Computability, Constructivity” (CCC 2013), Swansea University, 2013, pp. 10-13.
  38. Roman S. Dubtsov, Elena S. Oshevskaya, Irina Virbitskaite. A Domain View of Timed Behaviors // Proc. 22nd Intern. Workshop on Concurrency, Specification and Programming, Warsaw, Poland, 2013. CEUR Workshop Proceedings, v.1032, p. 111-121.
  39. Yury Zagorulko, Galina Zagorulko. Ontology-based program shell for building and editing multilingual thesauri of subject domains // Proceedings of 12th IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques – SoMeT 2013. Budapest, Hungary, September 22-24, 2013. IEEE Hungary SectIon, 2013. – P. 99–106.
  40. Загорулько Ю.А. Технологии разработки интеллектуальных систем, основанные на интегрированной модели представления знаний // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013): материалы III Междунар. научн.-техн. конф. (Минск, 21-23 февраля 2013 г.) / редкол. : В. В. Голенков (отв. ред.). – Минск: БГУИР, 2013. –С. 31–42.
  41. Загорулько Г.Б., Загорулько Ю.А. Подход к интеграции разнородных методов поддержки принятия решений для сложных задач // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013): материалы III Междунар. научн.-техн. конф. (Минск, 21-23 февраля 2013 г.) / редкол. : В. В. Голенков (отв. ред.) . – Минск : БГУИР, 2013. –С. 265–268.
  42. Сидорова Е.А., Загорулько М.Ю. Программный инструментарий разработки лингвистических ресурсов // Труды III Международной научно-технической конференции "Открытые семантические технологии проектирования интеллектуальных систем" OSTIS-2013. –Минск: БГУИР, 2013. –С.159-164.
  43. Соколова Е. Г., Кононенко И. С. Какие "ситуации" обозначаются русскими глаголами "отличить — отличать" // Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции "Диалог". Вып. 12 (19): В 2 т. – Т.1: Основная программа конференции. — М.: Изд-во РГГУ, 2013. – С.736-747.
  44. Shtokalo D., St.Laurent G., Tackett M., McCaffrey T., Vyatkin Y., Ri M. and Kapranov P. Very long intergenic non-coding rna (vlinc RNA) discovery in NGS data // Theses for international conference “High-throughput sequencing in genomics”, Novosibirsk July 21-25, 2013, – P. 71.
  45. Фадеев С.И., Лихошвай В.А., Королёв В.К., Штокало Д.Н. Эффективный метод численного исследования автономных систем в моделях матричного синтеза // Тезисы докладов Международной конференции "Дифференциальные уравнения. Функциональные пространства. Теория приближений", 2013, г. Новосибирск, – С. 425.
  46. Valeev T., Yevshin I., Kolpakov F.  BioUML Genome Browser. // Virtual Biology. – 2013. – Vol. 1. – doi:10.12704/vb/e8
  47. Kutumova, E., Ryabova, A., Valeev, T., Kolpakov, F. BioUML plug-in for nonlinear parameter estimation using multiple experimental data. // Virtual Biology. – 2013. – Vol. 1. – doi:10.12704/vb/e10
  48. Michael Vella, Andrey Palyanov, Padraig Gleeson, Sergey Khayrulin. Integration of predictive-corrective incompressible SPH and Hodgkin-Huxley based models in the OpenWorm in silico model of C. elegans. // Proc. 22-nd Annual Meeting for Computational Neuroscience CNS 2013, 13-18 July, Paris, France. – P. 134.
  49. Пальянов А.Ю. "Building computer simulation of C. elegans nematode to investigate its nervous system: results and perspectives" // Пятая Международная школа молодых ученых "Системная биология и биоинформатика", Новосибирск, 2013.
  50. Apanovich Zinaida, Marchuk Alexander. Experiments on using the LOD cloud datasets to enrich the content of a scientific knowledge base P.Klinov and D.Mouromtsev (Eds.) KESW 2013, CCIS 394 pp. Springer Verlag Berlin Heidelberg 2013. – P. 1-14.
  51. Apanovich Zinaida “Using the LOD Cloud Datasets to enrich the content of a scientific knowledge base”//International conference “Mathematics&Infiormation technologies: research and education (MITRE-2013). Chisinau, 2013. – P.103.
  52. Апанович З.В.  Методы построения жгутов ребер для улучшения понимаемости информации //Проблемы управления и моделирования в сложных системах: Труды XV Международной конференции. Самара, 2013. – C. 439-445.
  53. Zinaida V. Apanovich and Alexander. G. Marchuk. Experiments on using the LOD cloud datasets to enrich the content of a scientific knowledge base// Book of abstracts of the conference Knowledge Engineering and Semantic Web Conference-2013” Saint Petersburg ITMO, 2013. – P. 33-34.

Материалы российских конференций

  1. Демин А.В., Витяев Е.Е. Реляционный подход к извлечению знаний и его применения // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ-2013). – Новосибирск, 2013. – Т. 1. – С. 122–130.
  2. Демин А.В. Обучение локомоции и хемотаксису виртуальной модели нематоды C. elegans // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ-2013). – Новосибирск, 2013. – Т. 1. – С. 131–139.
  3. Ошевская Е.С. — О топологических свойствах полукубических множеств // Тезисы XIV всероссийская научно-практическая конференция молодых ученых, аспирантов и студентов в г. Нерюнгри, с международным участием, 11-13 апреля 2013, стр. 35-36
  4. А.Г.Марчук. На пути к большим RDF данным // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской научной конференции RCDL'2013, Ярославль, Россия, 14-17 октября 2013 года. - Ярославль: ЯрГУ, 2013. С. 51-56
  5. З.В. Апанович, А.Г.Марчук. Проблемы использования данных из облака LOD для обогащения контента научных баз данных и знаний // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской научной конференции RCDL'2013, Ярославль, Россия, 14-17 октября 2013 года. - Ярославль: ЯрГУ, 2013. С. 300-305.
  6. М.М. Лаврентьев, В.С. Бартош, И.В. Белаго, Т.С. Васючкова, Л.В. Городняя, М.А. Держо, Н.А. Иванчева Новые проблемы и перспективы повышения икт-компетентности специалистов //Труды XX Всероссийской научно-методической конференции Телематика'2013, том 1, секция А, 24-27 июня, Санкт-Петербург, с. 108
  7. Городняя Л.В., Мигинский Д.С., Семич Д.Ф., Валеев Т.Ф. Вопросы интеграции результатов учебно-методической деятельности ИТ-специалистов. //Труды XX Всероссийской научно-методической конференции Телематика'2013, том 1, секция А, 24-27 июня, Санкт-Петербург, с. 107
  8. Городняя Л.В. Парадигма параллельного программирования: модели, языки, системы. // Седьмая Сибирская конференция по параллельным и высокопроизводительным вычислениям. (12-14 ноября 2013 года) – Томск: Изд-во Том. ун-та, 2013. 17-18 с
  9. Garanina N.O.  Common Knowledge in Well-structured Perfect Recall Systems // Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications” Yekaterinburg, Russia, 2013, p.42-49.
  10. Maryasov I.V., Nepomniaschy V.A., Promsky A.V. and Kondratyev D.A. Automatic C Program Verification Based on Mixed Axiomatic Semantics // Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications” Yekaterinburg, Russia, 2013, p. 50-59.
  11. Vizovitin N.V., Nepomniaschy V.A. and Stenenko A.A. Verification of UCM-Specifications of Distributed Systems Using Coloured Petri Nets // Proc. Fourth Workshop “Program Semantics, Specification and Verification: Theory and Applications” Yekaterinburg, Russia, 2013, p. 70-80
  12. Ануреев И.С., Атучин М.М. Технология формально-логического проектирования и прототипирования интеллектуальных систем // Материалы III Международной научно-технической конференции "Открытые семантические технологии проектирования интеллектуальных систем", Минск, 2013. С. 43-48.
  13. Дяченко О.О., Загорулько Ю.А. Подход к Коллективной Разработке Онтологий и Баз Знаний // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ–2013), 8-10 октября 2013 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. –Т1. – C. 141–149.
  14. Загорулько Г.Б., Шмаков Е.С. Онтологический подход к разработке интеллектуальных СППР на основе прецедентов // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ–2013), 8-10 октября 2013 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. –Т. 1. – C. 157–164.
  15. Сидорова Е.А., Серый А.С. Организация работы информационной системы в условиях неполной достоверности информации и ненадежных источников данных. // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ–13). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. – Т. 2. – C. 126-135.
  16. Шевченко И.В. Прогнозирование временных рядов: поиск паттернов, алгоритм BrAD и критерий когерентности // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ–2013), 8-10 октября 2013 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. –Т 2. – C. 222–226.
  17. Полковников А.М. Интеллектуальная поддержка пользователей информационной системы на основе Байесовского подхода // Материалы Всероссийской конференции с международным участием "Знания – Онтологии – Теории" (ЗОНТ–2013), 8-10 октября 2013 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. – Т2. – C. 80–88.
  18. Ю.А. Загорулько, Г. Б. Загорулько, В.К. Шестаков, И.С. Кононенко. Концепция и архитектура тематического интеллектуального научного интернет-ресурса // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской научной конференции RCDL’2013, Ярославль, Россия, 14-17 октября 2013 г. – Ярославль: ЯрГУ, 2013. – C.57–62.
  19. Ю.В. Рубцова. Метод построения и анализа корпуса коротких текстов для задачи классификации отзывов // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской научной конференции RCDL’2013, Ярославль, Россия, 14-17 октября 2013 г. – Ярославль: ЯрГУ, 2013. –С. 269-275.
  20. Загорулько Ю.А. Подход к построению тематических интеллектуальных научных интернет-ресурсов // Информационные и математические технологии в науке и управлении / Труды XVIII Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении". Часть III. – Иркутск: ИСЭМ СО РАН, 2013. –С. 31–36.
  21. Загорулько Г.Б. Обеспечение информационной поддержки разработчиков СППР // Информационные и математические технологии в науке и управлении / Труды XVIII Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении". Часть III. – Иркутск: ИСЭМ СО РАН, 2013. –С. 137–142.
  22. Полковников А.М. Организация интеллектуальной поддержки пользователей медицинских информационных систем // Информационные и математические технологии в науке и управлении / Труды XVIII Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении". Часть III. – Иркутск: ИСЭМ СО РАН, 2013. –С. 74–79.
  23. Сидорова Е.А. Фактографический анализ текста в контексте интеллектуальных информационных систем // Тр. XVIII Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении". – Иркутск: Институт систем энергетики им Л.А. Мелентьева СО РАН. – 2013. – Т.3. – С79-85.
  24. Сидорова Е.А. Подход к разработке корпуса текстов как источника документально подтверждаемой информации // Материалы 6-й Всероссийской мультиконференции по проблемам управления (МКПУ-2013). – Ростов-на-Дону: Издательство Южного Федерального Университета, 2013. – Т. 1. – С. 85-89.
  25. Серый А.С. Организация хранения и доступа к данным, имеющим документальное подтверждение // Материалы 6-й Всероссийской мультиконференции по проблемам управления (МКПУ-2013). –Ростов-на-Дону: Издательство Южного Федерального Университета, 2013. – Т. 1. – С. 151-156.
  26. Серый А.С. Разработка методов и средств контроля достоверности и актуальности фактографического наполнения информационных систем. // Труды XV Всероссийской научной конференции RCDL'2013, Ярославль: ЯрГУ. 2013. – С. 391-398.
  27. Трофимов В.К., Храмова Т.В. Об избыточности кодирования сообщений неизвестного стационарного источника, при различных длительностях передаваемых сигналов // Материалы российской научно-техн. конф. "Современные проблемы телекоммуникаций". Новосибирск, 2013. – С. 150–153.
  28. З.В. Апанович, А.Г.Марчук Подходы к использованию данных из облака LOD для обогащения контента научных баз данных и знаний // Материалы Всероссийской конференции с международным участием "Знания - Онтологии - Теории" (ЗОНТ-2013), Том 1, Институт математики им. С.Л.Соболева, Новосибирск, 2013, С. 12-20.

Свидетельства о государственной регистрации интеллектуальной собственности

В 2013 г. ИСИ получены следующие свидетельства о государственной регистрации:

  1. Свидетельство о государственной регистрации базы данных № 2013620433 от 25.03.2013.

"Электронный словарь WikiGRAPP по теории графов и ее применениям в информатике и программировании"
Авторы: Касьянов В.Н., Евстигнеев В.А., Касьянова Е.В.
Правообладатель: Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения РАН

  1. Свидетельство о государственной регистрации базы данных № 2013620463 от 01.04.2013.

"Электронная энциклопедия WEGA теоретико-графовых алгоритмов решения задач информатики и программирования".
Авторы: Касьянов В.Н., Евстигнеев В.А., Касьянова Е.В.
Правообладатель: Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения РАН

  1. Свидетельство о государственной регистрации программы для ЭВМ № 2013617949  от 27.08.2013 г.

"Верификатор SDL спецификаций"
Авторы: Непомнящий В.А., Быстров А.В., Чурина Т.Г., Машуков М.Ю., Малиновский А.И., Стененко А.А.
Правообладатель: Федеральное государственное бюджетное учреждение науки Институт систем информатики им. А.П. Ершова Сибирского отделения РАН

Учебно – методические издания
(Новосибирский государственный университет)

  1. Касьянов В.Н., Касьянова Е.В. Практикум по программированию. – Новосибирск: НГУ, 2013. – 198 С. – ISBN 978-5-4437-0167-7

Местные издания

Препринты

  1. Черненок С.А., Непомнящий В.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри. Новосибирск, Препринт ИСИ СО РАН, № 171, 2013, 61 с.
  2. Шелехов В.И. Предикатная программа вставки в АВЛ-дерево. — Новосибирск, 2013. — 22с. — (Препр. / ИСИ СО РАН; ).
    http://persons.iis.nsk.su/files/persons/pages/avl_insert.pdf
  3. Карнаухов Н.С., Першин Д.Ю., Шелехов В.И. Язык предикатного программирования P. Версия 0.12  — Новосибирск, 2013. — 52с.
    http://persons.iis.nsk.su/files/persons/pages/plang12.pdf
  4. Тумуров Э.Г., Шелехов В.И. Постановка задачи для гибридной реактивной системы на примере задачи управления движением квадрокоптером по заданной траектории.
    http://persons.iis.nsk.su/files/persons/pages/quad2.pdf