191 - 200 out of 204Page size: 10
  1. 2017

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

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

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

  5. Boolean algebras realized by c.e. equivalence relations

    Bazhenov, N., Mustafa, M., Stephan, F. & Yamaleev, M., 2017, In: Сибирские электронные математические известия. 14, p. 848-855 8 p.

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

  6. 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 journal › Article › peer-review

  7. 2016

  8. Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 Dec 2016, In: Studia Logica. 104, 6, p. 1083-1097 15 p.

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

  9. Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings

    Ospichev, S. S., 1 Jun 2016, In: Journal of Mathematical Sciences (United States). 215, 4, p. 529-536 8 p.

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

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

  11. 2015

  12. Adaptive control system for a mobile agent in a physical environment based on functional systems theory

    Putintsev, N. I., Isupov, O. V. & Vityaev, E. E., 1 Nov 2015, In: Russian Journal of Genetics: Applied Research. 5, 6, p. 601-608 8 p.

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

  13. Development of artificial cognitive systems based on models of the brain of living organisms

    Putintsev, N. I., Vishnevsky, O. V. & Vityaev, E. E., 1 Nov 2015, In: Russian Journal of Genetics: Applied Research. 5, 6, p. 589-600 12 p.

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

Previous 1...16 17 18 19 20 21 Next

ID: 3082806