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

Монографии

  1. Тарасюк И.В. Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем, Новосибирск: Академическое издательство «Гео», 2007. - 322 с.

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

  1. Морозов А.С., Коровина М.В. Счетные структуры Σ- определимые над классическими непрерывными числовыми системами // Доклады Академии Наук . - NN 5, 1-3. - т. 416 . - 2007.
  2. Селиванов В.Л. Фактор - алгебра размеченных лесов по отношению h-эквивалентности // Алгебра и логика . - 46 . - N 2. - 2007 . - 217-243.
  3. Anureev I.S. Ontological Transition Systems // Joint Bulletin of the Novosibirsk Computing Center and A.P.Ershov Institute of Informatics Systems, Series Computer Science, v. 26, 2007.
  4. Anureev I.S. A Language for Description of Transitions in Ontological Transition Systems // Joint Bulletin of the Novosibirsk Computing Center and A.P.Ershov Institute of Informatics Systems, Series Computer Science, v. 26, 2007.
  5. Promsky A.V. The C#-light project: solution of some verification challenges // Joint Bulletin of the Novosibirsk Computing Center and A.P.Ershov Institute of Informatics Systems, Series Computer Science, v. 26, 2007.
  6. Вирбицкайте И.Б. Отчет о 6-ой международной конференции «Перспективы систем информатики» // Программирование. № 3. - 2007. - № 3. - с. 73-80.
  7. Чурина Т.Г., Боженкова Е.Н., Нестеренко Т.В. Задачи Открытой Всесибирской  олимпиады по программированию имени И.В. Поттосина: от теории к практике // Вестник НГУ, серия: Информационные технологии. - 2007. -  т.5, № 1. - с. 40-46.
  8. Загорулько Ю.А. Построение порталов научных знаний на основе онтологий // Вычислительные технологии, т. 12, спецвыпуск 2, -2007. -c. 169-177.
  9. E. Sidorova, Yu. Zagorulko Ontology-based approach to text analysis // Bull. NCC. Ser.: Comput. Sci. - 2007. - Is. 25.
  10. Botoeva Elena, Petrov Evgueni. Correct Visualization of Solution Spaces in the UniCalc System  // Bull. NCC. Ser.: Comput. Sci. - 2007. - Is. 25. (В печати.)
  11. Евстигнеев В.А., Арапбаев Р.Н., Осмонов Р.А. Анализ зависимостей: основные тесты на зависимость по данным / Сиб. журн. вычислит. Математики 2007. - Т.10, N 3. - С. 247-265.
  12. Ponomaryov D. Generalized decomposability notions for first-order theories. // Bulletin of the Novosibirsk Computing Center / Computer Science - Novosibirsk, 2007 - IIS Special Issue: v. 26
  13. Batura T., Murzin F. Logical Analysis of Texts in a Natural Language and a Sense presentation // Joint Bulletin of the Novosibirsk Computing Center and A.P.Ershov Institute of Informatics Systems, Series Computer Science, v. 26, 2007.

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

  1. Непомнящий В.А. Верификация финитных итераций над наборами изменяемых структур данных // Кибернетика и системный анализ. - Киев.-  №3. - 2007. - 33-46.
  2. Tarasyuk, I.V. Stochastic Petri box calculus with discrete time // Fundamenta Informaticae, IOS Press, v. 76, № 1-2, 2007, pp. 189-218.
  3. Selivanov V.L. Hierarchies of Δ-measurable k-partitions // Math. Logic Quarterly. - v.53, 2007, pp. 446-461.
  4. Kasyanov V.N., Stasenko A.P. A functional programming system SFP: Sisal 3.1 language structures decomposition // Lecture Notes in Computer Science, 2007, Vol. 4671, pp. 62-73.
  5. Kasyanov V.N., Kasyanova E.V. A Web-based system for distance learning of programming // Lecture Notes in Computer Science, 2007 (в печати)
  6. Kasyanov V.N., Stasenko A.P. Sisal 3.2 language structures decomposition // Lecture Notes in Computer Science, 2007 (в печати)
  7. Schreyer J., Walther H.J., Mel'nikov L.S. Vertex-oblique Graphs // Discrete Math. , 2007, Vol. 307, No. 12, P. 1538-1544.
  8. Dobrynin A.A., Mel'nikov L.S., Pyatkin A.V. Erdos regular graphs of even degree // Discuss. Math. Graph Theory, 2007, Vol. 27, N 2, pp. 269-279.

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

  1. Nepomniaschy V.A., Alekseev G.I., Argirov V.S., Beloglazov D.M., Bystrov A.V., Chetvertakov E.A., Churina T.G., Mylnikov S.P., Novikov R.M.  Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols // Proc.Int.Conf. "Computer Science in Russia", Lecture Notes in Computer Science, v. 4649, 2007, pp. 303-314.
  2. Morozov A. and Korovina M. Remarks on Σ-definability without the equality test over the Reals // Proc. Workshop on Computability and Complexity in Analysis, Fern Universitat Hagen, Informatik-Berichte, v. 338-6, 2007, pp. 283-291.
  3. Korovina M. and Kudinov O. The Uniformity Principle for Σ-definability with Applications to Computable Analysis // Proc. CiE'07, Lecture Notes in Computer Science, v. 4497, Springer, 2007, pp. 416-425.
  4. Korovina M., Vorobjov N. Satisfiability of Viability Constraints for Pfaffian Hybrid Systems // Proc. PSI'06, Lecture Notes in Computer Science v. 4378, 2007.
  5. Korovina M. Safety Properties Verification for Pfaffian Dynamics // Proc. Conference on Proof, Computation, Complexity. Report CSR 3-2007, Swansea, pp. 19-20.
  6. Shilov N., Garanina N. Well-Structured Model Checking of Multiagent Systems // Proc. PSI'06, Lecture Notes in Computer Science v. 4378, 2007.
  7. Shilov N.V., Anureev I.S., Garanina N.O. Combining Two Formalism for Reasoning about Concepts // Proc. of International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings v.250, 2007.
  8. Shilov N. and Garanina N. Model Checking Problem for Acting Agents with log-files // A Meeting of the Minds: Proc. Workshop on Logic, Rationality and Interaction, Beijing, 2007. Oxford Texts in Computer Science, v.8, 2007.
  9. Shilov N. and Han S.-Y. A proposal of Description Logic on Concept Lattices // Proc. of Fifth International Conference on Concept Lattices and Their Applications. Centre National De La Recherche Scientifique, France 2007, pp. 169-180.
  10. Dubtsov. R.S. Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction // Proc. PSI'06, Lecture Notes in Computer Science v. 4378, 2007, pp. 433-440.
  11. Gribovskaya N, Virbitskaite I. A Categorical Observation of Timed Testing Equivalence // Proc. 9-th International Conference «Parallel Computing Technologies», September 3-7, 2007, Pereslavl-Zalessky, Russia, Lecture Notes in Computer Science, v. 4671, 2007, pp. 35-46.
  12. Virbitskaite I.B., Gribovskaya N.S. Open maps and Timed Equivalences // Proc. Fourth International Conference «Applied Mathematics and Computing», v. 4, Bulgaria, 2007, pp. 536.
  13. Gribovskaya N, Virbitskaite I. Categorical Observations of Timed Transition Systems // Proc. 16th International Workshop «Concurrency, Specification and Programming», Lagow, Poland, September 27-29, 2007, pp. 25-36.
  14. Selivanov V.L. A useful undecidable theory // Proc. Conf. on Computability in Europe, Lecture Notes in Computer Science, v. 4497, 2007, pp. 685-694.
  15. Selivanov V.L., Kudinov O.V. Definability in the homomorphic quasiorder of finite labeled forests  // Proc. Conf. on Computability in Europe, Lecture Notes in Computer Science, v. 4497, 2007, pp. 436-445.
  16. Selivanov V.L.  Fine hierarchy of regular aperiodic ω-languages // Proc. Conf. DLT-2007, Lecture Notes in Computer Science, v. 4588, 2007, pp. 399-410.
  17. Selivanov V.L.  Classifying omega-regular partitions // Preproceedings LATA-2007, Universitat Rovira i Virgili, Report 35, 2007, pp. 529-540.
  18. Загорулько Г.Б. Использование онтологий для представления и визуализации знаний и данных в медицинских диагностических системах // Тр. IX Междунар. конф. "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2007. -  С. 434-440.
  19. Yury Zagorulko, Olesya Borovikova. Methodology of Building and Using Ontology for Providing Content-Based Access to Scientific Information Resources. // New Trends in Software Methodologies, Tools, and Techniques. Proceedings of the six SoMeT_07, Rome, Italy. Hamido Fujita, Domenico M. Pisanelli (Eds.) - IOS Press, -Amsterdam, -2007. -P.105-115
  20. Загорулько Ю.А., Боровикова О.И. Методологические проблемы построения и использования онтологий в портале научных знаний // Тр. IX Междунар. конф. "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2007. -  С. 447-454.
  21. Петров Е.С., Загорулько Ю.А. Подход к автоматизации процесса решения сложных вычислительных задач на основе экспертных знаний // Тр. IX Междунар. конф. "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2007. -  С. 492-497.
  22. Сидорова Е.А. Использование онтологии при извлечении информации из текстовых ресурсов // Труды IX международной конференции "Проблемы управления и моделирования в сложных системах". - Самара: Самарский Научный Центр РАН, 2007. - С.455-461.
  23. Боровикова О.И., Загорулько Ю.А., Загорулько Г.Б., Кононенко И.С. Подход к построению портала знаний по компьютерной лингвистике // Тр. II Междунар. конф. "Системный анализ и информационные технологии". - Обнинск, 2007. - Т.1. - С. 126-129.
  24. Sidorova, Y. Zagorulko, I. Kononenko Knowledge-based approach to document analysis // Proceedings of the XIII-th International Conference «Knowledge - Dialogue - Solution» (KDS'2007), Varna, Bulgaria, June, 2007. - ITHEA, Sofia, 2007. - V2, - pp. 527-533.
  25. Sidorova, E.A., Kononenko, I.S., Zagorulko, Yu.A. Automated Extraction of Facts from Internet-Documents. In: Computer Science and Information Technologies CSIT'2007. Ufa-Krasnousolsk, Russia, 2007, Vol. 1, -pp. 47-51. (Proceedings of the 7th International Workshop)
  26. Загорулько Ю.А. Организация содержательного доступа к научным знаниям и информационным ресурсам // VII  Междунар. конф. «Интеллектуальный анализ информации ИАИ-2007», Киев, 15-18 мая 2007 г. / Сб. тр. под ред. С.В. Сирота. - Киев: Просвита, 2007. - C. 109-119.
  27. Трофимов О.Е., Касьянова С.Н. Использование кластеров для вычисления преобразования Меллина функций, возникающих в задачах томографии // Труды Международной конференции «Параллельные вычислительные технологии (ПаВТ'2007)», - Челябинск: Изд-во ЮУрГУ,2007. - Т.1. - С. 152-157.
  28. Kasyanova E.V. Adaptive methods and tools for supporting distance education of programming // INFOTECH 2007, Olomouc, 2007, pp. 363-566.
  29. Kasyanov V.N. Methods and a system of functional programming for supporting supercomputing // PAMM, 2007, Vol. 7 (в печати)
  30. Касьянова Е.В. Адаптивное дистанционное обучение программированию // VI Международная научно-практическая конференция "Современные  образовательные технологии в преподавании дисциплин естественнонаучного цикла", Тула, ТГУ, 2007, (в печати)
  31. Арапбаев Р.Н. Анализ зависимостей по данным: стратегии тестирования и экспериментальное сравнение результатов // Тезисы докладов научной сессии IV Российско-Германской школы по параллельным вычислениям на высокопроизводительных вычислительных системах. - Новосибирск, ИВТ СО РАН, 2007. - C. 11-14.
  32. Арапбаев Р.Н., Осмонов Р.А. Анализ зависимостей: новая стратегия тестирования // Труды Международной конференции. «Параллельные вычислительные технологии (ПаВТ'2007)». - Челябинск: Изд-во ЮУрГУ,2007. - Т.2. - С. 16-27.
  33. Kasyanov V.N., Kasyanova E.V. A Web-based system for distance learning of programming // European Computing Conference. Book of Abstracts, WSEAS Press, Athens, 2007, p. 36.
  34. Kasyanov V.N., Stasenko A.P. Sisal 3.2 language structures decomposition // European Computing Conference. Book of Abstracts, WSEAS Press, Athens, 2007, p. 92.
  35. Mel'nikov L.S., Dobrynin A.A., Koester G., 4-chromatic Grotzsch-Sachs graphs and edge- 4-critical 4-valent planar graphs, some remarks to older and latest results // Abstracts of reports. Conference of Graph Theory on the Occasion of the 80th Birthday of Prof. Horst Sachs; Technical University Ilmenau, Germany, Ilmenau, March 27-30, 2007, P. 1.
  36. Kasyanov V.N. Methods and a system of functional programming for supporting supercomputing // Abstracts for ICIAM 07, Zurich, 2007, p. 165.
  37. Батура Т.В., Мурзин Ф.А. О логических методах анализа текста на естественном языке // Междунар. Научно - практическая конф. "Казахстанское общество: приоритеты и ключевые факторы конкурентоспособности", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2007. - С. 240-245.
  38. Винокуров А.А., Ильин И.В., Мурзин Ф.А., Семич Д.Ф. Алгоритмы и программный комплекс для интерпретации данных радиоактивного каротажа нефтяных скважин // Междунар. Научно - практическая конф. "Казахстанское общество: приоритеты и ключевые факторы конкурентоспособности", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2007. - С. 245-249.
  39. Черемушкин Е.С., Мурзин Ф.А Применение кода Голея для анализа последовательностей ДНК // Междунар. научно-практическая конф. "Казахстанское общество: приоритеты и ключевые факторы конкурентоспособности", том 1, г. Тараз, Унивеситет "Аулие-Ата", Респ. Казахстан, 2007. - С. 236-240.
  40. А. Morozov, D. Ponomaryov. The decomposability problem for finite Horn theories is undecidable. // Тез. Международной конференции «Теория функций, алгебра и математическая логика», посвященная 90-летию академика А.Д. Тайманова, Алматы, 2007 - С. 89-90.
  41. А. Morozov, D. Ponomaryov. Three Computability Results on the Decomposability Property of Theories. // Тез. Международной конференции «Мальцевские чтения», Новосибирск, 2007. http://www.math.nsc.ru/conference/malmeet/07/Abstracts/Ponom.pdf
  42. Khomicheva, A. Demin, E. Vityaev. Transcription Factor Binding Site Discovery by the Probabilistic Rules. Proceedings of the 2nd workshop in data mining in functional genomics and proteomics. The 18th European conference on machine learning and the 11th European conference on principles and practice of knowledge discovery in databases. Warsaw, Poland, September 17-21, 2007, p.104-109.
  43. А.В.Авдеев, Т.С. Васючкова, Л.В.Городняя, Н.А.Иванчева, М.М.Лаврентьев, А.В.Шкред  ДИСТАНЦИОННАЯ СИСТЕМА ДОПОЛНИТЕЛЬНОГО ОБРАЗОВАНИЯ ПО ИНФОРМАЦИОННЫМ ТЕХНОЛОГИЯМ - Екатеринбург, международная научно-практическая конференция, 26-28 февраля 2007, с.170
  44. Тихонова Т.И. Компьютер, «черепашка» и команда младших школьников// Сборник материалов XVIII МЕЖДУНАРОДНАЯ КОНФЕРЕНЦИЯ «ПРИМЕНЕНИЕ НОВЫХ ТЕХНОЛОГИЙ В ОБРАЗОВАНИИ» Троицк, Московская область, 27-28 июня 2007 г.
  45. Тихонова Т.И.. Олимпиада в хорошей компании//Сборник трудов XVII Международная конференция-выставка ("ИТО-2007") г. Москва, 9 - 11 ноября 2007 г., с. 201-203
  46. Тихонова Т.И. Методики для работы с будущими программистами // Материалы IV международной научно-практической конференции «Интеллектуальные технологии в образовании, экономике и управлении». - Воронеж, 2007 (выйдет к конференции 2 декабря)
  47. Апанович З.В. Методы визуализации информации - технология, повышающая когнитивные возможности пользователей. В трудах 4-ой Международной научно-практической конференции "Интеллектуальные технологии в экономике, управлении и образовании" -2007.

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

  1. Ануреев И.С., Промский А.В., Дубрановский И.В. Интеграция операционного, аксиоматического, трансформационного и онтологического подходов к формальной спецификации индустриальных языков программирования // Материалы V конференции молодых ученых СО РАН, посвященной М.А. Лаврентьеву. Часть I. - Новосибирский  государственный университет, Новосибирск, 2007. - c. 39-41.
  2. Загорулько Ю.А., Боровикова О.И. Технология построения онтологий для порталов знаний по гуманитарным наукам // Материалы Всероссийской конференции с международным участием «Знания-Онтологии-Теории» (ЗОНТ-07) - Новосибирск, 2007. - Т. 1. - С. 191-200.
  3. Сидорова Е.А. Онтологический подход к представлению знаний для задачи анализа текстовых ресурсов // Материалы Всероссийской конференции с международным участием «Знания - Онтология - Теория» (ЗОНТ-07). Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2007. Т.1 -С. 166-175.
  4. Загорулько Ю.А., Боровикова О.И., Загорулько Г.Б. Организация содержательного доступа к информационным ресурсам на основе онтологий // Тр. 9ой Всероссийской научной конф.  «Электронные библиотеки: перспективные методы и технологии, электронные коллекции»-RCDL'2007, - Переславль-Залесский, 2007. - Т. 1. - С. 217-224.
  5. Загорулько Ю.А., Боровикова О.И. Организация содержательного поиска и навигации для портала научных знаний // Тр. Казанской школы по компьютерной и когнитивной лингвистике TEL-2006, - Казань: Отечество, 2007.. - Вып. 10. - С. 24-31.
  6. Рябков А.Н. Машина вывода для диагностических экспертных систем // Тр. конференции- конкурса «Технологии Microsoft в теории и практике программирования».- Новосибирск, 2007. - С.137-139.
  7. Касьянова Е.В. Методы и средства поддержки адаптивного дистанционного обучения // IV Всероссийская научно-техническая конференция студентов, аспирантов и молодых ученых "Наука и молодежь − 2007". Секция «Информационные технологии и системы» / Алт. гос. техн. ун-т им. И.И.Ползунова. - Барнаул: изд-во АлтГТУ, 2007. - C. 10-14.
  8. Юрьев С.В. Разработка универсальной системы построения и администрирования научных и учебных сайтов // Новые информационные технологии в университетском образовании: Тезисы научно-методической конференции, ИЭПМСО РАО, Новосибирск, 2007, С. 171-172.
  9. Касьянова Е.В. Моделирование знаний студента в адаптивной системе дистанционного обучения // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C. 57-59.
  10. Касьянова Е.В. Адаптивная система поддержки дистанционного обучения программированию: вводный курс и методы тестирования // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.55-57.
  11. Гордеев Д.С. Визуализация в системе функционального программирования // Технологии Microsoft в информатике и программировании, Новосибирск 2007, С. 103-104.
  12. Добрынин А.А., Мельников Л.С. Графы Грецша-Закса // Тезисы докл. Российской конф. "Математика в современном мире", посвященная 50-летию Института математики им. С. Л. Соболева СО РАН, 17-23 сент. 2007 г., Новосибирск, С. 264-265.
  13. Пыжов К.А. Оптимизирующая трансляция функционального языка SISAL 3.1 // Новые информационные технологии в университетском образовании: Тезисы научно-методической конференции, ИЭПМСО РАО, Новосибирск, 2007, С. 159-160.
  14. Стасенко А.П. Система функционального программирования SISAL // Новые информационные технологии в университетском образовании: Тезисы научно- методической конференции, ИЭПМСО РАО, Новосибирск, 2007, С. 162-164.
  15. Першин Д.Ю. Контроль целостности эфемерид в пользовательском сегменте спутниковых систем навигации GPS/GLONASS // 10-я конф. «Проблемы информатизации региона» ПИР-2007 - Красноярск, 2007. - Том. 2. ‑ С. 31 - 33.
  16. Тумуров Э.Г. Методы спецификации системы взаимодействующих процессов на примере протокола рукопожатия // 10-я конф. «Проблемы информатизации региона» ПИР-2007 - Красноярск, 2007. - Том. 2. ‑ С. 67 - 72.
  17. Касьянова Е.В. Адаптивное дистанционное обучение программированию // Труды научной конференции «Актуальные проблемы развития профессионального образования»,  Рубцовск: изд-во РИИ АлтГТУ, 2007, (в печати).
  18. Городняя Л.В., Мурзин Ф.А. Гуманитарные аспекты программистского образования // Пятая открытая Всероссийская конференция «Преподавание ИТ в РФ» - С. 22-26.
  19. Городняя Л.В., Мурзин Ф.А. ИНФОРМАЦИОННЫЕ РЕСУРСЫ И ГУМАНИТАРНЫЕ АСПЕКТЫ ПРОГРАММИСТСКОГО ОБРАЗОВАНИЯ. Информационные технологии в образовании. // В тр. 12-й Байкальской Всероссийской конференции с международным участием «Информационные и математические технологии в науке и управлении». Иркутск - Байкал, 2 - 9 июля 2007 г., - С. 192-198.
  20. Голосов К. В., Валеев Т. В. Повышение надёжности предсказания сайтов связывания транскрипционных факторов с помощью экспериментов ChIP-on-chip. // Тезисы докладов конференции-конкурса «Технологии Microsoft в теории и практике программирования», Новосибирск, 24-26 февраля 2007. - С. 101-103.
  21. Тараскина А. С., Валеев Т. Ф., Коновалова Т. Г., Голосов К. В., Черёмушкин Е. С., Штокало Д. Н., Кель А. Э. Проектирование и разработка программной системы ExPlain для анализа регуляции генной экспрессии. // Тезисы докладов конференции- конкурса «Технологии Microsoft в теории и практике программирования», Новосибирск, 24-26 февраля 2007. - С. 141-143.
  22. Миклуха А.В., Черемушкин Е. С. Разработка автоматической системы проверки торговых стратегий на фондовом рынке. Тезисы докладов конференции-конкурса "Технологии Microsoft в теории и практике программирования", Новосибирск, 24-26 февраля 2007.  С. 131-133.
  23. Черемушкин Е. С. Модифицированный генетический алгоритм для оптимизации цепочки поставок и транспортной логистики. Тезисы докладов конференции- конкурса "Технологии Microsoft в теории и практике программирования", Новосибирск, 24-26 февраля 2007.  С. 131-133.
  24. D. Ponomaryov. Properties of relatively decomposable theories. // Материалы всероссийской конференции «Знания-Онтологии-Теории» (ЗОНТ-07), Новосибирск, 2007 - Т. I, С. 116-121.
  25. Н.А. Омельянчук, В.В. Миронова, Е.М. Залевский, И.С. Шамов, Н.Л. Подколодный, Д.К. Пономарев,  Н.А. Колчанов. Извлечение знаний из опубликованных данных по генетике растений: база данных AGNS и ее приложения. // Материалы всероссийской конференции «Знания-Онтологии-Теории» (ЗОНТ-07), Новосибирск, 2007 - Т. II, С. 54-60.
  26. Марчук П.А. Особенности интеграции данных из разных источников // Технологии Microsoft в теории и практики программирования / Конференция-конкурс работ студентов, аспирантов и молодых ученых. Тезисы докладов. - Новосибирск, 2007 - с.129-131.
  27. Марчук П.А. Интеграция и организация учебных и административных информационных ресурсов. // Новые информационные технологии в университетском образовании / Тезисы научно-методической конференции - Новосибирск, 2007 - с.56-57.
  28. Марчук А.Г., Марчук П.А. Платформа интеграции электронных архивов. // Электронные библиотеки: перспективные методы и технологии, электронные коллекции / Всероссийская научная конференция. - Переславль-Залесский, 2007 - Том 1, c. 89-94.
  29. Демин А.В., Витяев Е.Е., Полоз Т.Л., Реализация универсальной системы извлечения знаний «Discovery» и ее применение в задачах медицинской диагностики // Труды Всероссийская конференция с международным участием «Знания - Онтологии - Теории», Том 1, Новосибирск, 2007. - с. 63-70. 
  30. Демин А.В., Реализация универсальной версии системы «DISCOVERY» // Тез. докл. конференции-конкурса «Технологии Microsoft в теории и практике программирования», Новосибирск, 24-26 февраля 2007. - с. 106-108.
  31. Демин А.В., Витяев Е.Е., Модель логического анимата с автоматическим формированием подцелей // IX Всероссийская научно-техническая конференция «Нейроинформатика-2007», Москва, 2007.
  32. Л.В.Городняя ИНФОРМАЦИОННЫЕ РЕСУРСЫ изучения парадигм программирования. В тр. 12-ой Байкальской Всероссийской конференции с международным участием Информационные и математические технологии в науке и управлении. Иркутск - Байкал, 2 - 9 июля 2007 г., с.187-188
  33. А.В.Авдеев, Т.С.Васючкова, Л.В.Городняя, Н.А.Иванчева, М.М.Лаврентьев, А.В.Шкред  Разработка электронных образовательных ресурсов для  целей дистанционного обучения информационным технологиям. В тр. XIV Всероссийской научно-методической конференции Телематика-2007. с.186-187
  34. Т.С. Васючкова, Л.В. Городняя, М.М. Лаврентьев, А.Г. Марчук, Т.Г. Чурина СОТРУДНИЧЕСТВО НАУКИ И  ОБРАЗОВАНИЯ В УСЛОВИЯХ ИНФОРМАТИЗАЦИИ ОБЩЕСТВА - М.: Всероссийская конференция «Информационные технологии в образовании», ноябрь 2007
  35. Н.А. Калинина.  Роль компьютерной алгебры в преподавании информационных технологий. В тр. XIV Всероссийской научно-методической конференции Телематика-2007.
  36. Н.А. Калинина, А.П. Калинина.  Параллелизм  в базовых курсах программирования в НГУ  и ВКИ  НГУ. В тр. XIV Всероссийской научно-методической  конференции Телематика-2007.
  37. Н.А.Калинина. Исследование реализаций систем компьютерной алгебры при обучении программированию. В тр. 12-ой Байкальской Всероссийской конференции с международным участием Информационные и математические технологии в науке и управлении. Иркутск - Байкал, 2 - 9 июля 2007 г.
  38. Н.А.Калинина,  А.П.Калинина   Структуры данных и параллельные  схемы в двумерных задачах газодинамики и теплопроводности на  двуядерных архитектурах. В тр. Всероссийской научной конференции  "Научный сервис в сети ИНТЕРНЕТ: многоядерный компьютерный мир.  15 лет РФФИ.  Издательство Московского университета, 2007, с.57-60.
  39. Демин А.В. Реализация универсальной версии системы «DISCOVERY» // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.106-108.
  40. Вольхина Н.К. Корректное упорядочение бизнес-правил на основе информационных зависимостей // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.4-6.
  41. Дунаев А.А. Исследование методов визуализации в процессах биоуправления // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.113-115.
  42. Гордеев Д.С. Визуализация в системе функционального программирования SFP // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.103-104.
  43. Белоглазов Д.М. Моделирование и верификация взаимодействия функциональностей в телефонных сетях // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.1-2.
  44. Веретнов С.О. Моделирование и верификация распределенных систем, представленных на языке SDL // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.2-4.
  45. Марьясов И.В. Автоматическая верификация программ на языке C-LIGHT // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.25-27.
  46. Мацко Е.А. Автоматическая верификация программ линейной алгебры // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.27-29.
  47. Батура Я.Н. Диалог на естественном языке и базы данных // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.92-94.
  48. Рябков А.Н. Машина вывода для диагностических экспертных систем // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.137-139.
  49. Гордеев Д.А. Информационная система для медицинских учреждений, построенная на онтологических принципах // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.45-46.
  50. Антюфеев С.В. Ускорение одного решающего алгоритма // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.87-88.
  51. Канюс С.С. Реализация преобразования неупорядоченного набора отрезков в набор связных контуров // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.185-187.
  52. Батура Т.В. REFAL-подобные конструкции и обработка поисковых запросов на естественном языке // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.88-90.
  53. Батура Т.В., Позименко А.А. Дунаев А.А. Исследовательская система для анализа текстов на естественном языке // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.91-92.
  54. Валеев Т.Ф., Голосов К.В. Повышение надежности предсказания сайтов связывания транскрипционных факторов с помощью экспериментов CHIP-ON-CHIP // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.101-103.
  55. Денисенко А.Ф. Исследование деструктивных информационных воздействий // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.108-110.
  56. Дунаев А.А. Оптимизация доступа к словарным данным большого объема // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.115-117.
  57. Зимовец С.В., Шпак М.В. Программное обеспечение интерпретации прибора индукционного каротажа // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.119-121.
  58. Козырева А.В. О задаче позиционирования мобильного устройства в пространстве на основе изображений, получаемых от его видеокамеры // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.121-122.
  59. Крайниковский С.С. и др. Визуализация геофизических данных в системе комплексной интерпретации «EMFPRO» // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.125-127.
  60. Марчук П.А. Особенности интеграции данных из разных источников // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.129-131.
  61. Миклуха А.В., Черемушкин Е.С. Разработка автоматической системы проверки торговых стратегий на фондовом рынке // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.131-133.
  62. Поплевина Н.В. Визуализация данных радиоактивного каротажа и расчет коэффициента нефтенасыщенности методом «Кросс-плот» // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.135-137.
  63. Тараскина А.Г., Валеев Т.Ф. и др. Проектирование и разработка программной системы для анализа регуляции генной экспрессии// Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.141-143.
  64. Черемушкин Е.С. Модифицированный генетический алгоритм для оптимизации цепочки поставок и транспортной логистики // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.149-151.
  65. Шенин Д.В. Обработка данных, получаемых с GPS-приемников // Технологии Microsoft в информатике и программировании, Новосибирск, 2007, C.151-153.
  66. Вольхина Н.К. Корректное упорядочение бизнес-правил на основе информационных зависимостей // Технологии Microsoft в теории и практике программирования: Тезисы докладов. - Новосибирск, 2007. - С. 4-6.
  67. Вольхина Н.К. Группировка бизнес-правил для улучшения понимания программы. //Материалы XLV Международной научной студенческой конференции "Студент и научно-технический прогресс": Математика / Новосиб. Гос. Ун-т. Новосибирск, 2007. - С. 147-148.
  68. Гвоздев Б.А., Емельянов П.Г., Пак Е.В. Составление расписаний в учебных заведениях: требования, проблемы, подходы к решению // Новые технологии в образовании. 3 (2007), с. 56-76.
  69. Бульонков М.А., Тарабухина Н.К. Валидация экранных портов в программах на языке COBOL // VIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям: Программа и тезисы докладов / Институт вычислительных технологий СО РАН. Новосибирск, 2007. - С. 87-88.
  70. Апанович З.В., Марчук А.Г., Михайлова Л.В., «Анализ потребностей рынка ИТ - специалистов с целью разработки программ дополнительного образования». В сборнике научных трудов 1-ой Всероссийской интернет-конференции «Модернизация системы дополнительного профессионального образования», С. 15-18, 2007.



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