641 - 660 out of 28,125Page size: 20
  1. 2025

  2. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1490-1495 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1430-1434 5 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. Using Machine Learning Methods to Search for EEG and Genetic Markers of Depressive Disorder

    Zorina, K., Kriveckiy, A., Klemeshova, D., Bocharov, A. & Karmanov, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1790-1793 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. Validation of the Russian Version of the Broad Autism Phenotype Questionnaire in a Russian Speaking Sample of Neurotypical Subjects

    Kuleshov, D., Vlasov, M. & Vergunov, E., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1770-1773 4 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1440-1445 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. Программа-рискометр на языке C для определения риска возникновения фибрилляции предсердий у больных ишемической болезнью сердца

    Ложкина, Н. Г., Кудлай, Д. А., Кузин, С. В., Артеменко, С. Н. & Ложкин, П. П., 8 Aug 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025680759, 27 Jun 2025, Priority date 27 Jun 2025, Priority No. 2025668941

    Research output: Patent › Software registration

  8. EPR spectroscopy in the study of ribosomal complexes

    Krumkacheva, O., Malygin, A., Graifer, D., Kolokolov, M. & Bagryanskaya, E., 6 Aug 2025, In: Biophysical Reviews.

    Research output: Contribution to journal › Review article › peer-review

  9. Mittag-Leffler Restoration Formula for Discrete Analytic Functions

    Danilov, O. A., Lu, X., Liu, L. & Lu, X., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 99-112 14 p.

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

  10. Ternary Kulakov Algebras With an Elementary Identity

    Neshchadim, M. V. & Simonov, A. A., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 156-166 11 p.

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

  11. The Structure of the Characteristic Polynomial of the Laplacian Matrix for a Circulant Graph with Non-Fixed Jumps

    Mednykh, A. D., Mednykh, I. A. & Sokolova, G. K., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 146-155 10 p.

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

  12. Visible-Light-Driven Degradation of Biological Contaminants on the Surface of Textile Fabric Modified with TiO2-N Photocatalyst

    Solovyeva, M., Zhuravlev, E., Kozlova, Y., Bardasheva, A., Morozova, V., Stepanov, G., Kozlov, D., Lyulyukin, M. & Selishchev, D., 5 Aug 2025, In: International Journal of Molecular Sciences. 26, 15, 7550.

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

  13. STEFFEN’S FLEXIBLE POLYHEDRON IS EMBEDDED. A PROOF VIA SYMBOLIC COMPUTATIONS

    Александров, В. А. & Волокитин, Е. П., 4 Aug 2025, In: Journal for Geometry and Graphics. 29, 1, 9 p.

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

  14. Pathological and Molecular Significance of HER2/neu Overexpression in Familial Breast Cancer Among Egyptian Women: A Comprehensive Study on Diagnostic and Prognostic Implications

    Abou-El-Naga, A., El Saied, A., Akl, M. M. & AbdEL-Aziz, S., 2 Aug 2025, In: Advanced Pharmaceutical Bulletin. 15, 3, p. 637-645 9 p.

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

  15. The Early Cambrian Microfossils and Trace Fossils from Southwestern Belarus (Kobrin-1k Borehole)

    Golubkova, E. Y., Marusin, V. V., Kushim, E. A., Raevskaya, E. G. & Kuznetsov, A. B., 2 Aug 2025, In: Doklady Earth Sciences. 524, 1, 7 p., 7.

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

  16. Two-jet Plasma Optical Emission Spectrometry Determination of Boron in Animals’ Tissues and Biodistribution After Administration of Boron Nanoparticles

    Guselnikova, T. Y., Lepeshonkova, Y. V., Tsygankova, A. R., Khaptakhanova, P. A., Uspenskii, S. A., Solovieva, O. I., Rasumov, I. A., Volzhenin, A. V. & Kanygin, V. V., 2 Aug 2025, In: Atomic Spectroscopy. 46, 4, p. 391-398 8 p., 8.

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

  17. Structural Features of Nucleoproteins from the Recently Discovered Orthonairovirus songlingense and Norwavirus beijiense

    Yanshin, A. O., Ivkina, D. I., Tuyrin, V. Y., Osinkina, I. A., Tishin, A. E., Olkin, S. E., Ukladov, E. O., Radchenko, N. S., Arkhipov, S. G., Ryzhykau, Y. L., Li, N., Agafonov, A. P., Imatdinov, I. R. & Gladysheva, A. V., 1 Aug 2025, In: International Journal of Molecular Sciences. 26, 15, 7445.

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

  18. Study of the influence of moderator material on sensitivity of the epithermal neutron flux detector using the 71Ga(n,γ)72Ga reaction

    Byambatseren, E., Bykov, T., Kasatov, D., Kolesnikov, I., Savinov, S., Shein, T. & Taskaev, S., 1 Aug 2025, In: Applied Radiation and Isotopes. 222, p. 111844 111844.

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

  19. Additive Manufacturing of Ti64–WC Coating Using Fiber and CO2 Lasers

    Golyshev, A. A., Malikov, A. G., Gertsel, I. S., Vitoshkin, I. E. & Gulov, M. A., Aug 2025, In: JOM. 77, 8, p. 6061-6070 10 p., 26.

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

  20. Analysis of the Spectrum of the mtDNA Haplogroups in Patients with Hearing Loss Carrying the Likely Pathogenic Ultra-Rare m.1494C>T Variant in the MT-RNR1 Gene

    Borisova, T. V., Cherdonova, A. M., Pshennikova, V. G., Teryutin, F. M., Morozov, I. V., Bondar, A. A., Baturina, O. A., Kabilov, M. R., Romanov, G. P., Solovyev, A. V., Fedorova, S. A. & Barashkov, N. A., Aug 2025, In: Russian Journal of Genetics. 61, 8, p. 974-986 13 p., 9.

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

  21. A Phenol-Free Method for the Robust Isolation of the Double-Stranded RNA Produced in the E. coli HT115 Strain

    Ivanov, A. A. & Golubeva, T. S., Aug 2025, In: Russian Journal of Bioorganic Chemistry. 51, 4, p. 1521-1528 8 p., 8.

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

Previous 1...29 30 31 32 33 34 35 36 ...1407 Next