1. Article › Research › Peer-reviewed
  2. Task-driven approach to artificial intelligence

    Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., Sept 2023, In: Cognitive Systems Research. 81, p. 50-56 7 p.

    Research output: Contribution to journalArticlepeer-review

  3. The complexity of quasivariety lattices. II

    Schwidefsky, M. V., 2023, In: Siberian Electronic Mathematical Reports. 20, 1, p. 501-513 13 p.

    Research output: Contribution to journalArticlepeer-review

  4. The Computational Power of Infinite Time Blum–Shub–Smale Machines

    Koepke, P. & Morozov, A. S., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 37-62 26 p.

    Research output: Contribution to journalArticlepeer-review

  5. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

    Goncharov, S. S. & Marchuk, M. I., Jul 2021, In: Algebra and Logic. 60, 3, p. 200-206 7 p.

    Research output: Contribution to journalArticlepeer-review

  6. The differences in brain stem transcriptional profiling in hypertensive ISIAH and normotensive WAG rats

    Fedoseeva, L. A., Klimov, L. O., Ershov, N. I., Efimov, V. M., Markel, A. L., Orlov, Y. L. & Redina, O. E., 8 May 2019, In: BMC Genomics. 20, Suppl 3, 16 p., 297.

    Research output: Contribution to journalArticlepeer-review

  7. The Embedding Problem for Computable Projective Planes

    Kogabaev, N. T., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 75-79 5 p.

    Research output: Contribution to journalArticlepeer-review

  8. The evolution of CpG islands by tandem duplications

    Babenko, V. N., Orlov, Y. L., Isakova, Z. T., Antonov, D. A. & Voevoda, M. I., 1 Jul 2017, In: Russian Journal of Genetics: Applied Research. 7, 5, p. 538-549 12 p.

    Research output: Contribution to journalArticlepeer-review

  9. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, In: Сибирские электронные математические известия. 17, p. 380-394 15 p., 024.

    Research output: Contribution to journalArticlepeer-review

  10. The Index Set of the Class of Autostable Ordered Abelian Groups

    Marchuk, M. I., Feb 2021, In: Siberian Advances in Mathematics. 31, 1, p. 40-44 5 p.

    Research output: Contribution to journalArticlepeer-review

  11. The index set of the groups autostable relative to strong constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 Jan 2017, In: Siberian Mathematical Journal. 58, 1, p. 72-77 6 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3082806