1 - 204 out of 204Page size: 500
  1. 2023

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

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

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

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

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

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

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

  9. 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 › Chapter › Research › peer-review

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

    Bai, Y. X., Bokut, L. A., Chen, Y. Q. & Zhang, Z. R., 2023, In: Acta Mathematica Sinica, English Series. 27 p.

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

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

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

  13. Profinite Locally Finite Quasivarieties

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

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

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

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

  16. 2022

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

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

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

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

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

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

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

  24. 2021

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

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

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

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

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

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

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

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

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

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

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

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

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

  38. Полиморфизм вариантов гена 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

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

    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

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

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

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

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

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

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

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

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

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

  49. 2020

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  93. 2019

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  135. 2018

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  163. 2017

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

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

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

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

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

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

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

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

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

    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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  203. 2016

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

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

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

  207. 2015

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

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

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

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

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

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

ID: 3082806