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

Монографии

  1. Трофимов В.К., Храмова Т.В. Теоремы кодирования неравнозначными символами для дискретных каналов без шума // Моногр. / Изд. СибГУТИ, 5 печ.л.
  2. Касьянов В.Н. Поттосин Игорь Васильевич // Страницы истории отечественных ИТ. – М.: Интеллектуальная литература, 2016. – С. 97-99. ‑ ISBN 978-5-9614-5218-1.

Центральные журналы

  1. Визовитин Н.В., Непомнящий В.А., Стененко А.А. Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM // Моделирование и анализ информационных систем. Т.23, № 6, 2016, 688–702.
  2. Vizovitin N.V., Nepomniaschy V.A., Stenenko A.A. Verification of UCM Models with Scenario Control Structures Using Colored Petri Nets // System Informatics, 7, 2016, 11–22.
  3. Anureev I.S. Conceptual query systems // System Informatics. 2016. Vol. 7. P. 45–126.
  4. Anureev I.S. From conceptual query systems to conceptual transition systems // System Informatics. 2016. V. 8. P. 53–92.
  5. Гаранина Н.О., Сидорова Е.А. Подход к верификации семейства мультиагентных систем разрешения конфликтов // Моделирование и анализ информационных систем, Т.23, № 6, 2016.
  6. N. Garanina and E.Sidorova. A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // Theory and Applications (PSSV 2016) June 14–15, 2014 in St. Petersburg, Russia. — System Informatics. — 2016. — Vol. 8. — P. 1–10.
  7. Shilov N.V., Promsky A.V. On Specification and Verification of Standard Mathematical Functions // Университетский научный журнал. Санкт-Петербург. — 2016. № 19. С. 57–68.
  8. Касьянов В.Н., Касьянова Е.В. Теоретико-графовые методы и системы программирования // Проблемы информатики, 2016, № 1, С. 26–38.
  9. Гордеев Д. Визуализация внутреннего представления программ на языке Cloud Sisal // Научная визуализация. — 2016. — Том. 8, № 2. — С. 98–106.
  10. Касьянова Е.В. Методы и средства обучения программированию в вузе // Образовательные ресурсы и технологии. — 2016. — № 2. — С. 23–30. — ISSN 2312-5500.
  11.  Загорулько Ю.А., Загорулько Г.Б., Боровикова О.И. Технология создания тематических интеллектуальных научных интернет-ресурсов, базирующаяся на онтологии // Программная инженерия. — 2016. — Т. 7, № 2. — С. 51–60.
  12. Пальчунов Д.Е., Загорулько Ю.А., Борисова И.А., Найданов Ч.А. Итоги работы V всероссийской конференции с международным участием "Знания-Онтологии-Теории" (ЗОНТ-15) // Программная инженерия. 2016. Т. 7. № 1. С. 46–48.
  13. Загорулько Г.Б. Разработка онтологии для интернет-ресурса поддержки принятия решений в слабоформализованных областях // Онтология проектирования. — 2016. — Т. 6, №4 (22). — С. 485–500. — DOI: 10.18287/2223-9537-2016-6-4-485-500.
  14. Гаранина Н.О., Сидорова Е.А., Ануреев И.С. Разрешение конфликтов в мультиагентной системе с типизированными связями для пополнения онтологий // Программирование. — 2016. — № 4. — С. 27–38.
  15. Гаранина Н.О., Сидорова Е.А. Подход к верификации семейства мультиагентных систем разрешения конфликтов. Моделирование и анализ информационных систем. 2016; 23(6):703–714. DOI:10.18255/1818-1015-2016-6-703-714.
  16. Загорулько Ю.А., Загорулько Г.Б. Проблемы комплексной поддержки процесса разработки интеллектуальных СППР в слабоформализованных предметных областях // Информационные и математические технологии в науке и управлении. — 2016. — № 3. — С. 115–125.
  17. Загорулько Г.Б., Сидоров В.А. Метод недоопределенных вычислений как средство поддержки принятия решений в слабоформализованных предметных областях // Информационные и математические технологии в науке и управлении. — 2016. — № 4-1. — С. 27–36.
  18. Рубцова Ю. В., Котельников С. А. Извлечение аспектов товаров или услуг из отзывов потребителей с использованием модели условных случайных полей // Электронные библиотеки. — 2016. — Т. 18, №. 3-4. — С. 203–221.
  19. Рубцова Ю.В. Преодоление деградации результатов классификации текстов по тональности в коллекциях, разнесенных во времени // Системная информатика. — 2016. — № 7. — С. 45–68.
  20. Кононенко И.С., Сидорова Е.А., Веремьянина А.О. Подход к извлечению информации о событиях в энергетике (на материале новостных сообщений информагентств) // Информационные и математические технологии в науке и управлении. — 2016. — № 3. — С. 126–136.
  21. Загорулько Ю.А., Загорулько Г.Б., Боровикова О.И. Проблемы разработки онтологии для тематического интеллектуального научного интернет-ресурса // Инфокоммуникационные и радиоэлектронные технологии. 2016. Т. I. № 2. С. 207–217.
  22. Шестаков В.К. Автоматическая генерация структуры Wiki-систем при помощи онтологий // ИНФОРМАТИКА И КИБЕРНЕТИКА, № 4(6), — Донецк: ДонНТУ, 2016. — С. 116–121.
  23. Natalia Garanina and Elena Sidorova. An Approach to Context-dependent Lexical and Syntactic Ambiguity Resolution in Ontology Population // Bulletin NCC. Series: Computer Science. — Novosibirsk, 2016. — IIS Special Iss.
  24. Чушкин М.С. Система дедуктивной верификации предикатных программ // «Программная инженерия», № 5, 2016. — С. 202–210.
  25. Шелехов В.И. Классификация программ, ориентированная на технологию программирования // «Программная инженерия», № 12, 2016. — С3. 531–538.  http://persons.iis.nsk.su/files/persons/pages/prog.pdf
  26. Тумуров Э.Г., Шелехов В.И. Технология автоматного программирования на примере программы управления лифтом // «Программная инженерия», 2016. — 18c. В печати. (ВАК) http://persons.iis.nsk.su/files/persons/pages/lift1.pdf
  27. Шелехов В.И. Предикатная программа вставки в АВЛ-дерево // Системная информатика. — Новосибирск, 2016. — 16с. На рецензии. http://persons.iis.nsk.su/files/persons/pages/avl_insert.pdf
  28. Булгаков К.В., Каблуков И.В., Тумуров Э.Г., Шелехов В.И. Оптимизирующие трансформации списков и деревьев в системе предикатного программирования // Системная информатика. — Новосибирск, 2016. — 29с. На рецензии. http://persons.iis.nsk.su/files/persons/pages/transalgebraic_5.pdf
  29. Зубарев А.Ю. Анализ типов в трансляторе с языка предикатного программирования // Системная информатика. — Новосибирск, 2016. — 22с. На рецензии. http://persons.iis.nsk.su/files/persons/pages/zubarev.pdf
  30. Апанович З.В. Кросс-языковая идентификация сущностей для сопоставления данных разноязычных ресурсов // Труды пятнадцатой национальной конференции по искусственному интеллекту с международным участием, Смоленск, Универсум, 2016, С. 5–13.
  31. Апанович З.В Сопоставление данных разноязычных ресурсов и кросс-языковая идентификация авторов // Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции (19–24 сентября 2016 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2016. — С. 36–45. URL: http://keldysh.ru/abrau/2016/proc.pdf
  32. Демин А. В. Адаптивное управление модульным хоботовидным манипулятором // Молодой ученый. — 2016. — №3. — С. 47–52.
  33. Платонов Ю.Г., Бычков Д.А. ORM-РЕШЕНИЕ НА БАЗЕ POLAR // Фундаментальные исследования. — 2016. — № 7 (2) 2016, стр. 257–261.
  34. Артамонова Е.В., Лештаев С.В. Преобразование естественно-языковых текстов в RDF-граф // Современные наукоемкие технологии. — 2016. — №11 (2). — С. 214–218.
  35. Крайнева И.А. ДИСПАК — операционная система Атомного проекта // Операционные системы. СУБД. — 2016. — №1. — С. 42–43.
  36. Крайнева И.А., Н.Ю. Пивоваров, В.В. Шилов. Становление советской научно-технической политики в области вычислительной техники (конец 1940-х – середина 1950-х гг.) // Идеи и идеалы. — 2016. — Т.1. — №3 (29). — С. 118–135.
  37. Крайнева И.А., Пивоваров Н.Ю., Шилов В.В. Советская вычислительная техника в контексте экономики, образования и идеологии (конец 1940-х – середина 1950-х гг.). Статья 2. Идеи и идеалы. 2016. Т.1. № 4 (30). с. 135–155.
  38. Томилин А.Н., Крайнева И.А., Тумбинская М.В., Трегубов В.М., Абзалов А.Р. Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: страницы истории // История науки и техники. — 2016. — № 10. — С. 15–26.
  39. Городняя Л.В. "Движущие силы информатики" — М. "Дистанционное и виртуальное обучение"№ 2 (март) 2017 г., 16 страниц.
  40. Тихонова Т.И. Потенциал развития системы дополнительного образования/ /Журнал «Педагогические заметки», Т.9, вып. 2, 2016 г., — с. 74–81.
  41. Батура Т.В. Методы и системы семантического анализа текстов // Программные продукты, системы и алгоритмы. Электронный научный журнал. 2016. № 4. 29 с. URL: http://swsys-web.ru/methods-and-systems-of-semantic-text-analysis.html
  42. Батура Т.В. Семантический анализ и способы представления смысла текста в компьютерной лингвистике. Программные продукты и системы. 2016. № 4. С. 45-57.
  43. Бакиева А.М., Батура Т.В., Еримбетова А.С., Митьковская М.В., Семенова Н.А. Исследование грамматики связей на примере казахского и турецкого языков. Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2016. Т. 14. № 3. С. 9-14.
  44. Левичев А.В., Пальянов А.Ю., Анализ в космических расслоениях на основе группы U(1,1): основные таблицы инфинитезимального SU(2,2)-действия, Mathematical Structures and Modeling (2016), 4(40). — С. 26–40. ISSN 2222-8799.
  45. Вирбицкайте И., Боровлёв В., Попова-Цейгманн Л. Истинно-параллельная и недетерминированная семантика временных сетей Петри. Программирование. № 4, 2016, с. 4-16

