Zobrazeno 1 - 10
of 34 259
pro vyhledávání: '"A. A. Voronkov"'
Autor:
Kondratenko, Yu. A.1 kondratencko.iulia@yandex.ru, Kochina, T. A.1
Publikováno v:
Russian Journal of General Chemistry. Dec2021, Vol. 91 Issue 12, p2331-2351. 21p.
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yu. A. Kondratenko, T. A. Kochina
Publikováno v:
Russian Journal of General Chemistry
The main results of the many years' studies of the scientific school of Academician Mikhail G. Voronkov in the field of two subgroups of the atrane family (protatranes and hydrometallatranes) as well as the results of research in continuation of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7918001274b8452134841694fee606d
http://europepmc.org/articles/PMC8763366
http://europepmc.org/articles/PMC8763366