Publikace

Golub-Kahan Iterative Bidiagonalization and Stopping Criteria in Ill-Posed Problems

HNĚTYNKOVÁ, Iveta, PLEŠINGER, Martin, STRAKOŠ, Zdeněk. Golub-Kahan Iterative Bidiagonalization and Stopping Criteria in Ill-Posed Problems. In: BLAHETA, R., STARÝ, J., eds. <em>Seminar on Numerical Analysis. Modelling and Simulation of Chalenging Engineering Problems. Winter School. High-performance and Parallel Computers, Programming Technologies and Numerical Linear Algebra</em>. Ostrava: ÚGN AV ČR, 2007, S. 43-45. ISBN 978-80-86407-12-8.

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

ITAT 2007. Conference on Theory and Practice of Information Technologies

ŠÍMA, Jiří, ŠTULLER, Július. <em>ITAT 2007. Conference on Theory and Practice of Information Technologies</em>. Poľana, Ústav informatiky AV ČR, v. v. i., 21.09.2007-27.09.2007. Workshop. Dostupné z: http://ics.upjs.sk/itat/

Autoři: Jiří Šíma , Július Štuller

Automatic Differentiation and its Program Realization

HARTMAN, J., LUKŠAN, Ladislav, ZÍTKO, J. <em>Automatic Differentiation and its Program Realization</em>. Prague: ICS AS CR, 2007. Technical Report, V-992.

Autoři: J. Hartman , Ladislav Lukšan , J. Zítko

McNaughton Theorem of Fuzzy Logic from a Data-Mining Point of View

HOLEŇA, Martin. McNaughton Theorem of Fuzzy Logic from a Data-Mining Point of View. <em>Neural Network World. </em> 2007, <b>17</b>(3), 189-212. ISSN 1210-0552.

Autoři: Martin Holeňa

Lékařský knihovník a informační specialista: jeho role a možnosti přípravy. Případová úloha e-learningového kursu Evidence-Based Medicine and Medical Librarian

PAPÍK, R., SOUČEK, M., PAPÍKOVÁ, Vendula. Lékařský knihovník a informační specialista: jeho role a možnosti přípravy. Případová úloha e-learningového kursu Evidence-Based Medicine and Medical Librarian. In: <em>Medsoft 2007</em>. Praha: Agentura Action M, 2007, S. 165-172. ISBN 978-80-86742-00-7.

Autoři: R. Papík , M. Souček , Vendula Papíková

Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions

KRAMOSIL, Ivan. <em>Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions</em>. Prague: ICS AS CR, 2007. Technical Report, V-1008.

Autoři: Ivan Kramosil

Systémy managementu bezpečnosti informací. Komentované vydání. Část 3: Směrnice pro management rizik bezpečnosti informací podle BS 7799-3:2005

ŠEBESTA, Václav, ŠEBESTOVÁ, M., ŠTVERKA, V., STEINER, F., SEDLÁČEK, M. <em>Systémy managementu bezpečnosti informací. Komentované vydání. Část 3: Směrnice pro management rizik bezpečnosti informací podle BS 7799-3:2005</em>. Praha: Český normalizační institut, 2007. ISBN 978-80-7283-239-2.

Autoři: Václav Šebesta , M. Šebestová , V. Štverka , F. Steiner , M. Sedláček

Problematika integrace ontologií

TYL, Pavel. Problematika integrace ontologií. In: HAKL, F., ed. <em>Doktorandské dny '07</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2007, S. 110-115. ISBN 978-80-7378-019-7.

Autoři: Pavel Tyl

Možnosti dynamického rozšíření modelů GAMMA a TDD

BRABEC, Marek. Možnosti dynamického rozšíření modelů GAMMA a TDD. In: <em>Projekty GA AV ČR "Informační společnost"</em>. Praha: Ústav informatiky AV ČR, 2007.

Autoři: Marek Brabec

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