Publications

Supporting Interoperability in CORBA via Object Services

ADAMEC, J., GRÓF, M., KLEINDIENST, Jan, PLÁŠIL, František, TŮMA, P. <em>Supporting Interoperability in CORBA via Object Services</em>. Prague: Charles University, 1995. Technical Report, 114.

Autoři: J. Adamec , M. Gróf , Jan Kleindienst , František Plášil , P. Tůma

Equations of Magnetodynamics of Incompressible Thermo-Bingham's Fluid Under the Gravity Effect

NEDOMA, Jiří. Equations of Magnetodynamics of Incompressible Thermo-Bingham's Fluid Under the Gravity Effect. <em>Journal of Computational and Applied Mathematics. </em> 1995, <b>59</b>(-), 109-128. ISSN 0377-0427. E-ISSN 1879-1778<br>Dostupné z: doi:10.1016/0377-0427(94)00019-W

Autoři: Jiří Nedoma

A Comparison of Some Preconditioning Techniques for General Sparse Matrices

BENZI, M., TŮMA, Miroslav. <em>A Comparison of Some Preconditioning Techniques for General Sparse Matrices</em>. Prague: ICS AS CR, 1995. Technical Report, V-622.

Autoři: M. Benzi , Miroslav Tůma

Úvahy o uplatnění metod komplexní predikční diagnostiky v medicíně

NOVÁK, Mirko, PECEN, Ladislav. <em>Úvahy o uplatnění metod komplexní predikční diagnostiky v medicíně</em>. Praha: ÚIVT AV ČR, 1995. Výzkumná zpráva, V-664.

Autoři: Mirko Novák , Ladislav Pecen

Model of Neurocontrol of Redundant Systems

FROLOV, A. A., ŘÍZEK, Stanislav. Model of Neurocontrol of Redundant Systems. <em>Journal of Computational and Applied Mathematics. </em> 1995, <b>63</b>(1/3), 465-473. ISSN 0377-0427. E-ISSN 1879-1778<br>Dostupné z: doi:10.1016/0377-0427(95)00071-2

Autoři: A. A. Frolov , Stanislav Řízek

Aspekty neurčitosti při řešení provozní spolehlivosti systémů

NOVÁK, Mirko. <em>Aspekty neurčitosti při řešení provozní spolehlivosti systémů</em>. Praha: ÚIVT AV ČR, 1995. Výzkumná zpráva, V-660.

Autoři: Mirko Novák

Complexity of Solving Linear Interval Equations

ROHN, Jiří. <em>Complexity of Solving Linear Interval Equations</em>. Prague: ICS AS CR, 1995. Technical Report, V-636.

Autoři: Jiří Rohn

A Sharp Separation Below Log

ŽÁK, Stanislav. <em>A Sharp Separation Below Log</em>. Prague: ICS AS CR, 1995. Technical Report, V-655.

Autoři: Stanislav Žák

O Gödelově důkazu

HÁJEK, Petr. O Gödelově důkazu. In: BEČVÁŘ, J., FUCHS, E., HRUBÝ, D., TROJÁNEK, A., eds. <em>Filosofické otázky matematiky a fyziky</em>. Brno: JČMF, 1995, s. 5-16.

Autoři: Petr Hájek