Institute of Information Theory and Automation

You are here


Department: MTR Duration: 2016 - 2019 Grantor: FG
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.
Department: E Duration: 2016 - 2018 Grantor: GACR
The project will develop a new measures of dependence between economic variables, which will allow to study the frequency dependent dznamics of correlations in different quantiles of joint distribution.
Department: AS Duration: 2016 - 2018 Grantor: GACR
Rapid development of information and computer technology as well as availability of multiple, very frequently incompatible, informational sources have caused that decision makers (both humans and devices) are overloaded with information. Their imperfectness (i.e.
Department: AS Duration: 2016 - 2018 Grantor: GACR
Systems of partial differential equations (PDE) and ordinary differential equations (ODE) are studied from the point of view of Dynamical systems methods. Many problems from biology, chemistry, mechanics, control, information transmission, economics and other fields are changing in time and so they can be described by different types of Dynamical systems.
Department: ZS Duration: 2016 - 2019 Grantor: FG
Ground Vehicle Engineering, both as extremely interdisciplinary research discipline and technological domain, receives a profound impact from increased demand on safe, environment-acceptable and user-oriented intelligent technologies.
Department: ZS Duration: 2016 - 2017 Grantor: TACR
The key objective of the project is to describe the process and degree of a person’s (driver’s) adaptation to onboard driver assistance systems, particularly in terms of traffic safety, i.e. what positive, or negative, effects such systems may have on traffic safety. The aim is to address the problem from both the individual (i.e. the driver’s) and the social perspective (i.e.
Department: ZOI Duration: 2016 - 2018 Grantor: GACR
Perfusion analysis is an important experimental technique used for diagnostics and evaluation of therapy response. Analysis based on magnetic resonance (MR) helps in identifying the state and dynamic behaviour of oncological and cardiovascular diseases and enables bettertreatment.
Department: E Duration: 2016 - 2019 Grantor: GACR
This project extensively examines the effect of financial sector development and financial risks on both long-term economic growth as well as short-term economic fluctuations during the current financial crisis.
Department: E Duration: 2016 - 2018 Grantor: GACR
The aim of this project is to model optimal dynamic behaviour of a risk-averse European carbon-emitting steel producer, to design and implement an algorithm solving the corresponding multi-stage optimisation problem and apply the model to a real-life steel company. A linear combination of mean profit and conditional value at risk will serve as a decision criterion; decision variables will includ
Department: MTR Duration: 2016 - 2017 Grantor: MSMT
The accurate description of the complex thermomechanical behavior of solids requires the efficient treatment of strongly nonlinearly coupled partial differential equations systems. These stem from the combination of balance and constitutive equations, which in turn can be often rephrased in a variational setting from the specification of suitable equilibrium and dissipation potentials.
Department: E Duration: 2015 - 2017 Grantor: GACR
The aim of the project is to create a dynamical structural model of a mortgage portfolio consisting of multiple tranches. A default of a loan will be driven by a sum of three factors: an overall one, a tranche specific one and an individual one. Analogously, a loss (given default) of individual mortgages will be driven by a sum of three factors (possibly standing for a collateral value).
Department: ZS Duration: 2015 - 2017 Grantor: GACR
The proposed project deals with the issues of clustering and classification from the viewpoint of Bayesian methodology and using the recursive mixture estimation theory.
Department: SI Duration: 2015 - 2017 Grantor: GACR