51 - 100 из 204Размер страницы: 50
Сортировать по:: Год публикации
  1. 2018

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

    Korovina, M. & Kudinov, O., 1 янв. 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (ред.). Springer-Verlag GmbH and Co. KG, стр. 241-255 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10742 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

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

    Morozov, A. S., 1 янв. 2018, в: Algebra and Logic. 56, 6, стр. 458-472 15 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 янв. 2018, в: Siberian Mathematical Journal. 59, 1, стр. 22-30 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. On the complexity of formulas in semantic programming

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

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. Quasivarieties of Graphs and Independent Axiomatizability

    Kravchenko, A. V. & Yakovlev, A. V., 1 янв. 2018, в: Siberian Advances in Mathematics. 28, 1, стр. 53-59 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 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., февр. 2018, в: Journal of Bioinformatics and Computational Biology. 16, 1, 5 стр., 1802001.

    Результаты исследований: Научные публикации в периодических изданиях › обзорная статья › Рецензирование

  8. Genomics at Belyaev conference - 2017

    Orlov, Y. L., Baranova, A. V., Hofestädt, R. & Kolchanov, N. A., 9 февр. 2018, в: BMC Genomics. 19, Suppl 3, стр. 79 4 стр., 79.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. 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 февр. 2018, в: BMC Genomics. 19, Suppl 3, стр. 92 11 стр., 92.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. Medical genomics at Belyaev Conference - 2017

    Orlov, Y. L., Fernandez-Masso, J. R., Chen, M. & Baranova, A. V., 13 февр. 2018, в: BMC Medical Genomics. 11, Suppl 1, стр. 11 3 стр., 11.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Autostability spectra for decidable structures

    Bazhenov, N., 1 мар. 2018, в: Mathematical Structures in Computer Science. 28, 3, стр. 392-411 20 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  12. Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 мар. 2018, в: Mathematical Structures in Computer Science. 28, 3, стр. 429-447 19 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Kogabaev, N. T., 1 мар. 2018, в: Siberian Mathematical Journal. 59, 2, стр. 295-308 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  14. Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 мар. 2018, в: Journal of Symbolic Logic. 83, 1, стр. 103-116 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  15. 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 мар. 2018, в: BMC Structural Biology. 18, 1, стр. 3 1 стр., 3.

    Результаты исследований: Научные публикации в периодических изданиях › комментарий, выступление › Рецензирование

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

    Bokut, L. A., Chen, Y. & Zhang, Z., 15 апр. 2018, в: Journal of Algebra. 500, стр. 153-170 18 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  17. Neuroscience researches at Belyaev conference-2017

    Orlov, Y. L., Moroz, L. L. & Baranova, A. V., 19 апр. 2018, в: BMC Neuroscience. 19, Suppl 1, стр. 14 2 стр., 14.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Morozov, A. S., 1 мая 2018, в: Siberian Mathematical Journal. 59, 3, стр. 463-469 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  19. Quasiequational Bases of Cantor Algebras

    Basheyeva, A. O. & Schwidefsky, M. V., 1 мая 2018, в: Siberian Mathematical Journal. 59, 3, стр. 375-382 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  20. 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., июн. 2018, в: Computer Science and Information Systems. 15, 2, стр. 473-485 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  21. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 июн. 2018, в: Algebra and Logic. 57, 2, стр. 98-114 17 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  22. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 июл. 2018, в: Siberian Mathematical Journal. 59, 4, стр. 565-577 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  23. Universal Functions and Unbounded Branching Trees

    Khisamiev, A. N., 1 сент. 2018, в: Algebra and Logic. 57, 4, стр. 309-319 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Aleksandrova, S. A., 1 сент. 2018, в: Siberian Mathematical Journal. 59, 5, стр. 763-767 5 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  25. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 нояб. 2018, в: Algebra and Logic. 57, 5, стр. 392-396 5 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Bokut, L. A., Chen, Y. & Obul, A., 1 дек. 2018, в: International Journal of Algebra and Computation. 28, 8, стр. 1403-1423 21 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  27. 2019

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

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

    Результаты исследований: Научные публикации в периодических изданиях › тезисы › Рецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  30. Bounded Reducibility for Computable Numberings

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  31. Computable Contact Algebras

    Bazhenov, N., 1 янв. 2019, в: Fundamenta Informaticae. 167, 4, стр. 257-269 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  32. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв. 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  33. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  34. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 янв. 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 84-95 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  35. Friedberg numberings of families of partial computable functionals

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

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  36. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 янв. 2019, в: Algebra and Logic. 57, 6, стр. 445-462 18 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  37. Bioinformatics research at BGRS\SB-2018

    Orlov, Y. L., Hofestädt, R. & Tatarinova, T. V., 1 февр. 2019, в: Journal of Bioinformatics and Computational Biology. 17, 1, стр. 1902001 4 стр., 1902001.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  38. Bioinformatics research at BGRS-2018

    Tatarinova, T. V., Chen, M. & Orlov, Y. L., 5 февр. 2019, в: BMC Bioinformatics. 20, Suppl 1, 3 стр., 33.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  39. Plant biology research at BGRS-2018

    Orlov, Y. L., Salina, E. A., Eslami, G. & Kochetov, A. V., 15 февр. 2019, в: BMC Plant Biology. 19, Suppl 1, 3 стр., 56.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  40. Evolutionary biology and biodiversity research at BGRS-2018

    Orlov, Y. L., Baranova, A. V., Kolchanov, N. A. & Moroz, L. L., 26 февр. 2019, в: BMC Evolutionary Biology. 19, Suppl 1, стр. 43 3 стр., 43.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Orlov, Y. L., 1 мар. 2019, в: Journal of Food Quality and Hazards Control. 6, 1, стр. 41 1 стр.

    Результаты исследований: Научные публикации в периодических изданиях › письмо/краткое сообщение › Рецензирование

  42. On Holographic Structures

    Kasymkhanuly, B. & Morozov, A. S., 1 мар. 2019, в: Siberian Mathematical Journal. 60, 2, стр. 312-318 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  43. On representation of finite lattices

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 мар. 2019, в: Algebra Universalis. 80, 1, 17 стр., 15.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 мар. 2019, в: Siberian Mathematical Journal. 60, 2, стр. 223-234 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  45. Systems biology research at BGRS-2018

    Orlov, Y. L., Hofestädt, R. & Baranova, A. V., 5 мар. 2019, в: BMC Systems Biology. 13, Suppl 1, стр. 21 2 стр., 21.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  46. 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 мар. 2019, в: BMC Medical Genomics. 12, Suppl 2, стр. 35 10 стр., 35.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  47. Medical genomics research at BGRS-2018

    Baranova, A. V., Klimontov, V. V., Letyagin, A. Y. & Orlov, Y. L., 13 мар. 2019, в: BMC Medical Genomics. 12, Suppl 2, стр. 36 4 стр., 36.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  48. Computational models in genetics at BGRS-2018

    Orlov, Y. L., Tatarinova, T. V. & Kochetov, A. V., 18 мар. 2019, в: BMC Genetics. 20, Suppl 1, стр. 28 3 стр., 28.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  49. Medical genetics studies at BGRS conference series

    Baranova, A. V., Skoblov, M. Y., Voropaeva, E. N., Shanmughavel, P. & Orlov, Y. L., 9 апр. 2019, в: BMC Medical Genetics. 20, Suppl 1, стр. 50 3 стр., 50.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 мая 2019, в: International Journal of Algebra and Computation. 29, 3, стр. 481-505 25 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  51. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 мая 2019, в: Siberian Mathematical Journal. 60, 3, стр. 377-388 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  52. Some algorithmic problems for Poisson algebras

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 мая 2019, в: Journal of Algebra. 525, стр. 562-588 27 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Назад 1 2 3 4 5 Далее

ID: 3082806