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.
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.
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.
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/
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.
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.
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
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
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
A generalization of Erdős' matching conjecture
PELEKIS, C., ROCHA, Israel. <em>A generalization of Erdős' matching conjecture</em>. Cornell University, 2017. arXiv.org e-Print archive, arXiv:1710.04633 [math.CO]. Dostupné z: https://arxiv.org/abs/1710.04633
UFO 2017. Interactive System for Universal Functional Optimization
LUKŠAN, Ladislav, TŮMA, Miroslav, MATONOHA, Ctirad, VLČEK, Jan, RAMEŠOVÁ, Nina, ŠIŠKA, M., HARTMAN, J. <em>UFO 2017. Interactive System for Universal Functional Optimization</em>. Prague: ICS CAS, 2017. Technical Report, V-1252.
The use of sequential quadratic programming for solving reachability problems
KUŘÁTKO, Jan. The use of sequential quadratic programming for solving reachability problems. In: BLAHETA, R., STARÝ, J., eds. <em>SNA´17 - Seminar on Numerical Analysis</em>. <em>Modelling and Simulation of Challenging Engineering Problems</em>. Ostrava: Ústav geoniky AV ČR, 2017, S. 59-61. ISBN 978-80-86407-64-7.