Search results
- 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/0239033File Download Size Commentary Version Access v1209-14.pdf 20 155.1 KB Other open-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/0234049File Download Size Commentary Version Access v1208-14.pdf 25 119.9 KB Other open-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/0233374File Download Size Commentary Version Access 2014-014.pdf 0 271.2 KB Other require - 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/0232595File Download Size Commentary Version Access 2014-003.pdf 1 221.5 KB Other require - 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/0220643File Download Size Commentary Version Access v1173-12.pdf 17 143.1 KB Other open-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/0216970File Download Size Commentary Version Access v1171-12.pdf 22 229.2 KB Other open-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/0216969File Download Size Commentary Version Access v1175-12.pdf 22 187.7 KB Other open-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/0216967File Download Size Commentary Version Access v1170-12.pdf 13 670.7 KB Other open-access