Publications

Residuated Logics based on Strict Triangular Norms with an Involutive Negation

CINTULA, Petr, KLEMENT, E.P., MESIAR, R., NAVARA, M. Residuated Logics based on Strict Triangular Norms with an Involutive Negation. <em>Mathematical Logic Quarterly. </em> 2006, <b>52</b>(3), 269-282. ISSN 0942-5616. E-ISSN 1521-3870<br>Dostupné z: doi:10.1002/malq.200510032

Autoři: Petr Cintula , E.P. Klement , R. Mesiar , M. Navara

Hybrid Methods of Computational Intelligence and Software Agents

NERUDA, Roman. Hybrid Methods of Computational Intelligence and Software Agents. In: ŠTULLER, J., LINKOVÁ, Z., eds. <em>Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu</em>. Praha: Ústav informatiky AV ČR, 2006, s. 78-90. ISBN 80-903298-7-X.

Autoři: Roman Neruda

Poloprovozní testování a úprava matematicko-statistického modelu pro práci s typovými diagramy (TDD) spotřeby zemního plynu pro Slovenskou republiku

PELIKÁN, Emil, BRABEC, Marek, VONDRÁČEK, Jiří, KONÁR, Ondřej, ŠIMŮNEK, Milan, MALÝ, Marek, BRABEC, Tomáš, HRUBEŠ, P. <em>Poloprovozní testování a úprava matematicko-statistického modelu pro práci s typovými diagramy (TDD) spotřeby zemního plynu pro Slovenskou republiku</em>. Slovenský plynárenský priemysel, 2006 TDD SR.

Autoři: Emil Pelikán , Marek Brabec , Jiří Vondráček , Ondřej Konár , Milan Šimůnek , Marek Malý , Tomáš Brabec , P. Hrubeš

Some Principles of the Development of a Clinical Database/National Register of Selected Inflammatory Rheumatic Diseases in the Czech Republic

DOSTÁL, C., PAVELKA, K., ZVÁROVÁ, Jana, HANZLÍČEK, Petr, OLEJÁROVÁ, M. Some Principles of the Development of a Clinical Database/National Register of Selected Inflammatory Rheumatic Diseases in the Czech Republic. <em>International Journal of Medical Informatics. </em> 2006, <b>75</b>(3-4), 216-223. ISSN 1386-5056. E-ISSN 1872-8243<br>Dostupné z: doi:10.1016/j.ijmedinf.2005.07.043

Autoři: C. Dostál , K. Pavelka , Jana Zvárová , Petr Hanzlíček , M. Olejárová

Addressing Static Execution Overhead in Connectors with Disabled Optional Features

BULEJ, Lubomír, BUREŠ, Tomáš. <em>Addressing Static Execution Overhead in Connectors with Disabled Optional Features</em>. Prague: Department of Software Engineering, Charles University, 2006. Technical Report, 2006/6.

Autoři: Lubomír Bulej , Tomáš Bureš

A Lower Bound Technique for Restricted Branching Programs (version F)

ŽÁK, Stanislav. <em>A Lower Bound Technique for Restricted Branching Programs (version F)</em>. Prague: ICS AS CR, 2006. Technical Report, V-979.

Autoři: Stanislav Žák

The Logic of Soft Computing

GOTTWALD, S. - HÁJEK, Petr., OJEDA-ACIEGO, M. <em>The Logic of Soft Computing</em>. Malaga: Universidad de Malaga, 2006.

Autoři: S. Gottwald

On Product Logic with Truth-Constants

SAVICKÝ, Petr, CIGNOLI, R., ESTEVA, F., GODO, L., NOGUERA, C. On Product Logic with Truth-Constants. <em>Journal of Logic and Computation. </em> 2006, <b>16</b>(2), 205-225. ISSN 0955-792X. E-ISSN 1465-363X<br>Dostupné z: doi:10.1093/logcom/exi075

Autoři: Petr Savický , R. Cignoli , F. Esteva , L. Godo , C. Noguera

Modifikovaná Raova vzdálenost

FABIÁN, Zdeněk. Modifikovaná Raova vzdálenost. In: ANTOCH, J., DOHNAL, G., eds. <em>Sborník ROBUST 2006</em>. Praha: JČMF, 2006, S. 67-74. ISBN 80-7015-073-4.

Autoři: Zdeněk Fabián