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

Bounded Reducibility for Computable Numberings

Bazhenov, N., Mustafa, M. & Ospichev, S., 1 Jan 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer-Verlag GmbH and Co. KG, p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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 › Conference contribution › Research › peer-review

Computable isomorphisms of distributive lattices

Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 Jan 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (eds.). Springer-Verlag GmbH and Co. KG, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Computable Topology for Reliable Computations

Korovina, M. & Kudinov, O., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 185-198 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

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

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

Degrees of categoricity for prime and homogeneous models

Bazhenov, N. & Marchuk, M., 1 Jan 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (eds.). Springer-Verlag GmbH and Co. KG, p. 40-49 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Degrees of categoricity of rigid structures

Bazhenov, N. A. & Yamaleev, M. M., 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. 152-161 10 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