Selected Topics for Studies
Institute of Computer Science AS CR is a public research organization, which, according to its founding charter does not have a doctoral degree program. The Institute focuses on basic research, however, employs PhD students and post-docs in the areas covered by the research institute.
Theoretical Computer Science
- Abstract algebraic logic
- Mathematical fuzzy logic
- Logic and reasoning
- Algorithmic problems in substructural logics
- Modal and substructural logics: reasoning about dynamic behaviour in computational and social context
- Embedding large structures in graphs
- Packing using randomized algorithms
- Complexity measures in neural networks
Nonlinear Modelling
- Satellite data for environmental modeling (diploma thesis)
- Metody redukce dat v environmentálnách systémech
- Weather and air quality modeling and forecasting - Mathematical and statistical methods for data assimilation in complex dynamical systems
- Modern semiparametric methods and their application to modeling and evaluation of meteorological and environmental fields
Medical Informatics and Biostatistics
- Survival analysis of multivariate censored data
- Statistical methods for dimensionality reduction and classification for multivariate data with applications in biomedicine.
Optimization and Systems
- Constraint Solving
- Verification of Complex Systems
Machine Learning
- Analýza možností data-miningu pomocí univalentních neuronových sítí a zobrazení
- Odhady počtu vzorů v PAC modelu pro nekonzistentní metody separace
Fundamental Topics
- Comparisons of abilities of shallow and deep networks
- Boolean nonlinear factor analysis
- Brain computer interface
- Research and comparison of methods of group factor analysis for fMRI data