Publikace

The Logic Summer School 2004

LINKOVÁ, Zdeňka. <em>The Logic Summer School 2004</em>. Prague: ICS AS CR, 2005. Technical Report, V-925.

Autoři: Zdeňka Linková

Specification and Generation of Environment for Model Checking of Software Compnents

PAŘÍZEK, P., PLÁŠIL, František. <em>Specification and Generation of Environment for Model Checking of Software Compnents</em>. Prague: Charles University Dept. of SW Engn, 2005. Technical Report, 2005/5.

Autoři: P. Pařízek , František Plášil

Interoperable Electronic Health Records in Continuous Shared Health Care

HANZLÍČEK, Petr, ĎUROVEC, Ján, NAGY, Miroslav, ZVÁROVÁ, Jana, ŠPIDLEN, Josef. Interoperable Electronic Health Records in Continuous Shared Health Care. In: ZVÁROVÁ, J., PŘEČKOVÁ, P., eds. <em>Sdílení informací o zdraví</em>. Praha: EuroMISE, 2005, s. 29-38. ISBN 80-903431-2-0.

Autoři: Petr Hanzlíček , Ján Ďurovec , Miroslav Nagy , Jana Zvárová , Josef Špidlen

Zamyšlení nad významem slov, nad úlohou vedoucích vědeckých osobností a nad podmínkami k práci

STRAKOŠ, Zdeněk. Zamyšlení nad významem slov, nad úlohou vedoucích vědeckých osobností a nad podmínkami k práci. <em>Akademický bulletin AV ČR. </em> 2005, č. 3, 23-25. ISSN 1210-9525.

Autoři: Zdeněk Strakoš

Building Ontologies for GIS

LINKOVÁ, Zdeňka, NEDBAL, Radim, ŘIMNÁČ, Martin. <em>Building Ontologies for GIS</em>. Prague: ICS AS CR, 2005. Technical Report, V-932.

Autoři: Zdeňka Linková , Radim Nedbal , Martin Řimnáč

Numerické optimalizační metody

LUKŠAN, Ladislav. <em>Numerické optimalizační metody</em>. Prague: ICS AS CR, 2005. Technical Report, V-930.

Autoři: Ladislav Lukšan

Česko-slovinská spolupráce v rámci projektu KONTAKT č.14-2003-04: "Kvantitativní hodnocení interakcí v kardiovaskulárním systému"

PALUŠ, Milan, STEFANOVSKA, A. Česko-slovinská spolupráce v rámci projektu KONTAKT č.14-2003-04: "Kvantitativní hodnocení interakcí v kardiovaskulárním systému". <em>Inovační podnikání & Transfer technologií. </em> 2005, <b>1</b>(-), 6 příloha. ISSN 1210-4612.

Autoři: Milan Paluš , A. Stefanovska

Statistiky web serveru MEDARD-ONLINE rok 2004

JURUŠ, Pavel, MÁJ, Petr. <em>Statistiky web serveru MEDARD-ONLINE rok 2004</em>. Prague: ICS AS CR, 2005. Technical Report, V-928.

Autoři: Pavel Juruš , Petr Máj

Relational Data Model with Preferences

NEDBAL, Radim. Relational Data Model with Preferences. In: HAKL, F., ed. <em>Doktorandský den '05</em>. Praha: MATFYZPRESS, 2005, s. 94-101. ISBN 80-86732-56-8.

Autoři: Radim Nedbal

An Ensemble Kalman Filter for Short-Term Forecasting of Tropospheric Ozone Concentrations

EBEN, Kryštof, JURUŠ, Pavel, RESLER, Jaroslav, BELDA, Michal, PELIKÁN, Emil, KRÜGER, B.C., KEDER, J. An Ensemble Kalman Filter for Short-Term Forecasting of Tropospheric Ozone Concentrations. <em>Quarterly Journal of the Royal Meteorological Society. </em> 2005, <b>131</b>(613), 3313-3322. ISSN 0035-9009. E-ISSN 1477-870X<br>Dostupné z: doi:10.1256/qj.05.110

Autoři: Kryštof Eben , Pavel Juruš , Jaroslav Resler , Michal Belda , Emil Pelikán , B.C. Krüger , J. Keder

Transfer of Genomics Information to Flow Cytometry: Expression of CD27 and CD44 Discriminates Subtypes of Acute Lymphoblastic Leukemia

VÁŠKOVÁ, M., MEJSTŘÍKOVÁ, E., KALINA, T., MARTINKOVÁ, Patrícia, OMELKA, M., TRKA, J., STARÝ, J., HRUŠÁK, O. Transfer of Genomics Information to Flow Cytometry: Expression of CD27 and CD44 Discriminates Subtypes of Acute Lymphoblastic Leukemia. <em>Leukemia. </em> 2005, <b>19</b>(5), 876-878. ISSN 0887-6924. E-ISSN 1476-5551<br>Dostupné z: doi:10.1038/sj.leu.2403706

Autoři: M. Vášková , E. Mejstříková , T. Kalina , Patrícia Martinková , M. Omelka , J. Trka , J. Starý , O. Hrušák

Building Ontologies for GIS - Part 2

LINKOVÁ, Zdeňka, NEDBAL, Radim. <em>Building Ontologies for GIS - Part 2</em>. Prague: ICS AS CR, 2005. Technical Report, V-938.

Autoři: Zdeňka Linková , Radim Nedbal