1. 2025
  2. On Presentations of the Addition over the Reals

    Morozov, A. S., Apr 2025, In: Lobachevskii Journal of Mathematics. 46, 4, p. 1892-1903 12 p., 33.

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

  3. Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics

    Penzina, U. & Stukachev, A., 11 Mar 2025, Lecture Notes in Networks and Systems. Springer, p. 123-132 10 p. (Lecture Notes in Networks and Systems; vol. 1198 LNNS).

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

  4. Permutation Groups and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 22 Jan 2025, In: Algebra and Logic. 63, 2, p. 141-152 12 p.

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

  5. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 31 p., 103491.

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

  6. Mappings with Coenumerable Graphs

    Morozov, A. S., Jan 2025, In: Algebra and Logic. 63, 6, p. 448-457 10 p.

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

  7. NP-полнота проблемы совместности систем диофантовых уравнений над конечными конфигурациями

    Когабаев, Н. Т., 2025, In: Сибирский математический журнал. 66, 3 (391), p. 450-464

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

  8. Task-Based Approach to Digital Transformations

    Vityaev, E. E., Sviridenko, D. I. & Rofe, A. R., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 78-95 18 p., 6.

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

  9. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

    Nechesov, A. V., Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 96-112 17 p., 7.

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

  10. Иерархическая классификация научных статей при помощи глубокого обучения (на примере иерархии УДК)

    Mamedov, V. Y., Kovalevsky, D. A., Morozov, D., Stolyarov, S. S. & Ospichev, S. S., 2025, In: Modeling and Analysis of Information Systems. 32, 1, p. 80-94 15 p., 6.

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

  11. О слабо коголографичных структурах

    Баженов, Н. А., Касымканулы, Б. & Морозов, А. С., 2025, In: Сибирский математический журнал. 66, 3 (391), p. 378-388

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

  12. Практикум по декларативному программированию

    Власов, В. Н., 2025, Новосибирск: ИПЦ НГУ. 68 p.

    Research output: Book/Report › Teaching manual › peer-review

  13. 2024
  14. Computational identification of promising genetic markers associated with molecular mechanisms of reduced rice resistance to Rhizoctonia solani under excess nitrogen fertilization using gene network reconstruction and analysis methods

    Antropova, E. A., Volyanskaya, A. R., Adamovskaya, A. V., Demenkov, P. S., Yatsyk, I. V., Ivanisenko, T. V., Orlov, Y. L., Haoyu, C., Chen, M. & Ivanisenko, V. A., Dec 2024, In: Vavilovskii Zhurnal Genetiki i Selektsii. 28, 8, p. 960-973 14 p.

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

  15. Interpretable logical-probabilistic approximation of neural networks

    Vityaev, E. & Korolev, A., Dec 2024, In: Cognitive Systems Research. 88, 101301.

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

  16. Degrees of relations on canonically ordered natural numbers and integers

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 6 Nov 2024, In: Archive for Mathematical Logic. 64, 1, p. 299-331 33 p., 33.

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

  17. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem

    Nechesov, A. & Goncharov, S., Nov 2024, In: Mathematics. 12, 21, 3429.

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

  18. Turing Spectra of the Automorphism Groups of the Order on the Rationals

    Morozov, A. S., Nov 2024, In: Siberian Mathematical Journal. 65, 6, p. 1373-1378 6 p., 11.

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

  19. Letter to the Editorial Board

    Schwidefsky, M. V., 1 Sept 2024, In: Algebra and Logic. 63, 4, p. 294-299 6 p., 6.

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

  20. Computable Boolean Algebras and Complexity of the Fréchet Ideal

    Goncharov, S. S., Sept 2024, In: Journal of Mathematical Sciences (United States). 284, 1, p. 72-82 11 p.

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

  21. Mutation in of palindromic sequences of coronavirus genome

    Mitić, N. S., Kapunac, S., Beljanski, M. V., Дергилев, А. И. & Орлов, Ю. Л., Aug 2024, Bioinformatics of Genome Regulation and Structure Systems Biology (BGRS/SB-2024): The 14th International Multiconference (05-10 August 2024, Novosibirsk, Russia). Новосибирск: Институт цитологии и генетики СО РАН, p. 2196-2197 2 p.

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

ID: 60174705