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

2010

Analysis and Evaluation of Different Methods for Barr Problem Solving

HÚSEK, Dušan, FROLOV, A., POLYAKOV, P.Y. <em>Analysis and Evaluation of Different Methods for Barr Problem Solving</em>. Prague: ICS AS CR, 2010. Technical Report, V-1082.

Autoři: Dušan Húsek , A. Frolov , P.Y. Polyakov

2010

Diagnostické využití molekulární genetiky: indikace, informativita, efektivita

MAZURA, Ivan, ZVÁROVÁ, Jana. Diagnostické využití molekulární genetiky: indikace, informativita, efektivita. In: ZVÁROVÁ, J., PŘEČKOVÁ, P., eds. <em>Health Technology Assessment</em>. Praha: Euromise s.r.o., 2010, S. 39-41. ISBN 978-80-903431-4-6.

Autoři: Ivan Mazura , Jana Zvárová

2010

Learning as an Inverse Problem in Reproducing Kernel Hilbert Spaces

KŮRKOVÁ, Věra. <em>Learning as an Inverse Problem in Reproducing Kernel Hilbert Spaces</em>. Prague: ICS AS CR, 2010. Technical Report, V-1094.

Autoři: Věra Kůrková

2010

Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation

DZETKULIČ, Tomáš. Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '10</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010, S. 19-23. ISBN 978-80-7378-133-0.

Autoři: Tomáš Dzetkulič

2010

Hodnocení kvality zdravotnických webových stránek v projektu MedIEQ

SVÁTEK, Vojtěch. Hodnocení kvality zdravotnických webových stránek v projektu MedIEQ. In: ZVÁROVÁ, J., PŘEČKOVÁ, P., eds. <em>Health Technology Assessment</em>. Praha: Euromise s.r.o., 2010, S. 59-61. ISBN 978-80-903431-4-6.

Autoři: Vojtěch Svátek

2010

Metodika rozpočtu známé spotřeby modelem TDD

KONÁR, Ondřej, BRABEC, Tomáš, BRABEC, Marek, MALÝ, Marek, PELIKÁN, Emil, VONDRÁČEK, Jiří. <em>Metodika rozpočtu známé spotřeby modelem TDD</em>. Prague: ICS AS CR, 2010. Technical Report, V-1128.

Autoři: Ondřej Konár , Tomáš Brabec , Marek Brabec , Marek Malý , Emil Pelikán , Jiří Vondráček

2010

Joint French-Czech Workshop on Krylov Methods for Inverse Problems

DUINTJER TEBBENS, Jurjen, STRAKOŠ, Zdeněk, TICHÝ, Petr, BÍLKOVÁ, Hana. <em>Joint French-Czech Workshop on Krylov Methods for Inverse Problems</em>. Prague, Ústav informatiky AV ČR, v. v. i., 19.07.2010-20.07.2010. Workshop. Dostupné z: http://www.cs.cas.cz/krylov/index.php?file=activities&mitem=4&hitem=2010

Autoři: Jurjen Duintjer Tebbens , Zdeněk Strakoš , Petr Tichý , Hana Bílková

2010

Band preconditioners for the matrix-free truncated Newton method

LUKŠAN, Ladislav, MATONOHA, Ctirad, VLČEK, Jan. <em>Band preconditioners for the matrix-free truncated Newton method</em>. Prague: ICS AS CR, 2010. Technical Report, V-1079.

Autoři: Ladislav Lukšan , Ctirad Matonoha , Jan Vlček

2010

Linear Regression with Arbitrarily Distributed Residuals

FABIÁN, Zdeněk, JIŘINA, Marcel, JIŘINA JR., M. <em>Linear Regression with Arbitrarily Distributed Residuals</em>. Prague: ICS AS CR, 2010. Technical Report, V-1078.

Autoři: Zdeněk Fabián , Marcel Jiřina , M. Jiřina jr.

Load more