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

2005

A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism

SAVICKÝ, Petr, SIELING, D. A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism. <em>Theoretical Computer Science. </em> 2005, <b>340</b>(3), 594-605. ISSN 0304-3975. E-ISSN 1879-2294<br>Dostupné z: doi:10.1016/j.tcs.2005.03.016

Autoři: Petr Savický , D. Sieling

2005

Modeling Unbounded Paralelism using Behavior Protocols

ADÁMEK, Jiří. <em>Modeling Unbounded Paralelism using Behavior Protocols</em>. Prague: Charles University Dept. of SW Engn, 2005. Technical Report, 2005/7.

Autoři: Jiří Adámek

2005

An Explicit Polynomial Size Hitting Set for Restricted 1-Branching Programs Width 3

SAVICKÝ, Petr, ŠÍMA, Jiří, ŽÁK, Stanislav. <em>An Explicit Polynomial Size Hitting Set for Restricted 1-Branching Programs Width 3</em>. Prague: ICS AS CR, 2005. Technical Report, V-953.

Autoři: Petr Savický , Jiří Šíma , Stanislav Žák

2005

Změkčování hran jako úloha strojového učení

DVOŘÁK, Jakub. Změkčování hran jako úloha strojového učení. In: HAKL, F., ed. <em>Doktorandský den '05</em>. Praha: MATFYZPRESS, 2005, s. 34-39. ISBN 80-86732-56-8.

Autoři: Jakub Dvořák

2005

Sdílení informací o zdraví

ZVÁROVÁ, Jana, PŘEČKOVÁ, Petra. <em>Sdílení informací o zdraví</em>. Praha, Ústav informatiky AV ČR, v. v. i., 1. 12. 2005. Konference.

Autoři: Jana Zvárová , Petra Přečková

2005

Genetic Determinants of Folate Status in Central Bohemia

VESELÁ, K., PAVLÍKOVÁ, Markéta, JANOŠÍKOVÁ, B., ANDĚL, M., ZVÁROVÁ, Jana, HYÁNEK, J., KOŽICH, V. Genetic Determinants of Folate Status in Central Bohemia. <em>Physiological Research. </em> 2005, <b>54</b>(3), 295-303. ISSN 0862-8408. E-ISSN 1802-9973<br>Dostupné z: doi:10.33549/physiolres.930602.

Autoři: K. Veselá , Markéta Pavlíková , B. Janošíková , M. Anděl , Jana Zvárová , J. Hyánek , V. Kožich

2005

Konstrukce GLIF modelu a znalostní ontologie

BUCHTELA, David. Konstrukce GLIF modelu a znalostní ontologie. In: HAKL, F., ed. <em>Doktorandský den '05</em>. Praha: MATFYZPRESS, 2005, s. 11-15. ISBN 80-86732-56-8.

Autoři: David Buchtela

2005

Component Composition Errors and Update Atomicity: Static Analysis

ADÁMEK, Jiří, PLÁŠIL, František. Component Composition Errors and Update Atomicity: Static Analysis. <em>Journal of Software Maintenance and Evolution-Research and Practice. </em> 2005, <b>17</b>(-), 363-377. ISSN 1532-060X<br>Dostupné z: doi:10.1002/smr.321

Autoři: Jiří Adámek , František Plášil

2005

Error Estimation in Preconditioned Conjugate Gradients

STRAKOŠ, Zdeněk, TICHÝ, Petr. Error Estimation in Preconditioned Conjugate Gradients. <em>Bit. </em> 2005, <b>45</b>(-), 789-817. ISSN 0006-3835. E-ISSN 1572-9125<br>Dostupné z: doi:10.1007/s10543-005-0032-1

Autoři: Zdeněk Strakoš , Petr Tichý

Load more