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

UFO 2010 Interactive System for Universal Functional Optimization

LUKŠAN, Ladislav, TŮMA, Miroslav, VLČEK, Jan, RAMEŠOVÁ, Nina, ŠIŠKA, M., HARTMAN, J., MATONOHA, Ctirad. <em>UFO 2010 Interactive System for Universal Functional Optimization</em>. Prague: ICS AS CR, 2010. Technical Report, V-1083.

Autoři: Ladislav Lukšan , Miroslav Tůma , Jan Vlček , Nina Ramešová , M. Šiška , J. Hartman , Ctirad Matonoha

2010

Non-Equivalence of Some Implicational Deduction Theorems

CHVALOVSKÝ, Karel. Non-Equivalence of Some Implicational Deduction Theorems. In: KUŽELOVÁ, D., HAKL, F., eds. <em>Doktorandské dny '10</em>. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010, S. 49-55. ISBN 978-80-7378-133-0.

Autoři: Karel Chvalovský

2010

Hybrid dynamical systems: verification and error trajectory search

RATSCHAN, Stefan. Hybrid dynamical systems: verification and error trajectory search. In: <em>Seminar on Numerical Analysis. Modelling and Simulation of Challenging Engineering Problems</em>. Prague: Institute of Computer Science AS CR, 2010, S. 125-126. ISBN 978-80-87136-07-2.

Autoři: Stefan Ratschan

2010

Projekt GAMMA - Přehled činností za období červenec - září 2010

KONÁR, Ondřej, BRABEC, Marek, MALÝ, Marek, PELIKÁN, Emil, VONDRÁČEK, Jiří. <em>Projekt GAMMA - Přehled činností za období červenec - září 2010</em>. Prague: ICS AS CR, 2010. Technical Report, V-1134.

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

2010

Small Sample Robust Testing for Normality against Pareto Tails

STEHLÍK, M., FABIÁN, Zdeněk, STŘELEC, L. <em>Small Sample Robust Testing for Normality against Pareto Tails</em>. Linz: Johannes Kepler University, 2010. IFAS Research Paper Series, 2010-51. Dostupné z: http://ifas.jku.at/research-paper-series/IFAS-2010-51.pdf

Autoři: M. Stehlík , Zdeněk Fabián , L. Střelec

2010

The Trend of BMI Values by Centiles of US Adults, Birth Cohorts 1882-1986

KOMLOS, J., BRABEC, Marek. <em>The Trend of BMI Values by Centiles of US Adults, Birth Cohorts 1882-1986</em>. Munich: Institute for Economic Research, 2010. CESifo Working Paper, 3132. Dostupné z: www.cesifo-group.de/DocCIDL/cesifo1_wp3132.pdf

Autoři: J. Komlos , Marek Brabec

2010

Sparse Test Problems for Unconstrained Optimization

LUKŠAN, Ladislav, MATONOHA, Ctirad, VLČEK, Jan. <em>Sparse Test Problems for Unconstrained Optimization</em>. Prague: ICS AS CR, 2010. Technical Report, V-1064.

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

2010

On-line System MEDARD for Weather and Air Quality Modelling And Forecasting

EBEN, Kryštof, RESLER, Jaroslav, JURUŠ, Pavel, MÁJ, Petr, PELIKÁN, Emil. <em>On-line System MEDARD for Weather and Air Quality Modelling And Forecasting</em>. Ústav informatiky AV ČR v. v. i., Pod Vodárenskou věží 2, 182 07 Praha 8, 2010. Funkční vzorek MEDARD on-line.

Autoři: Kryštof Eben , Jaroslav Resler , Pavel Juruš , Petr Máj , Emil Pelikán

2010

The 18th International Conference on Artificial Neural Networks, ICANN 2008

KŮRKOVÁ, Věra, NERUDA, Roman, KOUTNÍK, J. <em>The 18th International Conference on Artificial Neural Networks, ICANN 2008</em>. <em>Neural Networks</em>. Elsevier. Roč. 23, č. 4 (2010), s. 465-582. ISSN 0893-6080. E-ISSN 1879-2782<br>Dostupné z: doi:10.1016/j.neunet.2010.03.001.

Autoři: Věra Kůrková , Roman Neruda , J. Koutník

Load more