Publications

Pán tvorstva: robot? Rozhovor

MATYÁŠ, J., WIEDERMANN, Jiří. Pán tvorstva: robot? Rozhovor. <em>Instinkt. </em> 2017, <b>16</b>(50), 46-50. ISSN 1213-774X.

Autoři: J. Matyáš , Jiří Wiedermann

The IINC System under the ROOT Environment

JIŘINA, Marcel. <em>The IINC System under the ROOT Environment</em>. Prague: ICS CAS, 2017. Technical Report, V-1253.

Autoři: Marcel Jiřina

Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript

PORUBSKÝ, Štefan. <em>Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript</em>. Prague: ICS CAS, 2017. Technical Report, V-1251.

Autoři: Štefan Porubský

TACL 2017: Topology, Algebra and Categories in Logic

BÍLKOVÁ, Marta, CINTULA, Petr, HANIKOVÁ, Zuzana, HORČÍK, R., KROUPA, T., LÁVIČKA, Tomáš, MAJER, Ondrej, MORASCHINI, Tommaso, NOGUERA, Carles, PŘENOSIL, Adam, SEDLÁR, Igor, VIDAL, Amanda. <em>TACL 2017: Topology, Algebra and Categories in Logic</em>. Prague, Ústav informatiky AV ČR, v. v. i., 26. 6. 2017 - 30. 6. 2017. Konference. Dostupné z: https://www.cs.cas.cz/tacl2017/

Autoři: Marta Bílková , Petr Cintula , Zuzana Haniková , R. Horčík , T. Kroupa , Tomáš Lávička , Ondrej Majer , Tommaso Moraschini , Carles Noguera , Adam Přenosil , Igor Sedlár , Amanda Vidal

Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization

VLČEK, Jan, LUKŠAN, Ladislav. <em>Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization</em>. Prague: ICS CAS, 2017. Technical Report, V-1244.

Autoři: Jan Vlček , Ladislav Lukšan

Stav předaných dat a úprava rozdělení vybraných měření 2017

NOVÁK, Jakub, JIŘINA JR., M., BENEŠOVÁ, Michaela. <em>Stav předaných dat a úprava rozdělení vybraných měření 2017</em>. Praha: ICS CAS, 2017. Technical Report, V-1249.

Autoři: Jakub Novák , M. Jiřina jr. , Michaela Benešová

Packing degenerate graphs

ALLEN, P., BÖTTCHER, J., HLADKÝ, J., PIGUET, Diana. <em>Packing degenerate graphs</em>. Cornell University, 2017. arXiv.org e-Print archive, arXiv:1711.04869 [math.CO]. Dostupné z: https://arxiv.org/abs/1711.04869

Autoři: P. Allen , J. Böttcher , J. Hladký , Diana Piguet

A lower bound on CNF encodings of the at-most-one constraint

KUČERA, P., SAVICKÝ, Petr, VOREL, V. <em>A lower bound on CNF encodings of the at-most-one constraint</em>. Cornell University, 2017. arXiv.org e-Print archive, arXiv:1704.08934 [cs.CC]. Dostupné z: https://arxiv.org/abs/1704.08934

Autoři: P. Kučera , Petr Savický , V. Vorel

Theory and Practice of Natural Computing

MARTÍN-VIDE, C., NERUDA, Roman, VEGA-RODRÍGUEZ, M. <em>Theory and Practice of Natural Computing</em>. Cham: Springer, 2017. Lecture Notes in Computer Science, Theoretical Computer Science and General Issues, 10687. ISBN 978-3-319-71069-3. ISSN 0302-9743<br>Dostupné z: doi:10.1007/978-3-319-71069-3

Autoři: C. Martín-Vide , Roman Neruda , M. Vega-Rodríguez