1 - 50 из 204Размер страницы: 50
Сортировать по:: Год публикации
  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 стр.

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

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

ID: 3082806