An Algorithm for Computing All Solutions of an Absolute Value Equation
ROHN, Jiří. <em>An Algorithm for Computing All Solutions of an Absolute Value Equation</em>. Prague: ICS AS CR, 2010. Technical Report, V-1091.
Zdůvodnění změny počtu tříd TDD v roce 2011
KONÁR, Ondřej, BRABEC, Marek, MALÝ, Marek, PELIKÁN, Emil, VONDRÁČEK, Jiří. <em>Zdůvodnění změny počtu tříd TDD v roce 2011</em>. Prague: ICS AS CR, 2010. Technical Report, V-1131.
Možnost modelování toku skleníkových plynů
JURUŠ, Pavel. Možnost modelování toku skleníkových plynů. In: <em>Modelování toku skleníkových plynů v ekosystémech</em>. Praha: Ústav informatiky AV ČR, v.v.i, 2010.
Primal Interior Point Method for Minimization of Generalized Minimax Functions
LUKŠAN, Ladislav, MATONOHA, Ctirad, VLČEK, Jan. Primal Interior Point Method for Minimization of Generalized Minimax Functions. <em>Kybernetika. </em> 2010, <b>46</b>(4), 697-721. ISSN 0023-5954. Dostupné z: http://dml.cz/handle/10338.dmlcz/140779
Použití klasifikačních a nomenklaturních systémů v Katalogu klinických doporučených postupů
ZVOLSKÝ, Miroslav. Použití klasifikačních a nomenklaturních systémů v Katalogu klinických doporučených postupů. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '10</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010, S. 118-121. ISBN 978-80-7378-133-0.
Assume-Guarantee Verification of Software Components in SOFA 2 Framework
PARÍZEK, P., PLÁŠIL, František. Assume-Guarantee Verification of Software Components in SOFA 2 Framework. <em>IET Software. </em> 2010, <b>4</b>(3), 210-221. ISSN 1751-8806. E-ISSN 1751-8814<br>Dostupné z: doi:10.1049/iet-sen.2009.0016
Uncertainty of Random Variables
FABIÁN, Zdeněk. <em>Uncertainty of Random Variables</em>. Prague: ICS AS CR, 2010. Technical Report, V-1084.
Model of Photosynthesis and Photoinhibition in Microalgae: A Singularly Perturbed Problem
MATONOHA, Ctirad, PAPÁČEK, Š., ŠTYS, D. <em>Model of Photosynthesis and Photoinhibition in Microalgae: A Singularly Perturbed Problem</em>. Prague: ICS AS CR, 2010. Technical Report, V-1114.
Doktorandské dny '10
KUŽELOVÁ, Dana, HAKL, František. <em>Doktorandské dny '10</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010. ISBN 978-80-7378-133-0.
A Note on Generating P-Matrices
ROHN, Jiří. <em>A Note on Generating P-Matrices</em>. Prague: ICS AS CR, 2010. Technical Report, V-1090.
Možnosti aplikace HTA na elektronické zdravotní záznamy v kardiologii
NAGY, Miroslav, SEIDL, Libor. Možnosti aplikace HTA na elektronické zdravotní záznamy v kardiologii. In: ZVÁROVÁ, J., PŘEČKOVÁ, P., eds. <em>Health Technology Assessment</em>. Praha: Euromise s.r.o., 2010, S. 10-12. ISBN 978-80-903431-4-6.
Studie realizovatelnosti neuronové síte daných vlastností pomocí analogových elektrických obvodů
HAKL, František, MRAZÍK, M. <em>Studie realizovatelnosti neuronové síte daných vlastností pomocí analogových elektrických obvodů</em>. Prague: ICS AS CR, 2010. Technical Report, V-1068.