Zobrazeno 1 - 10
of 35 983
pro vyhledávání: '"VORONKOV, A"'
Autor:
V. V. Kochetkov
Publikováno v:
Вестник Московского Университета. Серия XXV: Международные отношения и мировая политика, Vol 16, Iss 3, Pp 175-190 (2024)
The book under review is a new monograph by L.S. Voronkov ‘Liberal values in theory and practice. On the issues of intellectual decolonization of Russia’, published in 2024. The reviewer discusses in detail several key topics and central ideas of
Externí odkaz:
https://doaj.org/article/01489f02b1624d6d83364ee13ced98d3
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.
Publikováno v:
Chemistry of Heterocyclic Compounds. Jun2014, Vol. 50 Issue 3, p458-463. 6p. 1 Black and White Photograph.
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