Публикации

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

Монографии

  1. Батура Т.В., Бакиева А.М. Методы и системы автоматического реферирования текстов. – Новосибирск: ИПЦ НГУ, 2019. ISBN 978-5-4437-0974-1.

Статьи в журналах

  1. Abdikerimova G.B., Murzin F.A., Bychkov A.L., Wei Xinyu, Ryabchikova E.I., Ayazbayev T. The analysis of textural images on the basis of orthogonal transformations // Journal of Theoretical and Applied Information Technology. – 2019. – Vol. 96, No. 1. – P. 16–22. (Scopus).
  2. Akhmetova A.Zh., Batura T.V., La L.L., Murzin F.A. Data analysis based on Latane theory and analysis of events changing in social networks // Journal of Theoretical and Applied Information Technology. – 2019. – Vol. 97, No. 16. – P. 4309–4319. (Scopus).
  3. Anureev I.S. Operational semantics of Reflex // System Informatics.  – 2019. – No. 14. – P. 1–10.
  4. Garanina N.O., Anureev I.S., Zyubin V.E. Constructing verification-oriented domain-specific process ontologies // Ibid. – P. 19-30.
  5. Kondratyev D.A., Promsky A.V. Towards automated error localization in C programs with loops // Ibid. – P. 31-44.
  6. Dementyeva E.V., Medvedev S.P., Kovalenko V.R., Vyatkin Y.V., Kretov E.I., Slotvitsky M.M, Shtokalo D.N, Pokushalov E.A, Zakian S.M. Applying patient-specific induced pluripotent stem cells to create a model of hypertrophic cardiomyopathy // Biochemistry (Moscow). – 2019. – No. 84(3). – P. 291–298. DOI: 10.1134/S0006297919030118. (Scopus, Web of Science).
  7. Demyanchuk A., Pushkina E., Russkikh N., Shtokalo D., Mishinov S. Hydrocephalus verification on brain magnetic resonance images with deep convolutional neural networks and "transfer learning" technique // Computer Vision and Pattern Recognition. – URL: https://arxiv.org/abs/1909.10473.
  8. Filatov A.Yu., Mikheev V.V. Quantitative evaluation of thread-local garbage collection efficiency for Java // Programming and Computer Software. – 2019. – Vol. 45, No. 1. – P. 1–11.
  9. Garanina N., Anureev I., Borovikova O. Verification oriented process ontology // Automatic Control and Computer Sciences. – 2019. – Vol. 53, No. 7. – P. 584–594. (WoS, Scopus).
  10. Kondratyev D.A., Maryasov I.V., Nepomniaschy V.A. The automation of C program verification by the symbolic method of loop invariant elimination // Ibid. – P. 653-662. (WoS, Scopus).
  11. Shilov N.V., Kondratyev D.A., Anureev I.S., Bodin E.V., Promsky A.V. Platform-independent specification and verification of the standard mathematical square root function // Ibid. – P. 595-616. (WoS, Scopus).
  12. Kantureyeva M.A., Tussupov J.A., Murzin F.A., Uspanova A.I., Abisheva A.A. Application of cellular automata for modeling and review of methods of movement of a group of people // Journal of Theoretical and Applied Information Technology. – 2019. – Vol. 97, No. 15. – P. 4000-4010. (Scopus).
  13. Kasyanov V.N., Kasyanova E.V., Zolotuhin T.A. Visualization of data-flow programs // Lecture Notes in Electrical Engineering. – 2019. – Vol. 574. – P. 119-124.
  14. Kasyanov V.N., Zolotuhin T.A., Gordeev D.S. Visualization methods and algorithms for graph representation of functional programs // Programming and Computer Software. –   2019. – Vol. 45, No. 4. – P. 156–162.
  15. Khenzykhenova F., Lipnina E., Lokhov D., Danukalova G., Osipova E., Shchetnikov A., Semenei E.Y., Tumurov E. The area surrounding the world-famous geoarchaeological site mal'ta (Baikal Siberia): new data on the chronology, archaeology, and fauna // Quaternary International. – 2019. – Vol.509. – P. 17–29.
  16. Khenzykhenova F., Yoshida K., Sato T., Shchetnikov A., Osipova E., Danukalova G., Ivanova V., Simakova A., Filinov I., Semenei E.Y., Namzalova O., Tumurov E., Malikov D. The late Pleistocene bokhan site (Fore-Baikal area, Russia) and its palaeoenvironmental reconstruction // Quaternary International. – 2019. – Vol. 534. – P. 197‑210.
  17. Lyakh T.V., Zyubin V.E., Garanina N.O. Automated verification of control software in cyber-physical systems with plant simulators // Optoelectronics, Instrumentation and Data Processing. – 2019. – Vol. 55, No. 2. – P. 189–197. (Scopus).
  18. Mantsivoda A.V., Ponomaryov D.K. A formalization of document models with semantic modeling // The Bulletin of Irkutsk State University. Series “Mathematics”.  – 2019. – Vol. 27. – P. 36 – 54. DOI: 10.26516/1997-7670.2019.27.36. (Scopus, РИНЦ).
  19. Mantsivoda A.V., Ponomaryov D.K. Towards semantic document modeling of business processes // The Bulletin of Irkutsk State University. Series “Mathematics”. – 2019. – Vol. 29. – P. 52 – 67.  DOI:10.26516/1997-7670.2019.29.52. (Scopus, РИНЦ).
  20. Rybakov V.V. Branching time agents' logic, satisfiability problem by rules in reduced form // Cибирские электронные математические известия.  – 2019. – Т. 16. – С.1158-1170. (WoS).
  21. Tarasyuk I., Buchholz P. Logical characterization of fluid equivalences // Ibid. – P. 826-862. (WoS).
  22. Rybakov V.V. Chance discovery and analysis of data via multi-agent logics // Procedia Computer Science. – 2019. – Vol. 159. – P. 884–891. DOI: 10.1016/j.procs.2019.09.248.
  23. Sherstyuk V.V., Davletshina G.I., Vyatkin Y.V., Shtokalo D.N., Vlasov V.V., Zakian S.M. A New MicroRNA Cluster involved in the reprogramming to a pluripotent state // Acta Naturae. – 2019 – No. 11(2). – P. 92–97. DOI: 10.32607/20758251-2019-11-2-92-97. (Web of Science, Scopus).
  24. Tarasyuk I.V. Discrete time stochastic and deterministic Petri box calculus. – Computing Research Repository. – 2019. DOI: 10.48550/arXiv.1905.00456.
  25. Абдикеримова Г.Б., Бычков А.Л., Вей Синьюй, Мурзин Ф.А., Русских Н.Е., Рябчикова Е.И., Хайрулин С.С.  Методы обнаружения и выделения областей на текстурных изображениях // Вестник СибГУТИ. – Новосибирск, 2019. – №3. – С. 5–13. (ВАК).
  26. Батура Т.В., Ефимова Л.В., Еримбетова А.С., Касекеева А.Б., Мурзин Ф.А. Временные и пространственные понятия в текстах на естественном языке и их исследование // Там же. – С. 27–35. (ВАК).
  27. Загорулько Г.Б., Массель Л.В. Разработка интеллектуальной СППР по предотвращению угроз энергетической безопасности // Там же. – C.70-79. (ВАК).
  28. Сидорова Е.А. Комплексный подход к исследованию лексических характеристик текста // Там же. – С. 80–88. (ВАК).
  29. Шелехов В.И. Проектирование сертифицированного компилятора предикатных программ // Там же. – С. 89–95.
  30. Алаев П.Е., Селиванов В.Л.. Поля алгебраических чисел, вычислимые за полиномиальное время // Алгебра и логика.  – 2019. – № 6. – С. 673-705. (WoS, Scopus).
  31. Ануреев И.С. Операционная семантика аннотированных Reflex программ // Моделирование и анализ информационных систем. – 2019. – Т. 26, № 4. – С. 475-487.
  32. Апанович З.В. Использование матриц смежности для визуализации больших графов // Электронные библиотеки. – 2019. – Т. 22, № 1. – С. 2–36.
  33. Апанович З.В. Сопоставление авторов и публикаций в разноязычных библиографических базах знаний // Научный сервис в сети Интернет. – 2019. – № 21. – С. 52–62.
  34. Гаранина Н.О., Ануреев И.С., Боровикова О.И., Зюбин В.Е. Методы специализации онтологии процессов, ориентированной на верификацию // Моделирование и анализ информационных систем. – 2019. – Т. 26, №4.  – С. 534–549. DOI:10.18255/1818-1015-2019-4-534-549. (ВАК).
  35. Демин А.В. Адаптивное управление роботами с произвольно заданной модульной конструкцией // Известия Иркутского государственного университета. Серия «Математика». – Иркутск, 2019. – Т. 29. – С. 10-21. (Web of Science, Scopus).
  36. Загорулько Г.Б. Модель комплексной поддержки разработки интеллектуальных СППР // Онтология проектирования. – 2019. – Т. 9, № 4(34). – С. 462-479. DOI:  10.18287/2223-9537-2019-9-4-462-479. (ВАК).
  37. Загорулько Ю.А., Гаранина Н.О.,  Боровикова О.И., Доманов О.А. Моделирование аргументации в научно-популярном дискурсе с использованием онтологий // Там же. – С.496–509. DOI: 10.18287/2223-9537-2019-9-4-496-509. (ВАК).
  38. Иванов Р.А., Валеев Т.Ф. Автоматический рефакторинг Java-кода с использованием Stream API // Вестник НГУ. Серия «Информационные технологии». – 2019. – Т. 17, №2. –C. 49–60. DOI: 10.25205/1818-7900-2019-17-2-49-60. (ВАК).
  39. Кантуреева М.А., Тусупов Д.А., Мурзин Ф.А. Клеткалы автоматтар базасындағы адамдар тобының қозғалысын модельдеу (Моделирование движения группы людей на базе клеточных автоматов) // М. Тынышбаев атындағы Қазақ көлік және коммуникациялар академиясының ХАБАРШЫСЫ  (Вестник Казахской Академии транспорта и коммуникаций им. Тынышбаева). – 2019. – №2. – С. 168-175. (ККСОН).
  40. Касьянов В.Н., Золотухин Т.А., Гордеев Д.С. Методы и алгоритмы визуализации графовых представлений функциональных программ // Программирование. – 2019. – № 4, С. 19-27.
  41. Кондратьев Д.А., Промский А.В. Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах // Моделирование и анализ информационных систем. – 2019. – Т. 26. № 4. – С. 502–519. DOI:  10.18255/1818-1015-2019-4-502-519.
  42. Крайнева И.А. Женщины в программировании: власть и тщета гендера // Идеи и идеалы. – 2019. – Т. 11, № 3-2. – С. 350–374. DOI: 10.17212/2075-0862-2019-11.3.2-350-374. (ВАК).
  43. Крайнева И.А., Некрылов С.А. О педагогическом наследии А. А. Ляпунова // Вестник Томского государственного университета. Серия «История». – 2019. – № 58. – С. 178–184. DOI: 10.17223/19988613/58/25. (ВАК).
  44. Лях Т.В., Зюбин В.Е., Гаранина Н.О. Автоматическая верификация алгоритмов управления в кибер-физических системах на программных имитаторах // Автометрия. – 2019. – Т. 55, № 2. – С. 103–113.
  45. Пименов И., Саломатина Н., Сидорова Е. Анализ тематических кластеров текстовых коллекций и исследование временной динамики тем (на материалах конференций по argument mining) // Системная информатика. – 2019. – № 15. – С. 65–78.
  46. Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // Там же. – С. 45–64.
  47. Трофимов В.К. Оценка избыточности универсального кодирования произвольного множества источников без памяти // Вестник СибГУТИ. – 2019. – №4. – С. 56–61. (ВАК).
  48. Филатов А.Ю., Михеев В.В. Сравнительная оценка эффективности потоково-локальной сборки мусора для языка Java // Программирование. – 2019. – №1. – С. 3–14.

