Publications

Importance and Uselessness of the McNaughton Theorem for Knowledge Extraction from Data

HOLEŇA, Martin. Importance and Uselessness of the McNaughton Theorem for Knowledge Extraction from Data. In: OBDRŽÁLEK, D., ŠTANCLOVÁ, J., PLÁTEK, M., eds. <em>MIS 2007</em>. Praha: Matfyzpress, 2007, S. 22-35. ISBN 978-80-7378-033-3.

Autoři: Martin Holeňa

Lessons Learned from the ECML/PKDD Discovery Challenge on the Atherosclerosis Risk Factors Data

BERKA, Petr, RAUCH, Jan, TOMEČKOVÁ, Marie. Lessons Learned from the ECML/PKDD Discovery Challenge on the Atherosclerosis Risk Factors Data. <em>Computing and Informatics. </em> 2007, <b>26</b>(3), 329-344. ISSN 1335-9150. E-ISSN 1335-9150. Dostupné z: http://www.cai.sk/ojs/index.php/cai/article/view/313

Autoři: Petr Berka , Jan Rauch , Marie Tomečková

Guaranteed Termination in the Verification of LTL Properties of Non-Linear Robust Discrete Time Hybrid Systems

DAMM, W., PINTO, G., RATSCHAN, Stefan. Guaranteed Termination in the Verification of LTL Properties of Non-Linear Robust Discrete Time Hybrid Systems. <em>International Journal of Foundations of Computer Science. </em> 2007, <b>18</b>(1), 63-86. ISSN 0129-0541. E-ISSN 1793-6373<br>Dostupné z: doi:10.1142/S0129054107004577

Autoři: W. Damm , G. Pinto , Stefan Ratschan

Systém MEDARD a (statistický) post-processing

PELIKÁN, Emil. Systém MEDARD a (statistický) post-processing. In: <em>Projekty GA AV ČR "Informační společnost"</em>. Praha: Ústav informatiky AV ČR, 2007.

Autoři: Emil Pelikán

Evaluation of a Commercial IgE ELISA in Comparison with IgA and IgM ELISAs, IgG Avidity Assay and Complement Fixation for the Diagnosis of Acute Toxoplasmosis

KODYM, P., MACHALA, L., ROHÁČOVÁ, H., ŠIROCKÁ, B., MALÝ, Marek. Evaluation of a Commercial IgE ELISA in Comparison with IgA and IgM ELISAs, IgG Avidity Assay and Complement Fixation for the Diagnosis of Acute Toxoplasmosis. <em>Clinical Microbiology and Infection. </em> 2007, <b>13</b>(1), 40-47. ISSN 1198-743X. E-ISSN 1469-0691<br>Dostupné z: doi:10.1111/j.1469-0691.2006.01564.x

Autoři: P. Kodym , L. Machala , H. Roháčová , B. Širocká , Marek Malý

Lanczos Tridiagonalization and Core Problems

HNĚTYNKOVÁ, Iveta, STRAKOŠ, Zdeněk. Lanczos Tridiagonalization and Core Problems. <em>Linear Algebra and Its Applications. </em> 2007, <b>421</b>(2-3), 243-251. ISSN 0024-3795. E-ISSN 1873-1856<br>Dostupné z: doi:10.1016/j.laa.2006.05.006

Autoři: Iveta Hnětynková , Zdeněk Strakoš

Environmental Monitoring of Occupational Exposure to N,N-dimethylformamide: Comparison between Active and Diffusive Sampling

BAGLIONI, S., CASSINELLI, C., BONGINI, G., CENNI, I., GRAZIANI, N., LANDINI, M., TANTURLI, G., BRABEC, Marek, BAVAZZANO, P. Environmental Monitoring of Occupational Exposure to N,N-dimethylformamide: Comparison between Active and Diffusive Sampling. <em>International Archives of Occupational and Environmental Health. </em> 2007, <b>80</b>(3), 228-233. ISSN 0340-0131. E-ISSN 1432-1246<br>Dostupné z: doi:10.1007/s00420-006-0122-7

Autoři: S. Baglioni , C. Cassinelli , G. Bongini , I. Cenni , N. Graziani , M. Landini , G. Tanturli , Marek Brabec , P. Bavazzano

Mortarové konečné prvky a jejich aplikace na kontaktní úlohy

HLAVÁČEK, Ivan. <em>Mortarové konečné prvky a jejich aplikace na kontaktní úlohy</em>. Prague: ICS AS CR, 2007. Technical Report, V-993.

Autoři: Ivan Hlaváček

Utilization of the Data Assimilation Infrastructure for Coupled Environmental Forecasts

JURUŠ, Pavel. Utilization of the Data Assimilation Infrastructure for Coupled Environmental Forecasts. In: HAKL, F., ed. <em>Doktorandské dny '07</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2007, S. 19-24. ISBN 978-80-7378-019-7.

Autoři: Pavel Juruš