Košík

  1. 1.
    0477105 - MÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Pudlák, Pavel - de Oliveira Oliveira, Mateus
    Representations of monotone Boolean functions by linear programs.
    32nd Computational Complexity Conference (CCC 2017). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 - (O’Donnell, R.), s. 1-14, č. článku 3. Leibniz International Proceedings in Informatics, 79. ISBN 978-3-95977-040-8. ISSN 1868-8969.
    [32nd Computational Complexity Conference (CCC 2017). Riga (LT), 06.07.2017-09.07.2017]
    GRANT EU: European Commission(XE) 339691 - FEALORA
    Institucionální podpora: RVO:67985840
    Klíčová slova: Monotone Linear Programming Circuits * Lovász-Schrijver Proof System * Cutting-Planes Proof System
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    http://drops.dagstuhl.de/opus/volltexte/2017/7520
    Trvalý link: http://hdl.handle.net/11104/0273491
    Název souboruStaženoVelikostKomentářVerzePřístup
    DeOliveiraOliveira2.pdf2534.9 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0521046 - GLÚ 2020 US eng A - Abstrakt
    Kletetschka, Günther - Kavková, R. - Navrátil, Tomáš - Takáč, M. - Prach, J. - Vondrák, D. - Stuchlík, E. - Štorc, R. - Švecová, E. - Hořická, Zuzana - Klokočník, Jaroslav - Kostelecký, J. - Bezděk, A. - Rogozin, D. Y. - Meydus, A. - Krivobokov, L. - Mukhortova, L. - Darin, A. V. - Serra, R. - Stanghellini, C. - Gladysheva, O. G.
    New implications for Tunguska explosion based on magnetic, dendrological, and lacustrine records.
    Meteoritics & Planetary Science. Wiley. Roč. 54, S2 (2019). ISSN 1086-9379. E-ISSN 1945-5100.
    [Annual Meeting of the Meteoritical-Society /82./. 07.07.2019-12.07.2019, Sapporo]
    Institucionální podpora: RVO:67985831
    Klíčová slova: Tunguska * drone * UAV * geomagnetic survey * magnetic anomalies
    Obor OECD: Geology
    Trvalý link: http://hdl.handle.net/11104/0305701
     
     

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