Homepage
  • english
  • česky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

  • Publications
  • Institute
    • About us
    • Organigram
    • Management
    • Advisory Board
    • Annual reports and budgets
    • Information by 106/1999 Coll.
    • Whistleblowing
    • Exhibition of comp. technology
    • Privacy Policy
  • Research
    • Projects
    • Research subject
    • Awards
    • Best Publication Competition
    • Popularization
  • News
  • Applications
    • Transfer department
    • Applied Informatics
    • Competencies
    • References
  • Events
  • Library
    • About Library
    • Scientific Sources
    • Publications
    • Petr Hájek Library
  • Jobs
    • Job Offers
    • Topics for PhD studies
    • Radius Internships
  • Contacts
  • Departments
  • People
Homepage

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

english česky
  • Publications
  • Institute
    • About us
    • Organigram
    • Management
    • Advisory Board
    • Annual reports and budgets
    • Information by 106/1999 Coll.
    • Whistleblowing
    • Exhibition of comp. technology
    • Privacy Policy
  • Research
    • Projects
    • Research subject
    • Awards
    • Best Publication Competition
    • Popularization
  • News
  • Applications
    • Transfer department
    • Applied Informatics
    • Competencies
    • References
  • Events
  • Library
    • About Library
    • Scientific Sources
    • Publications
    • Petr Hájek Library
  • Jobs
    • Job Offers
    • Topics for PhD studies
    • Radius Internships
  • Contacts
  • Departments
  • People
  1. Home /
  2. Publications

Publications

2000

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

Autoři: Stanislav Žák , Petr Savický

2000

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

Autoři: J. Filipovský , V. Svoboda , Ladislav Pecen

2000

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.

Autoři: Antonín Říha , Tomáš Zíka , Jana Zvárová , Z. Zdráhal

2000

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

Autoři: V. Hlaváč , Keith G. Jeffery , Jiří Wiedermann

2000

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

Autoři: F. Esteva , L. Godo , Petr Hájek , M. Navara

2000

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.

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

2000

GuhaManual - version 1.0

COUFAL, David. <em>GuhaManual - version 1.0</em>. Prague: ICS AS CR, 2000. Technical Report, V-810.

Autoři: David Coufal

2000

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.

Autoři: P. Hrubeš , T. Chrpa , Mirko Novák , P. Přibyl , M. Svítek , Z. Votruba

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.

Autoři: Miroslav Rozložník , V. Simoncini

Load more