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

Монографии

  1. Батура Т.В., Белогубова М.В., Братцев С.Г., Копылова Н.С., Мурзин Ф.А. Мультиагентные модели социодинамических процессов // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. – Новосибирск: Изд-во СО РАН, 2012. ISBN будет получен. – 130 с., 8 печ.л.
  2. Батура Т.В., Мурзин Ф.А., Перфильев А.А., Шманина Т.В. Методы повышения эффективности поиска информации на основе синтаксического анализа // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. – Новосибирск: Изд-во СО РАН, 2012. ISBN будет получен. – 80 с., 5 печ. л.
  3. Информатика в науке и образовании / Под ред. В.Н. Касьянова. - Новосибирск: ИСИ СО РАН, 2012. (книга)

Российские журналы

  1. Загорулько Ю.А., Загорулько Г.Б. Онтологический подход к разработке системы поддержки принятия решений на нефтегазодобывающем предприятии // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2012. Том.10, выпуск 1. –С. 121-128.
  2. Загорулько Ю.А., Боровикова О.И., Кононенко И.С., Соколова Е.Г. Методологические аспекты разработки электронного русско-английского тезауруса по компьютерной лингвистике // Информатика и ее применения. – 2012. – Т. 6. – №3. – С.22–31.
  3. Загорулько Ю.А. , Боровикова О.И. Подход к созданию многоязычного тезауруса на основе семантических технологий // Информационные и телекоммуникационные технологии, 2012. – № 14.– С. 94-100.
  4. Шестаков В.К. Извлечение онтологий из Wiki-систем // Научно-технический вестник информационных технологий, механики и оптики, № 01(77) 2012. — СПб: СПбНИУ ИТМО, 2012. — С. 62–66.
  5. Borovikova O., Globa L., Novogrudska R., Ternovoy M., Zagorulko G., Zagorulko Yu. Methodology for knowledge portals development: background, foundations, experience of application, problems and prospects // Joint NCC&IIS Bulletin, Series Computer Science. 2012. Vol. 34. (15 стр., в печати).
  6. Anureev I.S. Program specific transition systems // Joint NCC&IIS Bulletin, Series Computer Science. 2012. Vol. 34.
  7. Anureev I.S., Maryasov I.V., Nepomniaschy V.A. Two-level C-light Programs Mixed Verification Method in Terms of Safety Logic // Joint NCC&IIS Bulletin, Series Computer Science. 2012. Vol. 34.
  8. Ануреев И.С. Дедуктивная верификация телекоммуникационных систем, представленных на языке Си // Моделирование и анализ информационных систем. 2012. Т. 19, № 4. 
  9. Бернштейн А.Ю., Шилов Н.В. Мультиагентная задача о роботах в пространстве: информационный и криптографический аспекты. Прикладная дискретная математика, №5, 2012. c. 61-63.
  10. Гаранина Н.О. Экспоненциальное улучшение временной сложности проверки моделей для мультиагентных систем с абсолютной памятью // Программирование, Т. 38, № 6., 2012, с. 2-13.
  11. Шкляев Д.А., Непомнящий В.А. Дедуктивная верификация протокола скользящего окна // Моделирование и анализ информационных систем. 2012. Т. 19, № 4.
  12. Емельянов П.Г. О восстановлении пути в дереве Барнинга-Холла // Вестник НГУ. Серия: математика, механика, информатика. – Т. 12, № 3, 2012. – С. 95-102.
  13. Е. Боженкова. Методы композиции при построении характеризационных формул  для моделей с непрерывным временем. Программирование. № 6, 2012. с. 3-15. ИФ РИНЦ 0,386
  14. И. Вирбицкайте. 8-ая Международная Ершовская конференция по информатике. Программирование. № 5, 2012. с. 3-15. ИФ РИНЦ 0,386
  15. И. Тарасюк. Поведенческие эквивалентности сетей Петри с невидимыми переходами. Вестник СибГУТИ, № 4, 2012. ИФ РИНЦ 0,186
  16. Д. Бушин, И. Вирбицкайте. О взаимосвязях поведенческих эквивалентностей временных сетей Петри. Проблемы информатики, Том 15, № 2(14), 2012, с. 21-30. ИФ РИНЦ 0,176
  17. И. Вирбицкайте, Е. Ерофеев. Построение ортомодулярных решеток первичных структур событий. Проблемы информатики, Том 15, № 2(14), 2012, с. 12-20.  ИФ РИНЦ 0,176
  18. Н. Грибовская. Логическая унификация поведенческих эквивалентностей временных структур событий. Вестник НГУ: Математика, механика, информатика. № 1, 2013. ИФ РИНЦ 0,114
  19. Gordeev D.S. Graph algorithm interactive visualization // Bull. Novosibirsk Comp. Center. Ser. Computer Science. –  Novosibirsk, 2012. – IIS Special Iss. 34. – P. 93 – 103.
  20. Демин А.В. Модель адаптивной системы управления и ее применение для управления движением виртуального робота // Молодой ученый. – 2012. – № 11 (46) – С. 114-119.
  21. Демин А.В., Пальянов А.Ю. Обучающаяся система управления локомоцией для 3D-модели нематоды C.Elegans // Нейроинформатика. – 2012. – Т. 6. – № 1. – С. 42-49.
  22. Витяев Е.Е., Демин А.В., Пономарев Д.К. Вероятностное обобщение формальных понятий // Программирование. – 2012. – №5. – С. 18-34.
  23. Е.Е. Витяев, А.В. Демин, Д.К. Пономарев. Вероятностное обобщение формальных понятий. Программирование, №5, стр. 18–34,  Наука/Interperiodica, 2012.
  24. D. Ponomaryov and M. Soutchanski. Component properties of forgetting and progression in Situation Calculus. // Bulletin of the Novosibirsk Computing Center / Computer Science – Novosibirsk, 2012 – IIS Special Issue: 32 – 22 pages .
  25. Е. Ошевская. Сравнение эквивалентностей на полукубических множествах и пространствах. Сдана на рецензирование в журнал "Математические труды".
  26. Платонов Ю.Г. Разработка мобильных приложений для работы с корпоративными информационными системами с использованием архитектурного шаблона command and query responsibility segregation (cqrs) // Молодая информатика. – Новосибирск 2011. – № 3 – С. 53–62.
  27. Платонов Ю.Г. Анализ перспектив перехода информационных систем на сервисно-ориентированную архитектуру // Проблемы информатики. – Новосибирск 2011. - № 4 - С. 56-65.
  28. Тихонова Т.И. В какую информатику будем играть? // Вестник Новосибирского государственного университета. Сер.:Информационные технологии, том 10, выпуск 2. – Новосибирск: НГУ, 2012. – с. 100-105.
  29.  Тихонова Т.И. От алгоритмов – до проектной деятельности// "Педагогические заметки". Том 5, выпуск 3. – Новосибирск: ИПИО РАО, 2012.
  30. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г. Механизм взаимодействия "вуз - школа" при подготовке к ЕГЭ по информатике. "Дистанционное и виртуальное обучение" (в печати).
  31. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г.  Виртуальные миры  в учебном процессе  и подготовке к ЕГЭ или Аватар приходит в школу Интернет-конференция "Использование ИКТ и ЭОР в образовательном процессе"// Журнал "Интернет и Образование"  в образовательной сети "Открытый Класс".
  32. Батура Т.В. Методы анализа компьютерных социальных сетей // Вестник НГУ. Серия: Информационные технологии. – Новосибирcк, 2012. – Том 10, Вып. 4. – С. 13-28.
  33.  Батура Т.В. Формальные методы определения авторства текстов // Вестник НГУ. Серия: Информационные технологии. – Новосибирcк, 2012. – Том 10, Вып. 4. – С. 81-94.
  34. Batura Tatiana. Methods of Social Network Analysis // Joint Bull. of NCC&IIS. Ser.: Comput. Sci. – 2012. – Is. 33. – 11р.
  35. Мигинский Д.С., Тимонов В.С. Применение сетевых описаний экосистем для автоматизированного построения имитационных моделей //Вестник НГУ. Серия: Информационные технологии. 2012. – Т. 10, Вып. 1, – С. 55-62.
  36. Пальянов А.Ю., Пальянова Н.В., Хайрулин С.С. О проблемах моделирования биологических нейронных сетей. // Вестник НГУ. Серия: Информационные технологии. – Новосибирcк, 2012. – Том 10, Вып. 3. – С. 46-57.
  37. Шкляев Д.А., Непомнящий В.А. Дедуктивная верификация протокола скользящего окна. // Моделирование и анализ информационных систем. – 2012. – Т. 19, № 6 – С. 55-66.
  38. Штокало Д.Н. О предельном переходе в модели многостадийного многоэтапного синтеза вещества // Сибирский журнал индустриальной математики, 2012. Том XV, № 4(52). С. 135-146.
  39. Шелехов В.И. Тумуров Э.Г. Логика невзаимодействующих программ и реактивных систем // Вестник Бурятского Государственного Университета. Секция: математика, информатика, Вып. 9 / 2012. – Улан-Удэ, 2012. – С. 81-90.

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

  1. E.E. Vityaev, A.V. Demin, and D.K. Ponomaryov. Probabilistic generalization of formal concepts. Programming and Computer Software, 2012, Vol. 38, No. 5, pp. 219–230. Pleiades Publishing, Ltd.
  2. E. Oshevskaya, I. Virbitskaite, Eike Best. Unifying Equivalences for Higher Dimensional Automata. Fundamenta Informaticae, Vol. 119, Number 3-4 (2012), pages 357-372.
  3.  E. Oshevskaya, I. Virbitskaite, E. Best. Unifying Equivalences for Higher Dimensional Automata. Fundamenta Informaticae. Vol. 119, N 3-4, IOS press, 2012, pp. 357-372.
  4. Evgueni Petrov. Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems // Perspectives of System Informatics / Edmund Clarke, Irina Virbitskaite and Andrei Voronkov (Eds.): 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers. –LNCS. –Vol. 7162. Berlin Heidelberg: Springer-Verlag, 2012. –P.302-312.
  5. Anureev I.S. Typical Examples of Using the Atoment Language // Automatic Control and Computer Sciences (Springer). 2012. Vol. 46, № 7. P.299-307.
  6. Atuchin M.M., Anureev I.S. Attribute Annotations and Their Use in C Program Deductive Verification // Automatic Control and Computer Sciences. 2012. Vol. 46, № 7. P.308-316.
  7. Beloglazov D. M., Mashukov M. Yu, and Nepomnyashchii  V. A. Verification of Telecommunication Systems Specified by Communicating Finite State Automata Using Colored Petri Nets // Automatic Control and Computer Sciences, 2012, Vol. 46, No. 7, pp. 387–393.
  8. Garanina N. Exponential Acceleration of Model Checking for Perfect Recall Systems. Post-proceedings of Ershov Informatics Conference. PSI Series. Lecture Notes in Computer Science, v.7162, 2012, p. 111-124.
  9. Garanina N. O. Optimisation Procedures in Affine Model Checking. // Automatic Control and Computer Sciences, 2012, Vol. 46, No. 7, pp. 331–337.
  10. Selivanov V.L. Fine hierarchies via Piestley duality // Annals of Pure and Applied Logic, 163 (2012) 1075–1107.
  11. Shilov N.V., Akinin A.A., Zubkov A.V., Idrisov R.I. Development of the Computer Language Classification Portal // Proc.of Ershov Informatics Conference. PSI Series. Lecture Notes in Computer Science, v.7162, 2012, p. 340-348.
  12. Shilov N.V. Verification of Backtracking and Branch and Bound Design Templates // Automatic Control and Computer Sciences, 2012, Vol. 46, No. 7, Allerton Press, p. 402–409.
  13. Palyanov A., Khayrulin S., Larson S., Dibert A. Towards a virtual C. elegans: A framework for simulation and visualization of the neuromuscular system in a 3D physical environment // In Silico Biology. 08/2012, 11(3). – P. 137-147.
  14. St Laurent III G., Shtokalo D., Heydarian M., Palyanov A., Babiy D., Zhou J., Kumar A., Urcuqui-Inchima S. Insights from the HuR-interacting transcriptome: ncRNAs, ubiquitin pathways, and patterns of secondary structure dependent RNA interactions // Molecular Genetics and Genomics (2012) Volume 287, Issue 11-12,– P. 867-879.
  15. St Laurent III G., Shtokalo D., Tackett M., Yang Z., Eremina T., Wahlestedt C., Urcuqui-Inchima S., Seilheimer B., McCaffrey T., Kapranov P. Intronic RNAs constitute the major fraction of the non-coding RNA in mammalian cells // BMC Genomics (2012), 13:504.
  16. Bulysheva, Larisa; Bulyshev, Alexander. Segmentation modeling algorithm: a novel algorithm in data mining // INFORMATION TECHNOLOGY & MANAGEMENT  Volume: 13   Issue: 4   Special Issue: SI   Pages: 263-271   DOI: 10.1007/s10799-012-0136-7   Published: DEC 2012
  17. Garanina, N. O. Exponential improvement of time complexity of model checking for multiagent systems with perfect recall. // PROGRAMMING AND COMPUTER SOFTWARE  Volume: 38   Issue: 6   Pages: 294-303   DOI: 10.1134/S0361768812060047   Published: NOV 2012
  18. Bozhenkova, E. N. Composition methods for constructing characteristic formulas for dense-time models // PROGRAMMING AND COMPUTER SOFTWARE  Volume: 38   Issue: 6   Pages: 304-314   DOI: 10.1134/S0361768812060023   Published: NOV 2012
  19. Mikhailov, G. A.; Rogazinskii, S. V. The Modified Majorant Frequency Method for Numerical Simulation of the Generalized Exponential Distribution // DOKLADY MATHEMATICS (Springer) Volume: 85   Issue: 3   Pages: 325-327   DOI: 10.1134/S1064562412030064   Published: MAY 2012

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

  1. Г.Б. Загорулько, Ю.А. Загорулько, О.И. Боровикова. Построение многоязычных тезаурусов средствами семантической технологии // Труды  Международной научно-технической конференции "Открытые семантические технологии проектирования интеллектуальных систем" (OSTIS-2012). / под ред. В.В. Голенкова. – Минск: БГУИР, 2012. –С. 181-188.
  2. Загорулько Ю.А. Программная оболочка для построения интеллектуальных научных интернет-ресурсов // Тр. XVII Байкальской Всероссийской  конф. "Информационные и математические технологии в науке и управлении". – Иркутск: ИСЭМ СО РАН, 2012. –Т.3. –С. 50–56.
  3. Загорулько Г.Б. Разработка онтологии задач и методов для инструментария построения интеллектуальных СППР  // Тр. XVII Байкальской Всероссийской  конф. "Информационные и математические технологии в науке и управлении". – Иркутск: Институт систем энергетики им Л.А. Мелентьева СО РАН, 2012. –Т.3. –С. 43-50.
  4. Загорулько Г.Б., Загорулько Ю.А. Разработка программной оболочки интеллектуальных СППР на основе онтологий // Информационные технологии, системы и приборы в АПК: материалы 5-ой международной научно-практической конференции "АГРОИНФО-2012" (Новосибирск, 10-11 октября 2012г.), – Новосибирск: Сибирский физико-технический институт аграрных проблем Россельхозакадемии,2012. – Ч.1. – С.148-151.
  5. Загорулько М.Ю., Кононенко И.С., Сидорова Е.А. Система семантической разметки корпуса текстов в ограниченной предметной области // Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции "Диалог". Вып. 11 (18). М.: РГГУ, 2012. –Т.1. –С.674-683.
  6. Sokolova E.G., Kononenko I.S.  Russian-English Thesaurus on Computational Linguistics// Computational Linguistics and Intellectual Technologies. Papers from the Annual International Conference "Dialogue" (2012). Issue 11 (18), Volume1. M.: RGGU, 2012. –P.598-606.
  7. Сидорова Е.А. Подход к анализу текста на основе лексических агентов // Труды XIV Международной конференции "Проблемы управления и моделирования в сложных системах" / Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха.- Самара: Самарский научный центр РАН, 2012. –С. 753-759.
  8. Сидорова Е.А. Технология интеллектуализации документооборота в узких предметных областях // Информационные технологии, системы и приборы в АПК: материалы 5-ой международной научно-практической конференции "АГРОИНФО-2012" (Новосибирск, 10-11 октября 2012г.). – Новосибирск: Сибирский физико-технический институт аграрных проблем Россельхозакадемии, 2012. – Ч.1. – С.152-155. (ISBN 978-5-906143-02-0)
  9. Akinin A.A., Zubkov A.V., Shilov N.V. New Developments of the Computer Language Classification Knowledge Portal. Proceedings of the 6th  Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012), May 30-31, 2012 – Perm, Russia, p.54-58.
  10. Anureev I., Maryasov I., Nepomniaschy V.  Revised Mixed Axiomatic Semantics Method of C Program Verification // Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Third Intern. Workshop. Nizhni Novgorod, 2012. P. 16-23.
  11. Anureev I.S. Deductive approach to verification of telecommunication systems written in C // Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Third Intern. Workshop. Nizhni Novgorod, 2012. P. 8–15.
  12. Chkliaev D.A., Nepomniaschy V.A. Deductive Verification of the Classical Sliding Window Protocol // Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Third Intern. Workshop. Nizhni Novgorod, 2012. P. 32-39.
  13. Garanina N. O. Affine Model Checking Multi-agent Sliding Window Protocol // Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Third Intern. Workshop. Nizhni Novgorod, 2012. P. 64-71.
  14. Promsky A.V. Verifying the Standard C Library: the C-light Approach // Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Third Intern. Workshop. Nizhni Novgorod, 2012. P. 96-103.
  15. Shilov N.V. Inverting Dynamic Programming.  Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012. Publishing House University of Pereslavl, 2012, p.216-227.
  16. Shilov N.V. Using Esoteric Languages for Teaching Formal Semantics // Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Third Intern. Workshop. Nizhni Novgorod, 2012. P. 104-110.
  17. Иртегов Д.В., Чурина Т.Г.  Мониторинг подготовки одаренных студентов и выпускников вузов, прошедших обучение в рамках специальных учебных групп // Труды VII Международной научно-практической конференции  "Современные информационные технологии и ИТ-образование", 2012.
  18. Чурина Т.Г.,  Боженкова Е.Н. Апробация учебно-методического обеспечения дополнительного обучения ИКТ в вузах Сибирского и Дальневосточного федеральных округов // Труды XXII Международной конференции-выставки "Информационные технологии в образовании", 2012
  19. З.В. Апанович  Современные силовые алгоритмы для визуализации информации большого объема//Проблемы управления и моделирования в сложных системах: Труды XIV Международной конференции (Самара, 19-22 июня 2012 г.) C. 164-171.
  20. Z.V. Apanovich Visualization of citation networks for large science portals //Communications of the 20th Conference on Applied and industrial mathematics (CAIM -2012), CHISINAU august 22-25, 2012, Romanian Society of Applied and Industrial Matematics, Acad. of Sciences of Moldova, Tiraspol State University .-  . P. 11.
  21. Апанович З.В., Винокуров П.С. Средства визуального анализа открытых данных, упрощающие их понимание и использование. //Сборник трудов международной научно-практической конференции KESW-2012, <Инженерия знаний и технологии семантического веба-2012, СПб: НИУ ИТМО, 2012  .-  C. 129-139.
  22. E.N. Bozhenkova. Compositional methods in characterization of timed event Structures. Lecture Notes in Computer Science, Vol. 7162, 2012, p. 68-76.
  23. N. Gribovskaya. A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences. Lecture Notes in Computer Science, Vol. 7162, 2012, p. 142-149.
  24. R. Dubtsov. Timed Transition Systems with Independence and Marked Scott Domains. Lecture Notes in Computer Science, Vol. 7162, 2012, p. 86-94.
  25. Margarita Korovina and Nicolai Vorobjov.  Reachability in one-dimensional controlled polynomial dynamical systems.  Lecture Notes in Computer Science,  vol.  7162, 2012, pp 247–258.
  26. I. Virbitskaite, N. Gribovskaya, E. Best. Unifying Equivalences for Timed transition Systems. Proc. Alan Turing Centenary Conference, Manchester, UK, June 22-25, 2012, EPiC Series, vol.10, pp. 386–404.
  27. I.V. Tarasyuk, H. Macia, V. Valero. Discrete time stochastic Petri box calculus with immediate multiactions. Pre-proceedings of 6th International Workshop on Practical Applications of Stochastic Modelling - 12 (PASM'12), 21 p., Imperial College London, UK, September 2012.
  28. Margarita Korovina. Reachability analysis of safety critical systems. In Proceeding  of  Continuity, Computability and  Constructivity: From Logic to Algorithms Workshop, Trier, (invited talk) 2012, p 42—43.    
  29. N. Mueller, C. Uhrhan, M. Simon, and M. Korovina.  Exact real arithmetic and logic.  In   Proceeding of Modern Developments in Computability Theory and its Applications Workshop, China,  (invited talk) 2012, p. 26—28.
  30. Касьянов В.Н. Визуализация структурированной информации на основе иерархических графовых моделей // Материалы XII Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2012. – Том.1. – С. 214 – 218.
  31. Kasyanov V.N. Information visualization on the base of hierarchical graph models, In: Advances in Applied Information Science (Proc. of AIC’12 and BEBI’12) (Istambul, Turkey, August 21-23, 2012), WSEAS Press, 2012, pp. 115-120.
  32. Kasyanov V.N. Hierarchical graph models and information visualization, In: Proceedings of the 2012 Third World Congress on Software Engineering (WCSE 2012), IEEE Computer Society, 2012, pp. 79-82.
  33. Idrisov R. Sisal: parallel language development // Proceedings of the 6th Spring/Summer Young Researchers Colloquium on Software Engineering (SYRCoSE 2012), Perm, 2012, pp. 38-42.
  34. Shilov N., Idrisov R., Akinin A. and Zubkov A. Development of the Computer Language Classification Knowledge Portal. In: Proceedings of the 8th International Andrei Ershov Memorial Conference - Perspectives of System Informatics (PSI 2011) (Akademgorodok / Novosibirsk, Russia, June 27 - July 1, 2011), Springer-V., Heidelberg, LNCS 7162 (2012), pp. 340-348
  35. Касьянова Е.В., Касьянова С.Н. Опыт преподавания программирования в старших классах // Материалы XII Международной конференции "Информатика: проблемы, методология, технология". – Воронеж: ВГУ, 2012. – Том.2. – С. 98 – 101.
  36. Касьянов В.Н., Касьянова Е.В. Визуализация информации на основе графовых моделей // Актуальные проблемы механики, математики, информатики: сб. тез. науч.-прак. конф. -  Пермь: Перм. гос. нац. исслед. ун-т., 2012. С. 141.
  37. Касьянов В.Н., Касьянова Е.В. Визуализация структурной информации на основе графовых моделей // Материалы XIII-ой Международной конференции "IT-технологии: развитие и приложения" . – Владикавказ: Фламинго, 2012. – С. 235-245.
  38. Гордеев Д.С. Визуализация алгоритмов на графах: интерпретация алгоритма в качестве программы // Материалы XIII-ой Международной конференции "IT-технологии: развитие и приложения". – Владикавказ: Фламинго, 2012. –  С. 220-227.
  39. Идрисов Р.И. Облачная среда функционального программирования для научных вычислений и образования // Высокопроизводительные параллельные вычисления на кластерных системах. Материалы ХII Всероссийской конференции. – Нижний Новгород, 2012. – С 168-170.
  40. Denis Ponomaryov and Dmitry Vlasov. On definability and redundancy in EL TBoxes. In Proc. 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria. Lecture Notes in Computer Science Vol. 7497, pp. 250-253, Springer Verlag, 2012.
  41. Марчук А.Г., Мурзин Ф.А., Городняя Л.В. О магистерской программе "Математика информационных систем" и специализации по системному программированию. - // В сборнике Международной суперкомпьютерной конференции "Научный сервис в сети Интернет".
  42. Городняя Л.В. На пути к автоматизации параллельного программирования Абрау // В сборнике Международной суперкомпьютерной конференции "Научный сервис в сети Интернет".
  43. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г. Деятельностный подход к подготовке к ЕГЭ по информатике на базе виртуальной 3D среды // III Международный научно-методический симпозиум  "Электронные ресурсы в непрерывном образовании" ("ЭРНО-2012"), г.Геленджик, сентябрь, 2012
  44. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г.  О средствах и методах подготовки к ЕГЭ  по информатике и ИКТ на базе виртуальной 3D среды // Международная научно-практическая конференция "Математическое, естественнонаучное образование и информатизация", 11-12 сентября 2012 г. Институт математики и информатики Московского городского педагогического университета, г.Москва, с. 16-20
  45. Лаврентьев М.М., Бартош В.С. , Белаго И.В., Васючкова Т.С., Городняя Л.В., Держо М.А., Иванчева Н.А., Минак А.Г., Новожилова В.И., Новый подход к подготовке к ЕГЭ по информатике на базе виртуальной деятельностной образовательной 3D-среды (ВДОС) // Сборник научных трудов SWorld. Материалы международной научно-практической конференции "Научные исследования и их практическое применение. Современное состояние и пути развития ‘2012". – Выпуск 3. Том 3. – Одесса: КУПРИЕНКО, 2012. – ЦИТ: 312-507 – С 92-99.
  46. Городняя Л.В., Марчук А.Г., Мурзин Ф.А. О магистерской программе "Математика информационных систем" и специализации по системному программированию // Междунар. суперкомпьютерная конф. "Научный сервис в сети Интернет: поиск новых решений". Организаторы: РАН и Суперкомпьютерный Консорциум Университетов России, 18-21 сентября 2012, Абрау Дюрсо, – С. 249-252.
  47. Yevshin I., Kondrakhin Yu., Shapirov R.N., Valeev T., Kolpakov F.A. GTRD: Annotating Human Genome with Regulatory Elements Using ChIP-Seq Data. // Proc. of the 8th Intl. Conf. on Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2012). — 2012. — P.334.
  48. Valeev T. Biostore and collaborative research. // International workshop "From virtual cell to virtual human and virtual patient", Novosibirsk, June 24, 2012.
  49.  Нестеренко Т.В. Апробация учебно-методического обеспечения дополнительной образовательной программы подготовки одаренных школьников по предмету "Информатика" в Сибирском и Дальневосточном федеральных округах // Труды 22-й междунар. конференции-выставки "Информационные технологии в образовании", Москва, ноябрь, 2012, Секция 1.2: Опыт преподавания, 4с.
  50. Busbice T., Gleeson P., Khayrulin S., Cantarelli M., Dibert A., Idili G., Palyanov A., Larson S. The NeuroML C. elegans Connectome. // Proc. Neuroinformatics 2012 5-th INCF Congress, Germany, Munich (8-10 sept.), – Р. 82.
  51. Демин А.В., Пальянов А.Ю. Обучение локомоции 3D модели нематоды C. Elegans // Третья междунар. конф. "Автоматизация управления и интеллектуальные системы и среды" (АУИСС-2012) – Том. 1. – С. 34-38.
  52. Antonets D.V., Cheryomushkin E.S., Vyatkin Yu.V. Comparing hoeffding’s d measure and maximal information coefficient for association analysis // Proc. of the 8th Intl. Conf. on Bioinformatics of Genome Regulation and Structure/Systems Biology (BGRS/SB-2012). — 2012.
  53. Chkliaev D.A., Nepomniaschy V.A. Deductive verification of the classical sliding window protocol. // Proc. PSSV 2012 (The Third Workshop on Program Semantics, Specification and Verification, Nizhni Novgorod, Russia) – 2012. – P. 32-39.
  54.  D.N. Shtokalo, O.V. Saik, G.St.Laurent III, A.Kel. Patterns of miRNA binding sites location in 3`utrs of human transcripts // The Eighth Int. Conf. On Bioinformatics of Genome Regulation and Structure (BGRS), 2012, pp.291.
  55. Yu.V. Vyatkin, D.N.Shtokalo, P.Kapranov, G.C.StLaurent III. Computational new splice variants discovery using single molecule sequencing technology // The Eighth Int. Conf. On Bioinformatics of Genome Regulation and Structure (BGRS), 2012, pp.329.
  56. Georges St. Laurent, Dmitry Shtokalo, Michael R. Tackett, Sergey Nechkin, Denis Antonets, Yuri Vyatkin, Yiannis A. Savva, Philipp Kapranov, Charles E. Lawrence, and Robert A. Reenan. Whole genome analysis of A-to-I RNA editing using single molecule sequencing in drosophila // Proc. of Postgenomic methods of analysis in biology, and laboratory and clinical medicine. Kazan, 2012, pp. 141.
  57. Georges St. Laurent, Dmitry Shtokalo, Michael R. Tackett, Sergey Nechkin, Denis Antonets, Yuri Vyatkin, Yiannis A. Savva, Philipp Kapranov, Charles E. Lawrence, and Robert A. Reenan. Detecting real ADAR editing sites in drosophila transcriptome using machine learning approach // Proc. of Postgenomic methods of analysis in biology, and laboratory and clinical medicine. Kazan, 2012, pp. 219.
  58. S.S. Nechkin, G.St.Laurent III, D.N. Shtokalo, M.R. Tackett, D.V. Antonets, Y.V. Vyatkin, Y.A. Savva, P. Kapranov, C.E. Lawrence, R.A. Reenan. Properties and functions of A-to-I RNA editing in drosophila transcriptome // Proc. of Postgenomic methods of analysis in biology, and laboratory and clinical medicine. Kazan, 2012, pp. 218.
  59. . Шелехов В.И. Логика невзаимодействующих программ // IV Российская школа-семинар "Синтаксис и семантика логических систем". БГУ, ИМ СО РАН. — Улан-Удэ, 2012. – С. 142-146.
  60. 2. Тумуров Э.Г. Логика реактивных систем // IV Российская школа-семинар "Синтаксис и семантика логических систем". БГУ, ИМ СО РАН. — Улан-Удэ, 2012. – С. 125-129.
  61. 3. Першин Д.Ю., Щербаков А.С.Определение местоположения высокой точности для одночастотных приёмников спутниковой навигации с использованием инерциальных датчиков // 2-ая Международная конференция "Навигационные спутниковые системы, их роль и значение в жизни современного человека". Железногорск, 2012. С.53-57.
  62. 4. Чушкин М. С. Дедуктивная верификация предикатных программ // XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям. Тезисы докладов. – Новосибирск, 2012. – С. 53-54.
  63. 5. Батраков В. А. Автоматическое доказательство формул корректности предикатной программы в системе Russell // XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям. Тезисы докладов. – Новосибирск, 2012. – С. 41.
  64. 6. Каблуков И. В. Реализация склеивания переменных в предикатной программе //  XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям. Тезисы докладов. – Новосибирск, 2012. – С. 43-44.
  65. 7. Тумуров Э. Г. Применение логики программы для спецификации и верификации реактивных систем // XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям. Тезисы докладов. – Новосибирск, 2012. – С. 52
  66. 8. Чушкин М. С. Дедуктивная верификация предикатных программ // XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям.  – Новосибирск, 2012. – 7с.
  67. 9. Каблуков И. В. Реализация склеивания переменных в предикатной программе //  XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям.  – Новосибирск, 2012. – 4с.
  68. 10. Тумуров Э. Г. Применение логики программы для спецификации и верификации реактивных систем // XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям. – Новосибирск, 2012. – 56с.
  69. 11. Каблуков И. В. Реализация контроля динамической семантики языка предикатного программирования // Материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс":  Программирование и вычислительные системы / Новосиб. гос. ун-т. – Новосибирск, 2012. – С. 15.
  70. 12. Чушкин М. С. Генерация формул корректности предикатной программы // Материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс":  Программирование и вычислительные системы / Новосиб. гос. ун-т. – Новосибирск, 2012. – С. 24.
  71. 13. Батраков В. А. Автоматическое доказательство формул корректности предикатной программы в системе Russell // Материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс":  Программирование и вычислительные системы / Новосиб. гос. ун-т. – Новосибирск, 2012. – С. 8.

Труды российских конференций

  1. Г.Б. Загорулько, Ю.А. Загорулько. Подход к разработке онтологии задач и методов поддержки принятия решений // Труды 13-й национальной конференции по искусственному интеллекту с международным участием КИИ-2012. – Белгород: Изд-во БГТУ, 2012. -Т.2. -С.185-192.
  2. Ю.А. Загорулько, О.И. Боровикова Программная оболочка для построения многоязычных тезаурусов предметных областей, ориентированная на экспертов // Труды 13-й национальной конференции по искусственному интеллекту с международным участием КИИ-2012. – Белгород: Изд-во БГТУ, 2012. -Т.4. -С. 76-83.
  3. Сидорова Е.А., Гаранина Н.О., Загорулько Ю.А. Мультиагентный алгоритм анализа текста на основе онтологии предметной области // Труды 13-й национальной конференции по искусственному интеллекту с международным участием КИИ-2012. –Белгород: Изд-во БГТУ, 2012. -Т.1. -С.219-226.
  4. Дяченко О.О., Загорулько Ю.А. Методы и средства анализа онтологий и контента информационных систем на основе их визуального представления // Сборник трудов конференции "Инженерия знаний и технологии семантического веба – 2012". ­– СПб.: НИУ ИТМО, 2012. – С. 139–149.
  5. Рубцова Ю. Автоматическое построение и анализ корпуса коротких текстов (постов микроблогов) для  задачи разработки и тренировки тонового классификатора // Сборник трудов конференции "Инженерия знаний и технологии семантического веба – 2012". ­– СПб.: НИУ ИТМО, 2012. – С. 109–115.
  6. Сидорова Е.А. Проблемы разработки лингвистического обеспечения информационных систем // Тр. XVII Байкальской Всероссийской  конф. "Информационные и математические технологии в науке и управлении". – Иркутск: Институт систем энергетики им Л.А. Мелентьева СО РАН, 2012. –Т.3. –С. 122-129.
  7. Серый А.С., Сидорова Е.А. Поиск референциальных отношений между информационными объектами в процессе автоматического анализа документов // Труды XIV Всероссийской научной конференции RCDL-2012 Электронные библиотеки: перспективные методы и технологии, электронные коллекции. – Переславль-Залесский, 2012. –С.206-212
  8. Ануреев И.С. Применение операционно-онтологического подхода к концептуальному моделированию систем поддержки принятия решений // Информационные и математические технологии в науке и управлении. Труды XVII Байкальской Всероссийской конференции. 2012. Том 3. С. 13–19.
  9. З.В. Апанович,  П.С. Винокуров, А.Г. Марчук Платформа для визуализации и исследования наукометрической информации семантических баз данных//Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 (16-20 октября 2012 г. г. Белгород, Россия) Труды конференции Т.2.- Изд-во БГТУ, 2012.-С. 31-38.
  10. З.В. Апанович, П.С. Винокуров, А.Ю.Ахлёстин, А.И. Привезенцев, А.З. Фазлиев Цифровая библиотека научных статей по количественной спектроскопии  //Труды 14-й Всероссийской научной конфренции <Электронные библиотеки: перспективные методы и технологии, электронные коллекции> - RCDL-2012, Переславль-Залесский, Россия, 15-18 октября 2012 г. изд.-во <Университет города Переславля>, 2012 С. 257-266.
  11. З.В. Апанович, П.С. Винокуров, А.Ю. Ахлестин, А.И. Приверзенцев, А.З. Фазлиев Визуализация парных отношений источников данных в количественной спектроскопии//Информационные системы для научных исследований: Сборник научных статей. Труды XV Всероссийской объединенной конференции <Интернет и современное общество> Санкт-Петербург, 10-12 октября 2012 г. СПб, 2012 Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, 2012, С. 7-15.
  12. Т.Г. Чурина, Е.Н. Боженкова. Апробация учебно-методического обеспечения дополнительного обучения ИКТ в вузах Сибирского и Дальневосточного федеральных округов// Труды XXII Международной конференции-выставки "Информационные технологии в образовании", 2012
  13. Золотухин Т.А., Колбин Д.С. VisualGraph: интерактивная система визуализации графовых моделей // Материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс". Информационные технологии. – Новосибирск, НГУ, 2012. – С. 11.
  14. Панкратов С.Б. Локализация ошибок Фортран-компилятора методом редукции тестовых программ // Материалы 50-й юбилейной международной научной студенческой конференции "Студент и научно-технический прогресс". Информационные технологии. – Новосибирск, НГУ, 2012. – С. 33.
  15. Демин А.В. Адаптивная система управления движением виртуального робота, основанная на теории функциональных систем // Материалы третьей международной конференции Автоматизация управления и интеллектуальные системы и среды (АУИСС - 2012). – 2012. – Т.2. – С. 60-63.
  16. Демин А.В., Пальянов А.Ю. Обучение локомоции 3D модели нематоды C.Elegans // Материалы третьей международной конференции Автоматизация управления и интеллектуальные системы и среды (АУИСС - 2012). – 2012. – Т.1. – С. 34-38.
  17. Власов Д.Ю., Пономарев Д.К. Об определимости и избыточности в EL-теориях. Материалы IV российской школы-семинара "Синтаксис и семантика логических систем", Иркутск, 2012, ISBN 978-5-85827-748-4, стр. 29-34.
  18. А.А.Берс. Коммуникация, понимание, мышление – онтологические представления (приглашѐнный доклад) стр. 6  -20. // Рефлексивный Театр Ситуационного Центра-2011 / Материалы 5-ой Всероссийской конференции с международным участием РТСЦ-2011 /Под науч. ред. В. А. Филимонова / Омск: Омский государственный институт сервиса, 2012.- 108 с.: ил. ISBN 978-5-93252-244-8.
  19. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г. Виртуальная 3D образовательная среда – новый подход к подготовке к егэ по информатике // Тезисы докладов XIX Всероссийской научно-методической конференции  "Телематика - 2012", Санкт-Петербург, ИТМО, июнь, 2012, с 92-93.
  20. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г. Виртуальная деятельностная образовательная среда (ВДОС) - инновационный 3D инструмент обучения и подготовки к ЕГЭ с использованием ДОТ // Тезисы докладов 10-й открытой Всероссийской конференции "Преподавание информационных технологий в Российской Федерации", Москва,  МГУ, май, 2012, с 113-115.
  21. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г.  О возможностях подготовки к ЕГЭ по информатике на базе виртуальной 3D среды // Всероссийская научная школа с международным участием "Информатика и информационные технологии в образовании: теория, приложения, дидактика",   НГПУ, 26-29 сентября, 2012 г, с.18-27.
  22. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г. Механизм взаимодействия "вуз - школа" при подготовке к ЕГЭ по информатике (МГУ, Сухомлинская конференция).
  23. А.Г.Марчук Фактограф: система для создания, поддержания и публикации электронных архивов // Информационные системы для научных исследований. Материалы XV всероссийской объединенной конференции "Интернет и современное общество", ISBN 978-5-903811-20-5, Санкт-Петербург, 10-12 октября 2012 г., С. 79-83.
  24. А.Г.Марчук, П.А.Марчук Платформа реализации электронных архивов данных и документов // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XIV Всероссийской научной конференции RCDL’2012. Переславль-Залесский, Россия, 15-18 октября 2012 г. – г. Переславль-Залесский: изд-во "Университет города Переславля", 2012, С. 332-338.
  25. Городняя Л.В., Марчук А.Г., Мурзин Ф.А. О математике информационных систем и системном программировании // Региональная научно-практическая конференция с международным участием "Информатика и информационные технологии в образовании: теория, приложения, дидактика", 10с.

Прочие публикации

  1. Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем. Новосибирск, Препринт ИСИ СО РАН, № 165, 2012.
  2. Бульонков М.А., Емельянов П.Г. Базовые понятия и методы программирования: Учебное пособие / Новосиб. гос. ун-т. Новосибирск, 2012. 245 с.
  3. I.B. Virbitskaite, N.S. Gribovskaya, E. Best. "Some evidence on the consistency of categorical semantics for timed interleaving behaviours." // Berichte aus dem Department fuer Informatik 01/12, 34 p., Carl von Ossietzky Universitaet Oldenburg, Germany, January 2012 (ISSN 1867-9218).
  4. Tarasyuk I.V., Macia H., Valero V. Applying stochastic equivalence to performance evaluation in dtsiPBC. Technical Report DIAB-12-10-2, 62 p., Department of Computer Systems, High School of Computer Science Engineering, University of Castilla-La Mancha, Albacete, Spain, October 2012.
  5. Тихонова Т.И., Дедова Л.В. Дистанционные конкурсы по информатике для младших школьников //Информация и образование: границы коммуникаций. Сборник научных трудов № 4 (12) INFO’12. – Горно-Алтайск: РИО ГАГУ, 2012. – 520 с. ИСБН 978-5-91425-080-2.
  6. Салмин А.И. ОПТИМИЗАЦИЯ ПРОЦЕССА РЕГРЕССИОННОГО ТЕСТИРОВАНИЯ НА ОСНОВЕ ТЕСТОВОГО ПОКРЫТИЯ //Сб.тез. науч.-практ. конф. "Актуальные проблемы механики, математики, информатики". - Пермь, 2012. – С. 195.
  7. А.А.Берс. "Обоснованием информатики является деятельность" // Беседы об информатике,  Интервью состоялось 24 февраля 2011 г. Беседовали И.А. Крайнева и Ю.Ю. Черный.  Стр. 1 - 19.
  8. Лаврентьев М.М., Васючкова Т.С., Городняя Л.В., Белаго И.В., Бартош В.С., Держо М.А., Иванчева Н.А., Новожилова В.И., Минак А.Г. "ВЗШИТ. Инновационные технологии обучения (ВДОС)" // "Деловой Прием Учителей - 2012" - общероссийское мероприятие Московской Ассоциации Предпринимателей (с участием представителей зарубежных стран), посвященное Международному Дню Учителя, 4-7 октября 2012 г., г.Москва.
  9. Нестеренко Т.В., Чурина Т.Г. Учебное пособие к курсу "Основы алгоритмизации и программирования" (часть 2) Динамические структуры данных, алгоритмы на графах // ВКИ НГУ, 104 с., Новосибирск, 2012 (c шифром ISBN – будет уточнен позже)
  10. Каблуков И. В., Шелехов В.И. Контроль динамической семантики предикатной программы. — Новосибирск, 2012. — 28с. — (Препр. / ИСИ СО РАН; N 162).
  11. Батраков В. А., Шелехов В.И. Автоматическое доказательство формул корректности предикатной программы в системе Russell. — Новосибирск, 2012. — 33с. — (Препр. / ИСИ СО РАН; N 163).
  12. Чушкин М. С., Шелехов В.И. Генерация и доказательство формул корректности предикатных программ.  — Новосибирск, 2012. — 34с. — (Препр. / ИСИ СО РАН; N 166).
  13. Каблуков И. В., Шелехов В.И. Реализация склеивания переменных в предикатной программе. — Новосибирск, 2012. — 6с. — (Препр. / ИСИ СО РАН; N 167).
  14. Шелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования. — Новосибирск, 2012. — 30с. — (Препр. / ИСИ СО РАН. N 164 ).



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