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

  2. Probabilistic formal concepts with negation

    Vityaev, E. E. & Martinovich, V. V., 2015, Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (ред.). Springer-Verlag GmbH and Co. KG, стр. 385-399 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8974).

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

  3. Purposefulness as a principle of brain activity

    Vityaev, E. E., 2015, в: Cognitive Systems Monographs. 25, стр. 231-254 24 стр.

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

  4. Unified Formalization of «natural» Classification, «natural» Concepts, and Consciousness as Integrated Information by Giulio Tononi

    Vityaev, E., 2015, в: Procedia Computer Science. 71, стр. 169-177 9 стр.

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

  5. Friedberg Numberings in the Ershov Hierarchy

    Ospichev, S. S., сент. 2015, в: Algebra and Logic. 54, 4, стр. 283-295 13 стр.

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

  6. 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 нояб. 2015, в: Russian Journal of Genetics: Applied Research. 5, 6, стр. 601-608 8 стр.

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

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

    Putintsev, N. I., Vishnevsky, O. V. & Vityaev, E. E., 1 нояб. 2015, в: Russian Journal of Genetics: Applied Research. 5, 6, стр. 589-600 12 стр.

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

  8. 2016

  9. Recovering noisy contexts with probabilistic formal concepts?

    Martynovich, V. V. & Vityaev, E. E., 2016, в: CEUR Workshop Proceedings. 1687, стр. 24-35 12 стр.

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

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

    Ospichev, S. S., 1 июн. 2016, в: Journal of Mathematical Sciences (United States). 215, 4, стр. 529-536 8 стр.

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

  11. Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 дек. 2016, в: Studia Logica. 104, 6, стр. 1083-1097 15 стр.

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

  12. 2017

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

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

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

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

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

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

  15. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 янв. 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (ред.). Springer-Verlag GmbH and Co. KG, стр. 85-96 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10185 LNCS).

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

  16. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

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

  17. Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 янв. 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 152-161 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

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

  18. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 461-484 24 стр.

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

  19. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 507-526 20 стр.

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

  20. 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 янв. 2017, в: Вавиловский журнал генетики и селекции. 21, 5, стр. 581-587 7 стр.

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

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

    Bokut, L. A., Chen, Y. & Zhang, Z., 1 янв. 2017, в: Journal of Algebra and its Applications. 16, 1, 22 стр., 1750001.

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

  22. Lattices of subclasses. III

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

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

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

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

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

  24. Ontological data mining

    Vityaev, E. & Kovalerchuk, B., 1 янв. 2017, в: Studies in Computational Intelligence. 683, стр. 277-292 16 стр.

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

  25. 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 янв. 2017, в: Вавиловский журнал генетики и селекции. 21, 8, стр. 911-919 9 стр.

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

  26. Spectrum of the Field of Computable Real Numbers

    Korovina, M. V. & Kudinov, O. V., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 485-500 16 стр.

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

  27. The index set of the groups autostable relative to strong constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 янв. 2017, в: Siberian Mathematical Journal. 58, 1, стр. 72-77 6 стр.

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

  28. Turing computable embeddings, computable infinitary equivalence, and linear orders

    Bazhenov, N., 1 янв. 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 141-151 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

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

  29. Evolutionary biology at BGRS\SB-2016

    Baranova, A. V. & Orlov, Y. L., 7 февр. 2017, в: BMC Evolutionary Biology. 17, Suppl 1, стр. 21 3 стр., 21.

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

  30. Genomic landscape of CpG rich elements in human

    Babenko, V. N., Chadaeva, I. V. & Orlov, Y. L., 7 февр. 2017, в: BMC Evolutionary Biology. 17, Suppl 1, стр. 1-11 11 стр., 19.

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

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

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 мар. 2017, в: Journal of Mathematical Sciences (United States). 221, 6, стр. 840-848 9 стр.

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

  32. On some reducibility and existential interpretability of structures

    Morozov, A. S., 1 мар. 2017, в: Siberian Mathematical Journal. 58, 2, стр. 281-287 7 стр.

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

  33. Processes and Structures on Approximation Spaces

    Stukachev, A. I., 1 мар. 2017, в: Algebra and Logic. 56, 1, стр. 63-74 12 стр.

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

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

    Koepke, P. & Morozov, A. S., 1 мар. 2017, в: Algebra and Logic. 56, 1, стр. 37-62 26 стр.

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

  35. The Embedding Problem for Computable Projective Planes

    Kogabaev, N. T., 1 мар. 2017, в: Algebra and Logic. 56, 1, стр. 75-79 5 стр.

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

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

    Orlov, Y. L., Kolchanov, N. A., Hofestädt, R. & Wong, L., 1 апр. 2017, в: Journal of Bioinformatics and Computational Biology. 15, 2, 5 стр., 1702001.

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

  37. 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 июл. 2017, в: Russian Journal of Genetics: Applied Research. 7, 5, стр. 513-522 10 стр.

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

  38. Decompositions in Complete Lattices II. Replaceable Irredundant Decompositions

    Schwidefsky, M. V., 1 июл. 2017, в: Algebra and Logic. 56, 3, стр. 236-244 9 стр.

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

  39. Effective categoricity for distributive lattices and Heyting algebras

    Bazhenov, N. A., 1 июл. 2017, в: Lobachevskii Journal of Mathematics. 38, 4, стр. 600-614 15 стр.

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

  40. The evolution of CpG islands by tandem duplications

    Babenko, V. N., Orlov, Y. L., Isakova, Z. T., Antonov, D. A. & Voevoda, M. I., 1 июл. 2017, в: Russian Journal of Genetics: Applied Research. 7, 5, стр. 538-549 12 стр.

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

  41. Conditional terms in semantic programming

    Goncharov, S. S., 1 сент. 2017, в: Siberian Mathematical Journal. 58, 5, стр. 794-800 7 стр.

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

  42. 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 сент. 2017, в: Molecular Biology. 51, 5, стр. 759-768 10 стр.

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

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

    Orlov, Y. L., Thierry, O., Bogomolov, A. G., Tsukanov, A. V., Kulakova, E. V., Galieva, E. R., Bragin, A. O. & Li, G., окт. 2017, в: Biomeditsinskaya Khimiya. 63, 5, стр. 418-422 5 стр.

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

  44. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 нояб. 2017, в: Siberian Mathematical Journal. 58, 6, стр. 959-970 12 стр.

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

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

    Schwidefsky, M. V., 1 нояб. 2017, в: Algebra and Logic. 56, 5, стр. 409-424 16 стр.

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

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

    Selivanova, S. V. & Selivanov, V. L., 1 нояб. 2017, в: Doklady Mathematics. 96, 3, стр. 580-582 3 стр.

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

  47. 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 нояб. 2017, в: Molekuliarnaia biologiia. 51, 5, стр. 870-880 11 стр.

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

  48. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 дек. 2017, в: Mathematical Structures in Computer Science. 27, 8, стр. 1553-1580 28 стр.

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

  49. Evolutionary Biology at Belyaev Conference - 2017

    Orlov, Y. L., Baranova, A. V. & Herbeck, Y. E., 28 дек. 2017, в: BMC Evolutionary Biology. 17, Suppl 2, стр. 260 3 стр., 260.

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

  50. Genetics at Belyaev Conference - 2017: Introductory note

    Orlov, Y. L., Baranova, A. V., Tatarinova, T. V. & Kolchanov, N. A., 28 дек. 2017, в: BMC Genetics. 18, Suppl 1, стр. 116 3 стр., 116.

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

  51. Plant Biology at Belyaev Conference - 2017

    Orlov, Y. L., Baranova, A. V., Chen, M. & Salina, E. A., 28 дек. 2017, в: BMC Plant Biology. 17, Suppl 2, стр. 257 3 стр., 257.

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

  52. 2018

  53. Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 янв. 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (ред.). Springer-Verlag GmbH and Co. KG, стр. 40-49 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936 LNCS).

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

  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 янв. 2018, в: Molecular Neurobiology. 55, 1, стр. 390-401 12 стр.

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

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

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

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

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

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

  57. On Dark Computably Enumerable Equivalence Relations

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

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

  58. On the complexity of formulas in semantic programming

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

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

  59. Quasivarieties of Graphs and Independent Axiomatizability

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

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

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

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

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

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

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

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

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

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

  64. Autostability spectra for decidable structures

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

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

  65. 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 стр.

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

  66. 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 стр.

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

  67. 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 стр.

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

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

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

  69. 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 стр.

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

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

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

  71. 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 стр.

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

  72. Quasiequational Bases of Cantor Algebras

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

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

  73. 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 стр.

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

  74. Degrees of Autostability for Prime Boolean Algebras

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

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

  75. 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 стр.

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

  76. Universal Functions and Unbounded Branching Trees

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

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

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

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

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

  78. 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 стр.

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

  79. 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 стр.

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

  80. 2019

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

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

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

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

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

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

  83. 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).

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

  84. Computable Contact Algebras

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

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

  85. 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).

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

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

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

  87. 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).

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

  88. Friedberg numberings of families of partial computable functionals

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

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

  89. 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 стр.

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

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

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

  91. Bioinformatics research at BGRS-2018

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

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

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

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

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

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

  94. 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 стр.

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

  95. On Holographic Structures

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

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

  96. On representation of finite lattices

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

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

  97. 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 стр.

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

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

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

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

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

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

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

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

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

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

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

  103. 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 стр.

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

  104. On Decidability of List Structures

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

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

  105. 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 Далее

ID: 3082806