Российские конференции и семинары

  1. Anureev I. S. Operational semantics of Reflex // Abstracts of 10th Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2019). – Novosibirsk, Russia. – 2019. – P. 20.
  2. Garanina N.O., Anureev I.S., Zyubin V.E. Constructing verification-oriented domain-specific process ontologies // Ibid. – P. 22.
  3. Kondratyev D. A., Promsky A. V. Towards automated error localization in C programs with loops // Ibid. – P. 24.
  4. Zagorulko Y., Garanina N., Sery A., Domanov O. Ontology-based approach to organizing the support for the analysis of argumentation in popular science discourse // 17th Russian Conf. on Communications in Computer and Information Science. Proc. RCAI 2019. – Springer, 2019. –Vol.1093. – P. 348-362. (Scopus).
  5. Kononenko I., Sidorova E. Development of the Lexicon of Argumentation Indicators // Ibid. –  P. 154–168. DOI: https://doi.org/10.1007/978-3-030-30763-9_13. (Scopus).
  6. Еримбетова А.С., Мурзин Ф.А. Разработка и анализ технологий определения  релевантности текста поисковому запросу // Информационные технологии и системы [Электронный ресурс]: Труды Седьмой Всероссийской научной конференции с международным участием (ИТИС-2019). – Ханты-Мансийск, Россия. – 2019. – С. 152-156.
  7. Загорулько Г.Б. Методология разработки интеллектуальных СППР и ее применение для задач медицинской диагностики // Там же. – С. 211-216.
  8. Загорулько Ю.А., Боровикова О.И. Проблемы построения онтологий научных предметных областей на основе паттернов онтологического проектирования // Там же. – С. 157-161.
  9. Молородов Ю.И., Загорулько Г.Б. Архитектура и особенности функционирования системы доступа к удаленным хранилищам данных // Там же. – С. 198-204.
  10. Касьянов В.Н. Веб-системы поддержки теоретико-графовых методов в программировании // Преподавание информационных технологий в Российской Федерации: Материалы Семнадцатой открытой Всероссийской конференции. – Новосибирск: ИПЦ НГУ, 2019. – С. 342-345.
  11. Касьянов В.Н., Касьянова Е.В. Курс по теории вычислений // Там же. – С. 256-257.
  12. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Держо М.А., Иванчева Н.А., Белаго И.В., Бартош В.С. Начальная профориентация студентов ФИТ НГУ // Там же. – С. 180-183.
  13. Кондратьев Д. А. На пути к автоматической верификации C-программ с вложенными циклами в системе C-lightVer // Тезисы XX Всеросс. конф. молодых ученых по математическому моделированию и информационным технологиям. – Новосибирск: ИВТ СО РАН, 2019. –– С. 62.
  14. Пальянов А.Ю., Пальянова Н.В. «О перспективах исследования и компьютерного моделирования нейронных механизмов управления движением в организме C. elegans» (приглашенный пленарный доклад) // Тезисы Всеросс. науч. конф. с международным участием «Декабрьские чтения в Томске». – Томск. –  2019. – С. 6.
  15. Тихонова Т.И. Информатика и ИКТ: чему и как учить в школе // Сборник трудов ежегодной Всероссийской научно-методической конференции "Повышение мотивации обучающихся к изучению математических, естественнонаучных, инженерных и гуманитарных дисциплин". – Новосибирск. –  2019. – С. 129-131.

