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

Монографии

  1. Левин Д.Я., Малюх В.Н. Ушаков Д.М., Энциклопедия PLM. // Ледас., Новсибирск, 2008. ISBN 978-5-9901334-1-9 420, - 445 с.
  2. Батура Т.В., Мурзин Ф.А. Машинно-ориентированные логические методы отображения семантики текста на естественном языке // Институт систем информатики им. А.П. Ершова СО РАН. - Новосибирск: Изд. НГТУ, 2008. ISBN 978-5-7782-1138-4, - 248 с.

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

  1. Вирбицкайте И.Б., Дубцов Р.С. Семантические области временных структур событий // Программирование.- №3.- 2008.- 3-20.
  2. Непомнящий В.А., Аргиров В.С., Белоглазов Д.М., Быстров А.В., Четвертаков Е.А., Чурина Т.Г. Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня// Программирование . - №6 .- 2008.
  3. Шилов Н.В., Ануреев И.С., Бодин Е.В. О генерации условий корректности для императивных программ // Программирование . - №6 .- 2008.
  4. Андреева М.В. Открытые отображения и поведенческие эквивалентности временных стабильных структур событий // Вестник НГУ, серия: математика, механика, информатика.-т.8.-вып.2.- 2008.- 14-29.
  5. Коровина М., Кудинов О. Эффективно перечислимые топологические пространства// Вестник НГУ, серия: математика, механика, информатика.-т.8.-вып.2.- 2008.- 86-109.
  6. Белоглазов Д.М., Непомнящий В.А. Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помощи конечных автоматов и раскрашенных сетей Петри // Вестник НГУ, серия: информационные технологии.- т.6.- вып. 3.- 2008.
  7. Ануреев И.С. Язык описания онтологических систем переходов OTSL как средство формальной спецификации программных систем // Вестник НГУ, серия: информационные технологии.- т.6.- вып. 3.- 2008.
  8. Касьянов В.Н. Интегрированная визуальная среда поддержки конструирования параллельных программ // Проблемы информатики. - 2008. - N 1. - (в печати, 15 С.).
  9. Касьянов В.Н. Языковые и программные средства конструирования параллельных программ // Информационные технологии в высшем образовании. - 2008.- Т.4, N 4. - (в печати, 12 С.).
  10. Стасенко А. П. Автоматная модель визуального описания синтаксического разбора // Вычислительные технологии. - 2008. - Т. 13, N. 5. - C. 70-87.
  11. Стасенко А.П., Пыжов К.А., Идрисов Р.И. Компилятор в системе функционального программирования SFP // Вестник НГУ, Серия: информационные технологии. - 2008. - Том 6, Выпуск 3. (в печати, 15 С.).
  12. Нечкин С., Пальянов А., Черемушкин Е., Штокало Д., Альберт П., Лоренс Дж. Разработка объединенной среды для анализа и поиска микро-РНК // Программные продукты и системы №4 (2008). (Принята к публикации).
  13. Загорулько Ю.А., Боровикова О.И. Подход к построению порталов научных знаний // Автометрия. № 1, 2008, т. 44, -с. 100-110.
  14. Загорулько Ю.А. Автоматизация сбора онтологической информации об интернет-ресурсах для портала научных знаний // Известия Томского политехнического университета. - Т. 312. - № 5. Управление, вычислительная техника и информатика. - 2008. -с. 114-119.
  15. Загорулько Г.Б. Разработка средств представления и визуализации знаний и данных и их использование в медицинских системах поддержки принятия решений // Вестник НГУ. Серия: Информационные технологии. 2008. (В печати.)
  16. Витяев Е.Е., Ковалерчук Б.К., Федотов А.М., Барахнин В.Б., Белов С.Д., Дурдин Д.С., Демин А.В. Обнаружение закономерностей и распознавание аномальных событий в потоке данных сетевого трафика // Вестник НГУ, серия: Информационные технологии. - 2008. - Т. 6. - Вып. 2. - С. 57-68.
  17. Демин А.В., Витяев Е.Е Разработка универсальной системы извлечения знаний "Discovery" и ее применения // Вестник НГУ. - 2008. - Т. 6. - Вып. 3. - (в печати).
  18. Демин А.В., Витяев Е.Е. Метод предсказания в языке первого порядка // Информационные технологии работы со знаниями: обнаружение, поиск, управление. - Новосибирск, 2008. - Вып. 175: Вычислительные системы. - (в печати).
  19. Демин А.В., Витяев Е.Е. Реализация универсальной системы извлечения знаний "Discovery" и ее применение в задачах финансового прогнозирования // Информационные технологии работы со знаниями: обнаружение, поиск, управление. - Новосибирск, 2008. - Вып. 175: Вычислительные системы. - (в печати).
  20. Д.К. Пономарев. Критерий разложимости элементарных теорий. // Сибирский математический журнал, 2008 - Т.49 - N1 - С. 189-192.
  21. А.С. Морозов, Д.К. Пономарев. О разрешимости проблемы разложимости для конечных теорий. // Сибирский Математический Журнал. (12 страниц) (в процессе рецензирования).
  22. D. Ponomaryov. Decomposability in logical calculi. // Bulletin of the Novosibirsk Computing Center / Computer Science - Novosibirsk 2008 - IIS Special Issue: 27. (7 страниц) (в процессе рецензирования).
  23. Марчук А.Г., Тихонова Т.И. Система подготовки научной молодёжи // Вестник НГУ: - Новосибирск: НГУ, 2008. - стр.
  24. Першин Д.Ю. Сравнительный анализ моделей тропосферной задержки в задаче определения местоположения высокой точности в спутниковых навигационных системах ГЛОНАСС/GPS // Вестник НГУ: информационные технологии, 2008, (в печати, 8 С.)
  25. Вшивков В.А., Маркелова Т.В., Шелехов В.И. Алгоритм сортировки частиц по ячейкам трехмерной сетки / Вестник НГТУ. - Новосибирск, 2008. (в печати, 16 С.).
  26. Шелехов В.И. Язык исчисления вычислимых предикатов, его логическая и операционная семантика / Вестник НГУ. Серия: математика, механика, информатика. - Новосибирск, 2008. - 25с. (на рецензии)
  27. Шелехов В.И. Корректность программ для языков с логической семантикой / Вестник НГУ. Серия: математика, механика, информатика. - Новосибирск, 2008. - 18с. (на рецензии)

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

  1. Selivanov V.L., Wagner K.W. Complexity of topological properties of regular ω-languages. Fundamenta Informaticae. - 20. -2008. -1-21.
  2. Selivanov V.L. Fine hierarchies and m-reducibilities in theoretical computer science // Theoretical Computer Science. - 405. -2008. - 116-163.
  3. Selivanov V.L. Fine hierarchy of regular aperiodic ω-languages // International Journal of Foundations of Computer Science. -19. - № 3. -2008. - 649-675.
  4. Selivanov V.L. Hierarchies and reducibilities on regular languages related to modulo counting // RAIRO, Theoretical Informatics and Applications. - 2008.
  5. Selivanov V.L. Wadge reducibility and infinite computations // Mathematics in Computer Science. - 2008.
  6. Morozov A., Korovina M. On σ-definability without equality over the real numbers //Mathematical Logic Quaterly. - V. 54. - №5. -2008. -498-508.
  7. Korovina M., Vorobjov N. Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems // Theory of Computing Systems. - №4. -2008.
  8. Anureev I.S. Ontological models in OTSL // Problems in Programming. Kiev. - 2008. - № 2-3. - 41-49.
  9. Promsky A.V. C#-program verification problems: solution by a three-level approach // Problems in Programming. Kiev. - 2008. - № 2-3. - 313-322.
  10. Nepomniaschy V. Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs // Pillars of Computer Science. - Lecture Notes in Computer Science. - V.4800. -2008. -537-554.
  11. Shilov N.V., Garanina N.O. Modal Logics for reasoning about Multiagent Systems // Encyclopedia of Artificial Intelligence. Information Science Reference. -2008. - 1089-1094.
  12. Tarasyuk I.V. Investigating equivalence relations in dtsPBC // Berichte aus dem Department fuer Informatik, Carl von Ossietzky Universitaet, Oldenburg, Germany, October. - 5. -2008. -57.
  13. Korovina M., Kudinov O. Basic Principles for σ-definability // Informatik Berichte 08-01, Uni-Siegen. - 2008. - 1-21.
  14. Morozov A., Korovina M. Remarks on σ-definability without the equality test over the reals // Electronic Notes in Theoretical Computer Science, Elsevier. - V.202C. - 2008. - 305-313.
  15. Sidorova E., Kononenko I., ZagorulkoYu. Knowledge-based approach to document analysis // International Journal Information Technologies and Knowledge. Vol.2 / 2008. Number 1. -P.17-22.
  16. Dobrynin A.A., Mel'nikov L.S. Infinite Families of 4-Chromatic Grotzsch-Sachs Graphs // J. Graph Theory, 2008, (в печати, 14 С.).
  17. Dobrynin A.A., Mel'nikov L.S. 4-chromatic edge critical Grotzsch-Sachs graphs // Discrete Math., 2008, (в печати, 3 С.).
  18. Chekmarev S., Karplus M. Palyanov A. A Hydrodynamic Description of Protein Folding // Phys. Rev. Lett., 2008, v. 100, 018107, 4p.

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

  1. Nepomniaschy V., Beloglazov D., Churina T., Mashukov M. Using Coloured Petri Nets to Model and Verify Telecommunications Systems // Proc. Third Intern. Computer Sci. Symposium in Russia (CSR 2008). -Lecture Notes in Computer Science. - V. 5010. - 2008. - 360-371.
  2. Selivanov V.L., Wagner K.W. Complexity of aperiodicity for topological properties of regular ω-languages // Conf. Computability in Europe-2008. - Lecture Notes in Computer Science. Berlin: Springer. - V. 5028. - 2008. - 533-543.
  3. Selivanov V., Glass C., Reitwiess C. The Shrinking Property for NP and coNP // Conf. Computability in Europe-2008. - Lecture Notes in Computer Science. Berlin: Springer. - V. 5028. - 2008. - 210-220.
  4. Selivanov V., Glass C., Schmitz H. Efficient algorithms for membership in Boolean hierarchies of regular languages // Proc. Symposium for theoretical aspects of computer science (STACS 2008).-2008.- 337-348.
  5. Selivanov V.L., Selivanova S.V. Computing solutions of symmetric hyperbolic systems of PDE's // In Proc. Conf. on Computability and Complexity in Computable Analysis, FernUniversitat Hagen, Bericht 348-8. - 2008. - 255-266.
  6. Selivanov V.L. On the difference hierarchy in countably based T0-spaces // In Proc. Conf. on Computability and Complexity in Computable Analysis, FernUniversitat Hagen, Bericht 348-8. - 2008. - 243-254.
  7. Gribovskaya N., Virbitskaite I. Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems // Proc. 7th International Workshop Concurrency, Specification and Porgramming, Germany. - V. 1. - 2008. - 180-192.
  8. Dubtsov R., Virbitskaite I. A Comparative Account of Timed Event Structures // Proc. 7th International Workshop Concurrency, Specification and Porgramming, Germany.- v. 3.- 2008.- 500-511.
  9. Korovina M., Kudinov O. Comparative Analysis of Some Models of Computation over Effectively Enumerable Topological Spaces // In Proc. Conf. on Computability and Complexity in Computable Analysis, FernUniversitat Hagen, Bericht 346-8. - 2008. - 129-141.
  10. D. Ponomaryov, N. Omelianchuk, V. Mironova, E. Zalevsky, N. Podkolodny, E. Mjolsness, and N. Kolchanov. From published expression and phenotype data to structured knowledge: The Arabidopsis gene net supplementary database and its applications. // Proc. KONT'07 conference / Lecture Notes in Artificial Intelligence - Springer Verlag, 2008. (20 страниц) (в процессе рецензирования)
  11. Марчук А.Г., Городняя Л.В., Мурзин Ф.А., Шилов Н.В. Классификация компьютерных языков: состояние, проблемы, перспективы // Тезисы докладов международной научной конференции "Космос, астрономия и программирование" (Лавровские чтения), СПбГУ.- 2008.- 82-88.
  12. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Спецификация и верификация телекоммуникационных систем с использованием языка Dynamic-REAL // Тезисы докладов международной научной конференции "Космос, астрономия и программирование" (Лавровские чтения), СПбГУ.- 2008.- 89-95.
  13. Ануреев И.С. Операционно-онтологическая семантика обработки исключений // Тезисы докладов международной научной конференции "Космос, астрономия и программирование" (Лавровские чтения), СПбГУ.- 2008.- 15-22.
  14. Ануреев И.С. Операционно-онтологическая семантика операторов безусловной передачи управления в языке C# // Тезисы докладов международной научной конференции "Космос, астрономия и программирование" (Лавровские чтения), СПбГУ.- 2008.- 259-266.
  15. Чурина Т.Г. Система ранней профессиональной ориентации в области современных информационных технологий // Междунар. научно-практическая конф. "Казахстан на этапе социально-политического и экономического развития в условиях глобализации", г. Тараз,Унивеситет "Аулие-Ата", Респ. Казахстан .- т. 1.- 2008. - 263-266.
  16. Kasyanov V.N. An open adaptive virtual museum of informatics history in Siberia // IFIP International Federation for Information Processing. - Boston: Springer, 2008. - Vol. 266. History of Computing and Education 3 (HCE 3). - p. 129-146. - (Proc. of the 20th IFIP World Computer Congress).
  17. Kasyanov V.N., Kasyanova E.V. WAPE - a system for distance learning of programming // IFIP International Federation for Information Processing. - Boston: Springer, 2008. - Vol. 261. Learning to Live in the Knowledge Society. - p. 355 - 357. - (Proc. of the 20th IFIP World Computer Congress).
  18. Касьянов В.Н. Языковые и программные средства конструирования параллельных программ // Вычислительные технологии. - 2008. - Том 13, Часть II. - С. 248-255. - (Материалы Международной конференции "Вычислительные и информационные технологии в науке, технике и образовании").
  19. Касьянов В.Н. Музеи и Интернет: новая виртуальная реальность // Вычислительные технологии. - 2008. - Том 13, Часть II. - С. 239-247. - (Материалы Международной конференции "Вычислительные и информационные технологии в науке, технике и образовании").
  20. Касьянов В.Н. Музеи и Интернет // Материалы Международной конференции "Современные информационные технологии и письменное наследие: от древних текстов к электронным библиотекам". - Казань: КГУ, 2008. - С. 86 - 89.
  21. Kasyanov V.N. Methods and a system of functional programming for supporting supercomputing // Proc. of the 5-th European Congress of Mathematics. - Amsterdam: EMS Publ. House, 2008. - P. 213.
  22. Добрынин А.А., Мельников Л.С. Раскраска графов Грецша-Закса // Доклады Одесского семинара по дискретной математике, (редактор В.Г. Визинг), 2008, (в печати, 11 С.).
  23. Добрынин А.А., Мельников Л.С. Реберно 4-критические графы Грецша-Закса, порожденные пересечением пяти замкнутых кривых на плоскости // Тезисы докл. XV Междунар. конф. "Проблемы теоретической кибернетики" Казань, 2-7 июня 2008 г., С. 26.
  24. Банщикова И.А., Клименко О. А., Мазов Н.А., Матвеева И.И., Филиппов В.Э., Филиппова М.Я. Каталог математических интернет-ресурсов Mathtree // Вычислительные и информационные технологии в науке, технике и образовании. Труды конференции (Алмата, Казахстан, 10-14 сентября 2008) - Алмата. - Ч. 1. - 2008. - С. 206-213.
  25. Городняя Л.В., Иванчева Н.А., Лаврентьев М.М., Марчук А.Г., Шкред А.В. Дистанционная школа программирования и информационных технологий - Вычислительные технологии. Том 13. Вестник КазНУ им. Аль-Фараби. Алматы-Новосибирск, с. 439-444
  26. Андреева Т.А. "Сборник задач по программированию для предолимпиадной подготовки" // Материалы II Международной научно-практической конференции "Информационные технологии в образовании" - 5 стр. (статья)
  27. Андреева Т.А. "Тезисы к докладу "Сборник задач по программированию для предолимпиадной подготовки"" // Материалы II Международной научно-практической конференции "Информационные технологии в образовании" - 1 стр. (тезисы)
  28. Малюх В.Н., Тезисы доклада "Он-лайн технологии публикации каталогов изделий" Печ. Х международная научно-практическая конференция "ИТ-бизнес в машиностроении и металлургии", Москва, 2008. Сборник тезисов. С. 106-109.
  29. Сидорова Е.А. Многоцелевая словарная подсистема извлечения предметной лексики // Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции "Диалог 2008". Вып. 7 (14). - М.: РГГУ, 2008. -С. 475-481.
  30. Загорулько Ю.А., Загорулько Г.Б. Особенности технологии разработки онтологий для порталов научных знаний // Тр. X Междунар. конф. "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2008. - С. 457-463.
  31. Сидорова Е.А. Технологический подход к созданию сервиса обработки текстовых ресурсов в информационных системах, основанных на онтологиях // Труды X международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2008. С. 471-477.
  32. О.И. Боровикова, Ю.А. Загорулько, Г.Б. Загорулько, И.С. Кононенко. Организация содержательного доступа к лингвистическим информационным ресурсам // Международная научная конференция "Космос, астрономия и программирование" (Лавровские чтения) (СПб, 20-22 мая). Тезисы докладов. СПб: СПбГУ, 2008. с. 146-152.
  33. Сидорова Е.А., Загорулько Ю.А. Инструментальные средства анализа документов в информационных системах, основанных на онтологиях // Труды международной научной конференции Космос, астрономия и программирование (Лавровские чтения). - СПб.:СПбГУ, 2008. - C. 108-115.
  34. Сидорова Е.А. Подход к построению предметных словарей по корпусу текстов // Труды международной конференции "Корпусная лингвистика -2008". -СПб.:С.-Петербургский гос. университет, Факультет филологии и искусств, 2008. -С.365-372.
  35. Соколова Е.Г., Кононенко И.С., Загорулько Ю.А. Проблемы описания компьютерной лингвистики в виде онтологии для портала знаний // Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции "Диалог" (Бекасово, 4-8 июня 2008 г.). Вып. 7 (14). - М.: РГГУ, 2008. - С.482-487.
  36. Городняя Л.В., Марчук А.Г., Мурзин Ф.А., Шилов Н.В. Классификация компьютерных языков: состояние, проблемы, перспективы. // Труды международной конференции Космос, астрономия и программирование" (Лавровские чтения). - Санкт-Петербургский государственный университет, Санкт-Петербург, 2008. - С. 15-22.
  37. Тихонова Т.И. Начальный этап подготовки специалистов в области информационных технологий // Сборник материалов XVIII Международная конференция-выставка ("ИТО-2008") - Москва: , 2008. - стр.
  38. Батура Т.В., Мурзин Ф.А. О формировании речи человека и анализе текстов на естественном языке// Междунар. научно-практическая конф. "Казахстан на этапе социально-политического и экономического развития в условиях глобализации", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2008. - С. 271-273.
  39. Мурзин Ф.А., Мурзина Т.С. О преподавании курса Информационные системы // Междунар. научно-практическая конф. "Казахстан на этапе социально-политического и экономического развития в условиях глобализации", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2008. - С. 266-268.
  40. Мурзин Ф.А., Поплевина Н.В., Семич Д.Ф. Обработка данных радиоактивного каротажа и выделение нефтенасыщенных пластов на основе кластеризации // Междунар. научно-практическая конф. "Казахстан на этапе социально-политического и экономического развития в условиях глобализации", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2008. - С. 268-271.
  41. Чурина Т.Г., Нестеренко Т. В. Система ранней профессиональной ориентации в области современных информационных технологий // Междунар. научно-практическая конф. "Казахстан на этапе социально-политического и экономического развития в условиях глобализации", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2008. - С. 263-266.
  42. Городняя Л.В., Мурзин Ф.А. Гуманитарные аспекты программирования // Труды международной конференции Космос, астрономия и программирование" (Лавровские чтения). - Санкт-Петербургский государственный университет, Санкт-Петербург, 2008. - 5с.
  43. Dibert A.A., Palyanov A. Computer simulation of C. Elegans muscular system and neural network // In Proc. Int. Conf. Bioinformatics of Genome Regulation and Structure (BGRS), 2008, 1p.
  44. Бах Т.А., Калинников П.А., Мурзин Ф.А. О распараллеливании некоторых алгоритмов обработки изображений с ориентацией на многоядерный процессор CELL // V Российско-германская школа по параллельным вычислениям на высокопроизводительных вычислительных системах. Семинар Распределенные и высокопроизводительные вычисления. Новосибирск, 2008. - С. 4-7.
  45. Валиулин Р.Г., Мурзин Ф.А. Параллельный вариант PIC-метода, ориентированный на вычислительные системы с топологией гиперкуба // V Российско-германская школа по параллельным вычислениям на высокопроизводительных вычислительных системах. Семинар Распределенные и высокопроизводительные вычисления. Новосибирск, 2008. - С. 9-11.
  46. Кононенко И.С., Боровикова О.И., Загорулько Ю.А., Загоруйко Н.Г. О построении онтологии для портала знаний по компьютерной лингвистике // Третья международная конференция по когнитивным наукам (Москва, 20-25 июня). М.: Художественно-издательский центр. 2008. С. 571-572.

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

  1. Ануреев И.С., Бодин Е.В., Городняя Л.В., Марчук А.Г., Мурзин Ф.А., Шилов Н.В. Проблема классификации компьютерных языков // Материалы 11 национальной конференции по искусственному интеллекту с международным участием (КИИ-08), Дубна, 2008. - Том 3. - С. 199-207.
  2. Ануреев И.С. Онтологии и системы переходов // Труды 11-ой национальной конференции по искусственному интеллекту (КИИ-2008).- Том 3.- 2008.- 173-180.
  3. Ануреев И.С. Онтологические системы переходов // Труды XIII Байкальской Всероссийской конференции "Информационные и математические технологии в науке и управлении".- Том 1.- 2008.- 307-315.
  4. Чурина Т.Г. Повышение качества подготовки специалиста в области современных информационных технологий Труды конф. "Информационные технологии в образовании", (секция "Опыт преподавания"), Москва, ноябрь, 2008.
  5. Дубцов Р.С. Теоретико-категорные исследования временных систем переходов с независимостью // Труды IX Всероссийской конференции молодых ученых по математическому моделированию и информационным технологиям, 28-30 октября. Кемерово.- 2008.
  6. Касьянова Е.В. Адаптивное дистанционное обучение программированию // Труды Всероссийской научно-методической конференции "Университет в системе непрерывного образования". - Пермь: ПТУ, 2008. - С. 79 - 82.
  7. Касьянова Е.В. Моделирование знаний студента в адаптивной системе дистанционного обучения // Труды Всероссийской научной конференции "Актуальные проблемы развития профессионального образования", Рубцовск: Изд-во РИИ АлтГТУ, 2008, (в печати, 5 С.).
  8. Касьянов В.Н. Курс по основам информатики и программирования // Труды Всероссийской научно-методической конференции "Университет в системе непрерывного образования". - Пермь: ПТУ, 2008. - С. 76 - 78.
  9. Касьянов В.Н. Языковые и программные средства для конструирования и оптимизации параллельных программ // Труды Всероссийской конференции "Информатика: проблемы, методология, технология". - Воронеж: ВГУ, 2008, С. 234 - 238.
  10. Боровикова О.И., Загорулько Ю.А., Загорулько Г.Б., Кононенко И.С., Соколова Е.Г.. Разработка портала знаний по компьютерной лингвистике // Труды 11-ой национальной конференции по искусственному интеллекту с международным участием КИИ-2008 (г.Дубна, Россия). -М.: ЛЕНАНД, 2008. -Т.3. -С.380-388.
  11. Сидорова Е.А. Подход к разработке лингвистических онтологий // Труды 11-ой национальной конференции по искусственному интеллекту с международным участием КИИ-2008 (г.Дубна, Россия). -М.: ЛЕНАНД, 2008. -Т.3. -С.181-189.
  12. Загорулько Ю.А. Методы и методологии разработки, сопровождения и реинжиниринга онтологий // Симпозиум "Онтологическое моделирование: состояние и направления исследований и применения" (Звенигород, 20-21 мая). М.: ИПИ РАН, 2008. -С. 135-162.
  13. Боровикова О.И., Загорулько Ю.А. Подход к представлению знаний в многоязычных информационных системах // Труды 11-ой национальной конференции по искусственному интеллекту с международным участием КИИ-2008 (г.Дубна, Россия). -М.: ЛЕНАНД, 2008. -Т.3. -С.155-163.
  14. Т.А.Андреева, И.С.Ануреев, Е.В.Бодин, Л.В.Городняя, А.Г.Марчук, Ф.А.Мурзин, Н.В.Шилов. Компьютерные языки как форма и средство представления, порождения и анализа научных и профессиональных знаний. - Труды XV Всероссийской научно-методической конференции "Телематика'2008", Санкт-Петербург. 2008, стр. 77-78
  15. Городняя Л.В. "ПАРАДИГМЫ ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ В УНИВЕРСИТЕТСКИХ ОБРАЗОВАТЕЛЬНЫХ ПРОГРАММАХ И СПЕЦИАЛИЗАЦИИ" - Всероссийская научная конференция "Научный сервис в сети Интернет: решение больших задач". Новороссийск-Москва. 2008.
  16. Городняя Л.В. Дистанционная школа программирования - Труды XV Всероссийской научно-методической конференции "Телематика'2008" с. 432-433
  17. Марчук А.Г. О распределенных фактографических системах // Электронные библиотеки: перспективные методы и технологии, электронные коллекции. Труды десятой Всероссийской конференции, Дубна, 2008, с. 93-102.
  18. Тумуров Э.Г. Спецификация и реализация реактивных систем на примере протокола рукопожатия / Математика, ее приложения и математическое образование МПМО'08. - Улан-Удэ (Байкал), 2008. - С. 310 - 319.
  19. Копылова Н.С., Мурзин Ф.А. Моделирование механизмов социального влияния на основе мультиагентного подхода // Труды 11-ой национальной конференции по искусственному интеллекту с международным участием КИИ-2008 (г. Дубна, Россия). - М.: ЛЕНАНД, 2008. -Т.3. -С.226-234.
  20. Арапбаев Р.Н., Осмонов Р. А., Фомин А. С. Программный комплекс для анализа зависимостей по данным // Технологии Microsoft в информатике и программировании, Новосибирск, 2008. - С. 99-101.
  21. Идрисов Р.И., Пыжов К.А. Распараллеливание и оптимизация программ на уровне внутреннего представления в компиляторе Sial 3.1 // Технологии Microsoft в информатике и программировании, Новосибирск, 2008. - С. 128-129.
  22. Екимова О.А.Среда визуальной разработки базы знаний экспертной диагностической системы // Тр. конференции- конкурса Технологии Microsoft в теории и практике программирования.- Новосибирск, 2008. - С.119-120.
  23. Бах Т.А., Калинников П.А. Исследования по распараллеливанию некоторых алгоритмов обработки изображений с ориентацией на многоядерный процессор Cell // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 101 - 102.
  24. Денисенко А.Ф. Исследование деструктивных информационных воздействий на человека // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 114 - 115.
  25. Дунаев А.А. Исследовательская система для анализа текстов на естественном языке // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 118 - 119.
  26. Зимовец С.В., Шпак М.В. // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 125 - 126.
  27. Иванова Ю.Г. Математические модели для алгоритмов выявления речевых воздействий на сознание человека // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 126 - 128.
  28. Иноземцев И.В. Решение обратной задачи электрического каротажа // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 129 - 131.
  29. Козырева А.В. Позиционирование мобильного устройства в пространстве на основе изображений, полученных от его видеокамеры // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 133 - 135.
  30. Копылова Н.С., Белогубова М.В. Моделирование механизмов социального влияния с помощью мультиагентного подхода // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 135 - 137.
  31. Крайниковский С.С., Штокало Д.Н. Анализ и обработка данных в задачах поиска сайтов связывания микро-РНК // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 141 - 142.
  32. Марчук П.А. Новый класс технологий для создания персональных и распределенных информационных систем // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 143 - 145.
  33. Новиков К.Ю. Решение прямой задачи электрического каротажа // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 150 - 151.
  34. Перфильев А.А. Информационно поисковая система, ориентированная на использование лингвистических алгоритмов // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 152 - 153.
  35. Полетаев С.А. Классификация топологий многопроцессорных вычислительных систем // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 154 - 156.
  36. Поплевина Н.В. Визуализация данных радиоактивного каротажа и выделение нефтенасыщенных пластов на основе кластеризации // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 160 - 163.
  37. Стоколяс Е.В., Шитикова Ю.В. Машинно-ориентированный анализ тематических классов глаголов русского языка // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 171 - 173.
  38. Филябин С.В. ПО для обеспечения финансовой и операционной безопасности кредитных организаций // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 180 - 181.
  39. Шенин Д.В. Оценка точности GPS-измерений методом вычисления радиуса // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 182 - 183.
  40. Диберт А.А. Компьютерное моделирование мышечной и нервной систем нематоды C.Elegans // Технологии Microsoft в теории и практике программирования. - Новосибирск, 2008. - С. 115 - 117.

Электронные публикации

  1. Dobrynin A.A., Mel'nikov L.S. Two series of edge-4-critical Grotzsch-Sachs graphs generated by four curves in the plane // Siberian Electronic Math. Reports, http: // semr.math.nsc.ru - 2008. - Vol. 5 - P. 255-278.
  2. Черноножкин С.К. Тестирование и отладка программ, http://vzshit.net.ru - НГУ, Новосибирск, 2008. - 164 С.



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