Computational Experiments with Linear ABS Algorithms
BODON, E., LUKŠAN, Ladislav, SPEDICATO, E. <em>Computational Experiments with Linear ABS Algorithms</em>. Prague: ICS AS CR, 2000. Technical Report, V-817.
Fuzzy Computations Are More Powerful than Crisp Ones
WIEDERMANN, Jiří. <em>Fuzzy Computations Are More Powerful than Crisp Ones</em>. Prague: ICS AS CR, 2000. Technical Report, V-828.
A Hierarchical Model of Software Connectors
BÁLEK, Dušan, PLÁŠIL, František. <em>A Hierarchical Model of Software Connectors</em>. Prague: Charles University Dept. of SW Engn., 2000. Technical Report, No. 2000/2.
A Read-once Lower Bound and a (1,+k) - Hierarchy for Branching Programs
ŽÁK, Stanislav, SAVICKÝ, Petr. A Read-once Lower Bound and a (1,+k) - Hierarchy for Branching Programs. <em>Theoretical Computer Science. </em> 2000, <b>238</b>(1-2), 347-362. ISSN 0304-3975. E-ISSN 1879-2294<br>Dostupné z: doi:10.1016/S0304-3975(98)00219-9
Reproducibility of Radial Pulse Wave Analysis in Healthy Subjects
FILIPOVSKÝ, J., SVOBODA, V., PECEN, Ladislav. Reproducibility of Radial Pulse Wave Analysis in Healthy Subjects. <em>Journal of Hypertension. </em> 2000, <b>18</b>(8), 1033-1040. ISSN 0263-6352. E-ISSN 1473-5598<br>Dostupné z: doi:10.1097/00004872-200018080-00007
Nové informační technologie pro reprezentaci, sdílení a hodnocení lékařských doporučení
ŘÍHA, Antonín, ZÍKA, Tomáš, ZVÁROVÁ, Jana, ZDRÁHAL, Z. Nové informační technologie pro reprezentaci, sdílení a hodnocení lékařských doporučení. <em>Lékař a technika. Biomedicinské inženýrství a informatika. </em> 2000, <b>31</b>(4), 99-103. ISSN 0301-5491.
SOFSEM'2000: Theory and Practice of Informatics
HLAVÁČ, V., JEFFERY, Keith G., WIEDERMANN, Jiří. <em>SOFSEM'2000: Theory and Practice of Informatics</em>. Berlin: SpringerVerlag, 2000. Lecture Notes in Computer Science, 1963. ISBN 3-540-41348-0. ISSN 0302-9743<br>Dostupné z: doi:10.1007/3-540-44411-4
Residuated Fuzzy Logics with an Involutive Negation
ESTEVA, F., GODO, L., HÁJEK, Petr, NAVARA, M. Residuated Fuzzy Logics with an Involutive Negation. <em>Archive for Mathematical Logic. </em> 2000, <b>39</b>(2), 103-124. ISSN 0933-5846. E-ISSN 1432-0665<br>Dostupné z: doi:10.1007/s001530050006
Stabilized and Block Approximate Inverse Preconditioners for Problems in Solid and Structural Mechanics
BENZI, M., KOUHIA, R., TŮMA, Miroslav. <em>Stabilized and Block Approximate Inverse Preconditioners for Problems in Solid and Structural Mechanics</em>. Prague: ICS AS CR, 2000. Technical Report, V-816.
GuhaManual - version 1.0
COUFAL, David. <em>GuhaManual - version 1.0</em>. Prague: ICS AS CR, 2000. Technical Report, V-810.
Podklady k přípravě koncepce rozvoje dopravní telematiky v hl. městě Praze
HRUBEŠ, P., CHRPA, T., NOVÁK, Mirko, PŘIBYL, P., SVÍTEK, M., VOTRUBA, Z. <em>Podklady k přípravě koncepce rozvoje dopravní telematiky v hl. městě Praze</em>. Prague: LSS FD ČVUT a ÚI AV ČR, 2000. Výzkumná zpráva, LSS 90/2000.
Short-therm Reccurrences for Indefinite Preconditioning of Saddle Point Problems
ROZLOŽNÍK, Miroslav, SIMONCINI, V. <em>Short-therm Reccurrences for Indefinite Preconditioning of Saddle Point Problems</em>. Zurich: SAM ETH, 2000. Technical Report, SAM 2000-08.