Publikace

Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments

OUTLÝ, M., POP, T., BUREŠ, Tomáš. <em>Mode Change in Real-time Component Systems - Suitable Form of Run-Time Variability in Resource Constrained Environments</em>. Prague: Department of Software Engineering, Charles University, 2011. Technical Report, 2011/7.

Autoři: M. Outlý , T. Pop , Tomáš Bureš

Disproving the P-Matrix Property

ROHN, Jiří. <em>Disproving the P-Matrix Property</em>. Prague: ICS AS CR, 2011. Technical Report, V-1111.

Autoři: Jiří Rohn

Verified Solutions of Linear Equations

ROHN, Jiří. <em>Verified Solutions of Linear Equations</em>. Prague: ICS AS CR, 2011. Technical Report, V-1121.

Autoři: Jiří Rohn

A Perturbation Theorem for Linear Equations

ROHN, Jiří. <em>A Perturbation Theorem for Linear Equations</em>. Prague: ICS AS CR, 2011. Technical Report, V-1103.

Autoři: Jiří Rohn

Metodika vyhodnocení přesnosti modelu TDD

KONÁR, Ondřej, BRABEC, Marek, KASANICKÝ, Ivan, MALÝ, Marek, PELIKÁN, Emil, VONDRÁČEK, Jiří. <em>Metodika vyhodnocení přesnosti modelu TDD</em>. Prague: ICS AS CR, 2011. Technical Report, V-1138.

Autoři: Ondřej Konár , Marek Brabec , Ivan Kasanický , Marek Malý , Emil Pelikán , Jiří Vondráček

Some Comparisons of Complexity in Dictionary-Based and Linear Computational Models

GNECCO, G., KŮRKOVÁ, Věra, SANGUINETI, M. Some Comparisons of Complexity in Dictionary-Based and Linear Computational Models. <em>Neural Networks. </em> 2011, <b>24</b>(2), 171-182. ISSN 0893-6080. E-ISSN 1879-2782<br>Dostupné z: doi:10.1016/j.neunet.2010.10.002

Autoři: G. Gnecco , Věra Kůrková , M. Sanguineti

Detekce zvýšených ztrát v distribuční síti zemního plynu

KONÁR, Ondřej. Detekce zvýšených ztrát v distribuční síti zemního plynu. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '11</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011, S. 63-72. ISBN 978-80-7378-170-5.

Autoři: Ondřej Konár

Traditional Measures of Diversity, Their Estimates and Sensitivity to Changes

HORÁČEK, Martin, ZVÁROVÁ, Jana. Traditional Measures of Diversity, Their Estimates and Sensitivity to Changes. In: JARKOVSKÝ, J., ed. <em>Proceedings of the 7th Summer School on Computational Biology. Biodiversity: from Genetics to Geography, from Mathematics to Management</em>. Brno: Akademické nakladatelství CERM, 2011, S. 73-81. ISBN 978-80-7204-756-7.

Autoři: Martin Horáček , Jana Zvárová

Graded dominance and related graded properties of fuzzy connectives

BĚHOUNEK, Libor, BODENHOFER, U., CINTULA, Petr, SAMINGER-PLATZ, S., SARKOCI, P. <em>Graded dominance and related graded properties of fuzzy connectives</em>. Prague: ICS AS CR, 2011. Technical Report, V-1146.

Autoři: Libor Běhounek , U. Bodenhofer , Petr Cintula , S. Saminger-Platz , P. Sarkoci

Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions

PELIKÁN, Emil, JURUŠ, Pavel, MUSÍLEK, P., BRABEC, Marek, KRČ, Pavel, PALUŠ, Milan, VEJMELKA, Martin. <em>Regional scale modelling of CO2 concentrations and impact of anthropogenic emissions</em>. Prague: ICS AS CR, 2011. Technical Report, V-1124.

Autoři: Emil Pelikán , Pavel Juruš , P. Musílek , Marek Brabec , Pavel Krč , Milan Paluš , Martin Vejmelka

Czech and Slovak International Conference on Number Theory /20./

NEMOGA, K., PORUBSKÝ, Štefan, KOSTRA, J., KUČERA, R., MIŠÍK, L., MOČKOŘ, J., TÓTH, J. <em>Czech and Slovak International Conference on Number Theory /20./</em>. Stará Lesná, Ústav informatiky AV ČR, v. v. i., 05.09.2011-09.09.2011. Konference. Dostupné z: http://www.mat.savba.sk/confer/nt20/20thCSINTC.htm

Autoři: K. Nemoga , Štefan Porubský , J. Kostra , R. Kučera , L. Mišík , J. Močkoř , J. Tóth

Notes on Condensed Detachment

CHVALOVSKÝ, Karel. Notes on Condensed Detachment. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '11</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011, S. 35-40. ISBN 978-80-7378-170-5.

Autoři: Karel Chvalovský