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

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

  1. Maryasov I.V., Nepomniaschy V.A. Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs. Моделирование и анализ информационных систем. Т.22, № 6 (2015), с.773-782.
  2. Shilov N.V. Teaching Formal Models of Concurrency Specification and Analysis. Моделирование и анализ информационных систем, 2015, т. 22, № 6.
  3. Касьянов В.Н., Золотухин Т.А. Visual Graph — система для визуализации сложно структурированной информации большого объема на основе графовых моделей // Научная визуализация. – 2015. — Том. 7, N 4. — С. 44 – 59. – ISSN 2079-3537.
  4. Загорулько Ю. А. Семантическая технология разработки интеллектуальных систем, ориентированная на экспертов предметной области // Онтология проектирования. – 2015. – № 1 (15). – Т.5. — С.30-46.
  5. Кононенко И. С., Саломатина Н. В., Сидорова Е. А. Опыт создания тематических словарей для рубрикации коротких описаний веб-сайтов // Программная инженерия № 1. 2015. С. 41–48.
  6. Кононенко И. С., Сидорова Е. А. Жанровые аспекты классификации веб-сайтов // Программная инженерия № 8. 2015. С. 32–40.
  7. Гаранина Н.О., Сидорова Е.А. Пополнение онтологий на основе алгебраического формализма информационных систем и мультиагентных алгоритмов анализа текста // Программирование, МАИК “Наука/Интерпериодика”, 2015, No 3, — С. 32-43.
  8. Рубцова Ю. В. Построение корпуса текстов для настройки тонового классификатора // Программные продукты и системы. – 2015. – №. 1. — С. 72-78.
  9. Загорулько Ю.А., Загорулько Г.Б., Боровикова О.И. Технология создания тематических интеллектуальных научных интернет-ресурсов, базирующаяся на онтологии // Программная инженерия, 2016, № 2. — С. 51-60.
  10. Шелехов В.И. Оптимизация автоматных программ методом трансформации требований // «Программная инженерия», №11, 2015. — С. 3-13. (ВАК) http://persons.iis.nsk.su/files/persons/pages/req_k.pdf
  11. Антонович К.М., Косарев Н.С., Шевчук С.О., Щербаков А.С. Учет влияния ионосферной задержки в методике контроля фазовых ГНСС-измерений с использованием эфемерид и координат пункта наблюдения // Известия высших учебных заведений, раздел геодезия и аэрофотосъемка, № 5/C, 2015. – С. 3-8. (ВАК)
  12. Тумуров Э.Г., Шелехов В.И. Требования к системе управления квадрокоптером // Системная информатика. №5, 2015— ИСИ СО РАН, Новосибирск. — C. 39-54. http://persons.iis.nsk.su/files/persons/pages/QuadReq.pdf
  13. Томилин А.Н., Крайнева И.А., Трегубов В.М., Тумбинская М.В. Третья международная конференция «История вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы» (SORUCOM 2014). //Вопросы истории естествознания и техники. 2015. Т. 36. № 1. С. 173-180. (ВАК).
  14. Крайнева И.А. Жизнь как пазл, или еще раз о непростой биографии Юрия Борисовича Румера. // Вопросы истории естествознания и техники. 2015. Т. 36. № 2. С. 344-367. (ВАК).
  15. Томилин А.Н., Трегубов В.М., Крайнева И.А., Тумбинская М.В. Роль сообщества SORUCOM в деле сохранения историконаучного наследия в области отечественной вычислительной техники и программного обеспечения. //Информатизация образования и науки. 2015. № 2 (26). С. 172-180. (ВАК).
  16. Крайнева И.А. Персональный архив ученого как феномен исторической идентичности. // Вестник Томского государственного университета. Культурология и искусствоведение. 2015. № 2 (18). С. 135-142. (ВАК).
  17. Крайнева И.А. Переписка математика А.А. Ляпунова 1941–1945 г.г. как источник по истории науки и повседневности в период Великой Отечественной войны. //Вестник Томского государственного университета, 2015, № 399. С. 97-105. (ВАК).
  18. Марчук А.Г., Мурзин Ф.А., Крайнева И.А., Бульонкова А.А. 25 лет институту систем информатики СО РАН // История науки и техники. 2015. № 7. С. 56-72. (Перечень ВАК).
  19. Емельянов П.Г., Пономарев Д.К. Алгоритмические вопросы конъюнктивной декомпозиции булевых формул // Программирование. – 2015. – № 3. – С. 62-72.
  20. Емельянов П.Г., Ефимов В.А., Пономарев Д.К. Декартова декомпозиция таблиц реляционных баз данных // Представлено в журнал Программирование. – 2016.
  21. Bulyonkov M.A., Filatkina N.N. «The system for automation of research in macroeconomic modeling» Joint Bulletin of the Novosibirsk Computing Center and A. P. Ershov Institute of Informatics Systems, Special issue: 38(2015), NCC Publisher, Novosibirsk, 2015
  22. Артамонова Е. В. "Современные проблемы персонификации и экстрации данных" // Проблемы информатики. — 2015. — № 2. — стр. 44-58. — URL: http://problem-info.sscc.ru/?q=node/125 (дата обращения: 09.07.2015).
  23. Тихонова Т.И. О 40-й Летней школе юных программистов имени А.П. Ершова. / Журнал «Педагогические заметки», Т.8, вып. 3, 2015 г., с. 85-97.
  24. Тихонова Т.И. Новосибирская летняя школа юных программистов им. А.П. Ершова (21 июля – 3 августа 2014 г., Новосибирский Академгородок – «Белый камень») // Системная информатика. № 5. 2015. С.75-104. http://www.system-informatics.ru/ru/article/82
  25. Демин А.В. Кластеризации данных с использованием логико-вероятностного подхода к извлечению знаний // Информационные технологии в гуманитарных исследованиях. – 2015. – №21. – С. 28-33.
  26. Демин А. В. Адаптивное управление роботами с модульной конструкцией // Системы управления, связи и безопасности. – 2015. – №4. – С. 180-197.
  27. Демин А. В. Обучающаяся система управления движением для 3D модели многоногого робота // Молодой ученый. — 2015. — №19 (99). — С. 74-78.
  28. Трофимов В.К. «Об эффективности равномерного по выходу кодирования марковских источников при неизвестной статистике сообщений» // Автометрия. 2015. 51, №3, с.11-18. (ВАК)
  29. Батура Т.В., Мурзин Ф.А., Проскуряков А.В. Программный комплекс для анализа данных из социальных сетей // Программные продукты и системы. 2015. №4. С. 188-197. DOI: 10.15827/0236-235X.112.188-197 (ВАК)
  30. Бакиева А.М., Батура Т.В., Федотов А.М. Методы и системы автоматического реферирования текста // Вычислительные технологии. 2015. Т. 20, № 3. С. 263-274. (ВАК)
  31. Батура Т.В., Корб А.В., Печенкина А.М. Анализ иллокутивных функций высказываний на примере текстовых сообщений в Твиттере // Сибирский психологический журнал. 2015. №58. С. 162-174. (ВАК)
  32. Мурзин Ф.А., Батура Т.В., Еримбетова А.С., Бакиева А.М. Методы определения степени близости предложений на естественном языке на основе грамматики связей // Наука и мир. 2015. Волгоград: Научное обозрение, 2015. № 3 (19). Т. 2. С. 61–67.
  33. A.Yu. Palyanov, S.S. Khayrulin. Sibernetic: A Software Complex Based on the PCI SPH Algorithm Aimed at Simulation Problems in Biomechanics // Russian Journal of Genetics: Applied Research (2015) Vol. 5, No. 6, pp. 635–641. © Pleiades Publishing, Ltd., 2015, ISSN 2079-0597. (Scopus)
  34. A.Yu. Palyanov, A.S. Ratushnyak. Some Details of Signal Propagation in the Nervous System of C. elegans. // Russian Journal of Genetics: Applied Research (2015) Vol. 5, No. 6, pp. 642–649. © Pleiades Publishing, Ltd., 2015, ISSN 2079-0597. (Scopus)
  35. Барам Г.И., Астанин А.И., Барам Е.Г. Разработка оптимального алгоритма нахождения констант, необходимых для эмулирования обращенно-фазовых хроматограмм // Физикохимия поверхности и защита материалов – 2015. – Т.51.- № 6. – С.1087-1093.
  36. Барам Е.Г. Программная система диагностики заболевания по хроматограмме образца сыворотки крови // Программные продукты и системы – 2015. – № 1 (109). – С. 117-120.
  37. Бушин Д., Вирбицкайте И. Компаративная трассовая семантика временных сетей Петри. Программирование. № 3, 2015, стр. 20-31. (Scopus, ВАК)
  38. Tarasyuk I.V., Macia S.H., Valero R.V. Stochastic process reduction for performance evaluation in dtsiPBC. Siberian Electronic Mathematical Reports 12, p. 513-551, Sobolev Institute of Mathematics, Novosibirsk, September 2015 (ISSN 1813-3304), DOI: 10.17377/semi.2015.12.044. SJR indicator (2014): 0.295.
  39. Коровина М., Кудинов О. Спектр вычислимых действительных чисел. Алгебра и Логика, стр. 1-21, в печати. (Scopus, ВАК)
  40. Вирбицкайте И., Боровлёв В., Попова-Цейгманн Л. Истинно-параллельная и недетерминированная семантика временных сетей Петри. Программирование, 2015, (принята в печать) (Scopus, ВАК)

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

  1. M. Schroeder, V. Selivanov: Some Hierarchies of QCB_0-Spaces. CoRR abs/1304.1647 Mathematical Structures in Computer Science, v. 25 (2015), pp. 1799-1823, doi: 10.1017/S0960129513000376. (Scopus, Web of Science)
  2. L. Motto Ros, P. Schlicht and V. Selivanov. Wadge-like reducibilities on arbitrary quasi-Polish spaces. Mathematical structures in computer science, v. 25 (2015), pp. 1705-1754, doi: 10.1017/S0960129513000339. (Scopus, Web of Science)
  3. M. Schroeder, V. Selivanov. Hyperprojective hierarchy of qcb0-spaces. Computability 4(1), 2015, 1-17.
  4. N. V. Vizovitin, V.A. Nepomniaschy, A. A. Stenenko. Verifying UCM Specifications of Distributed Systems Using Colored Petri Nets. — Cybernetics and Systems Analysis 03/2015; 51(2):213-222. (Scopus, Web of Science)
  5. S. A. Chernenok and V. A. Nepomniaschy. Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets, Automatic Control and Computer Sciences, 2015, Vol. 49, No. 7, pp. 484–492. Allerton Press, Inc., 2015
  6. V. A. Nepomniaschy, E. V. Bodin, and S. O. Veretnov. The Language Dynamic — Real and Its Application for Verification of SDL — Specified Distributed Systems. Programming and Computer Software, 2015, Vol. 41, No. 1, pp. 41–48. © Pleiades Publishing, Ltd., 2015.
  7. N. Garanina, E. Bodin, E. Sidorova. Using SPIN for Verification of Multi-agent Data Analysis // Automatic Control and Computer Sciences, 2015, Vol. 49, No. 7, pp. 420–429. ISSN 014664116© Allerton Press, Inc., 2015 (Scopus)
  8. N. O. Garanina and E. A. Sidorova. Ontology Population as Algebraic Information System Processing Based on Multi-agent Natural Language Text Analysis Algorithms // Programming and Computer Software, 2015, Vol. 41, No. 3, pp. 140–148. Pleiades Publishing, Ltd., 2015. (Scopus, Web of Science)
  9. Kasyanov V.N., Kasyanova E.V. Graph- and cloud-based tools for computer science education // Lecture Notes of Computer Science. — Berlin: Springer, 2015. — Vol. 9395. — pp. 41-54.
  10. Kasyanov V.N., Kasyanova E.V. Information visualization based on hierarchical graph models // Математички Билтен – Скопjе: Македониjа, 2015. – Vol.39 (LXIV), N 1. – p.25-32– ISSN 0351-336X.
  11. Rubtsova Y., Koshelnikov S. Aspect Extraction from Reviews Using Conditional Random Fields // Knowledge Engineering and Semantic Web. 6th International Conference, KESW 2015, Moscow, Russia, September 30 – October 2, 2015. Proceedings / Pavel Klinov, Dmitry Mouromtsev (Eds.). Communications in Computer and Information Science, Vol. 518. – Springer International Publishing, 2015. – pp. 158-167.
  12. Zagorulko Y., Zagorulko G. Ontology-Based Technology for Development of Intelligent Scientific Internet Resources // Intelligent Software Methodologies, Tools and Techniques. Proceedings of 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings / Hamido Fujita, Guido Guizzi (Eds.), Communications in Computer and Information Science, Vol. 532. – Springer International Publishing, 2015. –pp. 227-241.
  13. Loukachevitch N., Rubtsova Y. Entity-Oriented Sentiment Analysis of Tweets: Results and Problems // Text, Speech, and Dialogue. 18th International Conference, TSD 2015, Pilsen, Czech Republic, September 14-17, 2015, Proceedings / Pavel Král, Václav Matoušek (Eds.). Lecture Notes in Artificial Intelligence, 9302. – Springer International Publishing, 2015. – pp. 551-559.
  14. Garanina, Natalia, Sidorova, Elena, Bodin, Eugene. A Multi-agent Text Analysis Based on Ontology of Subject Domain // Perspectives of System Informatics, PSI 2014. LNCS, vol. 8974. – Springer International Publishing, 2015. –pp. 102-110.
  15. Demin A.V. Adaptive Locomotion Control System for Modular Robots // International Journal of Automation, Control and Intelligent Systems. – 2015. – Vol.1. – No. 4. – pp. 92-96.
  16. P. Emelyanov and D. Ponomaryov. Algorithmic issues of AND-decomposition of boolean formulas. Programming and Computer Software 41(3): 162-169, 2015. (Scopus).
  17. Trofimov V.K. Efficiency of Output-Uniform Coding of Markov Sources for Unknown Message Statistics // Optoelectronics, Instrumentation and Data Processing, 2015, Vol. 51, No. 3, pp. 220 – 226. (Scopus)
  18. Batura T.V., Murzin F.A., Semich D.F., Bakiyeva A.M., Yerimbetova A.S., Sagnayeva S.K. Estimation of the Degree of Similarity of Sentences in a Natural Language Based on Using the Link Grammar Parser Program System // Computing and Informatics. 2015. ISSN: 1335-9150. Editorial Office: Institute of Informatics, SAS, Dúbravská cesta 9, 845 07 Bratislava, Slovakia. http://www.cai.sk/ojs/index.php/cai/index – 11 pages (in appear) (Scopus)
  19. Baizhanov B.S., Batura T.V., Murzin F.A., Nemchenko M.Yu., Perfiliev A.A. Similarity estimation algorithms for natural language sentences // Математический журнал. Казахстан, 2015. Т. 15. № 3 (57). С. 33-46.
  20. Levichev, A. and Palyanov, A. (2015) On Separation between Metric Observers in Segal’s Compact // Cosmos. Journal of Modern Physics, 6, 2040-2049. http://dx.doi.org/10.4236/jmp.2015.614210 (The impact factor of the journal is 0.79 based on the Google Scholar citation service)
  21. Korovina M., Kudinov O. Positive Predicate Structures for Continuous Data. Journal of Mathematical Structures in Computer Science, Cambridge University Press, Vol. 25, N 8, 2015, pp. 1669-1684. (Scopus)
  22. Korovina, M., Kudinov, O. Index sets as a measure of continuous constraints complexity. Lecture Notes in Computer Science, Vol. 8974, 2015, pp. 201-215. (Springer, Scopus)
  23. Korovina M., Kudinov. O. Rice's Theorem in Effectively Enumerable Topological Spaces. Lecture Notes in Computer Science, Vol. 9136, 2015, pp. 226-235. (Springer, Scopus)
  24. Virbitskaite, I., Bushin D. Comparing Semantics Under Strong Timing of Petri Nets. Lecture Notes in Computer Science, Vol. 9136, 2015, pp. 376-384. (Springer, Scopus)
  25. Korovina M., Kudinov O. Computable Elements and Functions in Effectively Enumerable Topological Spaces. Journal of Mathematical Structures in Computer Science, Cambridge University Press, pp. 1-27, в печати (Scopus)
  26. Virbitskaite I., Bushin D., Best E. True Concurrent Equivalences in Time Petri Nets. Fundamenta Informaticae, IOS Press, pp. 1-20, в печати (Scopus)
  27. D. A. Kondratyev and A. V. Promsky. Developing a Self-Applicable Verification System. Theory and Practice // Automatic Control and Computer Sciences, 2015, Vol. 49, No. 7, pp. 445–452. © Allerton Press, Inc., 2015.

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

  1. V. Selivanov. Towards the effective descriptive set theory. CiE 2015 (Eds. A. Beckmann, V. Mitrana, M.I. Soskova: Evolving Computability — 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 — July 3, 2015. Proceedings. Lecture Notes in Computer Science, v. 9136, Springer, Berlin, 324-333. (Scopus, Web of Science)
  2. M. de Brecht, M. Schroeder, V. Selivanov. Base-complexity classifications of qcb0 -spaces. (Eds. A. Beckmann, V. Mitrana, M.I. Soskova) Evolving Computability — 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 — July 3, 2015. Proceedings. Lecture Notes in Computer Science, v. 9136, Springer, Berlin, 156-166. (Scopus, Web of Science)
  3. Natalia Garanina, Elena Sidorova. An Approach to Ambiguity Resolution for Ontology Population // Proceedings of the 24th International Workshop on Concurrency, Specification and Programming. Rzeszow, Poland, September 28-30, 2015. — University of Rzeszow, 2015, Vol. 1, pp 134-145
  4. Kasyanov V.N. Russian informatics in persons: my teachers // Proceedings of Third International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom), IEEE Computer Society, Conference Publishing Services (CPS), 2015, pp. 12-17. DOI 10.1109/SoRuCom.2014.10
  5. Kasyanov V.N., Kasyanova E.V. Graph-based tools for computer science teaching and learning // Proceedings of International Conference on Big Data, Cloud and Applications (BDCA’15), Tetuan, ENCA, 2015, pp. 244-249.
  6. Kasyanov V.N., Kasyanova E.V. Cloud system of functional and parallel programming for computer science education // Proceedings of 2015 2nd International Conference on Creative Education (ICCE 2015), June 27-28, 2015, London, UK. –SMSSI, 2015. – pp. 270 275. – (Advances in Education Sciences, Vol. 10). — ISSN 2339-5141.
  7. Kasyanov V.N. Methods and tools of functional programming for supporting of cloud supercomputing // 8 International Congress on Industrial and Applied Mathematics. Programs&Abstracts. — Beijing, ICIAM, 2015. — p. 347.
  8. Касьянова Е.В., Касьянов В.Н. О плоских укладках иерархических графов // Материалы XV Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2015. – Том 2 — С. 114-118.
  9. Касьянов В.Н., Идрисов Р.И., Касьянова Е.В., Стасенко А.П. Методы и средства параллельного программирования на основе языка Sisal // Материалы XV Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2015. – Том 3. — С.166-170.
  10. Малышев А.А. Средства автоматизации визуализации алгоритмов на графах // Материалы XV Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2015. – Том 1. — С.116-120.
  11. Касьянов В.Н. Теоретико-графовые методы и системы программирования // Труды XI Международной Азиатской школы-семинара "Проблемы оптимизации сложных систем", Кыргызская Республика, 27 июля-7 августа 2015 г., оз. Иссык-Куль, г. Чолпон-Ата. — Алматы: Изд-во НЦ НТИ, 2015. – Часть 1. – С. 341-348.
  12. Касьянова С.Н., Касьянова Е.В. Использование кластеров для вычисления преобразования Меллина функций в задачах томографии // Труды XI Международной Азиатской школы-семинара "Проблемы оптимизации сложных систем", Кыргызская Республика, 27 июля-7 августа 2015 г., оз. Иссык-Куль, г. Чолпон-Ата. — Алматы: Изд-во НЦ НТИ, 2015. – Часть 1. – С. 349-356.
  13. Касьянов В.Н., Золотухин Т.А. Visual Graph — система визуализации сложно структурированной информации большого объема на основе графовых моделей // GraphiCon2015. Труды Международной научной конференции. — Москва-Протвино: Институт физико-технической информатики, 2015. — С.141–149. — ISBN 978-5-88835-041-6.
  14. Gordeev D. Reasoning about Graph Algorithm Visualization // WSCG 2015. 23rd International Conference on Computer Graphics, Visualization and Computer Vision. Poster Proceedings. — Plzen: Vaclav Skala-Union Agency, 2015. — pp.75–79. — ISBN 978-80-86943-67-1
  15. Касьянов В.Н. Теоретико-графовые методы и системы программирования // Труды Международной конференции “Актуальные проблемы вычислительной и прикладной математики-2015”, посвященной 90-летию со дня рождения академика Гурия Ивановича Марчука. – Новосибирск: Абвей, 2015. – С. 314–320. — ISBN 978-5-9905347-2-8.
  16. Kasyanov V.N. Graph-theory methods and systems of programming // Международная конференция “Актуальные проблемы вычислительной и прикладной математики-2015”, посвященная 90-летию со дня рождения академика Гурия Ивановича Марчука. Тезисы. – Новосибирск: Академиздат, 2015. – С. 80. — ISBN 978-5-9907241-5-1.
  17. Loukachevitch N.V., Blinov P.D., Kotelnikov E.V., Rubtsova Y.V., Ivanov V.V., Tutubalina E.V. SentiRuEval: testing object-oriented sentiment analysis systems in Russian // Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции «Диалог» (Москва, 27–30 мая 2015 г.). Вып. 14 (21). — М.: Изд-во РГГУ, 2015. — С. 2-11.
  18. Загорулько Ю.А., Загорулько Г.Б. Онтологический подход к созданию научных интернет-ресурсов // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2015): материалы V Междунар. научн.-техн. конф. (Минск, 19-21 февраля 2015 г.) / редкол.: В. В. Голенков (отв. ред.) [и др.]. – Минск: БГУИР, 2015. – С. 177–182.
  19. Загорулько Ю.А. О технологии создания интеллектуальных научных интернет-ресурсов // Информационные технологии в науке, образовании и управлении: труды XLV международной конференции IT + S&E`15 (Гурзуф, 22 мая–01 июня 2015 г) / под. ред. проф. Е.Л. Глориозова. М.: ИНИТ, 2015. Весенняя сессия. С. 71-80.
  20. Загорулько Г.Б. Интеллектуальный ресурс по поддержке принятия решений // Информационные технологии в науке, образовании и управлении: труды XLV международной конференции IT + S&E`15 (Гурзуф, 22 мая–01 июня 2015 г) / под. ред. проф. Е.Л. Глориозова. М.: ИНИТ, 2015. Весенняя сессия. С. 80-87.
  21. Загорулько Ю. А., Ахмадеева И. Р., Серый А. С. Автоматизация сбора информации о научной деятельности для тематических интеллектуальных научных интернет-ресурсов // Аналитика и управление данными в областях с интенсивным использованием данных: XVII Международная конференция DAMDID/RCDL’2015 (Обнинск, 13-16 октября 2015, Россия): Труды конференции / под ред. Л.А. Калиниченко, С.О. Старкова – Обнинск: ИАТЭ НИЯУ МИФИ, 2015. — С. 105–111.
  22. Лукашевич Н., Рубцова Ю. Объектно-ориентированный анализ твитов по то-нальности: результаты и проблемы // Аналитика и управление данными в областях с интенсивным использованием данных: XVII Международная конференция DAMDID/RCDL’2015 (Обнинск, 13-16 октября 2015, Россия): Труды конференции / под ред. Л.А. Калиниченко, С.О. Старкова – Обнинск: ИАТЭ НИЯУ МИФИ, 2015. — С. 499–507.
  23. Загорулько Ю.А. На пути к технологии построения интеллектуальных научных интернет-ресурсов // Информационные технологии, системы и приборы в АПК: материалы 6-ой международной научно-практической конференции “АГРОИНФО-2015” (Новосибирск, 22-23 октября 2015 г.), – Новосибирск: Сибирский физико-технический институт аграрных проблем, 2015. – Ч.1. – С.413-416. (ISBN 978-5-8119-0637-6)
  24. Шестаков В.К. Построение и сопровождение информационных Wiki-систем на базе онтологий // Информационные технологии, системы и приборы в АПК. Ч. 1: материалы 6-ой Международной научно-практической конференции «АГРОИНФО-2015» (Новосибирск, 22–23 октября 2015 г.) / Сибирский физико-технический институт аграрных проблем. — Новосибирск, 2015. — С. 440–443.
  25. Шелехов В.И. Семантика языка предикатного программирования // ЗОНТ-15. — Новосибирск, 2015. — 13с. http://persons.iis.nsk.su/files/persons/pages/semZont1.pdf
  26. Булгаков К. В. Оптимизирующие трансформации рекурсивных структур данных в системе предикатного программирования // Материалы 53-й международной научной студенческой конференции «Студент и научно-технический прогресс»: Информационные технологии / Новосиб. гос. ун-т. ¾ Новосибирск, 2015.
  27. Антонович К.М., Косарев Н.С., Шевчук С.О., Щербаков А.С. Учет дифференциального влияния ионосферы при контроле фазовых двухчастотных ГНСС-измерений приемника с атомными часами, XI Международные научный конгресс и выставка ИНТЕРЭКСПО ГЕО-СИБИРЬ-2015, выпуск № 2, Том 1, 2015. – С. 103-109.
  28. G. Behnke, D. Ponomaryov, M. Schiller, P. Bercher, F. Nothdurft, B. Glimm, and S. Biundo. Coherence across components in cognitive systems – One ontology to rule them all. Proceedings IJCAI '2015, International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 2015. (Scopus).
  29. G. Behnke, M. Schiller, D. Ponomaryov, F. Nothdurft, P. Bercher, W. Minker, B. Glimm, and S. Biundo. A Unified Knowledge Base for Companion-Systems — A Case Study for Mixed-Initiative Planning. Proceedings ISCT'2015, International Symposium on Companion-Technology, Ulm, Germany, September 2015.
  30. M. Kotzyba, D. Ponomaryov, T. Löw, M. Thiel, B. Glimm, and A. Nürnberger. Ontology-supported Exploratory Search for Physical Training Exercises. Proceedings ISWC’2015 Posters & Demos, International Semantic Web Conference, Bethlehem, Pennsylvania, USA, October, 2015. (Scopus).
  31. G. Behnke, P. Bercher, S. Biundo, B. Glimm, D. Ponomaryov, and M. Schiller. Integrating ontologies and planning for cognitive systems. Proceedings DL '2015, The Description Logic Workshop, Athens, Greece, June 2015. (Scopus).
  32. Marchuk A., Krayneva I. Interdisciplinary interaction of exact sciences and humanities: methodology and history // В сборнике: Proceedings — 3rd International Conference on Computer Technology in Russia and in the Former Soviet Union, SoRuCom 2014. 3. 2015. С. 165-171. (Scopus).
  33. Апанович З.В., Марчук А.Г. Комбинированный подход к кросс-языковой идентификации сущностей // CEUR Workshop Proceedings. 2015. Т. 1536. С. 91-95.
  34. Артамонова Е. В. Современные проблемы хранения и поиска неструктурированных данных в WEB // XI Международная научно-практическая конференция «Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени» // Национальная ассоциация ученых (НАУ) / Технические науки — 2015. — VI (11) — стр. 11, URL: http://nau-science.ru/files/Arhiv/3-4.07.2015/p2/6-171.pdf#page=1 (дата обращения: 25.11.2015), г. Екатеринбург, 2015.
  35. Андреева Т.А., Городняя Л.В. Опыт преподавания парадигм программирования. // Материалы международной научно-практической конференции «От информатики в школе к техносфере образования», Москва, 9-11 декабря 2015 года // Электронная публикация. http://www.tehnosfera-edu.ru/publ/doklady/opyt_prepodavanija_paradigm_programmirovanija/1-1-0-203
  36. Т.А.Андреева, Л.В.Городняя. Преподавание парадигм программирования. // XXV Ежегодная международная конференция-выставка «Информационные технологии в образовании» (ИТО-2015), 6-7 ноября 2015 года, г. Москва // Электронная публикация. http://ito.su/main.php?pid=26&fid=9368
  37. Л.В.Городняя. Образовательные проблемы параллельного программирования. // XXV Ежегодная международная конференция-выставка «Информационные технологии в образовании» (ИТО-2015), 6-7 ноября 2015 года, г. Москва, 9-11 декабря 2015 года // http://ito.su/main.php?pid=26&fid=9394
  38. Л.В.Городняя. Школьная информатика и параллелизм. // Международная научно-практическая конференция, посвященная 30-летию преподавания информатики в школе «От информатики в школе к техносфере образования», Москва, 9-11 декабря 2015. http://www.tehnosfera-edu.ru/publ/doklady/shkolnaja_informatika_i_parallelizm/1-1-0-207
  39. Марчук А.Г., Тихонова Т.И. Летняя школа юных программистов – этап становления школьной информатики// Международная научно-практическая конференция «От информатики вшколе к техносфере образования», 9-11 декабря 2015 года, с. 1-10. http://www.tehnosfera-edu.ru/publ/doklady/letnjaja_shkola_junykh_programmistov_ehtap_stanovlenija_shkolnoj_informatiki/1-1-0-168
  40. Крайнева И.А. Академик Андрей Петрович Ершов и национальная программа информатизации образования. // Международная научно-практическая конференция, посвященная 30-летию преподавания информатики в школе «От информатики в школе к техносфере образования», Москва, 9-11 декабря 2015. http://www.tehnosfera-edu.ru/publ/doklady/akademik_andrej_petrovich_ershov_i_nacionalnaja_programma_informatizacii_obrazovanija/1-1-0-231
  41. А.Г.Марчук, С.В.Лештаев. Экспериментальная реализация Sparql-1.1 и RDF Triple Store // Аналитика и управление данными в областях с интенсивным использованием данных, XVII Международная конференция DAMDID/RCDL’2015, Обнинск, 13-16 октября 2015 года, Труды конференции, с. 83-87.
  42. Zinaida Apanovich, Alexander Marchuk “Experiments on cross-language identity Resolution”, Proceedings of the Workshop on Foundations of Informatics FOI-2015, August 24-29, 2015, Chisinau, Republic of Moldova, pp. 283-295.
  43. Zinaida Apanovich, Alexander Marchuk //Experiments on Russian-English identity resolution Proceedings of the ICADL-2015 Conference Seul, South Korea, 9-13 December 2015 Springer International Publishing Switzerland 2015 R.B. Allen et al. (Eds.): ICADL 2015, LNCS 9469, pp. 12–21, 2015. DOI: 10.1007/978-3-319-27974-9_2
  44. Апанович З.В. Эксперементы по кросс-языковой индентификации сущностей Int. Crimean Conference “Microwave&Telecommunication Technology” (CriMiCo’2015), 6-12 September, Sevastopol, Crimea, pp 313-314.
  45. Апанович З.В., Марчук А.Г, Комбинированный подход к кросс-языковой идентификации сущностей Труды XVII Международной конференции DAMDID/RCDL’2015 «Аналитика и управление данными в областях с интенсивным использованием данных», Обнинск, 13-16 октября 2015 c. 155-159.
  46. Emelyanov P. and Ponomaryov D. On the Tractability of Disjoint AND-Decomposition of Boolean Formulas // Proceedings of the PSI 2014: Ershov Informatics Conference, 24-27 June 2014, Saint Petersburg, Russia / Lecture Notes in Computer Science. – Vol. 8974, — Springer, 2015. – P. 92-101. DOI: 10.1007/978-3-662-46823-4_8.
  47. 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.
  48. Mozheikina L. and Emelyanov P. Personal Issues of Social Networks: Towards Safe Surfing // To appear in 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.
  49. Л.В. Городняя. О парадигме параллельного программирования. // В сборнике: Суперкомпьютерные дни в России. Труды международной конференции. Суперкомпьютерный консорциум университетов России и Федеральное агентство научных организаций России. – Москва, 2015, С. 587-593.
  50. Лаврентьев М.М, Васючкова Т.С., Держо М.А., Иванчева Н.А., Романенко А.А., Федотова О.А., Бартош В.С., Белаго И.В., Городняя Л.В., Иванов Е.Ю. Единая электронная образовательная среда Новосибирского Государственного Университета // В сборнике: Педагогика и психология – 2015. Сборник материалов международной научной конференции, 2 сессия (Электронный ресурс). Под ред. В.А. Дегтярева. Москва, 2015 г., С. 63-69.
  51. Baizhanov B.S, Batura T.V, Kopylova N.S, Murzin F.A, Nemchenko M.Yu., Proskuryakov A.V. On some formal methods of analysis of online social networks // Тезисы докладов международной научной конференции “Теория функций, информатика, дифференциальные уравнения и их приложения”, 15-16 октября 2015 года, Алматы, С.166.
  52. Левичев А.В. Новые представления о пространстве-времени: DLF-модель и её возможные приложения, В Материалах Всероссийской конференции с международным участием "Знания-Онтологии-Теории" (ЗОНТ-2015), 6-8 октября 2015, Том.1, сс.201-206, Издательство Института математики им. С. Л. Соболева РАН, Новосибирск, 2015.
  53. А.Ю. Пальянов, С.С. Хайрулин. Моделирование паттернов движения C. elegans в программной среде Sibernetic. // Труды международной конференции «Актуальные проблемы вычислительной и прикладной математики – 2015», секция «Математическая иммунология, биология и медицина», стр. 176-177.
  54. Andrey Palyanov, Natalia Palyanova, Sergey Khayrulin. To the problem of a biologically reasonable modeling of the C. elegans neuronal activity // Proc. PSI’2015 (10-th Ershov Informatics Conference).
  55. Brauße F., Korovina M., Müller N. Using Taylor Models in Exact Real Arithmetic. Proc. MACIS2015: Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Berlin, Germany, November 11 – 13, 2015 принята к печати.
  56. Brauße F., Korovina M., Müller N. Towards Using Exact Real Arithmetic for Initial Value Problems. Proc. PSI 2015: 10th International Ershov Informatics Conference, pp. 1-15.
  57. Virbitskaite I., Borovlyov V., Popova-Zeugmann L. Branching Processes of Timed Petri Nets. Proc. PSI 2015: 10th International Ershov Informatics Conference, pp. 1-15.
  58. Virbitskaite I., Bozhenkova E., Erofeev E. Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures'', Proceedings of 24th International Workshop on Concurrency, Specification and Programming, CS&P 2015, Rzeszow, Poland, September 28-30, 2015, pp. 222-233.
  59. K. Barylska, E. Best, E. Erofeev, L. Mikulski, M.Piatkowski. On Binary Words Being Petri Net Solvable. Proceedings of International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Brussels, Belgium, June 22-23, 2015, pp. 1-15.
  60. Korovina M., Kudinov. O. Around Rice-Shapiro Theorem in Topological Settings. In Proc. International Conference Continuity, Computability, Constructivity: From Logic to Algorithms 2015, CCC2015, Schloss Aspenstein, Kochel am See, near Munich, Germany, 14-18 September 2015, p. 7.
  61. Brauße F., Korovina M., Müller N. On improvements in exact real arithmetic for initial value problems Slides. Proc. International Conference Continuity, Computability, Constructivity: From Logic to Algorithms 2015, CCC2015, Schloss Aspenstein, Kochel am See, near Munich, Germany, 14-18 September 2015, pp. 4-6.
  62. Brauße F., Korovina M., Müller N. Using Taylor Models in TTE. Proc. International Conference Continuity, Computability, Constructivity: From Logic to Algorithms 2015, CCC2015, Schloss Aspenstein, Kochel am See, near Munich, Germany, 14-18 September 2015, pp. 1-3.
  63. Korovina M., Kudinov. O. Index sets in Computable Analysis. In Proc. Workshop on Computability Theory (WCT 2015), Buharest, Rumania, June 27-28, 2015, p. 5.
  64. D. Kondratyev, A. Promsky. Implementing the MetaVCG approach in the C-light system // Proc. Tools & Methods of Program Analysis (TMPA–2015), St.Petersburg, Russia, Nov. 12-14, 2015, pp. 101–106.
  65. Д. Кондратьев. Расширение метагенерации условий корректности концепцией семантической разметки // Инструменты и методы анализа программ – 2015. Tools & Methods of Program Analysis (TMPA–2015), 12-14 ноября 2015. — СПб.: Изд-во Политехн. ун-та, 2015, 107-118.

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

  1. Гаранина Н.О., Сидорова Е.А. Мультиагентный подход к извлечению информации из текстов и пополнению онтологии // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ–2015), 6 — 8 октября 2015 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2015. –Т.1. — С. 50-59.
  2. Брагинская Л.П., Григорюк А.П., Загорулько Ю.А., Боровикова О.И. Онтологический подход к систематизации контента интернет-ресурса «Активная сейсмология» // Интерэкспо Гео-Сибирь, 2015, Т.1, №1. — С.224-228 (публикация в базе РИНЦ).
  3. Загорулько Ю.А., Боровикова О.И., Загорулько Г.Б. Роль онтологии в технологии построения тематических научных интернет-ресурсов // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ–2015), 6 - 8 октября 2015 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2015. –Т. 1. — С. 101-110.
  4. Боровикова О.И., Брагинская Л.П., Загорулько Ю.А., Ковалевский В.В. Онтология предметной области «Активная сейсмология» Материалы Всероссийской конференции с международным участием «Знания-Онтологии-Теории» (ЗОНТ-2015), Новосибирск, 2015, Т.1. -С. 39-43 (публикация в базе РИНЦ).
  5. Гаранина Н.О., Сидорова Е.А. Мультиагентный подход к извлечению информации из текстов и пополнению онтологии // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ–2015), 6 - 8 октября 2015 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2015. –Т. 1. — С. 50-59.
  6. Ковалев А.И., Сидорова Е.А. Инструмент разработки предметных словарей на основе лексических шаблонов DigLex // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ–2015), 6 - 8 октября 2015 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2015. –Т. 1. — С. 123-130.
  7. Серый А.С. Методы вычисления трастовых метрик в задаче оценки рейтингов IT-проектов // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ–2015), 6 - 8 октября 2015 г., Новосибирск. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2015. –Т. 2. — С. 133-141.
  8. Загорулько Ю.А., Боровикова О.И., Ахмадеева И.Р. Автоматизация сбора информации для тематических интеллектуальных научных интернет-ресурсов из сети интернет // Информационные и математические технологии в науке и управлении / Труды XX Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть III. – Иркутск: ИСЭМ СО РАН, 2015. — С. 89–96.
  9. Загорулько Г.Б. Сервис-ориентированный подход к разработке интеллектуальных научных интернет-ресурсов // Информационные и математические технологии в науке и управлении / Труды XX Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть III. – Иркутск: ИСЭМ СО РАН, 2015. — С. 97-104.
  10. Кононенко И.С. Исследование жанровых характеристик электронных ресурсов // Информационные и математические технологии в науке и управлении / Труды XX Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть III. – Иркутск: ИСЭМ СО РАН, 2015. — С. 104–112.
  11. Сидорова Е.А. Модель извлечения знаний: от текста к структурированной информации // Информационные и математические технологии в науке и управлении / Труды XX Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть III. – Иркутск: ИСЭМ СО РАН, 2015. — С. 151–159.
  12. Апанович З. В., Марчук А. Г., Черепанов Д. Н. Эксперименты по кросс-языковой идентификации сущностей// Материалы Всероссийской конференции с международным участием "Знания-Онтологии-Теории" (ЗОНТ-2015), ИМ СО РАН, Новосибирск, 2015г. — С. 17-22.
  13. Демин А.В. Обучающаяся система управления движением для модульных роботов // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2015). – Новосибирск, 2015. – Т. 1. – С. 76–83.
  14. Городняя Л.В. О парадигмах программирования. // В сборнике: Преподавание информационных технологий в Российской Федерации. Материалы тринадцатой открытой Всероссийской конференции - г. Пермь, 2015 г. — С. 91-93.



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