1 - 100 out of 204Page size: 100
  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

Previous 1 2 3 Next

ID: 3082806