Зарубежные журналы

  1. M. de Brecht, M. Schroeder, V.L. Selivanov: Base-complexity classifications of QCB_0-Spaces. Computability, vol. 5, no. 1, pp. 75–102, 2016.
  2. C. Glasser, H. Schmitz, V. Selivanov. Efficient algorithms for membership in boolean hierarchies of regular languages. Theoretical Computer Science, 646, issue C, 86–108, 2016.
  3. V.L. Selivanov. Towards a descriptive theory of cb0-spaces. Mathematical Structures in Computer Science. Published online: 09 June 2016.
  4. N. O. Garanina, E. A. Sidorova, I. S. Anureev. Conflict resolution in multi-agent systems with typed relations for ontology population // Programming and Computer Software, Volume 42, Issue 4, pp 206–215, 2016.
  5. Kasyanov V.N., Kasyanova E.V. Graph- and cloud-based tools for computer science education // Mobile, Secure, and Programmable Networking, First International Conference, MSPN 2015, Paris, France, June 15–17, 2015, Selected Papers. Lecture Notes of Computer Science. — Springer, 2015. — Vol. 9395. — pp. 41–54.
  6. Akhmadeeva I. R., Zagorulko Y. A., Mouromtsev D. I. Ontology-Based Information Extraction for Populating the Intelligent Scientific Internet Resources // Communications in Computer and Information Science. — Springer International Publishing, 2016. — Vol. 649. — P. 119–128. [Scopus]
  7. Garanina N.O., Sidorova E.A., Anureev I.S. Conflict resolution in multi-agent systems with typed relations for ontology population // Programming and Computer Software. — 2016. — Vol. 42, Iss. 4. — P. 206–215. [WoS, Scopus]
  8. Natalia Garanina, Elena Sidorova, and Stepan Anokhin. Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population // Lecture Notes in Computer Science. — 2016. — Vol. 9609. — P. 116–129. [WoS, Scopus]
  9. Khenzykhenova F.I., Shchetnikov A.A, Sato T., Erbajeva M.A., Semenei E.Y., Lipnina E.A., Yoshida K., Kato H., Filinov I.A., Tumurov E., Alexeeva N. Ecosystem analysis of Baikal Siberia using Palaeolithic faunal assemblages to reconstruct MIS 3 – MIS 2 environments and climate // Quaternary International, 2016. P. 1–12. http://dx.doi.org/10.1016/j.quaint.2016.06.026 .
  10. Emelyanov P. and Ponomaryov D. Algorithmic Issues of AND-Decomposition of Boolean Formulas // Programming and Computer Software. 41:3 (2015). pp. 162–169. DOI: 10.1134/S0361768815030032.
  11. Yerimbetova A.S., Murzin F.A., Batura T.V., Sagnayeva S.K., Semich D.F., Bakiyeva A.M. Estimation of the degree of similarity of sentences in a natural language based on using the Link Grammar Parser program system // Journal of Theoretical and Applied Information Technology, 2016. V. 86. N. 1. P. 68–77.
  12. Batura T.V., Murzin F.A., Semich D.F., Sagnayeva S.K., Tazhibayeva S.Zh., Bakiyev M.N., Yerimbetova A.S., Bakiyeva A.M. Using the Link grammar parser in the study of Turkic languages // Eurasian journal of mathematical and computer applications, 2016. V. 4. Is. 2. P. 14–22.
  13. Мурзин Ф.А., Батура Т.В., Семич Д.Ф., Сагнаева С.К., Еримбетова А.С., Бакиева А.М., Митьковская М.В., Семенова Н.А. Исследование грамматики связей на примере казахского и турецкого языков // Вестник КазНИТУ, 2016. № 4 (116). С. 684–691.
  14. Volkova O.A., Kondrakhin Y.V., Yevshin I.S., Valeev T.F. and Sharipov R.N. Assessment of translational importance of mammalian mRNA sequence features based on Ribo-Seq and mRNA-Seq data. // Journal of Bioinformatics and Computational Biology. — 2016. — Vol. 14. — No. 2. — 15p.
  15. Kondrakhin Yu., Valeev T., Sharipov R., Yevshin I., Kolpakov F., Kel A. Prediction of protein-DNA interactions of transcription factors linking proteomics and transcriptomics data. // EuPA Open Proteomics. — 2016. — Vol. 13. — P. 14–23. — doi:10.1016/j.euprot.2016.09.001
  16. Kel, A. E., Stegmaier P., Valeev T., Koschmann J., Poroikov V., Kel-Margoulis O. V., Wingender E. Multi-omics “upstream analysis” of regulatory genomic regions helps identifying targets against methotrexate resistance of colon cancer. // EuPA Open Proteomics. — 2016. — Vol. 13. — P. 1–13. — doi:10.1016/j.euprot.2016.09.002
  17. Yevshin, I., Sharipov, R., Valeev T., Kel A., Kolpakov F. GTRD: a database of transcription factor binding sites identified by ChIP-seq experiments. // Nucleic Acids Research. — 2016. — Database Issue. — 7p. — doi:10.1093/nar/gkw951
  18. Laurent G. St., Vyatkin Y., Antonets D., Ri M., Qi Y., Saik O., Shtokalo D., M. Hoon J.L., Kawaji H., Itoh M., Lassmann T., Arner E., Forrest A.R.R., The FANTOM consortium, Nicolas E., McCaffrey T.A., Carninci P., Hayashizaki Y., Wahlestedt C., and Kapranov P.. Functional annotation of the vlinc class of non-coding RNAs using systems biology approach // Nucl. Acids Res. (2016) doi: 10.1093/nar/gkw162. (SCOPUS и WEB OF SCIENCE)
  19. Palyanov A., Khayrulin S., Larson, S. Application of smoothed particle hydrodynamics to modeling mechanisms of biological tissue // Advances in Engineering Software (2016), 98: 1–11. http://www.sciencedirect.com/science/article/pii/S0965997816300618
  20. Palyanov A.Yu., Chekmarev S.F. Hydrodynamic description of protein folding: the decrease of the probability fluxes as an indicator of transition states in two-state folders // Journal of Biomolecular Structure and Dynamics, 2016.
  21. Levichev A. V., A contribution to the DLF-theory: on singularities of the SU(2,2)-action in U(1,1), Journal of Modern Physics, Volume 7, Number 15, November 2016, — P. 1–8
  22. Virbitskaite, D. Bushin, E. Best. True Concurrent Equivalences in Time Petri Nets. Fundamenta Informaticae 149(4), IOS Press. P. 401-418.
  23. S.H. Macia, R.V. Valero, G.F. Cuartero, D.M.C. Ruiz, I.V. Tarasyuk. Modelling a video conference system with sPBC. Applied Mathematics and Information Sciences, Vol. 10, N 2, 2016, pp. 475-493, Natural Sciences Publishing, New York, NY, USA, doi: 10.18576/amis/100210. (ISSN 1935-0090)
  24. I.V. Tarasyuk, S.H. Macia, R.V. Valero. Bisimulation equivalence and performance analysis of concurrent systems with discrete stochastic time in dtsiPBC. Technical Report, Vol. DIAB-16-03-1, 2016, 92 p., Department of Computer Systems, High School of Computer Science Engineering, University of Castilla - La Mancha, Albacete, Spain.
  25. M. Korovina, O. Kudinov. Computable Elements and Functions in Effectively Enumerable Topological Spaces. Journal of Mathematical Structures in Computer Science, Cambridge University Press, pp. 1-27, DOI: 10.1017/S0960129516000141, Published online: 23 June 2016.
  26. M. Korovina, O. Kudinov. Complexity of partial computable functions over computable Polish Spaces. Journal of Mathematical Structures in Computer Science, Cambridge University Press, 2016 (принята в печать). (Scopus, Web of Science)
  27. K. Barylska, E. Best, E. Erofeev, L. Mikulski, M. Piatkowski. Conditions for Petri Net Solvable Binary Words. Transactions on Petri Nets and Other Models of Concurrency, Volume 11. P. 137-159, 2016.
  28. I. Virbitskaite, V. Borovlyov, L. Popova-Zeugmann. Branching Processes of Timed Petri Nets. Lecture Notes in Computer Science, Vol. 9609, 2016, pp. 303-313.
  29. F. Brauße, M. Korovina, N. Müller. Using Taylor Models in Exact Real Arithmetic. Lecture Notes in Computer Science, Springer, Vol. 9609, 2016, pp. 61-74.
  30. F. Brauße, M. Korovina, N. Müller. Towards Using Exact Real Arithmetic for Initial Value Problems. Lecture Notes in Computer Science, Springer, Vol. 9582, 2016, pp.  474-488.
  31. E. Best, E. Erofeev, U. Schlachter, H. Wimmel. Characterising Petri Net Solvable Binary Words. Lecture Notes in Computer Science Vol. 9698. Springer. P. 39-58.

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

  1. А.А. Стененко, В.А. Непомнящий. Верификация коммуникационных протоколов с использованием временных раскрашенных сетей Петри // Труды XVIII Международной конференции «Проблемы управления и моделирования в сложных системах», 20–25 сентября 2016, Самара, Россия, 308–313.
  2. Г.А. Белошапко, В.А.Непомнящий Анализ и верификация иерархических временных типизированных сетей Петри // Материалы IV Международной молодежной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», 20–21 мая 2016 г., Томский государственный университет, 2016, 3–7.
  3. A. Konovalov, V. Selivanov. The Boolean algebra of piecewise testable languages // Proc. CiE 2016, LNCS 9709, 292–301, 2016.
  4. O.V. Kudinov, V.L. Selivanov. On the lattices of effectively open sets // Proc. Conf. CiE 2016, LNCS 9709, 302–311, 2016.
  5. Natalia Garanina, Elena Sidorova, and Stepan Anokhin. Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population // Proc. Conf. «Perspectives of System Informatics», LNCS 9609, pp. 116–129, 2016.
  6. Natalia Garanina, Elena Sidorova. Context-dependent Lexical and Syntactic Disambiguation in Ontology Population // Proc. of 25th International Workshop «Concurrency, Specification and Programming», Rostock, Germany, pp. 101–112, 2016.
  7. Сидорова Е.А., Гаранина Н.О. Подход к разрешению неоднозначности текста при пополнении онтологии // Труды 15 национальной конференции по искусственному интеллекту (КИИ-2016), Т 2. — Смоленск: Универсум. — С. 130–138, 2016.
  8. Кондратьев Д.А. Расширение системы C-light символическим методом верификации финитных итераций // Материалы XVII Всероссийской конференции молодых учёных по математическому моделированию. Новосибирск, ИВТ СО РАН, с. 91–92, 2016.
  9. Касьянов В.Н., Идрисов Р.И., Касьянова Е.В., Стасенко А.П. Язык параллельного программирования Cloud Sisal // Материалы XVI Международной конференции "Информатика: проблемы, методология, технология". — Воронеж: ВГУ, 2016. — Том 5. — С. 157–161.
  10. Малышев А.А. Пакет программных расширений MediaWiki для интеграции с издательской системой TeX // Материалы XVI Международной конференции "Информатика: проблемы, методология, технология". — Воронеж: ВГУ, 2016. — Том 5. — С. 350–353.
  11. Kasyanov V. Hierarchical graph models and tools for visual processing and parallel programming // 7th European Congress of Mathematics. Conference Scientific Program and Abstracts. — Berlin: Technische Universität Berlin, 2016. — P. 241.
  12. Kasyanov V.N., Kasyanova E.V. Methods and Tools of Parallel Programming // Mathematical and Information Technologies (MIT-2016). Conference Information. — Beograd: Uiverziteta u Pristini, 2016. — P. 134–135.
  13. Касьянова Е.В. Методы и средства дистанционного обучения программированию // Информационные системы и коммуникативные технологии в современном образовательном процессе: Материалы III Международной научно-практической конференции. — Пермь: ИПЦ «Прокростъ», 2016. — С. 45–49.
  14. Kasyanov V.N., Kasyanova E.V. Methods and Tools of Parallel Programming // Proceedings of the International Conference Mathematical and Information Technologies (MIT-2016). — CEUR-WS, 2016. — 15 p. (in print)
  15. Лукашевич Н. В., Рубцова Ю. В. SentiRueval-2016: преодоление временных различий и разреженности данных для задачи анализа репутации по сообщениям твиттера // Computational Linguistics and Intellectual Technologies: Proceedings of the International Conference “Dialogue 2016”. — 2016. — №15 (22). — С. 375–385. [Scopus]
  16. Natalia Garanina, Elena Sidorova. Context-dependent Lexical and Syntactic Disambiguation in Ontology Population // Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28–30, 2016. — Humboldt-Universität zu Berlin, 2016. — Vol. 1698. — P. 101–112. — URL: http://ceur-ws.org/Vol-1698/CS&P2016_10_Garanina&Sidorova_Context-dependent-Lexical-and-Syntactic-Disambiguation-in-Ontology-Population.pdf (дата обращения: 14.12.2016)
  17. N. Garanina and E. Sidorova. A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // Proc. of Seven Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016), June 14–15, 2014 in St. Petersburg, Russia. — System Informatics. — 2016. — № 8. — P. 1–10.
  18. Загорулько Г.Б., Загорулько Ю.А. Подход к организации комплексной поддержки процесса разработки интеллектуальных СППР в слабоформализованных предметных областях // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2016) : материалы VI междунар. науч.-техн. конф. (Минск, 18–20 февраля 2016 года) / редкол. : В. В. Голенков (отв. ред.) [и др.]. — Минск : БГУИР, 2016. — С. 61–64. [РИНЦ]
  19. Загорулько Ю.А., Ахмадеева И.Р. Сбор информации о научной деятельности из сети интернет на основе онтологии области знаний // 26-я Международная Крымская конф. «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2016). Севастополь, 4–10 сентября 2016 г. : материалы конф. в 13 т. — Москва ; Минск ; Севастополь, 2016. — Т. 4. — С. 804–810. [РИНЦ]
  20. Загорулько Ю.А., Загорулько Г.Б., Боровикова О.И. Особенности разработки онтологии для тематических интеллектуальных научных интернет-ресурсов // 26-я Международная Крымская конф. «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2016). Севастополь, 4–10 сентября 2016 г. : материалы конф. в 13 т. — Москва ; Минск ; Севастополь, 2016. — Т. 4. — С. 845–851.
  21. Загорулько Г.Б. Разработка методов экспертного оценивания для интеллектуального научного интернет-ресурса по поддержке принятия решений // 26-я Международная Крымская конф. «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2016). Севастополь, 4–10 сентября 2016 г. : материалы конф. в 13 т. — Москва ; Минск ; Севастополь, 2016. — Т. 4. — С. 852–858.
  22. Серый А.С. Проблемы измерения доверия к данным в информационных системах, построенных на основе онтологий // 26-я Международная Крымская конф. «СВЧ-техника и телекоммуникационные технологии» (КрыМиКо’2016). Севастополь, 4–10 сентября 2016 г. : материалы конф. в 13 т. — Москва ; Минск ; Севастополь, 2016. — Т. 3. — С. 430–436
  23. Брагинская Л.П., Григорюк А.П., Загорулько Г.Б. Организация портала знаний «Активная сейсмология» // XII Международный научный конгресс Интерэкспо ГЕО-Сибирь-2016. Международная научная конференция «Дистанционные методы зондирования Земли и фотограмметрия, мониторинг окружающей среды, геоэкология». Труды конференции. — Новосибирск: СГУГиТ, 2016. — Т 2. — С. 19–24.
  24. Брагинская Л.П., Григорюк А.П., Загорулько Г.Б., Ковалевский В.В. Разработка научной среды для комплексных исследований в активной сейсмологии // Информационные технологии в науке, образовании и управлении. Международная конференция IT+S&E’16 (Гурзуф, 22 мая-01 июня 2016 г. Весенняя сессия). Сборник научных трудов под редакцией проф. Е.Л. Глориозова, М.: ИНИТ, 2016. — С. 10–19.
  25. Ludmila Braginskaya, Andrey Grigoryuk, Galina Zagorulko, Valery Kovalevsky. Ontological Approach to the Systematization of Scientific Information on Active Seismology // Аналитика и управление данными в областях с интенсивным использованием данных. XVIII Международная конференция DAMDID / RCDL’2016. Ершово, Московская обл., Россия, 11–14 октября 2016 г.: Труды конференции. — Москва: ТОРУС ПРЕСС. — С. 315–320.
  26. Брагинская Л.П., Григорюк А.П., Ковалевский В.В., Загорулько Г.Б. Систематизация научных знаний по активной сейсмологии на основе онтологий // Материалы IV Международной конференции "Современные информационные технологии для научных исследований в области наук о Земле. ITES-2016" (Южно-Сахалинск, 7–11 августа 2016). Труды конференции. — С. 70–71.
  27. Шестаков В.К. Способ построения информационных Wiki-систем на базе онтологий // Программная инженерия: методы и технологии разработки информационно-вычислительных систем (ПИИВС-2016), 16–17 ноября 2016 г. : Сборник научных трудов I научно-практической конф. — Донецк: Изд-во ГОУ ВПО ДонНТУ, 2016. — С. 6–11.
  28. Чушкин М.С., Шелехов В.И. Методы синтеза фрагментов предикатных программ // Конф. «Компьютерная безопасность и криптография» SIBECRIPT’16 / Прикладная дискретная математика. Приложение. — 2016, №.9, С.126–128.
  29. Тюгашев А.А., Шелехов В.И. Модель программы управления спутником qXz // Тезисы докладов Межд. конф. «Математические методы и современные космические технологии», Алматы. Казахстан. — 2016. — С.176–179.      http://persons.iis.nsk.su/files/persons/pages/ctrlspacecraft.pdf
  30. Зубарев А.Ю. Анализ типов в трансляторе с языка предикатного программирования // Материалы 54-й международной научной студенческой конференции «Студент и научно-технический прогресс»: секция Математика / Новосиб. гос. ун-т. — Новосибирск, 2016. — С. 201.
  31. Alexey Yu. Akhlyostin, Z.V. Apanovich et al., The current status of W@DIS information system // Proc. SPIE 10035, 22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics, 100350D (November 29, 2016); doi:10.1117/12.2249235. http://proceedings.spiedigitallibrary.org/proceeding.aspx?articleid=2589506 SCOPUS
  32. Mozheikina L. and Emelyanov P. Personal Issues of Social Networks: Towards Safe Surfing // Proceedings of the Symposium on Health Sciences, Systems and Technologies (HSST 2016) as a part of the 20th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI 2016), 5–8 July 2016, Orlando, FL, USA. Pages 164-168.
  33. Emelyanov P. AND-Decomposition of Boolean Polynomials with Prescribed Shared Variables // Proceedings of the Second International Conference on Algorithms and Discrete Applied Mathematics (CALDAM 2016), 18-20 February 2016, Thiruvanthapuram, India / Lecture Note in Computer Science. — Vol. 9602, — Springer, 2016. — P. 164-175. DOI: 10.1007/978-3-319-29221-2_14.
  34. D. Ponomaryov, S. Yakovenko. Interpolant Computation in Consequence-based Calculus for Description Logic EL // Тезисы международной конференции «Мальцевские чтения», 21–24 ноября 2016 г., Новосибирск.
  35. Артамонова Е. В. Перспективы применения Linked Data для обработки текстов на естественном языке // Международная научно-практическая конференция "Перспективы развития науки и образования" // Вестник научных конференций. — 2016. — № 4–5 (8) — URL: http://ucom.ru/doc/cn.2016.04.05.pdf (дата обращения 07.06.2016). г.Тамбов, 2016.
  36. Крайнева И.А. Академик Андрей Петрович Ершов и национальная программа информатизации образования // «От информатики в школе к техносфере образования». Сборник научных трудов Международной научно-практической конференции. Российская академия образования, Московский городской педагогический университет, Московский педагогический государственный университет. Воронеж, 2016. — С. 195–202.
  37. Андреева Т. А. Генерирование тестовых наборов для автоматического тестирования. // Материалы XXVII международной конференции «Современные информационные технологии в образовании», Троицк – Москва, 2016. — с. 296–297. ISBN 978-5-9907219-2-0.
  38. Andreyeva T. A. Automated generation of test sets // Science in the modern information society IX // Материалы IX международной научно-практической конференции «Наука в современном информационном обществе», 1–2 августа 2016, North Charleston, USA. — c. 110–112. ISBN 978-1536920598.
  39. Городняя Л.В. Язык ознакомления с миром параллелизма. — Международная конференция «Суперкомпьютерные дни в России». 9 страниц. http://russianscdays.org/files/pdf16/1077.pdf
  40. Городняя Л.В. О классификациях парадигм программирования и параллельном программировании. — М. «Образовательные ресурсы и технологии » 2016 № 2, с. 138–144, Международная конференция «IX сибирский конгресс женщин-математиков». http://www.muiv.ru/vestnik/pp/chitatelyam/poisk-po-statyam/8712/48456/ (ВАК).
  41. Городняя Л.В. Этология как платформа образовательной информатики — Материалы XXVII международной конференции «Современные информационные технологии в образовании», Троицк – Москва, 2016.
  42. L. Gorodniaia, T. Andreyeva. Study of Programming Paradigms. // 10th International Technology, Education and Development Conference. 7–9 March, 2016, Valencia, Spain. // INTED2016 Proceedings. — 2016. — pp. 7482–7491. — ISBN: 978-84-608-5617-7. — ISSN: 2340-1079. — doi: 10.21125/inted.2016.0768
  43. А.Г.Марчук, С.В.Лештаев. Электронный архив газет: Web-публикация, ассоциация информации с базой данных, создание полнотекстового поиска // Аналитика и управление данными в областях с интенсивным использованием данных, XVIII Международная конференция DAMDID/RCDL’2016, Ершово, Московская обл., Россия, 11–14 октября 2016 года, Труды конференции. Торус пресс, Москва, 2016. С. 155–160.
  44. Крайнева И.А. Поле науки и поле власти: характер взаимодействия и влияния на формирование исторической идентичности ученых // Азиатская Россия: проблемы социально-экономического, демографического и культурного развития (XVII–XXI вв.). Материалы международной научной конференции. Новосибирск, 28–29 ноября 2016 г. Новосибирск: Параллель, 2016. С. 454–458.
  45. Batura T.V., Murzin F.A., Sagnayeva S.K., Tazhibayeva S.Zh., Yerimbetova A.S., Bakiyeva A.M. Link Grammar Parser for Turkic Languages and algorithms for estimation the relevance of documents // 2016 IEEE 10th International Conference on Application of Information and Communication Technologies (AICT-2016). 12–14 October 2016, Baku, Azerbaijan. 2016. pp. 104–107.
  46. Antonets D., Vyatkin Y., Luppov D., Kapranov P., Ri M., Saik O., Shtokalo D.. VlincRNA Database: Tool for very long intergenic non-coding RNA functional annotation // BGRS/SB-2016 abstracts, — P. 33, Novosibirsk, Russia.
  47. Russkikh N.E., Antonets D.V. New image analysis and base calling algorithm for SeqLL sequencing machine achieved better sensitivity on synthetic olygonucleotides set. Mathematical modeling and high performance computing in bioinformatics, biomedicine and biotechnology (MM-HPC-BBB-2016), Abstracts MM-HPC-BBB-2016, Novosibirsk, Russia, 29 August – 2 September, 2016, — P.89.
  48. Levichev A.V., Palyanov A.Yu. On Stapp’s approach to the mind-matter problem: an attempt to incorporate it into the DLF-model. // Intern. Conf. MM-HPC-BBB-2016, Abstracts, p.71. Novosibirsk, 2016. — P. 29.
  49. Bykova I.V., Golosova O.I., Bakulina A.Y., Afonnikov D.A., Kandrov D.Y., Palyanov A.Y., Grekhov G.A., Danilova Y.E. UGENE: a toolkit for teaching students // International Conference MM-HPC-BBB-2016, Abstracts, Novosibirsk, 2016.
  50. Khayrulin S.S., Serdtseva N.A., Palyanov A.Yu. A software tool for visualization and control of biological neural networks activity based on the neuron simulation environment. // International Conference MM-HPC-BBB-2016, Abstracts, Novosibirsk, 2016. — P. 56.
  51. Kudinov, V. Selivanov. Definability in some well partial orders // Abstracts of Dagstuhl Workshop 16031 “Well quasi-orders in computer science”, Dagstuhl Reports 6(1): p. 13, 2016.
  52. V. Selivanov. Well quasi-orders and descriptive set theory: some results and questions // Abstracts of Dagstuhl Workshop 16031 “Well quasi-orders in computer science”, Dagstuhl Reports 6(1): p. 21, 2016. Palyanov A.Yu., Khayrulin S.S. Realistic 3D simulation of C. elegans swimming and crawling with Sibernetic environment. // International Conference MM-HPC-BBB-2016, Abstracts, Novosibirsk, 2016. — P. 79.
  53. Palyanov A.Yu. , Samoilova Kh.V., Palyanova N.V. Towards a neurobiologically reasonable C. elegans nervous system simulation: neuron, muscle and signal propagation modeling // Symposium "Cognitive sciences, genomics and bioinformatics" (CSGB-2016), Abstracts, Novosibirsk, 2016. — 1p.
  54. Levichev V. On singularities of linear-fractional SU(2,2)-action in U(1,1) . // Дни геометрии в Новосибирске, Тезисы. Новосибирск, — 2016. с.18.
  55.  Загорулько Ю.А., Ахмадеева И.Р., Серый А.С., Шестаков В.К. Построение    тематических интеллектуальных научных интернет-ресурсов средствами Semantic Web // Пятнадцатая национальная конф. по искусственному интеллекту с междунар. участием КИИ-2016 (3–7 октября 2016 г., г. Смоленск, Россия). Труды конф. В 3 томах. — Смоленск: Универсум, 2016. — Т 2. — С. 47–55.
  56.  Сидорова Е.А., Гаранина Н.О. Подход к разрешению неоднозначности текста при пополнении онтологии // Пятнадцатая национальная конф. по искусственному интеллекту с междунар. участием КИИ-2016 (3–7 октября 2016 г., г. Смоленск, Россия): Труды конф. В 3 томах. — Смоленск: Универсум, 2016. — Т 2. — С. 130.
  57. O. Kudinov, V. Selivanov. Definability in some well partial orders // Abstracts of    Dagstuhl Workshop 16031 “Well quasi-orders in computer science”, Dagstuhl Reports 6(1): p. 13, 2016.
  58. V. Selivanov. Well quasi-orders and descriptive set theory: some results and questions // Abstracts of Dagstuhl Workshop 16031 “Well quasi-orders in computer science”, Dagstuhl Reports 6(1): p. 21, 2016.
  59. Загорулько Ю.А., Ахмадеева И.Р., Серый А.С., Шестаков В.К. Построение тематических интеллектуальных научных интернет-ресурсов средствами Semantic Web // Пятнадцатая национальная конф. по искусственному интеллекту с междунар. участием КИИ-2016 (3–7 октября 2016 г., г. Смоленск, Россия). Труды конф. В 3 томах. — Смоленск: Универсум, 2016. — Т 2. — С. 47–55.
  60. Апанович З.В. Кросс-языковая идентификация сущностей для сопоставления данных разноязычных ресурсов // Труды пятнадцатой национальной конференции по искусственному интеллекту с международным участием, Смоленск, Универсум, 2016, С. 5–13.
  61. E. Erofeev, K. Barylska, L. Mikulski, and M. Piatkowski. Generating All Minimal Petri Net Unsolvable Binary Words. Proceedings of the Prague Stringology Conference 2016. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague. P. 33-47.
  62. M. Korovina, O. Kudinov. On images of Partial Computable Functions over Computable Polish Spaces.  В трудах международной конференции “МАЛЬЦЕВСКИЕ ЧТЕНИЯ”, Новосибирск,  21–25 ноября 2016,  стр. 63—64.
  63. K. Barylska, L. Mikulski, M. Piatkowski, M. Koutny, E. Erofeev. Reversing Transitions in Bounded Petri Nets. Proceedings of the 25th International Workshop on Concurrency, Specification and Programming. CEUR Workshop Proceedings Vol. 1698. P. 74-85

