Search results

Records found: 15  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0260895 zv^"
    1.
    0443323 - ÚI 2016 DE eng V - Research Report
    Žák, Stanislav
    Inherent Logic and Complexity.
    Trier, 2015. 12 s. Electronic Colloquium on Computational Complexity, TR15-029. ISSN 1433-8092
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : branching programs * complexity * logic
    Subject RIV: IN - Informatics, Computer Science
    http://eccc.hpi-web.de/report/2015/029/
    Permanent Link: http://hdl.handle.net/11104/0246047
     
     
    2.
    0435134 - ÚI 2015 CZ eng V - Research Report
    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.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : matrix multiplication * verification of matrix product * nondeterministic algorithms * modular arithmetic * complexity
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0239033
    FileDownloadSizeCommentaryVersionAccess
    v1209-14.pdf20155.1 KBOtheropen-access
     
     
    3.
    0433894 - ÚI 2015 DE eng V - Research Report
    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
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : Boolean Functions * hypercube * isometric transformation * vertex-transitive group of automorphisms
    Subject RIV: BA - General Mathematics
    http://eccc.hpi-web.de/report/2013/191/
    Permanent Link: http://hdl.handle.net/11104/0238058
     
     
    4.
    0428781 - ÚI 2015 CZ eng V - Research Report
    Žák, Stanislav
    Inherent Logic and Complexity.
    Prague: ICS AS CR, 2014. 17 s. Technical Report, V-1208.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : branching programs * complexity * logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0234049
    FileDownloadSizeCommentaryVersionAccess
    v1208-14.pdf25119.9 KBOtheropen-access
     
     
    5.
    0427961 - ÚI 2015 NL eng V - Research Report
    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
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : Turing machines with advice * machine size * complexity hierarchy
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0233374
    FileDownloadSizeCommentaryVersionAccess
    2014-014.pdf0271.2 KBOtherrequire
     
     
    6.
    0426979 - ÚI 2015 NL eng V - Research Report
    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
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : Turing machines with advice * complexity hierarchy * complements of RE languages
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0232595
    FileDownloadSizeCommentaryVersionAccess
    2014-003.pdf1221.5 KBOtherrequire
     
     
    7.
    0391658 - ÚI 2014 CZ eng V - Research Report
    Petrů, L. - Wiedermann, Jiří
    Flying Amorphous Computer: A Robust Model.
    Prague: ICS AS CR, 2012. 14 s. Technical Report, V-1173.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : amorphous computing * simulation * RAM * robustness * complexity
    Subject RIV: IN - Informatics, Computer Science
    Permanent Link: http://hdl.handle.net/11104/0220643
    FileDownloadSizeCommentaryVersionAccess
    v1173-12.pdf17143.1 KBOtheropen-access
     
     
    8.
    0388075 - ÚI 2013 CZ eng V - Research Report
    Žák, Stanislav
    A Lower Bound Method for Branching Programs and Its Application.
    Prague: ICS AS CR, 2012. 19 s. Technical Report, V-1171.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : branching programs * lower bound techniques
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0216970
    FileDownloadSizeCommentaryVersionAccess
    v1171-12.pdf22229.2 KBOtheropen-access
     
     
    9.
    0387252 - ÚI 2013 CZ eng V - Research Report
    Savický, Petr
    Partitions of the Boolean cube with a vertex-transitive automorphism group.
    Prague: ICS AS CR, 2012. 15 s. Technical Report, V-1175.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : Boolean function * partition of the Boolean cube * vertex-transitive group of automorphisms
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0216969
    FileDownloadSizeCommentaryVersionAccess
    v1175-12.pdf22187.7 KBOtheropen-access
     
     
    10.
    0387225 - ÚI 2013 CZ eng V - Research Report
    Kessl, Robert
    Methods for parallel mining of frequent itemsets.
    Prague: ICS AS CR, 2012. 35 s. Technical Report, V-1170.
    R&D Projects: GA ČR GAP202/10/1333
    Institutional support: RVO:67985807
    Keywords : data mining * parallel algorithms * frequent itemset mining * approximate counting
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0216967
    FileDownloadSizeCommentaryVersionAccess
    v1170-12.pdf13670.7 KBOtheropen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all