1. 2008
  2. Об оценке энтропии символического образа динамической системы

    Ампилова, Н. Б. & Петренко, Е. И., 2008, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 3, p. 3-11

    Research output: Contribution to journalArticlepeer-review

  3. О построении eps-траектории, проходящей через две заданные точки

    Ампилова, Н. Б. & Гомера, А. В., 2008, Космос, астрономия и программирование (Лавровские чтения): Труды Международной научной конференции. СПб: ЦНИИ «Электроприбор», p. 123-127

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Реализация алгоритмов проверки существования eps-траекторий для динамических систем

    Гомера, А. В. & Ампилова, Н. Б., 2008, Технологии Microsoft в теории и практике программирования: Материалы конференции. Новосибирск: Издательство Новосибирского университета, p. 197-198

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Учебный исследовательский проект реализации алгоритмических языков.

    Мартыненко, Б. К., 2008, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 5, p. 3-18

    Research output: Contribution to journalArticle

  6. 2007
  7. Estimating the number of steps that it takes to solve some problems of pattern recognition which admit logical description

    Kosovskaya, T. M., 1 Dec 2007, In: Vestnik St. Petersburg University: Mathematics. 40, 4, p. 287-293 7 p.

    Research output: Contribution to journalArticlepeer-review

  8. The number of steps for construction of a Boolean solution to polynomial congruences and systems of polynomial congruences

    Kosovskii, N. K. & Kosovskaya, T. M., 1 Sep 2007, In: Vestnik St. Petersburg University: Mathematics. 40, 3, p. 218-223 6 p.

    Research output: Contribution to journalArticlepeer-review

  9. Doublе logistic map

    Ampilova, N. B., 2007, G.S. Osipenko. Dynamical systems, Graphs, and Algorithms. Springer Nature, p. 300, 241-252

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. MASL: A Logic for the Specification of Multiagent Real-Time Systems

    Bugaychenko, D. & Soloviev, I., 2007, Multi-Agent Systems and Applications V: 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Springer Nature, p. 183-192 (Lecture Notes in Computer Science ; vol. 4696).

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthology

  11. Об эффективности получения булевого решения у полиномиальных сравнений и у систем из них

    Косовская, Т. М. & Косовский, Н. К., 2007, Матер. IX Международного семинара «Дискретная математика и ее приложения». Издательство Московского университета

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthologypeer-review

ID: 30313