Zobrazeno 1 - 10
of 621
pro vyhledávání: '"Sokova IN"'
This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed description of the algorithms behind the Predator shape analyser based on
Externí odkaz:
http://arxiv.org/abs/2403.18491
Autor:
Holík, Lukáš, Peringer, Petr, Rogalewicz, Adam, Šoková, Veronika, Vojnar, Tomáš, Zuleger, Florian
The paper proposes a new static analysis designed to handle open programs, i.e., fragments of programs, with dynamic pointer-linked data structures - in particular, various kinds of lists - that employ advanced low-level pointer operations. The goal
Externí odkaz:
http://arxiv.org/abs/2205.02590
Autor:
Baluev, R. V., Sokov, E. N., Sokova, I. A., Shaidulin, V. Sh., Veselova, A. V., Aitov, V. N., Mitiani, G. Sh., Valeev, A. F., Gadelshin, D. R., Gutaev, A. G., Beskin, G. M., Valyavin, G. G., Antonyuk, K., Barkaoui, K., Gillon, M., Jehin, E., Delrez, L., Guðmundsson, S., Dale, H. A., Fernández-Lajús, E., Di Sisto, R. P., Bretton, M., Wunsche, A., Hentunen, V. -P., Shadick, S., Jongen, Y., Kang, W., Kim, T., Pakštienė, E., Qvam, J. K. T., Knight, C. R., Guerra, P., Marchini, A., Salvaggio, F., Papini, R., Evans, P., Salisbury, M., Garlitz, J., Esseiva, N., Ogmen, Y., Bosch-Cabot, P., Selezneva, A., Hinse, T. C.
Publikováno v:
Acta Astronomica, 2021, Vol. 71, No. 1, pp. 25-53
We developed a dedicated statistical test for a massive detection of spot- and facula-crossing anomalies in multiple exoplanetary transit lightcurves, based on the frequentist $p$-value thresholding. This test was used to augment our algorithmic pipe
Externí odkaz:
http://arxiv.org/abs/2105.01704
Autor:
Benni, P., Burdanov, A. Y., Krushinsky, V. V., Bonfanti, A., Hébrard, G., Almenara, J. M., Dalal, S., Demangeon, O. D. S., Tsantaki, M., Pepper, J., Stassun, K. G., Vanderburg, A., Belinski, A., Kashaev, F., Barkaoui, K., Kim, T., Kang, W., Antonyuk, K., Dyachenko, V. V., Rastegaev, D. A., Beskakotov, A., Mitrofanova, A. A., Pozuelos, F. J., Kuznetsov, E. D., Popov, A., Kiefer, F., Wilson, P. A., Ricker, G., Vanderspek, R., Latham, D. W., Seager, S., Jenkins, J. M., Sokov, E., Sokova, I., Marchini, A., Papini, R., Salvaggio, F., Banfi, M., Baştürk, Ö., Torun, Ş., Yalçınkaya, S., Ivanov, K., Valyavin, G., Jehin, E., Gillon, M., Pakštienė, E., Hentunen, V. -P., Shadick, S., Bretton, M., Wünsche, A., Garlitz, J., Jongen, Y., Molina, D., Girardin, E., Horta, F. Grau, Naves, R., Benkhaldoun, Z., Joner, M. D., Spencer, M., Bieryla, A., Stevens, D. J., Jensen, E. L. N., Collins, K. A., Charbonneau, D., Quintana, E. V., Mullally, S. E., Henze, C. E.
We announce the discovery of GPX-1 b, a transiting brown dwarf with a mass of $19.7\pm 1.6$ $M_{\mathrm{Jup}}$ and a radius of $1.47\pm0.10$ $R_{\mathrm{Jup}}$, the first sub-stellar object discovered by the Galactic Plane eXoplanet (GPX) survey. The
Externí odkaz:
http://arxiv.org/abs/2009.11899
Autor:
Baluev, R. V., Sokov, E. N., Hoyer, S., Huitson, C., da Silva, José A. R. S., Evans, P., Sokova, I. A., Knight, C. R., Shaidulin, V. Sh.
Publikováno v:
2020, MNRAS, 496, L11-L15
We homogeneously reanalyse $124$ transit light curves for the WASP-4 b hot Jupiter. This set involved new observations secured in 2019 and nearly all observations mentioned in the literature, including high-accuracy GEMINI/GMOS transmission spectrosc
Externí odkaz:
http://arxiv.org/abs/2004.09109
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.
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.
This paper describes shortly the basic principles of the PredatorHP (Predator Hunting Party) shape analyzer and presents its recent improvements. One of the most visible changes is the way PredatorHP handles interval-sized memory regions, which is pa
Externí odkaz:
http://arxiv.org/abs/1909.07152
Autor:
Baluev, R. V., Sokov, E. N., Jones, H. R. A., Shaidulin, V. Sh., Sokova, I. A., Nielsen, L. D., Benni, P., Schneiter, E. M., D'Angelo, C. Villarreal, Fernández-Lajús, E., Di Sisto, R. P., Baştürk, Ö., Bretton, M., Wunsche, A., Hentunen, V. -P., Shadick, S., Jongen, Y., Kang, W., Kim, T., Pakštienė, E., Qvam, J. K. T., Knight, C. R., Guerra, P., Marchini, A., Salvaggio, F., Papini, R., Evans, P., Salisbury, M., Garcia, F., Molina, D., Garlitz, J., Esseiva, N., Ogmen, Y., Karavaev, Yu., Rusov, S., Ibrahimov, M. A., Karimov, R. G.
Publikováno v:
Mon. Not. R. Astron. Soc., 2019, V. 490 (1), P. 1294-1312
We homogeneously analyse $\sim 3.2\times 10^5$ photometric measurements for $\sim 1100$ transit lightcurves belonging to $17$ exoplanet hosts. The photometric data cover $16$ years 2004--2019 and include amateur and professional observations. Old arc
Externí odkaz:
http://arxiv.org/abs/1908.04505
Autor:
G. I. Gorodetskaya, A. B. Prokofiev, S. Yu. Serebrova, E. Yu. Demchenkova, M. V. Zhuravleva, O. A. Demidova, T. V. Alexandrova, I. A. Mazerkina, E. A. Sokova, O. V. Muslimova
Publikováno v:
Безопасность и риск фармакотерапии, Vol 11, Iss 1, Pp 105-120 (2023)
Cephalosporins are the empirical antibiotic therapy (ABT) of choice for patients with community-acquired pneumonia (CAP). When treated with antibiotics, elderly patients, especially those with comorbidities, are at higher risk of developing adverse d
Externí odkaz:
https://doaj.org/article/914e335edbe740be9a9fb6b5f7fa7c48
