1. статья › научная › Прошло рецензирование
  2. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 мар. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 189-197 9 стр.

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

  3. Automorphisms of the Gersten Group

    Dudkin, F. A. & Shaporina, E. A., мая 2021, в: Siberian Mathematical Journal. 62, 3, стр. 413-422 10 стр.

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

  4. BALANCE OF RESTING STATE NETWORKS AFTER MIGRATION TO THE NORTH REGION

    Bocharov, A. V., Savostyanov, A. N., Tamozhnikov, S. S., Karpova, A. G., Saprigyn, A. E., Milakhina, N. S., Zavarzin, E. A., Rudich, P. D., Merkulova, E. A. & Knyazev, G. G., 2023, в: Zhurnal Vysshei Nervnoi Deyatelnosti Imeni I.P. Pavlova. 73, 3, стр. 357-368 12 стр.

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

  5. Categoricity Spectra for Polymodal Algebras

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

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

  6. Characteristics of the Balance of Resting State Networks after Migration to the Conditions of the North

    Bocharov, A. V., Savostyanov, A. N., Tamozhnikov, S. S., Karpova, A. G., Saprigyn, A. E., Milakhina, N. S., Zavarzin, E. A., Rudich, P. D., Merkulova, E. A. & Knyazev, G. G., окт. 2023, в: Neuroscience and Behavioral Physiology. 53, 8, стр. 1441-1448 8 стр.

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

  7. Comparative analysis of methods of automated classification of poetic texts based on lexical signs

    Barakhnin, V. B., Kozhemyakina, O. Y. & Pastushkov, I. S., 2017, в: CEUR Workshop Proceedings. 2022, стр. 252-257 6 стр.

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

  8. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 224-231 8 стр.

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

  9. Computational Complexity of the Problem of Choosing Typical Representatives in a 2-Clustering of a Finite Set of Points in a Metric Space

    Borisova, I. A., 1 мая 2020, в: Journal of Applied and Industrial Mathematics. 14, 2, стр. 242-248 7 стр.

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

  10. Computation of the centralizer dimension of generalized Baumslag-Solitar groups

    Dudkin, F. A. E., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 1823-1841 19 стр.

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

  11. Conceptual methods for identifying needs of mobile network subscribers

    Palchunov, D., Yakhyaeva, G. & Dolgusheva, E., 2016, в: International Conference on Concept Lattices and Their Applications. CLA2016, стр. 147-158 12 стр.

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

ID: 3084753