1 - 205 out of 205Page size: 500
Sort by: Title

  1. Тьюринговы степени и группы автоморфизмов решёток подструктур

    Dimitrov, R. D., Harizanov, V. & Морозов, А. С., 1 Mar 2020, In: Алгебра и логика. 59, 1, p. 27-47 21 p.

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

  2. Реконструкция генной сети болезни Паркинсона для поиска генов-мишеней

    Orlov, Y. L., Galieva, A. G., Orlova, N. G., Ivanova, E. N., Mozyleva, Y. A. & Anashkina, A. A., May 2021, In: Biomeditsinskaya Khimiya. 67, 3, p. 222-230 9 p., 5.

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

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

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

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

  4. Полиморфизм вариантов гена N-ацетилтрансферазы 2 (NAT2) и анализ генной сети

    Tiis, R. P., Osipova, L. P., Galieva, E. R., Lichman, D. V., Voronina, E. N., Melikhova, A. V., Orlov, Y. L. & Filipenko, M. L., May 2021, In: Biomeditsinskaya Khimiya. 67, 3, p. 213-221 9 p., 4.

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

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

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

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

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

    Orlov, Y. L., Thierry, O., Bogomolov, A. G., Tsukanov, A. V., Kulakova, E. V., Galieva, E. R., Bragin, A. O. & Li, G., Oct 2017, In: Biomeditsinskaya Khimiya. 63, 5, p. 418-422 5 p.

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

  7. Σ-Preorderings in ℍF (ℝ)

    Morozov, A. S., 1 Nov 2019, In: Algebra and Logic. 58, 5, p. 405-416 12 p.

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

  8. Σ-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

  9. Well-Orders Realized by C.E. Equivalence Relations

    Bazhenov, N. & Zubkov, M., 2022, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Proceedings. Berger, U., Pauly, A., Franklin, J. N. Y. & Manea, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 13-23 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13359 LNCS).

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

  10. Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 199-213 15 p.

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

  11. 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

  12. Unified Formalization of «natural» Classification, «natural» Concepts, and Consciousness as Integrated Information by Giulio Tononi

    Vityaev, E., 2015, In: Procedia Computer Science. 71, p. 169-177 9 p.

    Research output: Contribution to journal › Conference article › peer-review

  13. Turing Degrees of Complete Formulas of Almost Prime Models

    Goncharov, S. S., Miller, R. & Harizanov, V., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 282-287 6 p.

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

  14. Turing Degrees and Automorphism Groups of Substructure Lattices

    Dimitrov, R. D., Harizanov, V. & Morozov, A. S., 1 Mar 2020, In: Algebra and Logic. 59, 1, p. 18-32 15 p.

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

  15. Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 Jan 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (eds.). Springer-Verlag GmbH and Co. KG, Vol. 10307 LNCS. p. 141-151 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307 LNCS).

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

  16. Triple Haplotypes of the TP53 Gene in Patients with Diffuse Small B-Cell Lymphoma

    Voropaeva, E. N., Cherdyntseva, N. V., Voevoda, M. I., Pospelova, T. I., Maximov, V. N., Orlov, Y. L. & Ageeva, T. A., 1 Dec 2019, In: Russian Journal of Genetics. 55, 12, p. 1564-1568 5 p.

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

  17. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 Dec 2017, In: Mathematical Structures in Computer Science. 27, 8, p. 1553-1580 28 p.

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

  18. To the Spectral Theory of Partially Ordered Sets. II

    Ershov, Y. L. & Schwidefsky, M. V., 1 May 2020, In: Siberian Mathematical Journal. 61, 3, p. 453-462 10 p.

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

  19. To the Spectral Theory of Partially Ordered Sets

    Ershov, Y. L. & Schwidefsky, M. V., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 450-463 14 p.

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

  20. The rs78378222 prevalence and the copy loss of the protective allele A in the tumor tissue of diffuse large B-cell lymphoma

    Voropaeva, E. N., Orlov, Y. L., Pospelova, T. I., Gurageva, A. A., Voevoda, M. I., Maksimov, V. N., Seregina, O. B. & Churkina, M. I., 12 Nov 2020, In: PeerJ. 8, 14 p., e10335.

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

  21. 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 journal › Article › peer-review

  22. 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 journal › Article › peer-review

  23. 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 journal › Article › peer-review

  24. 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 journal › Article › peer-review

  25. 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 journal › Article › peer-review

  26. 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 journal › Article › peer-review

  27. 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 journal › Article › peer-review

  28. 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 journal › Article › peer-review

  29. 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 journal › Article › peer-review

  30. 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 journal › Article › peer-review

  31. Systems biology research at BGRS-2018

    Orlov, Y. L., Hofestädt, R. & Baranova, A. V., 5 Mar 2019, In: BMC Systems Biology. 13, Suppl 1, p. 21 2 p., 21.

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

  32. Structure of Quasivariety Lattices. II. Undecidable Problems

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 May 2019, In: Algebra and Logic. 58, 2, p. 123-136 14 p.

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

  33. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 Jan 2019, In: Algebra and Logic. 57, 6, p. 445-462 18 p.

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

  34. Structure of Quasivariety Lattices. III. Finitely Partitionable Bases

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., Jul 2020, In: Algebra and Logic. 59, 3, p. 222-229 8 p.

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

  35. Strong Degrees of Categoricity and Weak Density

    Bazhenov, N. A., Kalimullin, I. S. & Yamaleev, M. M., Sept 2020, In: Lobachevskii Journal of Mathematics. 41, 9, p. 1630-1639 10 p.

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

  36. Statistical estimates of multiple transcription factors binding in the model plant genomes based on ChIP-seq data

    Dergilev, A. I., Orlova, N. G., Dobrovolskaya, O. B. & Orlov, Y. L., 21 Dec 2021, In: Journal of integrative bioinformatics. 19, 1, 12 p.

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

  37. Spectrum of the Field of Computable Real Numbers

    Korovina, M. V. & Kudinov, O. V., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 485-500 16 p.

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

  38. 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

  39. Some algorithmic problems for Poisson algebras

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: Journal of Algebra. 525, p. 562-588 27 p.

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

  40. Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12337 LNCS).

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

  41. Semantic Modeling and Hybrid Models

    Goncharov, S. & Sviridenko, D., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 987-990 4 p. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  42. Role of apoptosis genes in aggression revealed using combined analysis of ANDSystem gene networks, expression and genomic data in grey rats with aggressive behavior

    Bragin, A. O., Saik, O. V., Chadaeva, I. V., Demenkov, P. S., Markel, A. L., Orlov, Y. L., Rogaev, E. I., Lavrik, I. N. & Ivanisenko, V. A., 1 Jan 2017, In: Вавиловский журнал генетики и селекции. 21, 8, p. 911-919 9 p.

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

  43. Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 223-234 12 p.

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

  44. Research Topics of the Bioinformatics of Gene Regulation

    Orlov, Y. L., Anashkina, A. A., Kumeiko, V. V., Chen, M. & Kolchanov, N. A., 15 May 2023, In: International Journal of Molecular Sciences. 24, 10, 8774.

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

  45. Representation of “Natural” Concepts and Classes by a Hypernet Lattice of (Probabilistic) Formal Concepts

    Vityaev, E., 2021, Advances in Cognitive Research, Artificial Intelligence and Neuroinformatics - Proceedings of the 9th International Conference on Cognitive Sciences, Intercognsci-2020. Velichkovsky, B. M., Balaban, P. M. & Ushakov, V. L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 671-676 6 p. (Advances in Intelligent Systems and Computing; vol. 1358 AIST).

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

  46. Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

    Leontyeva, M. N., 1 May 2020, In: Siberian Mathematical Journal. 61, 3, p. 490-498 9 p.

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

  47. Recovering noisy contexts with probabilistic formal concepts?

    Martynovich, V. V. & Vityaev, E. E., 2016, In: CEUR Workshop Proceedings. 1687, p. 24-35 12 p.

    Research output: Contribution to journal › Conference article › peer-review

  48. Reconstruction of Dementia Gene Network Using Online Bioinformatics Tools

    Kovalev, S. S., Dergilev, A. I., Orlov, Y. L., Fateev, O. D. & Kavai-Ool, U. N., Jul 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., p. 215-219 5 p. 9214618. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

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

  49. Recent trends in cancer genomics and bioinformatics tools development

    Anashkina, A. A., Leberfarb, E. Y. & Orlov, Y. L., 1 Nov 2021, In: International Journal of Molecular Sciences. 22, 22, 12146.

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

  50. Quasivariety generated by the suborder lattice. I. Equational bases

    Kadyrova, O. A. & Schwidefsky, M. V., 2023, In: Siberian Electronic Mathematical Reports. 20, 1, p. 62-71 10 p.

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

  51. Quasivarieties of Graphs and Independent Axiomatizability

    Kravchenko, A. V. & Yakovlev, A. V., 1 Jan 2018, In: Siberian Advances in Mathematics. 28, 1, p. 53-59 7 p.

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

  52. 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

  53. Purposefulness as a principle of brain activity

    Vityaev, E. E., 2015, In: Cognitive Systems Monographs. 25, p. 231-254 24 p.

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

  54. Prototypes of the “natural” concepts discovery

    Vityaev, E. & Pak, B., Jun 2021, In: Cognitive Systems Research. 67, p. 1-8 8 p.

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

  55. Profinite Locally Finite Quasivarieties

    Nurakunov, A. M. & Schwidefsky, M. V., 2023, In: Studia Logica. 25 p.

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

  56. Processes and Structures on Approximation Spaces

    Stukachev, A. I., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 63-74 12 p.

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

  57. Probabilistic formal concepts with negation

    Vityaev, E. E. & Martinovich, V. V., 2015, Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer-Verlag GmbH and Co. KG, p. 385-399 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

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

  58. Plant biology research at BGRS-2018

    Orlov, Y. L., Salina, E. A., Eslami, G. & Kochetov, A. V., 15 Feb 2019, In: BMC Plant Biology. 19, Suppl 1, 3 p., 56.

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

  59. Plant Biology at Belyaev Conference - 2017

    Orlov, Y. L., Baranova, A. V., Chen, M. & Salina, E. A., 28 Dec 2017, In: BMC Plant Biology. 17, Suppl 2, p. 257 3 p., 257.

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

  60. Physiological, biochemical and genetic responses of Caucasian tea (Camellia sinensis (L.) Kuntze) genotypes under cold and frost stress

    Samarina, L. S., Malyukova, L. S., Efremov, A. M., Simonyan, T. A., Matskiv, A. O., Koninskaya, N. G., Rakhmangulov, R. S., Gvasaliya, M. V., Malyarovskaya, V. I., Ryndin, A. V., Orlov, Y. L., Tong, W. & Hanke, M. V., 28 Aug 2020, In: PeerJ. 8, 23 p., e9787.

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

  61. Order Positive Fields. I

    Korovina, M. V. & Kudinov, O. V., Jul 2023, In: Algebra and Logic. 62, 3, p. 203-214 12 p.

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

  62. On Universal Pairs in the Ershov Hierarchy

    Bazhenov, N. A., Mustafa, M. & Ospichev, S. S., Jan 2021, In: Siberian Mathematical Journal. 62, 1, p. 23-31 9 p.

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

  63. On Σ-Definability Over Hereditarily Finite and List Superstructures

    Aleksandrova, S. A., 1 May 2020, In: Journal of Mathematical Sciences (United States). 246, 6, p. 701-708 8 p.

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

  64. On Weakly Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., Nov 2022, In: Siberian Mathematical Journal. 63, 6, p. 1091-1101 11 p.

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

  65. Ontological data mining

    Vityaev, E. & Kovalerchuk, B., 1 Jan 2017, In: Studies in Computational Intelligence. 683, p. 277-292 16 p.

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

  66. On the for all there exists-Theories of Free Projective Planes

    Kogabaev, N. T., Jan 2020, In: Siberian Mathematical Journal. 61, 1, p. 95-108 14 p.

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

  67. On the complexity of the lattices of subvarieties and congruences. II. Differential groupoids and unary algebras

    Kravchenko, A. V. & Schwidefsky, M. V., 1 Jun 2020, In: Сибирские электронные математические известия. 17, p. 753-768 16 p.

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

  68. On the complexity of the lattices of subvarieties and congruences

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., Dec 2020, In: International Journal of Algebra and Computation. 30, 8, p. 1609-1624 16 p.

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

  69. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 Jan 2018, In: Сибирские электронные математические известия. 15, p. 987-995 9 p.

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

  70. On some reducibility and existential interpretability of structures

    Morozov, A. S., 1 Mar 2017, In: Siberian Mathematical Journal. 58, 2, p. 281-287 7 p.

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

  71. On representation of finite lattices

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 Mar 2019, In: Algebra Universalis. 80, 1, 17 p., 15.

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

  72. On quasi-equational bases for differential groupoids and unary algebras

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 Jan 2017, In: Сибирские электронные математические известия. 14, p. 1330-1337 8 p.

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

  73. On One-to-One Numberings of the Family of All Σ21 -Sets

    Dorzhieva, M. V., 1 May 2020, In: Journal of Mathematical Sciences (United States). 246, 6, p. 788–792 5 p.

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

  74. On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 Nov 2019, In: Siberian Mathematical Journal. 60, 6, p. 1032-1039 8 p.

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

  75. On Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 312-318 7 p.

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

  76. 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

  77. On Decidable Categoricity for Almost Prime Models of the Signature of Graphs

    Marchuk, M. I., Oct 2021, In: Siberian Advances in Mathematics. 31, 4, p. 283-300 18 p.

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

  78. On Decidable Categoricity and Almost Prime Models

    Goncharov, S. S., Harizanov, V. & Miller, R., 1 Jul 2020, In: Siberian Advances in Mathematics. 30, 3, p. 200-212 13 p.

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

  79. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

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

  80. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 22-30 9 p.

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

  81. On Constructive number fields and computability of solutions of PDEs

    Selivanova, S. V. & Selivanov, V. L., 1 Nov 2017, In: Doklady Mathematics. 96, 3, p. 580-582 3 p.

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

  82. On Comparative Analysis of Rule-Based Cognitive Architectures

    Kolonin, Y. & Vityaev, E., 2022, Artificial General Intelligence - 14th International Conference, AGI 2021, Proceedings. Goertzel, B., Iklé, M. & Potapov, A. (eds.). 1 ed. Springer Science and Business Media Deutschland GmbH, p. 279-282 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13154 LNAI).

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

  83. On a Class of Subsemigroup Lattices

    Schwidefsky, M. V., 1 Sept 2020, In: Siberian Mathematical Journal. 61, 5, p. 941-952 12 p.

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

  84. Numberings in the Analytical Hierarchy

    Bazhenov, N. A., Mustafa, M., Ospichev, S. S. & Yamaleev, M. M., Nov 2020, In: Algebra and Logic. 59, 5, p. 404-407 4 p.

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

  85. Novel read density distribution score shows possible aligner artefacts, when mapping a single chromosome

    Naumenko, F. M., Abnizova, I. I., Beka, N., Genaev, M. A. & Orlov, Y. L., 9 Feb 2018, In: BMC Genomics. 19, Suppl 3, p. 92 11 p., 92.

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

  86. Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

    Morozov, A. S., 1 Jan 2018, In: Algebra and Logic. 56, 6, p. 458-472 15 p.

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

  87. 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

  88. Molecular characteristic of treatment failure clinical isolates of Leishmania major

    Eslami, G., Hatefi, S., Ramezani, V., Tohidfar, M., Churkina, T. V., Orlov, Y. L., Hosseini, S. S., Boozhmehrani, M. J. & Vakili, M., 11 Mar 2021, In: PeerJ. 9, 10969.

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

  89. Minimal Predicates for Δ-Definability

    Morozov, A. S. & Tussupov, D. A., Sept 2020, In: Algebra and Logic. 59, 4, p. 328-340 13 p.

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

  90. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

    Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., 1 Feb 2020, In: Lobachevskii Journal of Mathematics. 41, 2, p. 145-150 6 p.

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

  91. Microbiology research at the systems biology and bioinformatics - 2019 (SBB-2019) school

    Orlov, Y. L., Ignatov, A. N., Galieva, E. R. & Dobrovolskaya, O. B., Nov 2020, In: BMC Microbiology. 20, Suppl 2, 3 p., 348.

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

  92. Medical genomics research at BGRS-2018

    Baranova, A. V., Klimontov, V. V., Letyagin, A. Y. & Orlov, Y. L., 13 Mar 2019, In: BMC Medical Genomics. 12, Suppl 2, p. 36 4 p., 36.

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

  93. Medical genomics at the Systems Biology and Bioinformatics (SBB-2019) school

    Orlov, Y. L., Voropaeva, E. N., Chen, M. & Baranova, A. V., 18 Sept 2020, In: BMC Medical Genomics. 13, Suppl 8, 3 p., 127.

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

  94. Medical genomics at Belyaev Conference - 2017

    Orlov, Y. L., Fernandez-Masso, J. R., Chen, M. & Baranova, A. V., 13 Feb 2018, In: BMC Medical Genomics. 11, Suppl 1, p. 11 3 p., 11.

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

  95. Medical genetics studies at the SBB-2019 and MGNGS-2019 conferences

    Baranova, A. V., Leberfarb, E. Y., Lebedev, G. S. & Orlov, Y. L., 1 Oct 2020, In: BMC Medical Genetics. 21, Suppl 1, 3 p., 186.

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

  96. Medical genetics studies at BGRS conference series

    Baranova, A. V., Skoblov, M. Y., Voropaeva, E. N., Shanmughavel, P. & Orlov, Y. L., 9 Apr 2019, In: BMC Medical Genetics. 20, Suppl 1, p. 50 3 p., 50.

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

  97. Lower Semilattices of Separable Congruences of Numbered Algebras

    Kasymov, N. K. & Morozov, A. S., Jul 2023, In: Siberian Mathematical Journal. 64, 4, p. 864-876 13 p.

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

  98. Logical probabilistic biologically inspired cognitive architecture

    Vityaev, E. E., Demin, A. V. & Kolonin, Y. A., 1 Aug 2020, Artificial General Intelligence - 13th International Conference, AGI 2020, Proceedings. Goertzel, B., Potapov, A., Panov, A. I. & Yampolskiy, R. (eds.). Springer Gabler, p. 337-346 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12177 LNAI).

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

  99. Life: Computational genomics applications in life sciences

    Orlov, Y. L. & Anashkina, A. A., Nov 2021, In: Life. 11, 11, 1211.

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

  100. Learning families of algebraic structures from informant

    Bazhenov, N., Fokina, E. & San Mauro, L., Dec 2020, In: Information and Computation. 275, 17 p., 104590.

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

  101. Lattices of subclasses. III

    Basheyeva, A., Nurakunov, A., Schwidefsky, M. & Zamojska-Dzienio, A., 1 Jan 2017, In: Сибирские электронные математические известия. 14, p. 252-263 12 p.

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

  102. Introduction to the 9th Young Scientists School on Systems Biology and Bioinformatics (SBB’2017)

    Orlov, Y. L., Tatarinova, T. V., Zakhartsev, M. V. & Kolchanov, N. A., Feb 2018, In: Journal of Bioinformatics and Computational Biology. 16, 1, 5 p., 1802001.

    Research output: Contribution to journal › Review article › peer-review

  103. Interval Extensions of Orders and Temporal Approximation Spaces

    Stukachev, A. I., Jul 2021, In: Siberian Mathematical Journal. 62, 4, p. 730-741 12 p.

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

  104. Integrated Computer Analysis of Genomic Sequencing Data Based on ICGenomics Tool

    Orlov, Y. L., Bragin, A. O., Babenko, R. O., Dresvyannikova, A. E., Kovalev, S. S., Shaderkin, I. A., Orlova, N. G. & Naumenko, F. M., 24 Jan 2020, Advances in Intelligent Systems, Computer Science and Digital Economics, CSDEIS 2019. Hu, Z., Petoukhov, S. & He, M. (eds.). Springer Gabler, p. 154-164 11 p. (Advances in Intelligent Systems and Computing; vol. 1127 AISC).

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

  105. In situ dissecting the evolution of gene duplication with different histone modification patterns based on high-throughput data analysis in Arabidopsis thaliana

    Wang, J., Orlov, Y. L., Li, X., Zhou, Y., Liu, Y., Yuan, C. & Chen, M., 5 Jan 2021, In: PeerJ. 9, 19 p., e10426.

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

  106. Inner Constructivizability of Functional Structures

    Burnistov, A. S. & Stukachev, A. I., Mar 2022, In: Algebra and Logic. 61, 1, p. 16-29 14 p.

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

  107. Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 Mar 2017, In: Journal of Mathematical Sciences (United States). 221, 6, p. 840-848 9 p.

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

  108. Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 Jan 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (eds.). Springer-Verlag GmbH and Co. KG, p. 241-255 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10742 LNCS).

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

  109. Heterogeneity of brain ribosomal genes expression following positive fighting experience in male mice as revealed by RNA-Seq

    Smagin, D. A., Kovalenko, I. L., Galyamina, A. G., Orlov, Y. L., Babenko, V. N. & Kudryavtseva, N. N., 1 Jan 2018, In: Molecular Neurobiology. 55, 1, p. 390-401 12 p.

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

  110. Gröbner–Shirshov basis theory and word problems for metatrivial Poisson algebras

    Bokut, L. A., Chen, Y. & Zhang, Z., 2023, In: Sao Paulo Journal of Mathematical Sciences. 29 p.

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

  111. Gröbner-Shirshov bases method for Gelfand-Dorfman-Novikov algebras

    Bokut, L. A., Chen, Y. & Zhang, Z., 1 Jan 2017, In: Journal of Algebra and its Applications. 16, 1, 22 p., 1750001.

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

  112. Glioblastoma gene network reconstruction and ontology analysis by online bioinformatics tools

    Gubanova, N. V., Orlova, N. G., Dergilev, A. I., Oparina, N. Y. & Orlov, Y. L., 16 Nov 2021, In: Journal of integrative bioinformatics. 18, 4

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

  113. Genomics research at Bioinformatics of Genome Regulation and Structure\ Systems Biology (BGRS\SB) conferences in Novosibirsk

    Orlov, Y. L., Kochetov, A. V., Li, G. & Kolchanov, N. A., 8 May 2019, In: BMC Genomics. 20, Suppl 3, 5 p., 322.

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

  114. Genomics at Belyaev conference - 2017

    Orlov, Y. L., Baranova, A. V., Hofestädt, R. & Kolchanov, N. A., 9 Feb 2018, In: BMC Genomics. 19, Suppl 3, p. 79 4 p., 79.

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

  115. Genomics and systems biology at the "century of human population genetics" conference

    Tatarinova, T. V., Baranova, A. V., Anashkina, A. A. & Orlov, Y. L., 10 Sept 2020, In: BMC Genomics. 21, Suppl 7, 3 p., 592.

    Research output: Contribution to journal › Review article › peer-review

  116. Genomic landscape of CpG rich elements in human

    Babenko, V. N., Chadaeva, I. V. & Orlov, Y. L., 7 Feb 2017, In: BMC Evolutionary Biology. 17, Suppl 1, p. 1-11 11 p., 19.

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

  117. Genetics research at the "Centenary of human population genetics" conference and SBB-2019

    Tatarinova, T. V., Tabikhanova, L. E., Eslami, G., Bai, H. & Orlov, Y. L., 1 Oct 2020, In: BMC Genetics. 21, Suppl 1, 4 p., 109.

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

  118. Genetics at Belyaev Conference - 2017: Introductory note

    Orlov, Y. L., Baranova, A. V., Tatarinova, T. V. & Kolchanov, N. A., 28 Dec 2017, In: BMC Genetics. 18, Suppl 1, p. 116 3 p., 116.

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

  119. Genetic polymorphisms and related risk factors of ischemic stroke in a Mongolian population in China

    Wu, Q., Wu, H., Orlov, Y. L., Gegentana, G., Huo, W., Bragin, A. O., Wu, N., Suyalatu, S., Zhao, F., Zhao, J., Tabikhanova, L. E., Chen, M. & Bai, H., 1 Jan 2017, In: Вавиловский журнал генетики и селекции. 21, 5, p. 581-587 7 p.

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

  120. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 507-526 20 p.

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

  121. Generalized Computable Models and Montague Semantics

    Burnistov, A. & Stukachev, A., 2023, Studies in Computational Intelligence. Springer Science and Business Media Deutschland GmbH, p. 107-124 18 p. 5. (Studies in Computational Intelligence; vol. 1081).

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

  122. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 Jan 2019, In: Сибирские электронные математические известия. 16, p. 331-339 9 p.

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

  123. Friedberg Numberings in the Ershov Hierarchy

    Ospichev, S. S., Sept 2015, In: Algebra and Logic. 54, 4, p. 283-295 13 p.

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

  124. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 461-484 24 p.

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

  125. Free Gelfand-Dorfman-Novikov superalgebras and a Poincaré-Birkhoff-Witt type theorem

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: International Journal of Algebra and Computation. 29, 3, p. 481-505 25 p.

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

  126. Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 Jun 2019, In: Bulletin of Symbolic Logic. 25, 2, p. 141-181 41 p.

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

  127. Families of Permutations and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrachmanov, M. K., Jan 2023, In: Algebra and Logic. 61, 6, p. 481-490 10 p.

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

  128. Explainable Rule-Based Clustering based on Cyclic Probabilistic Causal Models

    Vityaev, E. E. & Pak, B., Sept 2020, 2020 24th International Conference Information Visualisation, IV 2020. Banissi, E., Khosrow-Shahi, F., Ursyn, A., McK. Bannatyne, M. W., Pires, J. M., Datia, N., Nazemi, K., Kovalerchuk, B., Counsell, J., Agapiou, A., Vrcelj, Z., Chau, H-W., Li, M., Nagy, G., Laing, R., Francese, R., Sarfraz, M., Bouali, F., Venturin, G., Trutschl, M., Cvek, U., Muller, H., Nakayama, M., Temperini, M., Di Mascio, T., Rossano, F. S. V. R., Dorner, R., Caruccio, L., Vitiello, A., Huang, W., Risi, M., Erra, U., Andonie, R., Ahmad, M. A., Figueiras, A. & Mabakane, M. S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 307-312 6 p. 9373131. (Proceedings of the International Conference on Information Visualisation; vol. 2020-September).

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

  129. Existence of Independent Quasi-Equational Bases

    Schwidefsky, M. V., 1 Jan 2020, In: Algebra and Logic. 58, 6, p. 514-537 24 p.

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

  130. Evolutionary biology at BGRS\SB-2016

    Baranova, A. V. & Orlov, Y. L., 7 Feb 2017, In: BMC Evolutionary Biology. 17, Suppl 1, p. 21 3 p., 21.

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

  131. Evolutionary Biology at Belyaev Conference - 2017

    Orlov, Y. L., Baranova, A. V. & Herbeck, Y. E., 28 Dec 2017, In: BMC Evolutionary Biology. 17, Suppl 2, p. 260 3 p., 260.

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

  132. Evolutionary biology and biodiversity research at BGRS-2018

    Orlov, Y. L., Baranova, A. V., Kolchanov, N. A. & Moroz, L. L., 26 Feb 2019, In: BMC Evolutionary Biology. 19, Suppl 1, p. 43 3 p., 43.

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

  133. Erratum: Correction to: Analyzing a putative enhancer of optic disc morphology (BMC genomic data (2020) 21 Suppl 1 (73))

    Babenko, V. N., Babenko, R. O. & Orlov, Y. N., 4 Feb 2021, In: BMC genomic data. 22, 1, p. 5 1 p.

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

  134. Elementary theories and hereditary undecidability for semilattices of numberings

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 9 May 2019, In: Archive for Mathematical Logic. 58, 3-4, p. 485-500 16 p.

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

  135. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, 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. 84-95 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

  136. Effective categoricity for distributive lattices and Heyting algebras

    Bazhenov, N. A., 1 Jul 2017, In: Lobachevskii Journal of Mathematics. 38, 4, p. 600-614 15 p.

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

  137. Editorial: High-Throughput Sequencing-Based Investigation of Chronic Disease Markers and Mechanisms

    Orlov, Y. L., Chen, W. L., Sekacheva, M. I., Cai, G. & Li, H., 21 Jun 2022, In: Frontiers in Genetics. 13, 922206.

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

  138. Editorial: Bioinformatics of Genome Regulation, Volume I

    Orlov, Y. L., Tatarinova, T. V., Oparina, N. Y., Galieva, E. R. & Baranova, A. V., 6 Dec 2021, In: Frontiers in Genetics. 12, 803273.

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

  139. Editorial: Association Between Individuals’ Genomic Ancestry and Variation in Disease Susceptibility

    Das, R., Tatarinova, T. V., Galieva, E. R. & Orlov, Y. L., 2 Feb 2022, In: Frontiers in Genetics. 13, 831320.

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

  140. Editorial: Bioinformatics of Genome Regulation and Systems Biology

    Orlov, Y. L. & Baranova, A. V., 28 Jul 2020, In: Frontiers in Genetics. 11, 3 p., 625.

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

  141. Differential alternative splicing in brain regions of rats selected for aggressive behavior

    Babenko, V. N., Bragin, A. O., Chadaeva, I. V., Markel, A. L. & Orlov, Y. L., 1 Sept 2017, In: Molecular Biology. 51, 5, p. 759-768 10 p.

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

  142. Differential alternative splicing in brain regions of rats selected for aggressive behavior

    Babenko, V. N., Bragin, A. O., Chadaeva, I. V., Markel, A. L. & Orlov, Y. L., 9 Nov 2017, In: Molekuliarnaia biologiia. 51, 5, p. 870-880 11 p.

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

  143. Development of artificial cognitive systems based on models of the brain of living organisms

    Putintsev, N. I., Vishnevsky, O. V. & Vityaev, E. E., 1 Nov 2015, In: Russian Journal of Genetics: Applied Research. 5, 6, p. 589-600 12 p.

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

  144. Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 Jan 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (eds.). Springer-Verlag GmbH and Co. KG, Vol. 10307 LNCS. p. 152-161 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307 LNCS).

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

  145. Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 Jan 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (eds.). Springer-Verlag GmbH and Co. KG, p. 40-49 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936 LNCS).

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

  146. 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

  147. Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 Aug 2019, In: Archive for Mathematical Logic. 58, 5-6, p. 543-563 21 p.

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

  148. Degrees of bi-embeddable categoricity

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 2021, In: Computability. 10, 1, p. 1-16 16 p.

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

  149. 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

  150. 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

  151. Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 Jan 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer Gabler, p. 142-154 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).

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

  152. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 Feb 2020, In: International Journal of Algebra and Computation. 30, 1, p. 49-90 42 p.

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

  153. Decompositions in Semirings

    Batueva, T. C. D. & Schwidefsky, M. V., Jul 2023, In: Siberian Mathematical Journal. 64, 4, p. 836-846 11 p.

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

  154. Decompositions in Complete Lattices II. Replaceable Irredundant Decompositions

    Schwidefsky, M. V., 1 Jul 2017, In: Algebra and Logic. 56, 3, p. 236-244 9 p.

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

  155. Decompositions in Complete Lattices III. Unique Irredundant Decompositions and Convex Geometries

    Schwidefsky, M. V., 1 Nov 2017, In: Algebra and Logic. 56, 5, p. 409-424 16 p.

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

  156. 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

  157. 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

  158. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 Nov 2019, In: Algebra and Logic. 58, 5, p. 369-382 14 p.

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

  159. Consideration of pathogenicity of nsSNVs in CDKN2A gene, as a new tumor marker for leukemia, using bioinformatics methods

    Ghasemi, F., Heidari, M. M., Orlov, Y. L., Khatami, M. & Tabikhanova, L. E., Jul 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., p. 85-87 3 p. 9214605. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

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

  160. Consciousness as a logically consistent and prognostic model of reality

    Vityaev, E., 1 Jan 2020, In: Cognitive Systems Research. 59, p. 231-246 16 p.

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

  161. Consciousness as a Brain Complex Reflection of the Outer World Causal Relationships

    Vityaev, E., 1 Jan 2020, Biologically Inspired Cognitive Architectures 2019 - Proceedings of the 10th Annual Meeting of the BICA Society. Samsonovich, A. V. (ed.). Springer-Verlag GmbH and Co. KG, p. 556-561 6 p. (Advances in Intelligent Systems and Computing; vol. 948).

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

  162. Conditional terms in semantic programming

    Goncharov, S. S., 1 Sept 2017, In: Siberian Mathematical Journal. 58, 5, p. 794-800 7 p.

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

  163. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 2017, In: Logical Methods in Computer Science. 13, 4, 13.

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

  164. Computer genomics research at the bioinformatics conference series in Novosibirsk

    Orlov, Y. L., Galieva, E. R. & Melerzanov, A. V., 11 Jul 2019, In: BMC Genomics. 20, Suppl 7, p. 537 4 p., 537.

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

  165. Computer analysis of colocalization of the TFs’ binding sites in the genome according to the ChIP-seq data

    Dergilev, A. I., Spitsina, A. M., Chadaeva, I. V., Svichkarev, A. V., Naumenko, F. M., Kulakova, E. V., Galieva, E. R., Vityaev, E. E., Chen, M. & Orlov, Y. L., 1 Jul 2017, In: Russian Journal of Genetics: Applied Research. 7, 5, p. 513-522 10 p.

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

  166. Computational models in genetics at BGRS-2018

    Orlov, Y. L., Tatarinova, T. V. & Kochetov, A. V., 18 Mar 2019, In: BMC Genetics. 20, Suppl 1, p. 28 3 p., 28.

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

  167. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 185-198 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

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

  168. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 Oct 2023, In: Annals of Pure and Applied Logic. 174, 9, 25 p., 103304.

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

  169. Computable model theory over the reals

    Morozov, A. S., 1 Jan 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, p. 354-365 12 p.

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

  170. Computable metrics above the standard real metric

    Kornev, R., 2021, In: Siberian Electronic Mathematical Reports. 18, 1, p. 377-392 16 p., 29.

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

  171. 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

  172. Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings

    Ospichev, S. S., 1 Jun 2016, In: Journal of Mathematical Sciences (United States). 215, 4, p. 529-536 8 p.

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

  173. 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

  174. 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

  175. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 Nov 2017, In: Siberian Mathematical Journal. 58, 6, p. 959-970 12 p.

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

  176. 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

  177. 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

  178. Clinical aspects of TP53 gene inactivation in diffuse large B-cell lymphoma

    Voropaeva, E. N., Pospelova, T. I., Voevoda, M. I., Maksimov, V. N., Orlov, Y. L. & Seregina, O. B., 13 Mar 2019, In: BMC Medical Genomics. 12, Suppl 2, p. 35 10 p., 35.

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

  179. Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 Nov 2020, In: Archive for Mathematical Logic. 59, 7-8, p. 835-864 30 p.

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

  180. Centroid Hom-associative Algebras and Centroid Hom-Lie Algebras

    Bai, Y. X., Bokut, L. A., Chen, Y. Q. & Zhang, Z. R., Apr 2024, In: Acta Mathematica Sinica, English Series. 40, 4, p. 935-961 27 p.

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

  181. Categoricity Spectra of Computable Structures

    Bazhenov, N. A., Jul 2021, In: Journal of Mathematical Sciences (United States). 256, 1, p. 34-50 17 p.

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

  182. Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 Dec 2016, In: Studia Logica. 104, 6, p. 1083-1097 15 p.

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

  183. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2022, In: Doklady Mathematics. 106, p. S101-S112

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

  184. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 424-433 10 p. 41. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13539 LNAI).

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

  185. 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

  186. Boolean algebras realized by c.e. equivalence relations

    Bazhenov, N., Mustafa, M., Stephan, F. & Yamaleev, M., 2017, In: Сибирские электронные математические известия. 14, p. 848-855 8 p.

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

  187. Bioinformatics research at SBB-2019

    Orlov, Y. L., Galieva, E. R. & Tatarinova, T. V., 14 Sept 2020, In: BMC Bioinformatics. 21, Suppl 11, 6 p., 366.

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

  188. Bioinformatics research at BGRS\SB-2018

    Orlov, Y. L., Hofestädt, R. & Tatarinova, T. V., 1 Feb 2019, In: Journal of Bioinformatics and Computational Biology. 17, 1, p. 1902001 4 p., 1902001.

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

  189. Bioinformatics research at BGRS-2018

    Tatarinova, T. V., Chen, M. & Orlov, Y. L., 5 Feb 2019, In: BMC Bioinformatics. 20, Suppl 1, 3 p., 33.

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

  190. Bioinformatics of genome regulation and structure - 2020 papers collection

    Orlov, Y. L., Dobrovolskaya, O. B., Chen, M. & Hofestaedt, R., Dec 2020, In: Journal of integrative bioinformatics. 17, 4, 3 p., 20200038.

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

  191. Bioinformatics Methods in Medical Genetics and Genomics

    Orlov, Y. L., Baranova, A. V. & Tatarinova, T. V., 1 Sept 2020, In: International Journal of Molecular Sciences. 21, 17, p. 1-5 5 p., 6224.

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

  192. Bioinformatics development at the BGRS\SB conference series: 10th anniversary

    Orlov, Y. L., Kolchanov, N. A., Hofestädt, R. & Wong, L., 1 Apr 2017, In: Journal of Bioinformatics and Computational Biology. 15, 2, 5 p., 1702001.

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

  193. Bioinformatics applications to reveal molecular mechanisms of gene expression regulation in model organisms

    Orlov, Y. L., Tatarinova, T. V. & Anashkina, A. A., 1 Nov 2021, In: International Journal of Molecular Sciences. 22, 21, 11973.

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

  194. Biodistribution of10 b in glioma orthotopic xenograft mouse model after injection of l-para-boronophenylalanine and sodium borocaptate

    Gubanova, N. V., Tsygankova, A. R., Zavjalov, E. L., Romashchenko, A. V. & Orlov, Y. L., Jul 2021, In: Biomedicines. 9, 7, 722.

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

  195. BGRS: bioinformatics of genome regulation and data integration

    Orlov, Y. L., Chen, M., Kolchanov, N. A. & Hofestädt, R., 1 Sept 2023, In: Journal of integrative bioinformatics. 20, 3, 20230032.

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

  196. Autostability spectra for decidable structures

    Bazhenov, N., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 392-411 20 p.

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

  197. Autophagy genes expression profiling in secondary glioblastoma cells transcriptome

    Gubanova, N., Bragin, A., Vasiliev, G., Babenko, V., Ponomarenko, M. & Orlov, Y., Sept 2021, In: Cell death discovery. 7, SUPPL 1, p. 5-5 1 p.

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

  198. Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 Dec 2019, In: Journal of Symbolic Logic. 84, 4, p. 1630-1669 40 p.

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

  199. Approximation spaces of temporal processes and effectiveness of interval semantics

    Stukachev, A., 2021, Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Rodríguez González, S., Prieto, J., González-Briones, A., Gola, A., Katranas, G., Ricca, M., Loukanova, R. & Loukanova, R. (eds.). Springer Nature, p. 53-61 9 p. (Advances in Intelligent Systems and Computing; vol. 1242 AISC).

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

  200. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 Jan 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (eds.). Springer-Verlag GmbH and Co. KG, p. 85-96 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10185 LNCS).

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

  201. A Note on Computable Embeddings for Ordinals and Their Reverses

    Bazhenov, N. & Vatev, S., 1 Jul 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer Gabler, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12098 LNCS).

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

  202. Analyzing a putative enhancer of optic disc morphology

    Babenko, V., Babenko, R. & Orlov, Y., 1 Oct 2020, In: BMC Genetics. 21, Suppl 1, 10 p., 73.

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

  203. Adaptive control system for a mobile agent in a physical environment based on functional systems theory

    Putintsev, N. I., Isupov, O. V. & Vityaev, E. E., 1 Nov 2015, In: Russian Journal of Genetics: Applied Research. 5, 6, p. 601-608 8 p.

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

  204. 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

  205. 5th international scientific conference of "plant genetics, genomics, bioinformatics, and biotechnology" (24-29 june 2019, Novosibirsk, Russia)

    Orlov, Y. L., 1 Mar 2019, In: Journal of Food Quality and Hazards Control. 6, 1, p. 41 1 p.

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

ID: 3082806