151 - 200 out of 205Page size: 50
Sort by: Title

  1. Profinite Locally Finite Quasivarieties

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  28. The Computational Power of Infinite Time Blum–Shub–Smale Machines

    Koepke, P. & Morozov, A. S., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 37-62 26 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    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

Previous 1 2 3 4 5 Next

ID: 3082806