Institute of Information Theory and Automation

You are here

Projects

Dept.: MTR Duration: 2016 - 2018
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. The aim...
Dept.: MTR Duration: 2016 - 2019
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....
Dept.: MTR Duration: 2016 - 2017
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. The aim of...
Dept.: MTR Duration: 2015 - 2017
The main aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers as fuzzy quantifiers in the framework of MFL. We will examine previous results on fuzzy quantifiers from this new perspective and extend them in several ways by considering formalisms and results of MFL, including H'ajek's fuzzy probability logic, general two-level...
Dept.: MTR Duration: 2014 - 2016
The proposed project is focused on development of new mathematical models of constitutive behavior of shape memory alloys. These models will be based on results of experimental observations, and will reflect the mutual couplings between individual microstructural processes in these materials. Not only that the development of such models will contribute to better understanding of the...
Dept.: MTR Duration: 2013 - 2015
The application of algebraic and geometric methods is one of the present trends in modern statistics. The aim of the project is to apply the methods of combinatorial optimization to problems with motivation in statistics and artificial intelligence. The goals are divided into three groups: the goals concerning statistical learning Bayesian network structure and conditional independence, the...
Dept.: MTR Duration: 2013 - 2016
Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality and portability, and the power they gain from their rigorous mathematical background. Such a diverse landscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic. The purpose of this project is...
Dept.: MTR Duration: 2013 - 2015
The aim of this project is to develop reliable, theoretically supported, simulation tools for damage processes in quasi-brittle materials at small strains driven by mechanical and transport phenomena. This will be achieved by a critical assessment of the existing continuum models, development and efficient implementation of numerical solvers applicable to non-linear coupled problems, analysis of...
Dept.: MTR Duration: 2013 - 2014
The goal of the project is to continue the longstanding cooperation between Prague and Vienna on the application of game theory in fuzzy logic. The project will focus particularly on the following research issues: a) the relationship between game semantics for fuzzy logic (dialogical/evaluation games) and their relationship to other game-theoretical many-valued semantics (probabilistic semantics...