Zobrazeno 1 - 10
of 9 185
pro vyhledávání: '"A. A. Voronkov"'
Publikováno v:
Кубанский научный медицинский вестник, Vol 30, Iss 5, Pp 87-99 (2023)
Background. The variety of current methods for assessing the healthcare personnel resources remains insufficient to completely evaluate the actual staffing and needs of certain medical institutions. Using a combination of different sources of data en
Externí odkaz:
https://doaj.org/article/40318a17080a4f1e822f9b15abd11256
Autor:
Yoon, Hyein, Sadler, Elaine M., Mahony, Elizabeth K., Aditya, J. N. H. S., Allison, James R., Glowacki, Marcin, Kerrison, Emily F., Moss, Vanessa A., Su, Renzhi, Weng, Simon, Whiting, Matthew, Wong, O. Ivy, Callingham, Joseph R., Curran, Stephen J., Darling, Jeremy, Edge, Alastair C., Ellison, Sara L., Emig, Kimberly L., Garratt-Smithson, Lilian, German, Gordon, Grasha, Kathryn, Koribalski, Baerbel S., Morganti, Raffaella, Oosterloo, Tom, Péroux, Céline, Pettini, Max, Pimbblet, Kevin A., Zheng, Zheng, Zwaan, Martin, Ball, Lewis, Bock, Douglas C. -J., Brodrick, David, Bunton, John D., Cooray, F. R., Edwards, Philip G., Hayman, Douglas B., Hotan, Aidan W., Lee-Waddell, K., McClure-Griffiths, N. M., Ng, A., Phillips, Chris J., Raja, Wasim, Voronkov, Maxim A., Westmeier, Tobias
The First Large Absorption Survey in HI (FLASH) is a large-area radio survey for neutral hydrogen in the redshift range 0.4
Externí odkaz:
http://arxiv.org/abs/2408.06626
Autor:
Zainutdinov, D. I., Borodin, V. A., Gorbunov, S. A., Medvedev, N., Rymzhanov, R. A., Sorokin, M. V., Voronkov, R. A., Volkov, A. E.
At ambient conditions, SiC is known to be resistant to irradiation with swift heavy ions (SHI) decelerating in the electronic stopping regime. However, there is no experimental data on the SiC irradiation at elevated temperatures. To investigate this
Externí odkaz:
http://arxiv.org/abs/2406.07963
Publikováno v:
Astronomy Reports, 2023, volume 67, no. 12, p.p. 1355-1380
The results of spectral observations in the $\sim 84-92$ GHz frequency range of six objects in the southern sky containing dense cores and associated with regions of massive stars and star clusters formation are presented. The observations were carri
Externí odkaz:
http://arxiv.org/abs/2403.03074
Publikováno v:
Automated Deduction - CADE 29. CADE 2023. Lecture Notes in Computer Science, vol 14132. Springer, Cham
We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-order logical formula, we use a first-order theorem prover to both establ
Externí odkaz:
http://arxiv.org/abs/2402.18962
Publikováno v:
Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we survey our work on integrating induction directly into the saturation-based proof search framework of fir
Externí odkaz:
http://arxiv.org/abs/2402.18954
Publikováno v:
International Journal of Smart and Nano Materials, Vol 9, Iss 2, Pp 99-110 (2018)
The presence of process-induced strains induced by various manufacturing and operational factors is one of the characteristics of polymer composite materials (PCM). Conventional methods of registration and evaluation of process-induced strains can be
Externí odkaz:
https://doaj.org/article/c4ac8ee10ca548c684f7c470b7d5bbbd
Autor:
K. A. Smirnov, A. V. Biryukov, R. D. Ivanchenko, D. V. Ovcharenko, A. A. Voronkov, I. S. Trusov, E. M. Nifontov
Publikováno v:
Патология кровообращения и кардиохирургия, Vol 23, Iss 1S (2019)
Operations of myocardial revascularization include aorta-coronary or mammarocoronary bypassing and stenting of coronary arteries. Currently, coronary stenting is the most common method of revascularization, but during the operation of this method, th
Externí odkaz:
https://doaj.org/article/69bc9e276aa44be8b2be600ed01d262a
Autor:
Babaev, P., Akhmetov, F., Gorbunov, S., Medvedev, N., Rymzhanov, R., Voronkov, R., Volkov, A. E.
Publikováno v:
J Mater Sci 58, 17275-17291 (2023)
We describe the formation of swift heavy ion tracks in polyethylene (PE) by combining the Monte Carlo code TREKIS, which models electronic excitation in nanometric proximity of the ion trajectory, with the molecular dynamics simulating a response of
Externí odkaz:
http://arxiv.org/abs/2307.05272
Autor:
Agafonova, N. Y., Alexandrov, A., Anokhina, A. M., Asada, T., Ashikhmin, V. V, Boccia, V., Centanni, D., Chernyavskii, M. M., D'Ambrosio, N., De Lellis, G., Di Crescenzo, A., Dowdy, Y. C., Dmitrievski, S., Enikeev, R. I., Galati, G., Galkin, V. I., Golovatiuk, A., Gorbunov, S. A., Gornushkin, Y., Guler, A. M., Gulyaeva, V. V., Iuliano, A., Khalikov, E. V., Kim, S. H., Konovalova, N. S., Krasilnikova, Y. O., Lauria, A., Lee, K. Y., Loschiavo, V. P., Managadze, A. K., Miloi, A., Montesi, M. C., Naka, T., Okateva, N. M., Park, B. D, Podgrudkov, D. A., Polukhina, N. G., Roganova, T. M., Rosa, G., Samoilov, M. A., Sadykov, Z. T., Saeki, K., Sato, O., Shakiryanova, I. R., Shchedrina, T. V., Shiraishi, T., Sohn, J. Y., Sotnikov, A., Starkov, N. I., Starkova, E. N., Strekalina, D. M., Tioukov, V., Ursov, E. D., Ustyuzhanin, A., Vasina, S., Voronkov, R. A., Yoon, C. S.
We present a study of a directional search for Dark Matter boosted forward when scattered by cosmic-ray nuclei, using a module of the NEWSdm experiment. The boosted Dark Matter flux at the edge of the Earth's atmosphere is expected to be pointing to
Externí odkaz:
http://arxiv.org/abs/2305.00112