Košík

    1.
    0549587 - ÚGN 2022 RIV PL eng J - Článek v odborném periodiku
    Vašíček, Zdeněk - Klein, J.
    On imperfectly known Hauterivian representatives of the families Holcodiscidae Spath, 1923 and Barremitidae reskovski, 1977 in Butkov Quarry (Central Western Carpathians, Slovakia).
    Acta Geologica Polonica. Roč. 71, č. 4 (2021), s. 433-451. ISSN 0001-5709. E-ISSN 2300-1887
    Institucionální podpora: RVO:68145535
    Klíčová slova: Early Cretaceous * ammonites * taxonomy * stratigraphy * Manín Unit * Carpathians
    Obor OECD: Paleontology
    Impakt faktor: 1.289, rok: 2021
    Způsob publikování: Omezený přístup
    https://geojournals.pgi.gov.pl/agp/article/view/33083
    Trvalý link: http://hdl.handle.net/11104/0325565
    Název souboruStaženoVelikostKomentářVerzePřístup
    UGN_0549587.pdf21.3 MBJinávyžádat
     
     
    2.
    0523286 - MÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Pich, Ján - Santhanamz, R.
    Why are proof complexity lower bounds hard?
    2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS 2019). Los Alamitos: IEEE, 2019, s. 1305-1324. Annual IEEE Symposium on Foundations of Computer Science. ISBN 978-1-7281-4952-3. ISSN 0272-5428.
    [60th IEEE Annual Symposium on Foundations of Computer Science (FOCS). Baltimore (US), 09.11.2019-12.11.2019]
    Grant CEP: GA ČR(CZ) GA19-05497S
    Institucionální podpora: RVO:67985840
    Klíčová slova: computational complexity * proof complexity * circuit lower bounds
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://ieeexplore.ieee.org/document/8948624
    Trvalý link: http://hdl.handle.net/11104/0307653
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pich.pdf2347.3 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše