21731 - 21740 out of 27,007Page size: 10
  1. 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 proceedingConference contributionResearchpeer-review

  2. Toward the Notion of Intrinsically Linear Models in Nonlinear Regression

    Linke, Y. Y. & Borisov, I. S., 1 Jul 2019, In: Siberian Advances in Mathematics. 29, 3, p. 210-216 7 p.

    Research output: Contribution to journalArticlepeer-review

  3. Toward the optimization of measurement system for tsunami warning

    Kuzakov, D., Lavrentiev, M. & Marchuk, A., 2021, OCEANS 2021: San Diego - Porto. Institute of Electrical and Electronics Engineers Inc., 4 p. (Oceans Conference Record (IEEE); vol. 2021-September).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  4. Toward understanding the unusual reactivity of mesoporous niobium silicates in epoxidation of C = C bonds with hydrogen peroxide

    Ivanchikova, I. D., Skobelev, I. Y., Maksimchuk, N. V., Paukshtis, E. A., Shashkov, M. V. & Kholdeeva, O. A., 1 Dec 2017, In: Journal of Catalysis. 356, p. 85-99 15 p.

    Research output: Contribution to journalArticlepeer-review

  5. Town book niederstatbuch as a source for Medieval Lübeck Society

    Weber, D. I. & Nosova, E. I., 1 Feb 2020, In: Vestnik Sankt-Peterburgskogo Universiteta, Istoriya. 65, 2, p. 535-545 11 p.

    Research output: Contribution to journalReview articlepeer-review

  6. TOXIC ELEMENTS IN NATURAL WATERS OF THE NOVOSIBIRSK URBAN AGGLOMERATION: DISTRIBUTION, BACKGROUND, ANOMALIES

    CHERNYKH, A. V., NOVIKOV, D. A., MAKSIMOVA, A. A., DULTSEV, F. F. & DERKACHEV, A. S., 2023, In: Chemistry for Sustainable Development. 31, 4, p. 452-464 13 p.

    Research output: Contribution to journalArticlepeer-review

  7. TpH2 expression after neonatal dexamethasone treatment and acute or chronic stress in adulthood

    Kalinina, T., Sukhareva, E., Lanshakov, D., Bulygina, V. & Dygalo, N., 2019, In: European Neuropsychopharmacology. 29, p. S222-S222 1 p.

    Research output: Contribution to journalMeeting Abstractpeer-review

  8. Tpансцеллюляpный транспорт в литоральных клетках лимфоузла после имплантации никелида титана

    Горчаков, В. Н. & Логинов, А. Г., 2020, In: Международный научно-исследовательский журнал. 6-2 (96), p. 88-92 5 p., 16.

    Research output: Contribution to journalArticlepeer-review

  9. Trace Balancing Technique for Trace Playback in LuNA System

    Malyshkin, V., Perepelkin, V. & Lyamin, A., 2023, Parallel Computing Technologies - 17th International Conference, PaCT 2023. Springer, p. 42-50 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  10. Trace-Based Optimization of Fragmented Programs Execution in LuNA System

    Malyshkin, V. & Perepelkin, V., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Malyshkin, V. (ed.). Springer, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12942 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review