Российские конференции

  1. Кондратьев Д.А. Расширение системы C-light символическим методом верификации финитных итераций // Материалы XVII Всероссийской конференции молодых учёных по математическому моделированию. Новосибирск, ИВТ СО РАН,  с.91-92, 2016.
  2. Апанович З.В Сопоставление данных разноязычных ресурсов и кросс-языковая идентификация авторов // Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции (19–24 сентября 2016 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2016. — С. 36–45.

Учебные материалы

  1. Батура Т.В. Математическая лингвистика и автоматическая обработка текстов: учеб. пособие / Новосибирский государственный университет. Новосибирск: РИЦ НГУ, 2016. ISBN 978-5-4437-0548-4. 166 с.
  2. Батура Т.В., Чаринцева М.В. Основы обработки текстовой информации Электронное издание  http://www.iis.nsk.su/files/book/file/Batura_UchPosobie_N2.pdf
  3. Загорулько Ю.А., Загорулько Г.Б. Инженерия знаний : учеб. пособие. / Ю. А. Загорулько, Г. Б. Загорулько ; Новосиб. гос. ун-т. — Новосибирск : РИЦ НГУ, 2016. — 93 с.
  4. Городняя Л.В. Язык параллельного программирования СИНХРО, предназначенный для обучения. Новосибирск, ИСИ СО РАН, 30 с.
  5. Шелехов В.И. Основы предикатного программирования. — ИСИ СО РАН, Новосибирск, 2016. — 25с. http://persons.iis.nsk.su/files/persons/pages/predbase.pdf

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

  1. Тумбинская М.В., Томилин А.Н., Крайнева И.А., Трегубов В.М., Абзалов А.Р. Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: страницы истории (по материалам конференции SoRuCom-2014) // Сборник научно-популярных статей и фотоматериалов — победителей конкурса РФФИ 2016 г. Под ред. В.А. Шахнова. М., 2016. Вып.19. С. 293–315.   [Электронный ресурс]:URL: http://www.rfbr.ru/rffi/ru/annotated_project_reports/o_1959577#294
  2. Крайнева И.А. Персональный архив ученого — проявление его исторической идентичности в поле науки. URL: http://www.cogita.ru/a.n.-alekseev/publikacii-a.n.alekseeva/personalnyi-arhiv-uchenogo-istoricheskaya-identichnost-lichnostnye-artefakty-polya-nauki-v-socialnom-prostranstve (дата обращения: 20.11.2016).
  3. Gorodnyaya L.V., Andreyeva T.A. Programming paradigms in higher education. // Bulletin of the Novosibirsk Computing center. Series: Computer science. — № 38. — 2015. — pp. 67–90. (вышла в 2016 году).
  4. Марчук А.Г., Тихонова Т.И. Летняя школа юных программистов — этап становления школьной информатики // В сборнике: От информатики в школе к техносфере образования — Сборник научных трудов Международной научно-практической конференции. Российская академия образования, Московский городской педагогический университет, Московский педагогический государственный университет. 2016. С. 243–249.

Статьи в открытом архиве

  1. Tarasyuk I.V., Macia S.H., Valero R.V. Bisimulation equivalence and performance analysis of concurrent systems with discrete stochastic time in dtsipbc. Статья в открытом архиве  № DIAB-16-03-1 11.03.2016

Свидетельства о государственной регистрации программ для ЭВМ

  1. Свидетельство о государственной регистрации программы для ЭВМ «Модуль анализа информации: классификатор текстов» №2017611829 от 09.02.2017г. Авторы: Павловский Е.Н., Масловский И.А., Батура Т.В. (ИСИ), Дюбанов В.В. Правообладатель: НГУ.
  2. Касьянов В.Н., Касьянова Е.В., Малышев А.А. Программный комплекс Wiki2Tex. Свидетельство о государственной регистрации программы № 2013620463 от 01.04.2016.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).