1. 2023
  2. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 окт. 2023, в: Annals of Pure and Applied Logic. 174, 9, 25 стр., 103304.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. BGRS: bioinformatics of genome regulation and data integration

    Orlov, Y. L., Chen, M., Kolchanov, N. A. & Hofestädt, R., 1 сент. 2023, в: Journal of integrative bioinformatics. 20, 3, 20230032.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. Task-driven approach to artificial intelligence

    Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., сент. 2023, в: Cognitive Systems Research. 81, стр. 50-56 7 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  5. Decompositions in Semirings

    Batueva, T. C. D. & Schwidefsky, M. V., июл. 2023, в: Siberian Mathematical Journal. 64, 4, стр. 836-846 11 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Lower Semilattices of Separable Congruences of Numbered Algebras

    Kasymov, N. K. & Morozov, A. S., июл. 2023, в: Siberian Mathematical Journal. 64, 4, стр. 864-876 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Research Topics of the Bioinformatics of Gene Regulation

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Families of Permutations and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrachmanov, M. K., янв. 2023, в: Algebra and Logic. 61, 6, стр. 481-490 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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, стр. 424-433 10 стр. 41. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13539 LNAI).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

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

    Bai, Y. X., Bokut, L. A., Chen, Y. Q. & Zhang, Z. R., 2023, в: Acta Mathematica Sinica, English Series. 27 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  11. Generalized Computable Models and Montague Semantics

    Burnistov, A. & Stukachev, A., 2023, Studies in Computational Intelligence. Springer Science and Business Media Deutschland GmbH, стр. 107-124 18 стр. 5. (Studies in Computational Intelligence; том 1081).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

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

    Bokut, L. A., Chen, Y. & Zhang, Z., 2023, в: Sao Paulo Journal of Mathematical Sciences. 29 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  13. Profinite Locally Finite Quasivarieties

    Nurakunov, A. M. & Schwidefsky, M. V., 2023, в: Studia Logica. 25 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Kadyrova, O. A. & Schwidefsky, M. V., 2023, в: Siberian Electronic Mathematical Reports. 20, 1, стр. 62-71 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  15. The complexity of quasivariety lattices. II

    Schwidefsky, M. V., 2023, в: Siberian Electronic Mathematical Reports. 20, 1, стр. 501-513 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  16. 2022
  17. On Weakly Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., нояб. 2022, в: Siberian Mathematical Journal. 63, 6, стр. 1091-1101 11 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 июн. 2022, в: Frontiers in Genetics. 13, 922206.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  19. Inner Constructivizability of Functional Structures

    Burnistov, A. S. & Stukachev, A. I., мар. 2022, в: Algebra and Logic. 61, 1, стр. 16-29 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Das, R., Tatarinova, T. V., Galieva, E. R. & Orlov, Y. L., 2 февр. 2022, в: Frontiers in Genetics. 13, 831320.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  21. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2022, в: Doklady Mathematics. 106, стр. S101-S112

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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. (ред.). 1 ред. Springer Science and Business Media Deutschland GmbH, стр. 279-282 4 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13154 LNAI).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  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. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 13-23 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13359 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  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 дек. 2021, в: Journal of integrative bioinformatics. 19, 1, 12 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  26. Editorial: Bioinformatics of Genome Regulation, Volume I

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

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  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 нояб. 2021, в: Journal of integrative bioinformatics. 18, 4

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Orlov, Y. L., Tatarinova, T. V. & Anashkina, A. A., 1 нояб. 2021, в: International Journal of Molecular Sciences. 22, 21, 11973.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  29. Recent trends in cancer genomics and bioinformatics tools development

    Anashkina, A. A., Leberfarb, E. Y. & Orlov, Y. L., 1 нояб. 2021, в: International Journal of Molecular Sciences. 22, 22, 12146.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  30. Life: Computational genomics applications in life sciences

    Orlov, Y. L. & Anashkina, A. A., нояб. 2021, в: Life. 11, 11, 1211.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

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

    Marchuk, M. I., окт. 2021, в: Siberian Advances in Mathematics. 31, 4, стр. 283-300 18 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  32. Autophagy genes expression profiling in secondary glioblastoma cells transcriptome

    Gubanova, N., Bragin, A., Vasiliev, G., Babenko, V., Ponomarenko, M. & Orlov, Y., сент. 2021, в: Cell death discovery. 7, SUPPL 1, стр. 5-5 1 стр.

    Результаты исследований: Научные публикации в периодических изданияхтезисыРецензирование

  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., июл. 2021, в: Biomedicines. 9, 7, 722.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  34. Categoricity Spectra of Computable Structures

    Bazhenov, N. A., июл. 2021, в: Journal of Mathematical Sciences (United States). 256, 1, стр. 34-50 17 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  35. Interval Extensions of Orders and Temporal Approximation Spaces

    Stukachev, A. I., июл. 2021, в: Siberian Mathematical Journal. 62, 4, стр. 730-741 12 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Goncharov, S. S. & Marchuk, M. I., июл. 2021, в: Algebra and Logic. 60, 3, стр. 200-206 7 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  37. Prototypes of the “natural” concepts discovery

    Vityaev, E. & Pak, B., июн. 2021, в: Cognitive Systems Research. 67, стр. 1-8 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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., мая 2021, в: Biomeditsinskaya Khimiya. 67, 3, стр. 213-221 9 стр., 4.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Orlov, Y. L., Galieva, A. G., Orlova, N. G., Ivanova, E. N., Mozyleva, Y. A. & Anashkina, A. A., мая 2021, в: Biomeditsinskaya Khimiya. 67, 3, стр. 222-230 9 стр., 5.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 мар. 2021, в: PeerJ. 9, 10969.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 февр. 2021, в: BMC genomic data. 22, 1, стр. 5 1 стр.

    Результаты исследований: Научные публикации в периодических изданияхкомментарий, выступлениеРецензирование

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

    Marchuk, M. I., февр. 2021, в: Siberian Advances in Mathematics. 31, 1, стр. 40-44 5 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 янв. 2021, в: PeerJ. 9, 19 стр., e10426.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  44. On Universal Pairs in the Ershov Hierarchy

    Bazhenov, N. A., Mustafa, M. & Ospichev, S. S., янв. 2021, в: Siberian Mathematical Journal. 62, 1, стр. 23-31 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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. (ред.). Springer Nature, стр. 53-61 9 стр. (Advances in Intelligent Systems and Computing; том 1242 AISC).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  46. Computable metrics above the standard real metric

    Kornev, R., 2021, в: Siberian Electronic Mathematical Reports. 18, 1, стр. 377-392 16 стр., 29.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  47. Degrees of bi-embeddable categoricity

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 2021, в: Computability. 10, 1, стр. 1-16 16 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 671-676 6 стр. (Advances in Intelligent Systems and Computing; том 1358 AIST).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  49. 2020
  50. Bioinformatics of genome regulation and structure - 2020 papers collection

    Orlov, Y. L., Dobrovolskaya, O. B., Chen, M. & Hofestaedt, R., дек. 2020, в: Journal of integrative bioinformatics. 17, 4, 3 стр., 20200038.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  51. Learning families of algebraic structures from informant

    Bazhenov, N., Fokina, E. & San Mauro, L., дек. 2020, в: Information and Computation. 275, 17 стр., 104590.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., дек. 2020, в: International Journal of Algebra and Computation. 30, 8, стр. 1609-1624 16 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 нояб. 2020, в: PeerJ. 8, 14 стр., e10335.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  54. Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 нояб. 2020, в: Archive for Mathematical Logic. 59, 7-8, стр. 835-864 30 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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., нояб. 2020, в: BMC Microbiology. 20, Suppl 2, 3 стр., 348.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  56. Numberings in the Analytical Hierarchy

    Bazhenov, N. A., Mustafa, M., Ospichev, S. S. & Yamaleev, M. M., нояб. 2020, в: Algebra and Logic. 59, 5, стр. 404-407 4 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  57. Analyzing a putative enhancer of optic disc morphology

    Babenko, V., Babenko, R. & Orlov, Y., 1 окт. 2020, в: BMC Genetics. 21, Suppl 1, 10 стр., 73.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 окт. 2020, в: BMC Genetics. 21, Suppl 1, 4 стр., 109.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 окт. 2020, в: BMC Medical Genetics. 21, Suppl 1, 3 стр., 186.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Orlov, Y. L., Voropaeva, E. N., Chen, M. & Baranova, A. V., 18 сент. 2020, в: BMC Medical Genomics. 13, Suppl 8, 3 стр., 127.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  61. Bioinformatics research at SBB-2019

    Orlov, Y. L., Galieva, E. R. & Tatarinova, T. V., 14 сент. 2020, в: BMC Bioinformatics. 21, Suppl 11, 6 стр., 366.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  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 сент. 2020, в: BMC Genomics. 21, Suppl 7, 3 стр., 592.

    Результаты исследований: Научные публикации в периодических изданияхобзорная статьяРецензирование

  63. Bioinformatics Methods in Medical Genetics and Genomics

    Orlov, Y. L., Baranova, A. V. & Tatarinova, T. V., 1 сент. 2020, в: International Journal of Molecular Sciences. 21, 17, стр. 1-5 5 стр., 6224.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

  64. On a Class of Subsemigroup Lattices

    Schwidefsky, M. V., 1 сент. 2020, в: Siberian Mathematical Journal. 61, 5, стр. 941-952 12 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Vityaev, E. E. & Pak, B., сент. 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. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 307-312 6 стр. 9373131. (Proceedings of the International Conference on Information Visualisation; том 2020-September).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  66. Minimal Predicates for Δ-Definability

    Morozov, A. S. & Tussupov, D. A., сент. 2020, в: Algebra and Logic. 59, 4, стр. 328-340 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  67. Strong Degrees of Categoricity and Weak Density

    Bazhenov, N. A., Kalimullin, I. S. & Yamaleev, M. M., сент. 2020, в: Lobachevskii Journal of Mathematics. 41, 9, стр. 1630-1639 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 авг. 2020, в: PeerJ. 8, 23 стр., e9787.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  69. Logical probabilistic biologically inspired cognitive architecture

    Vityaev, E. E., Demin, A. V. & Kolonin, Y. A., 1 авг. 2020, Artificial General Intelligence - 13th International Conference, AGI 2020, Proceedings. Goertzel, B., Potapov, A., Panov, A. I. & Yampolskiy, R. (ред.). Springer Gabler, стр. 337-346 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12177 LNAI).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  70. Editorial: Bioinformatics of Genome Regulation and Systems Biology

    Orlov, Y. L. & Baranova, A. V., 28 июл. 2020, в: Frontiers in Genetics. 11, 3 стр., 625.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

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

    Bazhenov, N. & Vatev, S., 1 июл. 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (ред.). Springer Gabler, стр. 1-13 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12098 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  72. On Decidable Categoricity and Almost Prime Models

    Goncharov, S. S., Harizanov, V. & Miller, R., 1 июл. 2020, в: Siberian Advances in Mathematics. 30, 3, стр. 200-212 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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., июл. 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., стр. 85-87 3 стр. 9214605. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  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., июл. 2020, Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020. Institute of Electrical and Electronics Engineers Inc., стр. 215-219 5 стр. 9214618. (Proceedings - 2020 Cognitive Sciences, Genomics and Bioinformatics, CSGB 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., июл. 2020, в: Algebra and Logic. 59, 3, стр. 222-229 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Dorzhieva, M. V., 1 мая 2020, в: Journal of Mathematical Sciences (United States). 246, 6, стр. 788–792 5 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Aleksandrova, S. A., 1 мая 2020, в: Journal of Mathematical Sciences (United States). 246, 6, стр. 701-708 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Leontyeva, M. N., 1 мая 2020, в: Siberian Mathematical Journal. 61, 3, стр. 490-498 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Ershov, Y. L. & Schwidefsky, M. V., 1 мая 2020, в: Siberian Mathematical Journal. 61, 3, стр. 453-462 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  81. Turing Degrees and Automorphism Groups of Substructure Lattices

    Dimitrov, R. D., Harizanov, V. & Morozov, A. S., 1 мар. 2020, в: Algebra and Logic. 59, 1, стр. 18-32 15 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  83. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 февр. 2020, в: International Journal of Algebra and Computation. 30, 1, стр. 49-90 42 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  84. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

    Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., 1 февр. 2020, в: Lobachevskii Journal of Mathematics. 41, 2, стр. 145-150 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 янв. 2020, Advances in Intelligent Systems, Computer Science and Digital Economics, CSDEIS 2019. Hu, Z., Petoukhov, S. & He, M. (ред.). Springer Gabler, стр. 154-164 11 стр. (Advances in Intelligent Systems and Computing; том 1127 AISC).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Vityaev, E., 1 янв. 2020, Biologically Inspired Cognitive Architectures 2019 - Proceedings of the 10th Annual Meeting of the BICA Society. Samsonovich, A. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 556-561 6 стр. (Advances in Intelligent Systems and Computing; том 948).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

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

    Vityaev, E., 1 янв. 2020, в: Cognitive Systems Research. 59, стр. 231-246 16 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  88. Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 янв. 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Gabler, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  89. Existence of Independent Quasi-Equational Bases

    Schwidefsky, M. V., 1 янв. 2020, в: Algebra and Logic. 58, 6, стр. 514-537 24 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Kogabaev, N. T., янв. 2020, в: Siberian Mathematical Journal. 61, 1, стр. 95-108 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12337 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  92. The expressiveness of looping terms in the semantic programming

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

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  93. 2019
  94. Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 дек. 2019, в: Journal of Symbolic Logic. 84, 4, стр. 1630-1669 40 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  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 дек. 2019, в: Russian Journal of Genetics. 55, 12, стр. 1564-1568 5 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  96. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 369-382 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  97. On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 нояб. 2019, в: Siberian Mathematical Journal. 60, 6, стр. 1032-1039 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  98. Σ-Preorderings in ℍF (ℝ)

    Morozov, A. S., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 405-416 12 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  99. Semantic Modeling and Hybrid Models

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  100. Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 авг. 2019, в: Archive for Mathematical Logic. 58, 5-6, стр. 543-563 21 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

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

    Orlov, Y. L., Galieva, E. R. & Melerzanov, A. V., 11 июл. 2019, в: BMC Genomics. 20, Suppl 7, стр. 537 4 стр., 537.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  102. Turing Degrees of Complete Formulas of Almost Prime Models

    Goncharov, S. S., Miller, R. & Harizanov, V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 282-287 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  103. Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 199-213 15 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  104. Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 июн. 2019, в: Bulletin of Symbolic Logic. 25, 2, стр. 141-181 41 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  105. Structure of Quasivariety Lattices. II. Undecidable Problems

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 мая 2019, в: Algebra and Logic. 58, 2, стр. 123-136 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Назад 1 2 3 Далее

ID: 3082806