Výsledky vyhledávání

Nalezeno záznamů: 15  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0260895 zv^"
    1.
    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
     
     
    2.
    0435134 - ÚI 2015 CZ eng V - Výzkumná zpráva
    Wiedermann, Jiří
    Fast nondeterministic matrix multiplication via derandomization of Freivalds' algorithm (Revised corrected version).
    Prague: ICS AS CR, 2014. 12 s. Technical Report, V-1209.
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: matrix multiplication * verification of matrix product * nondeterministic algorithms * modular arithmetic * complexity
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0239033
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1209-14.pdf20155.1 KBJinápovolen
     
     
    3.
    0433894 - ÚI 2015 DE eng V - Výzkumná zpráva
    Savický, Petr
    Boolean functions with a vertex-transitive group of automorphisms.
    Trier, 2013. 24 s. Electronic Colloquium on Computational Complexity, TR13-191. ISSN 1433-8092
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: Boolean Functions * hypercube * isometric transformation * vertex-transitive group of automorphisms
    Kód oboru RIV: BA - Obecná matematika
    http://eccc.hpi-web.de/report/2013/191/
    Trvalý link: http://hdl.handle.net/11104/0238058
     
     
    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.
    0427961 - ÚI 2015 NL eng V - Výzkumná zpráva
    van Leeuwen, J. - Wiedermann, Jiří
    Separating the Classes of Recursively Enumerable Languages Based on Machine Size.
    Utrecht: Utrecht University, 2014. 19 s. Technical Report, UU-CS-2014-014. ISSN 0924-3275
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: Turing machines with advice * machine size * complexity hierarchy
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0233374
    Název souboruStaženoVelikostKomentářVerzePřístup
    2014-014.pdf0271.2 KBJinávyžádat
     
     
    6.
    0426979 - ÚI 2015 NL eng V - Výzkumná zpráva
    van Leeuwen, J. - Wiedermann, Jiří
    Turing machines with One-sided Advice and the Acceptance of the co-RE Languages.
    Utrecht: Utrecht University, 2014. 17 s. Technical Report, UU-CS-2014-003. ISSN 0924-3275
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: Turing machines with advice * complexity hierarchy * complements of RE languages
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0232595
    Název souboruStaženoVelikostKomentářVerzePřístup
    2014-003.pdf1221.5 KBJinávyžádat
     
     
    7.
    0391658 - ÚI 2014 CZ eng V - Výzkumná zpráva
    Petrů, L. - Wiedermann, Jiří
    Flying Amorphous Computer: A Robust Model.
    Prague: ICS AS CR, 2012. 14 s. Technical Report, V-1173.
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: amorphous computing * simulation * RAM * robustness * complexity
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0220643
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1173-12.pdf17143.1 KBJinápovolen
     
     
    8.
    0388075 - ÚI 2013 CZ eng V - Výzkumná zpráva
    Žák, Stanislav
    A Lower Bound Method for Branching Programs and Its Application.
    Prague: ICS AS CR, 2012. 19 s. Technical Report, V-1171.
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: branching programs * lower bound techniques
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0216970
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1171-12.pdf22229.2 KBJinápovolen
     
     
    9.
    0387252 - ÚI 2013 CZ eng V - Výzkumná zpráva
    Savický, Petr
    Partitions of the Boolean cube with a vertex-transitive automorphism group.
    Prague: ICS AS CR, 2012. 15 s. Technical Report, V-1175.
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: Boolean function * partition of the Boolean cube * vertex-transitive group of automorphisms
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0216969
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1175-12.pdf22187.7 KBJinápovolen
     
     
    10.
    0387225 - ÚI 2013 CZ eng V - Výzkumná zpráva
    Kessl, Robert
    Methods for parallel mining of frequent itemsets.
    Prague: ICS AS CR, 2012. 35 s. Technical Report, V-1170.
    Grant CEP: GA ČR GAP202/10/1333
    Institucionální podpora: RVO:67985807
    Klíčová slova: data mining * parallel algorithms * frequent itemset mining * approximate counting
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0216967
    Název souboruStaženoVelikostKomentářVerzePřístup
    v1170-12.pdf13670.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