1. 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 proceedingConference contributionResearchpeer-review

  2. Conditional terms in semantic programming

    Goncharov, S. S., 1 Sept 2017, In: Siberian Mathematical Journal. 58, 5, p. 794-800 7 p.

    Research output: Contribution to journalArticlepeer-review

  3. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 2017, In: Logical Methods in Computer Science. 13, 4, 13.

    Research output: Contribution to journalArticlepeer-review

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

    Orlov, Y. L., Galieva, E. R. & Melerzanov, A. V., 11 Jul 2019, In: BMC Genomics. 20, Suppl 7, p. 537 4 p., 537.

    Research output: Contribution to journalArticlepeer-review

  5. Computer analysis of colocalization of the TFs’ binding sites in the genome according to the ChIP-seq data

    Dergilev, A. I., Spitsina, A. M., Chadaeva, I. V., Svichkarev, A. V., Naumenko, F. M., Kulakova, E. V., Galieva, E. R., Vityaev, E. E., Chen, M. & Orlov, Y. L., 1 Jul 2017, In: Russian Journal of Genetics: Applied Research. 7, 5, p. 513-522 10 p.

    Research output: Contribution to journalArticlepeer-review

  6. Computational models in genetics at BGRS-2018

    Orlov, Y. L., Tatarinova, T. V. & Kochetov, A. V., 18 Mar 2019, In: BMC Genetics. 20, Suppl 1, p. 28 3 p., 28.

    Research output: Contribution to journalArticlepeer-review

  7. 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 proceedingConference contributionResearchpeer-review

  8. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 Oct 2023, In: Annals of Pure and Applied Logic. 174, 9, 25 p., 103304.

    Research output: Contribution to journalArticlepeer-review

  9. Computable model theory over the reals

    Morozov, A. S., 1 Jan 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, p. 354-365 12 p.

    Research output: Contribution to journalArticlepeer-review

  10. Computable metrics above the standard real metric

    Kornev, R., 2021, In: Siberian Electronic Mathematical Reports. 18, 1, p. 377-392 16 p., 29.

    Research output: Contribution to journalArticlepeer-review

ID: 3082806