61 - 80 out of 205Page size: 20
  1. 2018

  2. Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 429-447 19 p.

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

  3. Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

    Kogabaev, N. T., 1 Mar 2018, In: Siberian Mathematical Journal. 59, 2, p. 295-308 14 p.

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

  4. Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 Mar 2018, In: Journal of Symbolic Logic. 83, 1, p. 103-116 14 p.

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

  5. Correction to: Selected articles from Belyaev Conference 2017: Structural biology (Orlov and Baranova BMC Structural Biology (2018) 18 (S1) DOI: 10.1186/s12900-018-0080-9)

    Orlov, Y. L. & Baranova, A. V., 21 Mar 2018, In: BMC Structural Biology. 18, 1, p. 3 1 p., 3.

    Research output: Contribution to journal › Comment/debate › peer-review

  6. On free Gelfand–Dorfman–Novikov–Poisson algebras and a PBW theorem

    Bokut, L. A., Chen, Y. & Zhang, Z., 15 Apr 2018, In: Journal of Algebra. 500, p. 153-170 18 p.

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

  7. Neuroscience researches at Belyaev conference-2017

    Orlov, Y. L., Moroz, L. L. & Baranova, A. V., 19 Apr 2018, In: BMC Neuroscience. 19, Suppl 1, p. 14 2 p., 14.

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

  8. A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

    Morozov, A. S., 1 May 2018, In: Siberian Mathematical Journal. 59, 3, p. 463-469 7 p.

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

  9. Quasiequational Bases of Cantor Algebras

    Basheyeva, A. O. & Schwidefsky, M. V., 1 May 2018, In: Siberian Mathematical Journal. 59, 3, p. 375-382 8 p.

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

  10. CpG islands’ clustering uncovers early development genes in the human genome

    Babenko, V. N., Bogomolov, A. G., Babenko, R. O., Galieva, E. R. & Orlov, Y. L., Jun 2018, In: Computer Science and Information Systems. 15, 2, p. 473-485 13 p.

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

  11. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 Jun 2018, In: Algebra and Logic. 57, 2, p. 98-114 17 p.

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

  12. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 Jul 2018, In: Siberian Mathematical Journal. 59, 4, p. 565-577 13 p.

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

  13. Universal Functions and Unbounded Branching Trees

    Khisamiev, A. N., 1 Sept 2018, In: Algebra and Logic. 57, 4, p. 309-319 11 p.

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

  14. Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

    Aleksandrova, S. A., 1 Sept 2018, In: Siberian Mathematical Journal. 59, 5, p. 763-767 5 p.

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

  15. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 Nov 2018, In: Algebra and Logic. 57, 5, p. 392-396 5 p.

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

  16. Some new results on Gröbner-Shirshov bases for Lie algebras and around

    Bokut, L. A., Chen, Y. & Obul, A., 1 Dec 2018, In: International Journal of Algebra and Computation. 28, 8, p. 1403-1423 21 p.

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

  17. 2019

  18. Компьютерные методы для анализа технологий секвенирования в анализе хромосомных контактов в клетке

    Орлов, Ю. Л., Ковалев, С. С., Дергилев, А. И., Бабенко, Р. О., Галиева, Э. Р. & Леберфарб, Е. Ю., 2019, In: Genes and Cells. 14, S, p. 171-171 1 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

  19. Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, In: Алгебра и логика. 58, 5, p. 553-573 21 p.

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

  20. Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 1 Jan 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer-Verlag GmbH and Co. KG, p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

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

  21. Computable Contact Algebras

    Bazhenov, N., 1 Jan 2019, In: Fundamenta Informaticae. 167, 4, p. 257-269 13 p.

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

  22. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 Jan 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (eds.). Springer-Verlag GmbH and Co. KG, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

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

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 3082806