81 - 90 out of 205Page size: 10
  1. 2020

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

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

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

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

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

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

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

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

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

  11. 2019

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

Previous 1...5 6 7 8 9 10 11 12 ...21 Next

ID: 3082806