Výsledky vyhledávání
- 1.0453141 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
Hrubeš, Pavel - Wigderson, A.
Non-commutative arithmetic circuits with division.
Theory of Computing. Roč. 11, Article 14 (2015), s. 357-393. ISSN 1557-2862. E-ISSN 1557-2862
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: arithmetic circuits * non-commutative rational function * skew field
Kód oboru RIV: BA - Obecná matematika
http://theoryofcomputing.org/articles/v011a014/
Trvalý link: http://hdl.handle.net/11104/0254022Název souboru Staženo Velikost Komentář Verze Přístup Hrubes2.pdf 4 393.5 KB Vydavatelský postprint povolen - 2.0443869 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
Hrubeš, Pavel - Tzameret, I.
Short proofs for the determinant identities.
Siam Journal on Computing. Roč. 44, č. 2 (2015), s. 340-383. ISSN 0097-5397. E-ISSN 1095-7111
GRANT EU: European Commission(XE) 339691 - FEALORA
Program: FP7
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * arithmetic circuits
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.841, rok: 2015
http://epubs.siam.org/doi/abs/10.1137/130917788
Trvalý link: http://hdl.handle.net/11104/0246543Název souboru Staženo Velikost Komentář Verze Přístup Hrubes.pdf 10 430.7 KB Vydavatelský postprint vyžádat - 3.0399130 - ÚTIA 2014 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Vomlel, Jiří - Tichavský, Petr
Probabilistic Inference in BN2T Models by Weighted Model Counting.
Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence. Amsterdam: IOS Press, 2013 - (Jaeger, M.; Nielsen, T.; Viappiani, P.), s. 275-284. Frontiers in Artificial Intelligence and Applications. ISBN 978-1-61499-329-2.
[The Scandinavian Conference on Artificial Intelligence (SCAI 2013) /12./. Aalborg (DK), 20.11.2013-22.11.2013]
Grant CEP: GA ČR GA13-20012S; GA ČR GA102/09/1278
Institucionální podpora: RVO:67985556
Klíčová slova: Bayesian networks * Models of Independence of causal influence * Noisy threshold models * Probabilistic inference * Weighted model counting * Arithmetic circuits
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
http://library.utia.cas.cz/separaty/2013/MTR/vomlel-0399130.pdf
Trvalý link: http://hdl.handle.net/11104/0228479 - 4.0352500 - MÚ 2011 RIV CH eng J - Článek v odborném periodiku
Hansen, A. K. - Koucký, Michal
A New Characterization of ACC(0) and Probabilistic CC0.
Computational Complexity. Roč. 19, č. 2 (2010), s. 211-234. ISSN 1016-3328. E-ISSN 1420-8954.
[24th Annual IEEE Conference on Computational Complexity. Paris, 15.07.2009-18.07.2009]
Grant CEP: GA ČR GAP202/10/0854; GA MŠMT(CZ) 1M0545; GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: bounded depth circuits * counting circuits * arithmetic circuits * complexity classes
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.450, rok: 2010
http://link.springer.com/article/10.1007%2Fs00037-010-0287-z
Trvalý link: http://hdl.handle.net/11104/0191994Název souboru Staženo Velikost Komentář Verze Přístup Koucky3.pdf 1 539.5 KB Vydavatelský postprint vyžádat