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

Монографии

  1. Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике, Новосибирск: ООО "Сибирское Научное Издательство", 2009, 300 С. (ISBN 978-591124-036-3).
  2. Малюх В.Н. Введение в Современные САПР. // ДМК-Прес, Москва, 2009.- 192 с. ISBN 978-5-94074-551-8.
  3. Андреева Т. А. Сборник задач для предолимпиадной подготовки по программированию // Новосиб. гос. ун-т. Новосибирск, 2009. 226 с. ISBN 978-5-94356-745-2.
  4. Ануреев И.С., Батура Т.В., Боровикова О.И., Загорулько Ю.А., Кононенко И.С., Марчук А.Г., Марчук П.А., Мурзин Ф.А., Сидорова Е.А., Шилов Н.В. Модели и методы построения информационных систем, основанных на формальных, логических и лингвистических подходах // Моногр. / Институт систем информатики им. А.П. Ершова СО РАН. - Новосибирск: Изд.СО РАН, 2009. - 240 с. (в печати).
  5. Ершов Ю.Л., Клименко О.А., Мазов Н.А., Матвеева И.И., Пикалов В.В., Филиппов В.Э., Филиппова М.Я. Информационная система математических Интернет-ресурсов MathTree /Новосибирск: Изд-во СО РАН, 2009. (Интеграционные проекты СО РАН; вып.22, - 190 с.

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

  1. Ануреев И.С. Операционно-онтологический подход к формальной спецификации языков программирования // Программирование. - № 1. - 2009.- 1-11.
  2. Тарасюк, И.В.: Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC. Вестник Новосибирского государственного университета, Серия: математика, механика и информатика.- №4.-2009.
  3. Демин А.В., Витяев Е.Е. Разработка универсальной системы извлечения знаний "Discovery" и ее применение // Вестник НГУ, серия: Информационные технологии. - 2009. - Т. 7. - Вып. 1. - С. 73-83.
  4. Малюх В.Н. Без внедрения САПР конкурировать невозможно. //Конструктор-Машиностроитель, № 4, 2009, с. 39-41.
  5. Малюх В.Н. В будущее с САПР. CAD/CAM/CAE Observer. №7, 2009, с 86-89.
  6. Андреева Т.А., Ануреев И.С., Бодин Е.В., Городняя Л.В., Марчук А.Г., Мурзин Ф.А., Шилов Н.В. Образовательное значение классификации компьютерных языков. Научно-практический журнал "Прикладная информатика" №6 (24) 2009. - М.: "МаркетДC Корпорейшн", 2009. (144 c.) ISSN 1993-8314. - стр. 18-28.
  7. Anureev I.S. Bodin E.V., Gorodnyaya L.V., Marchuk A.G., Murzin F.A., Shilov N.V. On the Problem of Computer Language Classification // Joint NCC&IIS Bulletin, Series Computer Science. - 2008. - Vol. 28. -p. 31-42.
  8. Першин Д.Ю. Сравнительный анализ моделей тропосферной задержки в задаче определения местоположения высокой точности в спутниковых навигационных системах ГЛОНАСС/GPS // Вестник НГУ: информационные технологии. - 2009. - Том 7, № 1, С. 84-91.
  9. V. Shelekhov. The language of calculus of computable predicates as a minimal kernel for functional languages // BULLETIN of the Novosibirsk Computing Center" Series: Computer Science IIS Special Issue. - 2009. - 29(2009). - 10p. (в печати)
  10. А.Г. Марчук, И.Б. Вирбицкайте, З.В. Апанович, М.А. Бульонков, И.А. Крайнева, Т.И. Тихонова Седьмая международная конференция "Перспективы систем информатики"//Вестник РФФИ. - 2009, 9с. (в печати).
  11. Загорулько Ю.А., Боровикова О.И. Информационная модель портала научных знаний // Информационные технологиии. - 2009. - № 12. -С.2-7.
  12. Загорулько Ю.А., Сидорова Е.А. Технология анализа документов в информационных системах поддержки научной и производственной деятельности // Автометрия. - 2009. - Т. 45. - № 6. -С.38-45.
  13. Загорулько Ю.А. Технология разработки порталов научных знаний // Программные продукты и системы. - 2009. - № 4.
  14. Загорулько Ю.А. Подход к обеспечению многоязычного доступа к систематизированным знаниям и информационным ресурсам заданной предметной области // Известия Томского политехнического университета. - 2009. - Т. 314. - № 5. -С.161-165.
  15. Zverev n.B., Murzin F.A., Poletaev S.A. On the realization of algorithm of claster analysis on GPU by means of CUDA technology // Joint Bull. of NCC&IIS. Ser.: Comput. Sci. - 2009. - Is. 29. (in appear).
  16. Guzhavina I.V., Denisyuk V.S., Murzin F.A., Palyanov A.Yu., Trelevich J. On the recognition of texts of very bad quality // Joint Bull. of NCC&IIS. Ser.: Comput. Sci. - 2009. - Is. 29. (in appear).
  17. Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Методы выделения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Принята в печать в Вестник НГУ.
  18. Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Алгоритмы и программное обеспечения для выделения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Прошла рецензирование в журнале "Автометрия".

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

  1. Gribovskaya N., Virbitskaite I. Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems // Fundamenta Informaticae.- v. 93.- 2009.- 127-142.
  2. Korovina M., Kudinov O. The Uniformity Principle for Σ-definability // Journal of Logic and Computation.- v. 19.- № 1.- 2009.- 159 - 174.
  3. Selivanov V.L. Undecidability in Some Structures Related to Computation Theory // Journal of Logic and Computation.- v. 19.- № 1.-2009.-177-197.
  4. Selivanov V.L. Hierarchies and reducibilities on regular languages related to modulo counting. RAIRO Theoretical Informatics and Applications.- v.41.-2009.- 95-132.
  5. Selivanov V.L., Selivanova S.V. Computing the Solution Operators of Symmetric Hyperbolic Systems of PDE // Journal of Universal Computer Science.- 15.- № 6.-2009.- 1337-1364.
  6. Kudinov O.V., Selivanov V.L., Zhukov A.V. Definability in the h-quasiorder of labeled forests // Annals of Pure and Applied Logic.- v.159.- № 3.- 2009.- 318-332.
  7. Shilov N.V., Shilova S.O. Joy of Formal Program Verification // Bulletin of St. Andrew The First-Called Georgian University of the Patriarchy of Georgia, Tbilisy.- №1.- 2009. - 19-36.
  8. Dobrynin A.A., Mel'nikov L.S 4-chromatic edge critical Grotzsch-Sachs graphs // Discrete Math. - 2009 - Vol. 309, N. 8 - P. 2564-2566.

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

  1. Шилов Н.В., Акинин А.А. О классификации компьютерных языков на основе формальной онтологии // Труды Международной междисциплинарной конференции "Философия, математика, лингвистика: аспекты взаимодействия", 17-22 ноября 2009, Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН.
  2. Anureev I.S. Context Machines // Proc. Workshop on Concurrency, Specification and Programming (CS&P'2009), Warsaw University, Krakow. - v. 1. -2009.- 1-12.
  3. Beloglazov D., Nepomniaschy V. A Two-Level Approach for Modeling and Verification of Telecommunication Systems // In Proc. Seventh International Conference "Perspectives of System Informatics", Novosibirsk, 15 - 19 June.- 2009. Lecture Notes in Computer Science, Springer.- v.5947.- pp.70-85.
  4. Dedova A.V., Virbitskaite I.B. Towards Parametric Verification of Prioritized Time Petri Nets // Proc. 10th International Conference "Parallel Computing Technologies". Lecture Notes in Computer Science.- v. 5698.- 19-25.
  5. Garanina N.O., Shilov N.V, Konyaev L.E. Can Robots Solvethe Assignment Problem? // Proceedings of Workshop on Concurrency, Specification, and Programming CS&P 2009.- v.1.- 2009.- 154-163.
  6. Muller N., Korovina M. Lester D. Big steps in Trajectories // In Proc. Continuity, Computability, Constructivity: From Logic to Algorithms, Cologne, Germany, July 14-18.- 2009.- 78-81.
  7. Korovina М., Kudinov O. Σ-constraints for Hybrid Systems // In Proc. Seventh International Conference "Perspectives of System Informatics", Novosibirsk, 15 - 19 June.-2009.- 176-183.
  8. Oshevskaya E.S. Open maps bisimulations for Higher Dimensional Automata Models // Proc. 17th International Symposium "Fundamentals of Computation Theory". Lecture Notes in Computer Science.-v. 5699.- 2009.- 274-286.
  9. Promsky A.V. Towards C-light Program Verification: Overcoming the Obstacles // Proc. International Workshop on Program Understanding, 19-23 June, Altai Mountains, Russia, 2009. - 53-63.
  10. Selivanov V.L., Kudinov O.V. A Gandy theorem for abstract structures and applications to first-order definability // Proc. CiE-2009, Lecture Notes in Computer Science. Berlin: Springer.- v. 5635.- 2009.-290-299.
  11. Selivanov V.L., Kudinov O.V. Definability in the infix order on words // Proc. DLT-2009, Lecture Notes in Computer Science. Berlin: Springer.- v. 5583.- 2009.-454-465.
  12. Selivanov V.L., Kudinov O.V., Zhukov A.V. Definability of closure operations in the h-quasiorder of labeled forests // Math. Theory and Computational Practice, Proc. 5-th Int. Conf. CiE-2009, University of Heidelberg.- 2009.- 216-225.
  13. Shilov N.V., Garanina N.O. Combined Logics of Knowledge, Time and Actions for Reasoning about Multi-Agent Systems. Proc. Conf. "Knowledge Processing in Practice", 2009, Lecture Notes in Artificial Intellegence, Springer. (Принято к публикации).
  14. Shilov N.V., Akinin A.A., Zubkov A.V. Towards Ontology for Classification of Computer Languages // Proc. Workshop "Knowledge and Ontology *ELSEWHERE*". University High School of Economics, Moscow.- 2009.-1-12.
  15. Tarasyuk I.V. Performance evaluation in dtsPBC // Proc. 18th Workshop "Concurrency, Specification and Programming", Krakow-Przegorzaly (Poland), September 28-30, Warsaw University, 2009.- 602-615.
  16. Virbitskaite I.B., Gribovskaya N.S. Open Maps Account of Timed Barbed Bisimulation // Proc. 18th International Workshop "Concurrency, Specification and Programming", Krakow-Przegorzaly (Poland), 28-30 September.- 2009.- 185-196.
  17. Stasenko A.P. A Model of Automata for Visual Description of Syntax Parsing // Seventh International Andrei Ershov Memorial Conference "Perspectives of system informatics" Novosibirsk, IIS, 2009, p. 278-285.
  18. Kasyanov V.N., Kasyanova E.V. A Web-based system for distance learning of programming // Lecture Notes in Electrical Engineering. - Springer, 2009. - Vol. 27. - pp. 453-462. - (Proceedings of the European Computing Conference).
  19. Kasyanov V.N., Stasenko A.P. Sisal 3.2 language structures decomposition // Lecture Notes in Electrical Engineering. - Springer, 2009. - Vol. 28. - pp. 582-594. - (Proceedings of the European Computing Conference).
  20. Касьянова Е.В. Обучение программированию с использованием языка Zonnon // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. - Новосибирск, Сибирское Научное Издательство, 2009. - С. 60 - 62.
  21. Касьянова Е.В., Касьянова С.Н. Подготовка одаренных детей к олимпиадам по программированию // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. - Новосибирск, Сибирское Научное Издательство, 2009. - С. 63 - 64.
  22. Касьянова Е.В. Адаптивное дистанционное обучение программированию // Проблемы и подходы обеспечения качества образования при дистанционном обучении. - М.: Изд-во СГУ, 2009. - С. 236 - 240. (Материалы международной научн.-практ. конференции).
  23. Касьянова Е.В. Моделирование знаний студента в адаптивной системе дистанционного обучения // Материалы III Международного конгресса молодых ученых и студентов "Мир науки", Алматы: Казак университетi, 2009, С. 209-210.
  24. Гордеев Д.С. Методы и средства визуализации программ в системе функционального программирования SFP // Материалы III Международного конгресса молодых ученых и студентов "Мир науки", Алматы: Казак университетi, 2009, С. 187-188.
  25. Гордеев Д.С. Методы и средства визуализации программ в системе функционального программирования SFP // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Наукоемкое программное обеспечение". Доклады и тезисы. - Новосибирск, Сибирское Научное Издательство, 2009, С. 84-90.
  26. Стасенко А.П. Обзор нововведений языка Sisal 3.2 // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Наукоемкое программное обеспечение". Доклады и тезисы. - Новосибирск, Сибирское Научное Издательство, 2009, С. 260-265.
  27. Касьянов В.Н. Методические и программные средства поддержки обучения теоретико-графовым методам и алгоритмам // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Секция "Информатика образования". Доклады и тезисы. - Новосибирск, Сибирское Научное Издательство, 2009. - С. 58 - 59.
  28. Касьянов В.Н. Всемирные компьютерные конгрессы ИФИП // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Семинар "История информатики в Сибири". - Новосибирск, 2009. - С. 29 - 34.
  29. Касьянов В.Н. Сибирский межрегиональный Фонд "Информатика: развитие и образование" (ИнфРО) // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Семинар "История информатики в Сибири".- Новосибирск, 2009. - С. 35 - 38.
  30. Касьянов В.Н. Предисловие // Седьмая международная конференция памяти А.П. Ершова "Перспективы систем информатики". Семинар "История информатики в Сибири". - Новосибирск, 2009. - С. III - IV.
  31. Касьянов В.Н. Средства поддержки графов в программировании // Труды IX Международной конференции "Информатика: проблемы, методология, технология". - Воронеж: ВГУ, 2009. - Том.1. - С. 358 - 361.
  32. Добрынин А.А., Мельников Л.С. Однозначно 3-раскрашиваемые графы без треугольников// Материалы 8 Междунар. конф. "Дискретные модели в теории управляющих систем", Москва, 6-9 апреля, 2009, / Отв. ред. В.Б. Алексеев, В.А. Захаров. - С. 61-65
  33. Касьянов В.Н. Средства поддержки обучения теоретико-графовым методам и алгоритмам // Вестник ТулГУ. Серия Современные образовательные технологии в преподавании естественнонаучных дисциплин. Вып. 8.- Тула: Изд-во ТулГУ, 2009. - С. 96-100.- (Труды VIII Междунар. конф. "Современные образовательные технологии в преподавании дисциплин естественнонаучного цикла")
  34. Касьянов В.Н. Курс по основам информатики и программирования // Труды международной научно-практической конференции "Роль классических университетов в формировании инновационной среды регионов", г.Уфа, БашГУ, 2009, 4 С. (в печати).
  35. Идрисов Р. И. Межпроцедурные оптимизации "ошибочности" значений для функционального языка, ориентированного на научные вычисления // Материалы XIII Международной научной конференции, посвящённой 50-летию Сибирского государственного университета имени академика М. Ф. Решетнёва / Часть 2 - Красноярск 2009 - С. 425-426
  36. Касьянова Е.В. Адаптивное дистанционное обучение программированию // Труды Международной научно-практической заочной конференции "Интернет в образовании". - М.: Изд-во СГУ, 2009. 6 С. (в печати).
  37. Малюх В.Н., Тезисы доклада "Он-лайн технологии публикации каталогов изделий" на ХI международная научно-практическая конференция "ИТ-бизнес в машиностроении и металлургии", Москва, 2009. Сборник тезисов. с. 106-109.
  38. Демин А.В., Витяев Е.Е. Технология предсказания финансовых временных рядов // Информационный бюллетень Седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики" (15-19 июня 2009, Новосибирск). - Новосибирск, 2009. - С. 114-119.
  39. А.А. Берс "Исполненные смыслом тексты". //Труды Семинара "История информатики в Сибири" в рамках VII Международной конференции "Перспективы систем информатики" 15-19 июня 2009 г, стр. 1-4.
  40. А.А. Берс О принципе информационной замкнутости ///Актуальные проблемы прикладной математики и информационных технологий-Аль Хорезми 2009. Труды международной конференции, том 2, Ташкент 18-21 сентября 2009, стр.24-28.
  41. А.В.Коваленин, А.А.Берс Идеология и техника разметки в Технологии смешанного набора. Тезисы доклада. - В сб.: Современные технологии и письменное наследие: от древних рукописей к электронным текстам. Материалы международной конференции в Казани (13-30 августа 2008 г.). - КазГУ, 2008. - С.143-146.
  42. Городняя Л.В. Прагматические аспекты истории парадигм программирования. Международная конференция памяти академика А.П. Ершова "Перспективы систем информатики" (15-19 июня 2009, Новосибирск). - "История информатики в Сибири", - Новосибирск, 2009, С. 7-14.
  43. Городняя Л.В. Учебные языки программирования. Парадигмы и перспективы Международная конференция памяти академика А.П. Ершова "Перспективы систем информатики" (15-19 июня 2009, Новосибирск). "Информатика образования". - Новосибирск, 2009, С. 40-43.
  44. Т.А.Андреева, И.С. Ануреев, Е.В. Бодин, Л.В. Городняя, А.Г. Марчук, Ф.А. Мурзин, Н.В. Шилов ОБРАЗОВАТЕЛЬНОЕ ЗНАЧЕНИЕ КЛАССИФИКАЦИИ КОМПЬЮТЕРНЫХ ЯЗЫКОВ. Международная конференция памяти академика А.П. Ершова "Перспективы систем информатики" (15-19 июня 2009, Новосибирск). "Информатика образования". С.19-26.
  45. Городняя Л.В., Шилов Н.В. Модели параллелизма в языках и преподавании программирования - XIV Байкальская Всероссийская конференция с международным участием "Информационные и математические технологии в науке и управлении. Иркутск, 2009, с. 257 -267.
  46. Тихонова Т.И. Программные системы образовательной информатики//Информационный бюллетень семинара "История информатики в Сибири" Седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики" - Новосибирск, 2009. - стр. 85-87.
  47. Тихонова Т.И. Концептуальные основы системы начальной подготовки ИТ-специалистов. //Доклады и тезисы секции "Информатика образования". Седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики" - Новосибирск, 2009. - стр. 123-129.
  48. Тихонова Т.И., Дедова Л.В. Конкурсная работа с юными программистами. //Доклады и тезисы секции "Информатика образования" Седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики". - Новосибирск, 2009. - стр. 129-131.
  49. Тихонова Т.И., Дедова Л.В. Новые формы конкурсной работы.// Материалы конференции Международной научно-практической конференции "Опыт и перспективы использования информационно-коммуникационных технологий в образовании". - Томск, ноябрь 2009 (в печати, примерно 5 страниц).
  50. Тихонова Т.И. Программные инструменты для процесса обучения информатике// Сборник материалов 4-й Международной научно-практической конференции "Современные информационные технологии и ИТ-образование", - Москва, 14-16 декабря. - 2009 (в печати, примерно 6 страниц).
  51. Соколов Г.В. Подходы к моделированию потоков информационных и вещественных ресурсов посредством систем поиска решений (обзор). //Proceedings of the Knowledge and Ontology *ELSEWHERE* Workshop. University High School of Economics, Moscow, Russia, 27 July, 2009, p.105-111.
  52. Mikheev V. A Light Java Runtime to Bundle with Applications // Java Developers Journal. - 2009. - SYS-CON Media, Inc. (to appear in the next issue).
  53. Тумуров Э.Г. Спецификация протокола передачи данных с авариями и отключениями. // Тр. межд. конф. "Вычислительная математика, дифференциальные уравнения, информационные технологии". - Улан-Удэ: Изд-во ВСГАКИ, 2009 -С. 224-232.
  54. Yury Zagorulko, Galina Zagorulko. A Role of Ontology in Information Systems for Support of Scientific and Production Activity. // New Trends in Software Methodologies, Tools, and Techniques. Proceedings of the eighth SoMeT_09. Hamido Fujita, Vladimir Marik (Eds.) -IOS Press, -Amsterdam,. -2009. -P.413-427.
  55. Загорулько Ю.А., Боровикова О.И. Роль онтологии в информационных системах поддержки научной и производственной деятельности // Тр. XI Междунар. конф. "Проблемы управления и моделирования в сложных системах" (Самара, 22-24 июня 2009 г. Самара, Россия) Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха. - Самара: Самарский Научный Центр РАН, 2009. - С. 462-468. (ISBN 978-5-93424-423-2)
  56. Загорулько Г.Б. Проект системы поддержки принятия решений при остеопорозе // Тр. XI Междунар. конф. "Проблемы управления и моделирования в сложных системах" (Самара, 22-24 июня 2009 г. Самара, Россия) Под ред.: акад. Е.А. Федосова, акад. Н.А. Кузнецова, проф. В.А. Виттиха. - Самара: Самарский Научный Центр РАН, 2009. - С. 484-490. (ISBN 978-5-93424-423-2)
  57. Загорулько Ю.А., Боровикова О.И. Опыт создания Интернет-порталов знаний по гуманитарным наукам // Тр. Седьмой межд. конф. памяти академика А.П. Ершова "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение" (15-19 июня 2009 г., Новосибирск, Россия) . - Новосибирск: ООО "Сибирское Научное Издательство", 2009. - С. 138-142 (ISBN 978-5-91124-031-8).
  58. Загорулько Г.Б., Загорулько Ю.А. Онтологический подход к созданию системы поддержки принятия решений при остеопорозе // Тр. Седьмой межд.конф. памяти академика А.П. Ершова "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение" (15-19 июня 2009 г., Новосибирск, Россия) . - Новосибирск: ООО "Сибирское Научное Издательство", 2009. - С. 132-137 (ISBN 978-5-91124-031-8).
  59. Загорулько Ю.А., Боровикова О.И., Загорулько Г.Б. Об опыте создания порталов знаний для поддержки научной и производственной деятельности // Материалы 4-ой международной научно-практической конференции "АГРОИНФО-2009" (Новосибирск, 14-15 октября 2009г.), Ч.1. "Информационные технологии, системы и приборы в АПК"/ Рос. акад. с.-х. наук Сиб.отд-ние, Сиб.Физико-техн. Ин-т аграр.Проблем. - Новосибирск,2009. - С.160-165. (ISBN 978-5-904424-31-2)
  60. Соколова Е.Г., Загорулько Ю.А., Кононенко И.С. Опыт систематизации знаний и Интернет-ресурсов для портала знаний по компьютерной лингвистике// Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции "Диалог 2009" (Бекасово, 27-31 мая 2009 г.). Вып. 8 (15). М.: РГГУ, 2009. -С. 465-470.
  61. Кононенко И.С., Сидорова Е.А. Подход к извлечению фактов из текста на основе онтологии // Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции "Диалог 2009" (Бекасово, 27-31 мая 2009 г.). Вып. 8 (15). М.: РГГУ, 2009. -С. 451-457.
  62. Сидорова Е.А., Кононенко И.С. Представление жанровой структуры документов и ее использование в задачах обработки текста // Труды Седьмой Международной конференции памяти академика А.П.Ершова "Перспективы систем информатики". Рабочий семинар "Наукоемкое программное обеспечение". -Новосибирск: Сибирское Научное Издательство, 2009. - С.248-254.
  63. Сидорова Е.А. Подход к построению рубрикаторов тезаурусного типа в информационно-справочных системах // Труды XI международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2009. - C.543-549.
  64. Чурина Т.Г., Нестеренко Т.В., Боженкова Е.Н. Открытая Всесибирская олимпиада по программированию имени И.В.Поттосина: опыт десятилетия // Труды конференции "Перспективы систем информатики" (семинар "История информатики в Сибири"), 15-19 июня, 2009.
  65. Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Алгоритмы определения нефтенасыщенных пластов на основе данных радиоактивного каротажа // Седьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2009. - С. 199-206.
  66. Перфильев А.А., Мурзин Ф.А. Поисковая система с элементами лингвистического анализа // Седьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2009. - С. 221-227.
  67. Гужавина И.В., Киричук В.С. Алгоритмы и программный комплекс для обработки изображений со спутника // Седьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2009. - С. 103-109.
  68. Козырева А.В. О задаче позиционирования мобильного устройства на основе изображений, полученных от установленной на нем фотокамеры // Седьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2009. - С. 173-180.
  69. Dibert A.A., Palyanov A. Yu. "Computer Simulation of C. Elegans Muscular System and Neural Network" // Proc. Int. Moscow Conference on Computational Molecular Biology (2009), p. 73-74.
  70. Palyanov A.Yu, Dibert A.A. "Software complex for study and simulation of C. Elegans neuromuscular system in physical environment" // Proc. 7-th Int. conf. "Perspectives of system informatics", satellite workshop "Science intensive applied software" (2009), p. 217-220.
  71. Диберт А., Черемушкин Е., Пальянов А. Моделирование мышечной системы и моторного контура нервной системы нематоды C. Elegans // XV Международная Конференция по Нейрокибернетике , (Ростов-на-Дону, 2009)
  72. Бутовский М.М. Построение диаграммы Бляшке для выпуклых многогранников в евклидовом пространстве R3 // Седьмая междунар. конф. памяти акад. А.П. Ершова, "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение", Новосибирск 2009. - С. 78-83.
  73. Чиркунов К.С. Компьютерное моделирование реализации транспортных проектов федерального уровня // Управление развитием крупномасштабных систем (MLSD'2009) : Материалы Третьей междунар. конф. (5-7 окт. 2009 г., Москва, Россия). - М. : Ин-т проблем управления им. В.А. Трапезникова РАН, 2009. - Т. 2. - С. 182-184.
  74. Апанович З.В. Винокуров П.С. Визуальный анализ онтологии и информационного наполнения портала знаний, учитывающий специфику конкретных отношений//Седьмая международная конференция "Перспективы систем информатики", Рабочий семинар "Наукоемкое программное обеспечение" .-2009.- С. 16-23.
  75. Апанович З.В. Винокуров П.С. Анализ онтологии и информационного наполнения портала знаний при помощи методов визуализации информации // Проблемы управления и моделирования в сложных системах: Труды XI Международной конференции (Самара, 22-24 июня 2009 г.) .- 2009.- С. 556-562.
  76. Апанович З.В. Методы заполнения пространства и их применение для визуализации информации и бизнес-аналитики// Проблемы управления и моделирования в сложных системах: Труды XI Международной конференции (Самара, 22-24 июня 2009 г.) .- 2009.- С. 563-572.
  77. Апанович З.В. Винокуров П.С. Средства визуального анализа онтологии и информационного наполнения портала знаний// Proceedings of the Knowledge and Ontology *ELSEWHERE* Workshop. University High School of Economics, Moscow, Russia, 2009.- С. 33-46.

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

  1. Ануреев И.С. Базовый формализм для моделирования концептуально сложных динамических систем // Материалы Всероссийской конференции с международным участием "Знания - Онтологии - Теории" (ЗОНТ-09), Новосибирск, 2009. - т.2.- 103-109.
  2. Городняя Л.В., Шилов Н.В. Модели параллелизма в языках и преподавании программирования // Труды Всероссийской конференции "Информационные и математические технологии в науке и управлении". Институт систем энергетики им. Л.А. Малентьева СО РАН, Иркутск.- 2009.- Часть II.-257-266.
  3. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Язык спецификаций распределенных систем Dynamic-REAL и его применение к их анализу и верификации // Труды Третьей Всероссийской научной конференции "Методы и средства обработки информации". Московский государственный университет.- 2009.-149-154.
  4. Шилов Н.В., Бодин Е.В. Верифицирующий компилятор F@BOOL@, основанный на булевских решателях // Труды Третьей Всероссийской научной конференции "Методы и средства обработки информации". Московский государственный университет.-2009.- 180-185.
  5. Касьянова Е.В. Моделирование знаний студента в адаптивной системе дистанционного обучения // Материалы Всероссийской научно-практической конференции "Информационные технологии в экономике, науке и образовании", г. Бийск, БТИ АлтГТУ им. И.И. Ползунова, 2009, С. 135 140.
  6. Ильин Д.М., Надеин П.В. Система минимизации компиляторных тестов Reduce / Тезисы научной студенческой конференции Лаборатории НГУ-Интел "Технологии высокопроизводительных вычислений", Новосибирск, НГУ, 2009, С. 26-31.
  7. Демин А.В., Витяев Е.Е. Финансовые временные ряды: прогнозирование и распознавание нарушений динамики // Доклады Всероссийской конференции ЗОНТ-2009 ("Знания - Онтологии - Теории"), 22-24 октября 2009 г. - Новосибирск: ИМ СО РАН, 2009. - С. 79-86.
  8. А. А. Берс Об основаниях информатики - III Ершовская лекция по информатике. //ЕРШОВСКИЕ ЛЕКЦИИ (Памяти академика А.П. Ершова). ООО "Сибирское Научное Издательство", Новосибирск 2009, стр. 51-88. ISBN 978-5-91124-035-6.
  9. Городняя Л.В. О языке начального обучения параллельному программированию -Всероссийская научная конференция "Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность", 20-27 сентября 2009, Новороссийск-Абрау.- 2009 (примерно 4 страницы).
  10. Городняя Л.В. О проблеме начального обучения параллельному программированию. V-я Сибирская конференция по параллельным вычислениям. Томск. С. 16-17.
  11. Городняя Л.В. Модели параллелизма в языках программирования. Труды XVI Всероссийской научно-методической конференции "Телематика'2009", Санкт-Петербург. - 2009 (примерно 2 страницы).
  12. Марчук А.Г., Тихонова Т.И. Предпрофессиональная подготовка кадров для Сибирской науки. // Вторые Ермаковские чтения "Сибирь: вчера, сегодня, завтра". -Материалы Всероссийской научной конференции, - Новосибирск, 20-21 ноября 2009 г.- Изд-во СО РАН, 2009 (В печати, примерно 7 страниц).
  13. Марчук А.Г., Марчук. П.А. Архивная фактографическая система. Электронные библиотеки: перспективные методы и технологии, электронные коллекции. Труды XI Всероссийской научной конференции (RCDL-2009). Петрозаводск, 2009, с. 177-185.
  14. Крайнева И.А., Марчук А.Г., Марчук. П.А. Технологии исторической фактографии: Электронный фотоархив СО РАН// Материалы всероссийской научно-практической конференции <Интеграция музеев Сибири в региональное социокультурное пространство и мировое музейное сообщество>, Улан-Удэ, 6-9 сентября 2009. Улан-Удэ: Изд-во БНЦ СО РАН, 2009, с.3-8.
  15. Загорулько Г.Б., Загорулько Ю.А. Об интеграции Семантических порталов и Социальных сетей // Материалы Всероссийской конференции с международным участием "Знания - Онтологии - Теории" (ЗОНТ-09). - Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2009. -Т. 2. - C. 158-163.
  16. Загорулько Ю.А., Сидорова Е.А., Боровикова О.И. Онтологический подход к построению систем информационной поддержки научной и производственной деятельности // Материалы Всероссийской конференции с международным участием "Знания - Онтологии - Теории" (ЗОНТ-09). - Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2009. -Т2. - C. 93-102.
  17. Боровикова О.И., Рябков А.Н. Поисковый робот для сбора информации об Интернет-ресурсах портала знаний // Технологии Microsoft в теории и практике программирования. Томск, 17-18 марта 2009, - Томск: изд-во Томского политехнического университета. - С.135-137. (тезисы) (ISBN 978-5-98298-505-7)
  18. Шестаков В.К. Подход к построению информационных систем на основе Wiki-технологии и онтологий проблемных областей // Технологии Microsoft в теории и практике программирования. Томск, 17-18 марта 2009, - Томск: изд-во Томского политехнического университета, 2009, - С. 195-196.
  19. Полетаев С.А. Параллельные вычисления на графических процессорах // // Технологии Microsoft в теории и практике программирования. Томск, 17-18 марта 2009, - Томск: изд-во Томского политехнического университета, 2009, - C.???-???.
  20. Перфильев А.А. Поисковая система с элементами лингвистического анализа // Технологии Microsoft в теории и практике программирования. - Томск, 2009. - С. 170 - 171.
  21. Крайниковский С.С. Алгоритм обработки данных ритма сердца в задачах игрового биоуправления // Технологии Microsoft в информатике и программировании, Томск, 2009, - C.???-???.



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