121 - 130 out of 625Page size: 10
  1. 2021

  2. Models of diffusion processes on triangulated surfaces

    Ампилова, Н. Б. & Доронин, Г. А., 21 Oct 2021, Proc. 15 Int. Conf. on communications, electromagnetics and medical applications (CEMA’21). София, Болгария: Софийский технический университет, p. 33-37 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  3. Forecasting Multivariate Chaotic Processes with Precedent Analysis

    Musaev, A., Makshanov, A. & Grigoriev, D., Oct 2021, In: Computation. 9, 10, 110.

    Research output: Contribution to journal › Article › peer-review

  4. Quantifier elimination approach to existential linear arithmetic with GCD

    Старчак, М. Р., Oct 2021. 4 p.

    Research output: Contribution to conference › Abstract

  5. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма

    Старчак, М. Р., 26 Sep 2021, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 8(66), 3, p. 455-466

    Research output: Contribution to journal › Article › peer-review

  6. Analyzing, modeling, and utilizing observation series correlation in capital markets

    Musaev, A. & Grigoriev, D., 2 Aug 2021, In: Computation. 9, 8, 12 p., 88.

    Research output: Contribution to journal › Article › peer-review

  7. Identification of user accounts by image comparison: The phash-based approach

    Oliseenko, V. D., Abramov, M. V. & Tulupyev, A. L., 1 Aug 2021, In: Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 21, 4, p. 562-570 9 p.

    Research output: Contribution to journal › Article › peer-review

  8. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. I. Definitions and GCD-Lemma

    Starchak, M. R., Aug 2021, In: Vestnik St. Petersburg University: Mathematics. 54, 3, p. 264–272

    Research output: Contribution to journal › Article › peer-review

  9. Алгебраические байесовские сети: проверка магистральной связности

    Максимов, А. Г. & Тулупьев, А. Л., 21 Jul 2021, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 8, 2, p. 305-316

    Research output: Contribution to journal › Article › peer-review

  10. Positive Existential Definability with Unit, Addition and Coprimeness

    Старчак, М. Р., 18 Jul 2021, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 353–360 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  11. SPbLA: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations

    Orachev, E., Karpenko, M., Khoroshev, A. & Grigorev, S., 1 Jun 2021, 2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021. Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers Inc., p. 272-275 4 p. 9460674. (2021 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2021 - In conjunction with IEEE IPDPS 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Previous 1...9 10 11 12 13 14 15 16 ...63 Next

ID: 30313