Zobrazeno 1 - 7
of 7
pro vyhledávání: '"A. V. Strakh"'
Autor:
D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 201-230 (2018)
Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by both the proprietary tools developed by the major aircraft manufacturers like Boeing and Air
Externí odkaz:
https://doaj.org/article/efb74ee61157432b9349fa74d2bb50cc
Publikováno v:
Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)
The paper discusses requirements to a twofold verification system that should be an open platform for experimentation with various verification techniques as well as an industrial-ready domain specific verification tool for Linux device drivers. An a
Externí odkaz:
https://doaj.org/article/9a69ec2104dd4efcb331a9333d58579f
Autor:
A. A. Rumyantsev, A. E. Protasova, M. Yu. Sheremet, A. Yu. Goryainova, M. V. Volkonskiy, A. G. Kedrova, S. V. Kuzmicheva, O. N. Aymamedova, Kh. S. Musaeva, S. M. Soroka, O. V. Romanchuk, V. N. Orlova, N. G. Graft, M. R. Ibragimova, Yu. I. Merzlikina, L. V. Stepura, L. B. Tatulova, A. A. Abasova, A. A. Akopyan, E. V. Arsenyeva, Yu. V. Vasilyeva, A. V. Belonogov, L. V. Krivolapova, A. A. Bobryshev, D. Yu. Vovk, I. A. Luev, N. R. Abidova, R. S. Zhikhorev, T. A. Zhelezkova, T. T. Grigoryan, T. A. Makarkina, V. A. Ekimov, A. V. Zhizhina, E. V. Karabina, O. A. Kuchevskaya, V. M. Filippova, T. A. Linchenko, A. A. Lisaeva, A. N. Fedorova, K. S. Maystrenko, E. V. Markizova, E. V. Kogay, E. P. Krasnorutskaya, M. E. Popova, Yu. Yu. Pchelin, R. A. Ryanzhina, D. B. Sidorov, E. B. Shakhnovich, S. M. Alekseev, M. V. Zinkevich, I. O. Belogortsev, V. A. Chubenko, V. M. Moiseenko, N. Kh. Abduloeva, A. A. Lebedinets, L. V. Strakh, L. K. Semenov, M. B. Bolieva, F. Z. Aydaeva
Publikováno v:
Опухоли женской репродуктивной системы, Vol 19, Iss 4, Pp 104-113 (2024)
Aim. To assess the efficacy and safety of lenvatinib and pembrolizumab for the treatment of mismatch repair-proficient endometrial cancer (EC) in routine clinical practice in Russia.Materials and methods. This multicenter, retrospective, cohort study
Externí odkaz:
https://doaj.org/article/b505b127d35446839d80501e03b80b14
Autor:
Nadezhda A. Brish, Tatiana Yu. Semiglazova, Aleksei M. Karachun, Lev N. Shevkunov, Yana A. Ulyanchenko, Anna S. Artemyeva, Tatiana S. Golovanova, Elena V. Tkachenko, Yuliia V. Alexeeva, Sofiko M. Sharashenidze, Liubov V. Strakh, Svetlana A. Protsenko, Gulfiia M. Teletaeva, Larisa V. Filatova, Boris S. Kasparov, Vladislav V. Semiglazov, Aleksei M. Belyaev
Publikováno v:
Современная онкология, Vol 23, Iss 3, Pp 519-524 (2021)
Aim. To increase the effectiveness of neoadjuvant chemotherapy in patients with locally advanced gastric cancer by correcting nutritional deficiency. Materials and methods. Of 200 patients with locally advanced gastric cancer (mean age 57.2 years
Externí odkaz:
https://doaj.org/article/78b3375c172c4f1da73dbc63c0963807
Publikováno v:
Современная онкология, Vol 23, Iss 2, Pp 340-344 (2021)
Cervical cancer (CC) ranks fourth for cancer incidences in women after breast cancer, colorectal cancer and lung cancer. There is a steady increase in the incidence of invasive forms of CC in Russia. Over the past quarter of a century, the mortality
Externí odkaz:
https://doaj.org/article/1bee8f325e5a4877b199e5b990bdcf02
Publikováno v:
Современная онкология, Vol 23, Iss 2, Pp 340-344 (2021)
Cervical cancer (CC) ranks fourth for cancer incidences in women after breast cancer, colorectal cancer and lung cancer. There is a steady increase in the incidence of invasive forms of CC in Russia. Over the past quarter of a century, the mortality
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f56b4136fbc8efb6a554a6abe4e6672a
https://doi.org/10.26442/18151434.2021.2.201009
https://doi.org/10.26442/18151434.2021.2.201009
Autor:
D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 201-230 (2018)
Growth of modern avionics systems makes design of such systems impossible without involvement of automation. Nowadays an area of such tools is represented by both the proprietary tools developed by the major aircraft manufacturers like Boeing and Air
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea18f9d70537a18cf4eb2df352333dcd
https://doi.org/10.15514/ispras-2014-26(1)-6
https://doi.org/10.15514/ispras-2014-26(1)-6