41 - 60 out of 205Page size: 20
  1. 2017

  2. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 Nov 2017, In: Siberian Mathematical Journal. 58, 6, p. 959-970 12 p.

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

  3. Decompositions in Complete Lattices III. Unique Irredundant Decompositions and Convex Geometries

    Schwidefsky, M. V., 1 Nov 2017, In: Algebra and Logic. 56, 5, p. 409-424 16 p.

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

  4. On Constructive number fields and computability of solutions of PDEs

    Selivanova, S. V. & Selivanov, V. L., 1 Nov 2017, In: Doklady Mathematics. 96, 3, p. 580-582 3 p.

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

  5. Differential alternative splicing in brain regions of rats selected for aggressive behavior

    Babenko, V. N., Bragin, A. O., Chadaeva, I. V., Markel, A. L. & Orlov, Y. L., 9 Nov 2017, In: Molekuliarnaia biologiia. 51, 5, p. 870-880 11 p.

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

  6. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 Dec 2017, In: Mathematical Structures in Computer Science. 27, 8, p. 1553-1580 28 p.

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

  7. Evolutionary Biology at Belyaev Conference - 2017

    Orlov, Y. L., Baranova, A. V. & Herbeck, Y. E., 28 Dec 2017, In: BMC Evolutionary Biology. 17, Suppl 2, p. 260 3 p., 260.

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

  8. Genetics at Belyaev Conference - 2017: Introductory note

    Orlov, Y. L., Baranova, A. V., Tatarinova, T. V. & Kolchanov, N. A., 28 Dec 2017, In: BMC Genetics. 18, Suppl 1, p. 116 3 p., 116.

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

  9. Plant Biology at Belyaev Conference - 2017

    Orlov, Y. L., Baranova, A. V., Chen, M. & Salina, E. A., 28 Dec 2017, In: BMC Plant Biology. 17, Suppl 2, p. 257 3 p., 257.

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

  10. 2018

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

  12. Heterogeneity of brain ribosomal genes expression following positive fighting experience in male mice as revealed by RNA-Seq

    Smagin, D. A., Kovalenko, I. L., Galyamina, A. G., Orlov, Y. L., Babenko, V. N. & Kudryavtseva, N. N., 1 Jan 2018, In: Molecular Neurobiology. 55, 1, p. 390-401 12 p.

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

  13. Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 Jan 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (eds.). Springer-Verlag GmbH and Co. KG, p. 241-255 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10742 LNCS).

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

  14. Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

    Morozov, A. S., 1 Jan 2018, In: Algebra and Logic. 56, 6, p. 458-472 15 p.

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

  15. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 22-30 9 p.

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

  16. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 Jan 2018, In: Сибирские электронные математические известия. 15, p. 987-995 9 p.

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

  17. Quasivarieties of Graphs and Independent Axiomatizability

    Kravchenko, A. V. & Yakovlev, A. V., 1 Jan 2018, In: Siberian Advances in Mathematics. 28, 1, p. 53-59 7 p.

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

  18. Introduction to the 9th Young Scientists School on Systems Biology and Bioinformatics (SBB’2017)

    Orlov, Y. L., Tatarinova, T. V., Zakhartsev, M. V. & Kolchanov, N. A., Feb 2018, In: Journal of Bioinformatics and Computational Biology. 16, 1, 5 p., 1802001.

    Research output: Contribution to journal › Review article › peer-review

  19. Genomics at Belyaev conference - 2017

    Orlov, Y. L., Baranova, A. V., Hofestädt, R. & Kolchanov, N. A., 9 Feb 2018, In: BMC Genomics. 19, Suppl 3, p. 79 4 p., 79.

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

  20. Novel read density distribution score shows possible aligner artefacts, when mapping a single chromosome

    Naumenko, F. M., Abnizova, I. I., Beka, N., Genaev, M. A. & Orlov, Y. L., 9 Feb 2018, In: BMC Genomics. 19, Suppl 3, p. 92 11 p., 92.

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

  21. Medical genomics at Belyaev Conference - 2017

    Orlov, Y. L., Fernandez-Masso, J. R., Chen, M. & Baranova, A. V., 13 Feb 2018, In: BMC Medical Genomics. 11, Suppl 1, p. 11 3 p., 11.

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

  22. Autostability spectra for decidable structures

    Bazhenov, N., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 392-411 20 p.

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

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 3082806