101 - 200 out of 205Page size: 100
  1. 2019

  2. Structure of Quasivariety Lattices. II. Undecidable Problems

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 May 2019, In: Algebra and Logic. 58, 2, p. 123-136 14 p.

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

  3. Elementary theories and hereditary undecidability for semilattices of numberings

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 9 May 2019, In: Archive for Mathematical Logic. 58, 3-4, p. 485-500 16 p.

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

  4. Genomics research at Bioinformatics of Genome Regulation and Structure\ Systems Biology (BGRS\SB) conferences in Novosibirsk

    Orlov, Y. L., Kochetov, A. V., Li, G. & Kolchanov, N. A., 8 May 2019, In: BMC Genomics. 20, Suppl 3, 5 p., 322.

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

  5. The differences in brain stem transcriptional profiling in hypertensive ISIAH and normotensive WAG rats

    Fedoseeva, L. A., Klimov, L. O., Ershov, N. I., Efimov, V. M., Markel, A. L., Orlov, Y. L. & Redina, O. E., 8 May 2019, In: BMC Genomics. 20, Suppl 3, 16 p., 297.

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

  6. Free Gelfand-Dorfman-Novikov superalgebras and a Poincaré-Birkhoff-Witt type theorem

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: International Journal of Algebra and Computation. 29, 3, p. 481-505 25 p.

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

  7. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

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

  8. Some algorithmic problems for Poisson algebras

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: Journal of Algebra. 525, p. 562-588 27 p.

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

  9. To the Spectral Theory of Partially Ordered Sets

    Ershov, Y. L. & Schwidefsky, M. V., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 450-463 14 p.

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

  10. Medical genetics studies at BGRS conference series

    Baranova, A. V., Skoblov, M. Y., Voropaeva, E. N., Shanmughavel, P. & Orlov, Y. L., 9 Apr 2019, In: BMC Medical Genetics. 20, Suppl 1, p. 50 3 p., 50.

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

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

  12. Clinical aspects of TP53 gene inactivation in diffuse large B-cell lymphoma

    Voropaeva, E. N., Pospelova, T. I., Voevoda, M. I., Maksimov, V. N., Orlov, Y. L. & Seregina, O. B., 13 Mar 2019, In: BMC Medical Genomics. 12, Suppl 2, p. 35 10 p., 35.

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

  13. Medical genomics research at BGRS-2018

    Baranova, A. V., Klimontov, V. V., Letyagin, A. Y. & Orlov, Y. L., 13 Mar 2019, In: BMC Medical Genomics. 12, Suppl 2, p. 36 4 p., 36.

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

  14. Systems biology research at BGRS-2018

    Orlov, Y. L., Hofestädt, R. & Baranova, A. V., 5 Mar 2019, In: BMC Systems Biology. 13, Suppl 1, p. 21 2 p., 21.

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

  15. 5th international scientific conference of "plant genetics, genomics, bioinformatics, and biotechnology" (24-29 june 2019, Novosibirsk, Russia)

    Orlov, Y. L., 1 Mar 2019, In: Journal of Food Quality and Hazards Control. 6, 1, p. 41 1 p.

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

  16. On Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 312-318 7 p.

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

  17. On representation of finite lattices

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 Mar 2019, In: Algebra Universalis. 80, 1, 17 p., 15.

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

  18. Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 223-234 12 p.

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

  19. Evolutionary biology and biodiversity research at BGRS-2018

    Orlov, Y. L., Baranova, A. V., Kolchanov, N. A. & Moroz, L. L., 26 Feb 2019, In: BMC Evolutionary Biology. 19, Suppl 1, p. 43 3 p., 43.

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

  20. Plant biology research at BGRS-2018

    Orlov, Y. L., Salina, E. A., Eslami, G. & Kochetov, A. V., 15 Feb 2019, In: BMC Plant Biology. 19, Suppl 1, 3 p., 56.

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

  21. Bioinformatics research at BGRS-2018

    Tatarinova, T. V., Chen, M. & Orlov, Y. L., 5 Feb 2019, In: BMC Bioinformatics. 20, Suppl 1, 3 p., 33.

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

  22. Bioinformatics research at BGRS\SB-2018

    Orlov, Y. L., Hofestädt, R. & Tatarinova, T. V., 1 Feb 2019, In: Journal of Bioinformatics and Computational Biology. 17, 1, p. 1902001 4 p., 1902001.

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

  23. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 Jan 2019, In: Algebra and Logic. 57, 6, p. 445-462 18 p.

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

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

  25. Computable Contact Algebras

    Bazhenov, N., 1 Jan 2019, In: Fundamenta Informaticae. 167, 4, p. 257-269 13 p.

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

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

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

  28. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, 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. 84-95 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

  29. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 Jan 2019, In: Сибирские электронные математические известия. 16, p. 331-339 9 p.

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

  30. Компьютерные методы для анализа технологий секвенирования в анализе хромосомных контактов в клетке

    Орлов, Ю. Л., Ковалев, С. С., Дергилев, А. И., Бабенко, Р. О., Галиева, Э. Р. & Леберфарб, Е. Ю., 2019, In: Genes and Cells. 14, S, p. 171-171 1 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

  31. Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, In: Алгебра и логика. 58, 5, p. 553-573 21 p.

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

  32. 2018

  33. Some new results on Gröbner-Shirshov bases for Lie algebras and around

    Bokut, L. A., Chen, Y. & Obul, A., 1 Dec 2018, In: International Journal of Algebra and Computation. 28, 8, p. 1403-1423 21 p.

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

  34. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 Nov 2018, In: Algebra and Logic. 57, 5, p. 392-396 5 p.

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

  35. Universal Functions and Unbounded Branching Trees

    Khisamiev, A. N., 1 Sept 2018, In: Algebra and Logic. 57, 4, p. 309-319 11 p.

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

  36. Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

    Aleksandrova, S. A., 1 Sept 2018, In: Siberian Mathematical Journal. 59, 5, p. 763-767 5 p.

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

  37. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 Jul 2018, In: Siberian Mathematical Journal. 59, 4, p. 565-577 13 p.

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

  38. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 Jun 2018, In: Algebra and Logic. 57, 2, p. 98-114 17 p.

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

  39. CpG islands’ clustering uncovers early development genes in the human genome

    Babenko, V. N., Bogomolov, A. G., Babenko, R. O., Galieva, E. R. & Orlov, Y. L., Jun 2018, In: Computer Science and Information Systems. 15, 2, p. 473-485 13 p.

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

  40. A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

    Morozov, A. S., 1 May 2018, In: Siberian Mathematical Journal. 59, 3, p. 463-469 7 p.

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

  41. Quasiequational Bases of Cantor Algebras

    Basheyeva, A. O. & Schwidefsky, M. V., 1 May 2018, In: Siberian Mathematical Journal. 59, 3, p. 375-382 8 p.

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

  42. Neuroscience researches at Belyaev conference-2017

    Orlov, Y. L., Moroz, L. L. & Baranova, A. V., 19 Apr 2018, In: BMC Neuroscience. 19, Suppl 1, p. 14 2 p., 14.

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

  43. On free Gelfand–Dorfman–Novikov–Poisson algebras and a PBW theorem

    Bokut, L. A., Chen, Y. & Zhang, Z., 15 Apr 2018, In: Journal of Algebra. 500, p. 153-170 18 p.

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

  44. Correction to: Selected articles from Belyaev Conference 2017: Structural biology (Orlov and Baranova BMC Structural Biology (2018) 18 (S1) DOI: 10.1186/s12900-018-0080-9)

    Orlov, Y. L. & Baranova, A. V., 21 Mar 2018, In: BMC Structural Biology. 18, 1, p. 3 1 p., 3.

    Research output: Contribution to journal › Comment/debate › peer-review

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

  46. Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 429-447 19 p.

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

  47. Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

    Kogabaev, N. T., 1 Mar 2018, In: Siberian Mathematical Journal. 59, 2, p. 295-308 14 p.

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

  48. Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 Mar 2018, In: Journal of Symbolic Logic. 83, 1, p. 103-116 14 p.

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

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

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

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

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

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

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

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

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

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

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

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

  60. 2017

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

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

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

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

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

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

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

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

  69. Компьютерные методы анализа хромосомных контактов в ядре клетки по данным технологий секвенирования

    Orlov, Y. L., Thierry, O., Bogomolov, A. G., Tsukanov, A. V., Kulakova, E. V., Galieva, E. R., Bragin, A. O. & Li, G., Oct 2017, In: Biomeditsinskaya Khimiya. 63, 5, p. 418-422 5 p.

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

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

  71. 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., 1 Sept 2017, In: Molecular Biology. 51, 5, p. 759-768 10 p.

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

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

  73. Decompositions in Complete Lattices II. Replaceable Irredundant Decompositions

    Schwidefsky, M. V., 1 Jul 2017, In: Algebra and Logic. 56, 3, p. 236-244 9 p.

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

  74. Effective categoricity for distributive lattices and Heyting algebras

    Bazhenov, N. A., 1 Jul 2017, In: Lobachevskii Journal of Mathematics. 38, 4, p. 600-614 15 p.

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

  75. The evolution of CpG islands by tandem duplications

    Babenko, V. N., Orlov, Y. L., Isakova, Z. T., Antonov, D. A. & Voevoda, M. I., 1 Jul 2017, In: Russian Journal of Genetics: Applied Research. 7, 5, p. 538-549 12 p.

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

  76. Bioinformatics development at the BGRS\SB conference series: 10th anniversary

    Orlov, Y. L., Kolchanov, N. A., Hofestädt, R. & Wong, L., 1 Apr 2017, In: Journal of Bioinformatics and Computational Biology. 15, 2, 5 p., 1702001.

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

  77. Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 Mar 2017, In: Journal of Mathematical Sciences (United States). 221, 6, p. 840-848 9 p.

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

  78. On some reducibility and existential interpretability of structures

    Morozov, A. S., 1 Mar 2017, In: Siberian Mathematical Journal. 58, 2, p. 281-287 7 p.

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

  79. Processes and Structures on Approximation Spaces

    Stukachev, A. I., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 63-74 12 p.

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

  80. The Computational Power of Infinite Time Blum–Shub–Smale Machines

    Koepke, P. & Morozov, A. S., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 37-62 26 p.

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

  81. The Embedding Problem for Computable Projective Planes

    Kogabaev, N. T., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 75-79 5 p.

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

  82. Evolutionary biology at BGRS\SB-2016

    Baranova, A. V. & Orlov, Y. L., 7 Feb 2017, In: BMC Evolutionary Biology. 17, Suppl 1, p. 21 3 p., 21.

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

  83. Genomic landscape of CpG rich elements in human

    Babenko, V. N., Chadaeva, I. V. & Orlov, Y. L., 7 Feb 2017, In: BMC Evolutionary Biology. 17, Suppl 1, p. 1-11 11 p., 19.

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

  84. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 Jan 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (eds.). Springer-Verlag GmbH and Co. KG, p. 85-96 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10185 LNCS).

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

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

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

  87. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 461-484 24 p.

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

  88. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 507-526 20 p.

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

  89. Genetic polymorphisms and related risk factors of ischemic stroke in a Mongolian population in China

    Wu, Q., Wu, H., Orlov, Y. L., Gegentana, G., Huo, W., Bragin, A. O., Wu, N., Suyalatu, S., Zhao, F., Zhao, J., Tabikhanova, L. E., Chen, M. & Bai, H., 1 Jan 2017, In: Вавиловский журнал генетики и селекции. 21, 5, p. 581-587 7 p.

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

  90. Gröbner-Shirshov bases method for Gelfand-Dorfman-Novikov algebras

    Bokut, L. A., Chen, Y. & Zhang, Z., 1 Jan 2017, In: Journal of Algebra and its Applications. 16, 1, 22 p., 1750001.

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

  91. Lattices of subclasses. III

    Basheyeva, A., Nurakunov, A., Schwidefsky, M. & Zamojska-Dzienio, A., 1 Jan 2017, In: Сибирские электронные математические известия. 14, p. 252-263 12 p.

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

  92. On quasi-equational bases for differential groupoids and unary algebras

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 Jan 2017, In: Сибирские электронные математические известия. 14, p. 1330-1337 8 p.

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

  93. Ontological data mining

    Vityaev, E. & Kovalerchuk, B., 1 Jan 2017, In: Studies in Computational Intelligence. 683, p. 277-292 16 p.

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

  94. Role of apoptosis genes in aggression revealed using combined analysis of ANDSystem gene networks, expression and genomic data in grey rats with aggressive behavior

    Bragin, A. O., Saik, O. V., Chadaeva, I. V., Demenkov, P. S., Markel, A. L., Orlov, Y. L., Rogaev, E. I., Lavrik, I. N. & Ivanisenko, V. A., 1 Jan 2017, In: Вавиловский журнал генетики и селекции. 21, 8, p. 911-919 9 p.

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

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

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

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

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

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

  100. 2016

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

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

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

  104. 2015

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

Previous 1 2 3 Next

ID: 3082806