Международные конференции и семинары

  1. Abdikerimova G.B., Bychkov A.L., Xinyu W., Murzin F.A., Russkikh N.E., Ryabchikova E.I., Khayrulin S.S.  Algorithms and software tools for analysis of textural images // Наукоемкое программное обеспечение: труды семинара 12-й Междунар. Ершовской конф. по информатике. ПСИ'19. – Новосибирск: ИПЦ НГУ, 2019. – P. 6 –13.
  2. Абрамов Е.П., Махажанова У.Т., Мурзин Ф.А. Принятие решений в области кредитования на основе размытой логики Заде. // Ibid.  – С. 20-25.
  3. Батура Т.В., Бакиева А.М. Система автореферирования научно-технических текстов // Там же. – C. 47-52.
  4. Батура Т.В., Ефимова Л.В., Еримбетова А.С., Касекеева А.Б., Мурзин Ф.А. Анализ временных и пространственных понятий, встречающихся в текстах на естественном языке. // Там же. – С.53-58.
  5. Загорулько Г.Б., Массель Л.В. Разработка интеллектуальной СППР по угрозам энергетической безопасности // Там же. – С.97-103.
  6. Лаврентьев М.М., Городняя Л.В., Держо М.А., Мигинский Д.С. Вопрос карьерных перспектив в области ИТ // Там же. – С. 111-120.
  7. Сидорова Е. А. Инструментарий для исследования лексических характеристик текста // Там же. – С.138-144.
  8. Шелехов В.И. Разработка сертифицированного компилятора предикатных программ // Там же. – С. 145- 150.
  9. Akhmadeeva I., Kononenko I., Salomatina N., Sidorova E.  Indicator patterns as features for argument mining // Internat. Multi-Conference on Engineering, Computer and Information Sciences SIBIRCON. – Novosibirsk. – 2019. – P. 886-891. DOI: 10.1109/SIBIRCON48586.2019.8958295.
  10. Garanina N., Borovikova O. Ontological approach to checking event consistency for a set of temporal requirements // Internat. Multi-Conference on Engineering, Computer and Information Sciences SIBIRCON. – Novosibirsk. – 2019. – P. 922—927. DOI: 10.1109/SIBIRCON48586.2019.8958119.
  11. Kondratyev D., Promsky A. Correctness of proof strategy for the Sisal program verification // Internat. Multi-Conference on Engineering, Computer and Information Sciences. SIBIRCON. – Novosibirsk. – 2019. – P. 641–646. DOI: 10.1109/SIBIRCON48586.2019.8958225.
  12. Lyakh T.V., Garanina N.O., Anureev I.S., Rozov A.S., Zyubin V.E. Four-component model for dynamic verification of process-oriented control software for cyber-physical systems // Ibid.—P. 466–471. DOI: 10.1109/SIBIRCON48586.2019.8958127.
  13. Palyanov A.Yu., Palyanova N.V. On prerequisites for revealing C. elegans backward crawling mechanism through computer simulation of key involved subsystems // Ibid. – P. 944 – 949. DOI:10.1109/SIBIRCON48586.2019.8958238. (Web of Science).
  14. Rozov A.S., Anureev I.S., Garanina N.O., Liakh T.V., Zyubin V.E. Towards safe embedded systems: IndustrialC translational semantics for AVR microcontrollers // Ibid. – P. 857–861. DOI: 10.1109/SIBIRCON48586.2019.8958258. (Scopus, РИНЦ).
  15. Trofimov V.K., Khramova T.V. Universal encoding of Moore and Mealy sources with non-equivalent symbols //  International Multi-Conference on Engineering, Computer and Information Sciences. Proc. SIBIRCON. –  2019. – P. 749–751. DOI: 10.1109/SIBIRCON48586.2019.8958278. (Web of Science).
  16. Akhmetova A.Zh., La L.L., Murzin F.A. Rescaled range analysis for the social networks // 5th ACM Internat. Conf. on Engineering and MIS 2019. ACM Series: Proc. – P. 1–4. DOI: 10.1145/3330431.3330456. (Scopus).
  17. Andreyeva T. A. Automation of correctness checking in education // Educational Informatics Workshop. 12th A.P. Ershov Informatics Conference. Proc. PSI’2019. – Novosibirsk. – 2019. – P. 6. – https://psi.nsc.ru/proceedings.
  18. Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E. Towards safe cyber-physical systems: the Reflex language and its transformational semantics // International Siberian Conference on Control and Communications. Proc. SIBCON 2019. – 2019. – P. 1–6. (Scopus).
  19. Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S.P. Two-step deductive verification of control software using Reflex // A.P. Ershov Informatics Conference. Proc. PSI’2019. – Novosibirsk, Russia. – 2019. – P. 50–63. (WoS, Scopus, Q2).
  20. Bozhenkova E., Virbitskaite I., Popova-Zeugmann  L. Causality-based testing in time Petri Nets // Ibid. – P. 252-261. (WoS, Scopus).
  21. Emelyanov P., Krishna M., Kulkarni V., Nandy S.K., Ponomaryov D., Raha S. Parallel Factorization of Boolean Polynomials // A.P. Ershov Informatics Conference. Proc. PSI’2019. – Novosibirsk, Russia. – 2019. – P. 80-94.  DOI: 10.1007/978-3-030-37487-7_7. (Scopus).
  22. Kondratyev D., Maryasov I., Nepomniaschy V. Towards automatic deductive verification of C programs over linear arrays // A.P. Ershov Informatics Conference. Proc. PSI’2019. – Novosibirsk, Russia. – 2019. – P. 232-242. (WoS, Scopus).
  23. Korovina M., Kudinov O. Computable topology for reliable computations // A.P. Ershov Informatics Conference. Proc. PSI’2019. – Novosibirsk, Russia. – 2019. – P. 185-198. (WoS, Scopus).
  24. Zagorulko Y., Borovikova O. Providing the sharing of heterogeneous ontology design patterns in the development of the ontologies of scientific subject // 12th Internat. A.P. Ershov Informatics Conference. Perspectives of System Informatics. Proc. – Novosibirsk, Russia. – 2019. – P. 95-105. DOI: 10.1007/978-3-030-37487-7_8 (Scopus).
  25. Brauße F., Korovin K., Korovina M., Müller N. Th. A CDCL-style calculus for solving non-linear constraints // Frontiers of Combining Systems.12th Internat. Symp. Proc. FroCoS 2019. – London, UK. – 2019. – P. 131–148. – (Lect. Notes Comput. Sci.; 11715).  (WoS, Scopus).
  26. Brauße F., Korovina M., Müller N. Th. Joint approximations for multivariate real functions // Internat. Conf. on Computability, Continuity, Constuctivity. Proc. CCC 2019.  – Ljubljana, Slovenia. – 2019. – P. 13–15. 
  27. Demin A.V. Adaptive locomotion control system for robots with arbitrarily modular design // 10th Annual Internat. Conf. on Biologically Inspired Cognitive Architectures. Post-proc. BICA 2019. – Seattle, Wa, USA. – 2019.
  28. Garanina N., Anureev I., Sidorova E., Zyubin V., Gorlatch S. An ontology-based approach to support formal verification of concurrent systems // 8th Internat. Symp. “From Data to Models and Back (DataMod)”. Pre-proc. – Porto, Portugal. – 2019.
  29. Hoyrup M., Rojas C., Selivanov V., Stull D. Computability on quasi-Polish spaces // DCFS 2019. Proc. – P. 171 – 183. – (Lect. Notes Comput. Sci.; 11612). (WoS, Scopus).
  30. Kasyanov V. Academician Andrei Ershov and Graphs in Programming // 15th Internat. Asian School-Seminar “Optimization Problems of Complex Systems”. Proc. OPCS. – IEEE. – 2019. – P. 73-77.
  31. Kasyanova E.V., Kasyanov V.N. Methods and systems for supporting graphs in computer science // 9th Internat. Congress on Industrial and Applied Mathematics: Program & Abstract book. Proc. ICIAM 2019. – Valencia, Spain. – 2019. – P. 455–456.
  32. Kon M., Levichev A. Parallelization analysis of space-time bundles and applications in particle physics // VII Международная конференция «Знания – Онтологии – Теории». Proc. KONT-2019. – Новосибирск: ИМ СО РАН, 2019. – С. 385–392.
  33. Levichev A., Palyanov A. Standard charges of quarks determination in terms of the multi-level model // Ibid. – С. 222–226.
  34. Апанович З.В. Источники данных и задача кросс-языкового устранения неоднозначностей // Там же. – С. 9–15.
  35. Kondratyev D., Promsky A. Automated Sisal program verification with ACL2 // A.P. Ershov Informatics Conference "Perspectives of System Informatics". Preliminary proc. PSI’19. – 2019. – P. 172-185.
  36. Kondratyev D., Promsky A. Proof strategy for automated Sisal program verification // 51st Internat. Conf. on Software Technology: Methods and Tools. Proc. – Berlin: Springer, 2019. – P. 113–120. – (Lect. Notes Comput. Sci.; 11771). DOI:10.1007/978-3-030-29852-4_9. (WoS).
  37. Krayneva I., Troshkov S. Archival Information Systems: New opportunities for historians //. 12th Internat. A.P. Ershov Informatics Conference. Perspectives of System Informatics. Proc. –  Novosibirsk, Russia. – 2019. – P. 41–49.
  38. Ogawa M., Selivanov V. On classes of regular languages related to monotone WQO’s // Conf. DCFS 2019. Proc. –  Berlin: Springer, 2019. – P. 235 – 247. – (Lect. Notes Comput. Sci.; 11612). (WoS, Scopus).
  39. Ponomaryov D. A polynomial time delta-decomposition algorithm for positive DNFs // 14th International Computer Science Symposium in Russia. Proc. CSR'2019. – Berlin: Springer, 2019. – P. 325-336. – (Lect. Notes Comput. Sci.; 11532). DOI:10.1007/978-3-030-19955-5_28. (Scopus, РИНЦ).
  40. Selivanov V. Wadge hierarchy in quasi-Polish spaces // Abstracts of the workshop “Computability, Continuity, Constructivity: from Logic to Algorithms”. – 2019. – P. 30-31.
  41. Tussupova M., Murzin F.A., Yerimbetova A.S., Tazhibayeva S. Grammatical categories determination with the use of machine learning // Материалы Международной науч. конф. «Теоретические и прикладные вопросы математики, механики и информатики», приуроченной к 70-летию д.ф.-м.н., проф. Рамазанова М.И. – Караганда, Казахстан. –2019. – С. 119-120.
  42. Ахметова А.Ж., Ла Л.Л., Мурзин Ф.А. Анализ данных из социальных сетей и теория социального влияния Латане. // Там же. – С.123-124.
  43. Ахмадеева И.Р., Кононенко И.С., Саломатина Н.В., Сидорова Е.А. Подход к построению шаблонов индикаторов для извлечения аргументов из научно-популярных текстов // Тр. Международной конференции “Знания - Онтологии - Теории” (ЗОНТ-2019). – Новосибирск, ИМ СО РАН, Новосиб. гос. ун-т., 2019. – С. 24-32.
  44. Гаранина Н.О., Боровикова О.И. Онтологический подход к проверке событийной совместности множества темпоральных требований // Там же. – С. 112-121.
  45. Доманов О.А., Гаранина Н.О. Аргументативная сеть с оценкой убедительности: теоретико-типовая экспликация // Там же. – C. 157-164.
  46. Загорулько Г.Б., Загорулько Ю.А., Куликов И.М., Сапетина А.Ф. Разработка онтологии методов и алгоритмов решения вычислительно сложных задач на суперкомпьютерах // Там же. – С. 174-181.
  47. Марчук А.Г., Платонов Ю.Г., Артамонова Е.В. Структурные аннотации: создание и применение для обработки текстов на естественном языке. // Там же. – С. 248-256.
  48. Шелехов В.И. Дедуктивная верификация программы конкатенации строк с применением обратной трансформации // Там же. – С. 369-378.
  49. Еримбетова А.С., Мурзин Ф.А. Разработка лингвистического и алгоритмического обеспечения технологий информационного поиска. // Материалы науч. конф. ИИВТ МОН РК «Современные проблемы информатики и вычислительных технологий». – Алматы. – 2019. – С.167–173.
  50. Загорулько Ю.А., Боровикова О.И. О концепции автоматизированного построения онтологий научных предметных областей на основе системы разнородных паттернов онтологического проектирования // Распределенные информационно-вычислительные ресурсы. Цифровые двойники и большие данные. (DICR 2019) [Электронный ресурс]: Труды XVII Международной конференции, Новосибирск, 3 – 6 декабря 2019. / Под ред. О.Л. Жижимова, А.В. Юрченко. – Новосибирск: ИВТ СО РАН, 2019. – С. 34-41. DOI 10.25743/ICT.2019.84.48.005.
  51. Загорулько Ю.А., Боровикова О.И. Построение онтологий научных областей знаний на основе системы паттернов онтологического проектирования // Информатика и прикладная математика: Материалы IV Межд. науч. конф. (25-29 сентября 2018 г.). Часть 2. – Алматы: ИИВТ МОН РК, 2019. – С. 296-306.
  52. Касьянов В.Н., Золотухин Т.А. Алгоритм укладки иерархического графа с портами   // Информатика: проблемы, методология, технология: Сборник материалов XIX международной научно-методической конференции. / Под ред. Д.Н. Борисова. – Воронеж: Вэлборн, 2019. – С.86-90.
  53. Касьянов В.Н., Касьянова Е.В. Системы поддержки применения теоретико-графовых методов для конструирования эффективных и надежных программ  // Там же. – С.91-95.
  54. Малышев А.А. Расширение возможностей MediaWiki по поддержке словаря по графам и энциклопедии графовых алгоритмов // Там же. – С.1726-1730.
  55. Пальянов А.Ю. О задачах, возникающих при численном моделировании нейроинформационных процессов в организме C. elegans» // Тез. докл. 11й международной молодежной школы-конференции «Теория и численные методы решения обратных и некорректных задач». – Новосибирск. – 2019. – С. 44.
  56. Пальянов А.Ю., Пальянова Н.В. О перспективах исследования и компьютерного моделирования нейронных механизмов управления движением в организме C. elegans // Тез. докл. междунар. конф. «Актуальные проблемы вычислительной и прикладной математики. Марчуковские научные чтения – 2019». – Новосибирск. – 2019. – С. 11.
  57. Тихонова Т.И. Традиции работы с обучающимися IT-технологиям // 12-я Международная Ершовская конференция по информатике. Секция «Информатика образования». – Новосибирск. – 2019. – С.85-91.
  58. Тусупова М.Д., Мурзин Ф.А., Еримбетова А.С., Жанабеков А.Ж.  Определение частей речей для агглютинативных языков на основе алгоритмов машинного обучения. // IV международная научно-практическая конференция "Информатика и прикладная математика", посвященная 70-летнему юбилею проф. Биярова Т.Н. и проф. Вальдемара Вуйцика и 60-летию проф. Амиргалиева Е.Н. – Алматы, Казахстан. – 2019. – С.503-509.

