Zobrazeno 1 - 10
of 11 680
pro vyhledávání: '"VORONKOV, A"'
We present results of atomic-level simulations of damage formation along the paths of swift heavy ions (SHI) decelerated in the electronic stopping regime in amorphous polyethylene. The applied model combines the Monte-Carlo code TREKIS-3, which desc
Externí odkaz:
http://arxiv.org/abs/2409.10935
Autor:
Wang, Z., Bannister, K. W., Gupta, V., Deng, X., Pilawa, M., Tuthill, J., Bunton, J. D., Flynn, C., Glowacki, M., Jaini, A., Lee, Y. W. J., Lenc, E., Lucero, J., Paek, A., Radhakrishnan, R., Thyagarajan, N., Uttarkar, P., Wang, Y., Bhat, N. D. R., James, C. W., Moss, V. A., Murphy, Tara, Reynolds, J. E., Shannon, R. M., Spitler, L. G., Tzioumis, A., Caleb, M., Deller, A. T., Gordon, A. C., Marnoch, L., Ryder, S. D., Simha, S., Anderson, C. S., Ball, L., Brodrick, D., Cooray, F. R., Gupta, N., Hayman, D. B., Ng, A., Pearce, S. E., Phillips, C., Voronkov, M. A., Westmeier, T.
We present the first results from a new backend on the Australian Square Kilometre Array Pathfinder, the Commensal Realtime ASKAP Fast Transient COherent (CRACO) upgrade. CRACO records millisecond time resolution visibility data, and searches for dis
Externí odkaz:
http://arxiv.org/abs/2409.10316
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
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
Publikováno v:
Avtomobilʹnyj Transport (Harʹkov), Vol 33, Pp 71-76 (2013)
It was made trailer-speed motion analysis of minibus GAZ-2217 with air motor instead of the internal combustion engine and recommendations allowing to determine the output power of the power plant parameters for vehicle movement at low speed in urban
Externí odkaz:
https://doaj.org/article/acf8eca277da4572b91b69e16b400293
