Zobrazeno 1 - 10
of 358
pro vyhledávání: '"Slobodová, A."'
Autor:
Mikulkova, Zuzana 1, 2, Gallo, Jiri 3, 4, Manukyan, Gayane 1, 2, 5, Trajerova, Marketa 1, 2, Savara, Jakub 1, 2, 6, Shrestha, Bishu 1, 2, Dyskova, Tereza 1, 2, Nesnadna, Romana 1, 2, Slobodova, Zuzana 7, 8, Stefancik, Michal 3, 4, Kriegova, Eva 1, 2, 9, ∗
Publikováno v:
In Cell Reports 24 December 2024 43(12)
Autor:
Cingelova, Silvia, Mikuskova, Eva, Demitrovicova, Ludmila, Mikudova, Vanda, Slobodova, Alica, Spanikova, Jana, Vasickova, Radka, Urban, Denis, Drgona, Lubos, Oravcova, Iveta
Publikováno v:
In Leukemia Research October 2024 145
Publikováno v:
Biosystems Diversity, Vol 31, Iss 3, Pp 327-339 (2023)
Trampling of vegetation as a result of recreation can adversely affect natural habitats, leading to loss of vegetation and degradation of plant communities. Many studies indicated that intrinsic properties of plant communities appear to be the most i
Externí odkaz:
https://doaj.org/article/24681d4ea98b4d3ea7b45d8acc6ea064
Autor:
Gladysheva-Azgari, M.V., Sharko, F.S., Evteeva, M.A., Kuvyrchenkova, A.P., Boulygina, E.S., Tsygankova, S.V., Slobodova, N.V., Pustovoit, K.S., Melkina, O.E., Nedoluzhko, A.V., Korzhenkov, A.A., Kudryavtseva, A.A., Utkina, A.A., Manukhov, I.V., Rastorguev, S.M., Zavilgelsky, G.B.
Publikováno v:
In Heliyon December 2023 9(12)
Verification of modern microprocessors is a complex task that requires a substantial allocation of resources. Despite significant progress in formal verification, the goal of complete verification of an industrial design has not been achieved. In thi
Externí odkaz:
http://arxiv.org/abs/1912.10285
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.
Autor:
Manukyan, G. †, ¶, Gallo, J. ‡, Mikulkova, Z. †, Trajerova, M. †, Savara, J. †, §, Slobodova, Z. ‖, Fidler, E. ‡, Shrestha, B. †, Kriegova, E. †
Publikováno v:
In Osteoarthritis and Cartilage January 2023 31(1):72-82
Autor:
Slobodova, Anna, Hunt Jr, Warren
Publikováno v:
EPTCS 249, 2017
This volume contains the proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2017, a two-day workshop held in Austin, Texas, USA, on May 22-23, 2017. ACL2 workshops occur at approximately 18-mont
Externí odkaz:
http://arxiv.org/abs/1705.00766
Autor:
Kusá, Mária, Brandner, Aleš, Slobodová, Zuzana, Žeňuch, Peter, Duda, Henryk, Gallo, Ján, Šašerina, Svetlana
Publikováno v:
Slavica Slovaca. 57(01):81-100
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1080317