Статьи в сборниках

  1. Abdikerimova G.B., Bychkov A.L., Khayrulin S.S., Murzin F.A., Russkikh N.E., Ryabchikova E.I., Xinyu W. Analysis of images obtained by the transmission electronic microscopy // Materials Today: Proceeedings. – 2019. – Vol. 12, Part 1. – P. 90–92.  – DOI: 10.1016/j.matpr.2019.03.071. (Scopus, Web of Science).
  2. Glinskiy B., Zagorulko Yu., Kulikov I., Sapetina A. Supercomputer technologies for solving problems of computational physics // Journal of Physics: Conference Series 2019/11. – Vol. 1392. DOI: 10.1088/1742-6596/1392/1/012052.
  3. Glinskiy B., Zagorulko Yu., Zagorulko G., Kulikov I., Sapetina A. The creation of intelligent support methods for solving mathematical physics problems on supercomputers // Supercomputing. Communications in Computer and Information Science. – Vol. 1129. – P. 427-438. DOI: 10.1007/978-3-030-36592-9_35. (Scopus).
  4. Kononenko I., Sidorova E. Development of the lexicon of argumentation indicators // Ibid. – P. 154–168. DOI: 10.1007/978-3-030-30763-9_13. (Scopus).
  5. Levichev A.V. One possible application of the Chronometric Theory of I.E. Segal: A toy model of quarks and gluons // Journal of Physics: Conference Series. – 2019. DOI:10.1088/1742-6596/1194/1/012071. (Scopus).
  6. Sidorova E., Akhmadeeva I. The software environment for multi-aspect study of lexical characteristics of text // Selected Papers of the XXI Internat. Conf. on Data Analytics and Management in Data Intensive Domains. (DAMDID/RCDL 2019), CEUR Workshop Proceedings.  – 2019. – Vol. 2523. – P. 306-315. – http://ceur-ws.org/Vol-2523/paper29.pdf. (Scopus).
  7. Sidorova E., Garanina N., Kononenko I., Sery A. Logical-ontological approach to coreference resolution // Computational Models in Language and Speech (CMLS 2018), CEUR Workshop Proceedings.  – 2019. – Vol. 2303. – P. 69-82. http://ceur-ws.org/Vol-2303. (Scopus).
  8. Zagorulko Y., Garanina N., Sery A., Domanov O. Ontology-based approach to organizing the support for the analysis of argumentation in popular science discourse // Artificial Intelligence. – 2019. – P. 348-362. DOI:10.1007/978-3-030-30763-9_29. (Scopus).

