11 - 20 out of 249Page size: 10
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 Mar 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 189-197 9 p.

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

  3. Automorphisms of the Gersten Group

    Dudkin, F. A. & Shaporina, E. A., May 2021, In: Siberian Mathematical Journal. 62, 3, p. 413-422 10 p.

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

  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, In: Zhurnal Vysshei Nervnoi Deyatelnosti Imeni I.P. Pavlova. 73, 3, p. 357-368 12 p.

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

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

  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., Oct 2023, In: Neuroscience and Behavioral Physiology. 53, 8, p. 1441-1448 8 p.

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

  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, In: CEUR Workshop Proceedings. 2022, p. 252-257 6 p.

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

  8. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 224-231 8 p.

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

  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 May 2020, In: Journal of Applied and Industrial Mathematics. 14, 2, p. 242-248 7 p.

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

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

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

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

  11. Conceptual methods for identifying needs of mobile network subscribers

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

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

Previous 1 2 3 4 5 6 7 8 ...25 Next

ID: 3084753