121 - 140 out of 205Page size: 20
  1. 2020

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1...3 4 5 6 7 8 9 10 11 Next

ID: 3082806