Výsledky vyhledávání
- 1.0559512 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Gryaznov, Svyatoslav - Pudlák, Pavel - Talebanfard, Navid
Linear branching programs and directional affine extractors.
37th Computational Complexity Conference (CCC 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Lovett, S.), s. 1-16, č. článku 4. Leibniz International Proceedings in Informatics, 234. ISBN 978-3-95977-241-9. ISSN 1868-8969.
[37th Computational Complexity Conference (CCC 2022). Philadelphia (US), 20.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: Boolean functions * average-case lower bounds * affine dispersers * affine extractors
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.CCC.2022.4
Trvalý link: https://hdl.handle.net/11104/0332788Název souboru Staženo Velikost Komentář Verze Přístup Gryaznov.pdf 2 696.6 KB Vydavatelský postprint povolen - 2.0543608 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
On the complexity of the clone membership problem.
Theory of Computing Systems. Roč. 65, č. 5 (2021), s. 839-868. ISSN 1432-4350. E-ISSN 1433-0490
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: clone membership * Boolean functions * polynomial hierarchy * threshold functions
Obor OECD: Pure mathematics
Impakt faktor: 0.616, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00224-020-10016-7
Trvalý link: http://hdl.handle.net/11104/0320795Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 940.8 KB Vydavatelský postprint vyžádat - 3.0440854 - ÚI 2015 US eng V - Výzkumná zpráva
Čepek, O. - Kučera, P. - Savický, Petr
Boolean Functions with a Simple Certificate for CNF Complexity..
Piscataway: Rutgers Center for Operations Research, 2010. 30 s. Technical Report, RRR 2-2010.
Grant CEP: GA MŠMT(CZ) 1M0545
Grant ostatní: GA ČR GP201/07/P168; GA ČR GA201/07/0205
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Boolean functions * CNF representations
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0243946Název souboru Staženo Velikost Komentář Verze Přístup 02_2010.pdf 0 873 KB Jiná povolen - 4.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 - 5.0432428 - ÚI 2015 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kůrková, Věra
Representations of Boolean Functions by Perceptron Networks.
ITAT 2014. Information Technologies - Applications and Theory. Part II. Prague: Institute of Computer Science AS CR, 2014 - (Kůrková, V.; Bajer, L.; Peška, L.; Vojtáš, R.; Holeňa, M.; Nehéz, M.), s. 68-70. ISBN 978-80-87136-19-5.
[ITAT 2014. European Conference on Information Technologies - Applications and Theory /14./. Demänovská dolina (SK), 25.09.2014-29.09.2014]
Grant CEP: GA MŠMT(CZ) LD13002
Institucionální podpora: RVO:67985807
Klíčová slova: perceptron networks * model complexity * Boolean functions
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0236782Název souboru Staženo Velikost Komentář Verze Přístup 0432428.pdf 3 58 KB Vydavatelský postprint povolen - 6.0411437 - UTIA-B 20050167 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Vomlel, Jiří
Decomposition of probability tables representing Boolean functions.
[Rozklad pravděpodobnostních tabulek representujících boolovské funkce.]
Praha: Oeconomica, 2005. ISBN 80-245-0915-6. In: Proceedings of the 8th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty. - (Kroupa, T.; Vejnarová, J.), s. 159-166
[Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty /8./. Třešť (CZ), 18.09.2005-21.09.2005]
Grant CEP: GA ČR GA201/04/0393; GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: conditional probability * Boolean functions * tensor rank-one decomposition
Kód oboru RIV: BD - Teorie informace
Trvalý link: http://hdl.handle.net/11104/0131518 - 7.0404881 - UIVT-O 220777 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr
On Random Orderings of Variables for Parity OBDDs.
Electronic Colloquium on Computational Complexity, TR98-068. Trier, 1998
Grant CEP: GA ČR GA201/98/0717; GA MŠMT OK 304
Klíčová slova: representation of Boolean functions * OBDD * random ordering of variables
Kód oboru RIV: BA - Obecná matematika
http://www.eccc.uni-trier.de/report/1998/068
Trvalý link: http://hdl.handle.net/11104/0125107 - 8.0404244 - UIVT-O 20010071 RIV US eng J - Článek v odborném periodiku
Savický, Petr
On Random Orderings of Variables for Parity Ordered Binary Decision Diagrams.
Random Structures and Algorithms. Roč. 16, č. 3 (2000), s. 233-239. ISSN 1042-9832. E-ISSN 1098-2418
Grant CEP: GA ČR GA201/98/0717; GA MŠMT OK 304
Grant ostatní: ALTEC-KIT(XE) INCO-COOP 96-0195
Výzkumný záměr: AV0Z1030915
Klíčová slova: representation of Boolean functions * OBDD * variable ordering
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.568, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0124508 - 9.0403891 - UIVT-O 20020141 RIV CH eng J - Článek v odborném periodiku
Jukna, S. - Razborov, A. - Savický, Petr - Wegener, I.
On P versus NP \cap co-NP for Decision Trees and Read-Once Branching Programs.
Computational Complexity. Roč. 8, č. 4 (1999), s. 357-370. ISSN 1016-3328. E-ISSN 1420-8954
Grant CEP: GA ČR GA201/95/0976
Výzkumný záměr: AV0Z1030915
Klíčová slova: computational complexity * Boolean functions * decision trees * branching programs * P versus NP intersection co-NP
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.161, rok: 1999
Trvalý link: http://hdl.handle.net/11104/0124178 - 10.0403395 - UIVT-O 20000006 RIV NL eng J - Článek v odborném periodiku
Žák, Stanislav - Savický, Petr
A Read-once Lower Bound and a (1,+k) - Hierarchy for Branching Programs.
Theoretical Computer Science. Roč. 238, č. 1-2 (2000), s. 347-362. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GA201/98/0717
Grant ostatní: MŠMT ČR(CZ) OK 304
Výzkumný záměr: AV0Z1030915
Klíčová slova: Boolean functions * branching programs * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.417, rok: 2000
Trvalý link: http://hdl.handle.net/11104/0123705