Institute of Information Theory and Automation

You are here

Projects

Dept.: MTR Duration: 2019 - 2021
The aim of the project is to apply the methods of polyhedral geometry to solve mathematical problems with motivation in statistics and artificial intelligence. The goals concern several areas: statistical learning graphical models of conditional independence structure, theory for application of graphical models, supermodular functions, secret sharing schemes, theory of cooperative games and...
Dept.: MTR Duration: 2019 - 2021
The project aims at advancing the mathematical modeling of nonlinear mechanical phenomena described by large strain deformations in three different directions. First, we will investigate effective simplified models for problems in materials science whose energetic formulations simultaneously involve both energy terms defined on the original stress-free configuration and energy contributions...
Dept.: MTR Duration: 2018 - 2020
Our research effort follows the current challenging problems of portfolio analysis and energy finance. In particular, we shall investigate sparse robust portfolio selection problems with non-smooth objectives and analyze the joint effects of sparsity and robustification using real stock exchange data. Also, we shall attempt at modeling the price of emission allowances and provide predictions...
Dept.: MTR Duration: 2018 - 2019
The goal of the project is to establish the research cooperation between the mutually complementary Taiwan and Czech research teams. The research is oriented to the development and verification of a new data mining technique based on probabilistic compositional models, the theory of which was developed by the Czech partner in the last decade. For this purpose, a new semi-supervised web...
Dept.: MTR Duration: 2018 - 2020
Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g. “tall” or “rich”), that is, those that do not establish a clear distinction between objects that satisfy them and those that do not, and hence have blurry boundaries and borderline cases...
Dept.: MTR Duration: 2018 - 2020
This project is focused on systematic experimental investigation and theoretical description of nucleation and propagation of martensitic phase transformation via localized inhomogeneities in NiTi shape memory alloys, so-called transformation bands. The localization phenomenon strongly influences mechanical behaviors of these alloys and plays key role in understanding other material processes as...
Dept.: MTR Duration: 2017 - 2019
In this project we intend to model individual decision making (DM), a cornerstone of microeconomic theory. First, we will participate in a long-standing discussion challenging the transitivity of preferences, a basic axiom of the expected utility theory. We will propose a DM theory with intransitive preferences and then explore its relationship to existing alternatives. In the next part we will...
Dept.: MTR Duration: 2017 - 2019
Classical mathematical logic, built on the conceptually simple core of propositional Boolean calculus, plays a crucial role in modern computer science. A critical limit to its applicability is the underlying bivalent principle that forces all propositions to be either true or false. Propositional logics of graded notions (such as tall, rich, etc.) have been deeply studied for over two decades...
Dept.: MTR Duration: 2017 - 2018
Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory. The achieved results have led to many interesting...
Dept.: MTR Duration: 2017 - 2019
New equilibrium models arising in economy and mechanics will be described by systems of evolutionary generalized equations (EGEs) and thoroughly investigated. Their characteristic feature is the presence of nonsmooth and set-valued mappings. We intend to study various concepts of solutions to systems of such generalized equations and their relevance for particular problems. These EGEs...