Výsledky vyhledávání

Nalezeno záznamů: 24  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0100865 zv^"
    1.
    0510920 - ÚI 2020 eng V - Výzkumná zpráva
    Žák, Stanislav
    A Logical Characteristic of Read-Once Branching Programs.
    Trier, 2019. 16 s. Electronic Colloquium on Computational Complexity, TR19-150. ISSN 1433-8092
    Institucionální podpora: RVO:67985807
    Klíčová slova: branching programs * Computational Complexity * logic
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://eccc.weizmann.ac.il/report/2019/150/
    Trvalý link: http://hdl.handle.net/11104/0301281
    Název souboruStaženoVelikostKomentářVerzePřístup
    0510920-aonl.pdf3262.2 KBvolně onlineVydavatelský postprintpovolen
     
     
    2.
    0506562 - ÚI 2020 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    A Logical Characteristic of Read-Once Branching Programs.
    Prague: ICS CAS, 2019. 16 s. Technical Report, V-1270.
    Institucionální podpora: RVO:67985807
    Klíčová slova: branching programs * computational complexity * logic
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Trvalý link: http://hdl.handle.net/11104/0297795
    Název souboruStaženoVelikostKomentářVerzePřístup
    0506562-av1.pdf0157.8 KBverze 07/2019Jinápovolen
     
     
    3.
    0443323 - ÚI 2016 DE eng V - Výzkumná zpráva
    Žák, Stanislav
    Inherent Logic and Complexity.
    Trier, 2015. 12 s. Electronic Colloquium on Computational Complexity, TR15-029. ISSN 1433-8092
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: branching programs * complexity * logic
    Kód oboru RIV: IN - Informatika
    http://eccc.hpi-web.de/report/2015/029/
    Trvalý link: http://hdl.handle.net/11104/0246047
     
     
    4.
    0428781 - ÚI 2015 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    Inherent Logic and Complexity.
    Prague: ICS AS CR, 2014. 17 s. Technical Report, V-1208.
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: branching programs * complexity * logic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0234049
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1208-14.pdf25119.9 KBJinápovolen
     
     
    5.
    0403962 - UIVT-O 20000105 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
    Prague: ICS AS CR, 2000. 10 s. Technical Report, V-813.
    Grant CEP: GA ČR GA201/98/0717
    Výzkumný záměr: AV0Z1030915
    Klíčová slova: read-once branching programs * lower bound
    Trvalý link: http://hdl.handle.net/11104/0124246
    Název souboruStaženoVelikostKomentářVerzePřístup
    v813-00.pdf19135.3 KBJinápovolen
     
     
    6.
    0403746 - UIVT-O 990100 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    Upper Bounds for Gentle Branching Programs.
    Prague: ICS AS CR, 1999. 11 s. Technical Report, V-788.
    Grant CEP: GA ČR GA201/98/0717
    Klíčová slova: branching programs * upper bounds
    Trvalý link: http://hdl.handle.net/11104/0124039
    Název souboruStaženoVelikostKomentářVerzePřístup
    v788-99.pdf12180 KBJinápovolen
     
     
    7.
    0403462 - UIVT-O 200726 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
    Prague: ICS AS CR, 1997. 13 s. Technical Report, V-758.
    Trvalý link: http://hdl.handle.net/11104/0123767
    Název souboruStaženoVelikostKomentářVerzePřístup
    v758-98.pdf12169.6 KBJinápovolen
     
     
    8.
    0403282 - UIVT-O 970131 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
    Prague: ICS AS CR, 1997. 37 s. Technical Report, V-728.
    Grant CEP: GA ČR GA201/95/0976
    Grant ostatní: ALTEC-KIT(XE) IP960195
    Klíčová slova: branching programs * lower bounds
    Trvalý link: http://hdl.handle.net/11104/0123596
    Název souboruStaženoVelikostKomentářVerzePřístup
    v728-97.pdf12339.6 KBJinápovolen
     
     
    9.
    0402844 - UIVT-O 960160 CZ eng V - Výzkumná zpráva
    Savický, Petr - Žák, Stanislav
    A Hierarchy for (1,+k)-branching programs with respect to k.
    Prague: ICS AS CR, 1996. 15 s. Technical Report, V-672.
    Grant CEP: GA ČR GA201/95/0976
    Klíčová slova: branching programs * lower bounds
    Trvalý link: http://hdl.handle.net/11104/0123220
    Název souboruStaženoVelikostKomentářVerzePřístup
    v672-96.pdf12220.5 KBJinápovolen
     
     
    10.
    0402790 - UIVT-O 960096 CZ eng V - Výzkumná zpráva
    Savický, Petr - Žák, Stanislav
    A Large Lower Bound for 1-branching Programs.
    Prague: ICS AS CR, 1996. 6 s. Technical Report, V-669.
    Grant CEP: GA ČR GA201/95/0976
    Klíčová slova: branching programs * lower bounds
    Trvalý link: http://hdl.handle.net/11104/0123172
    Název souboruStaženoVelikostKomentářVerzePřístup
    v669-96.pdf13145.7 KBJinápovolen
     
     

  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