Препринты

  1. Волянская Т.А. Адаптивное генерирование учебных курсов в интеллектуальных системах дистанционного обучения. Часть 1.– Новосибирск, 2019. – (Препринт/ РАН, Сиб. отд-ние, ИСИ; № 183).
  2. Волянская Т.А. Адаптивное генерирование учебных курсов в интеллектуальных системах дистанционного обучения. Часть 2.– Новосибирск, 2019. – (Препринт/ РАН, Сиб. отд-ние, ИСИ; № 184).
  3. Городняя Л.В. Подходы к представлению синтаксиса языков программирования. – Новосибирск,  2019. – (Препринт/ РАН, Сиб. отд-ние, ИСИ; № 185).
  4. Antonets D.V., Russkikh N.E., Sanchez A., Kovalenko V.R., Bairamova E.M., Shtokalo D.N., Medvedev S.P., Zakian S.M. CellCountCV – a Web-application for Accurate Cell Counting and Automated Batch Processing of Microscopy Images Using Fully-convolutional Neural Networks. – 2019. – (Preprint / bioRxiv).  DOI: 10.1101/867218.
  5. Russkikh N., Antonets D., Shtokalo D., Makarov A., Zakharov A., Terentyev E. Style transfer with variational autoencoders is a promising approach to RNA-Seq data harmonization and analysis . – 2019. – (Preprint / bioRxiv). DOI: 10.1101/791962.

Учебно-методические издания

  1. Городняя Л.В. Парадигма программирования. Учебное пособие. – Спб.: «Издательство ЛАНЬ», 2019.