Institute of Information Theory and Automation

You are here

Projects

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...
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...