Projects

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…

The topic of this project is to develop efficient algorithms for robust image description and for recovering a clear image from its degraded version. By means of moment theory, we demonstrate the…

This project is focused on systematic experimental investigation and theoretical description of nucleation and propagation of martensitic phase transformation via localized inhomogeneities in NiTi…

The aim of our project is to create a software system to support speech therapy for
adults and children with inborn and acquired motor speech disorders. The planned
system focuses on…

Multi-objective stochastic programming problems correspond to economic situations in which economic process is simultaneously influenced by a random environment and a decision parameter selected…

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…

Objective of the project is to contribute to theoretical and algorithmic development of cooperation and negotiation under complexity and uncertainty. The desired theory should be applicable to…

SILENSE is an ECSEL JU standard (RIA) project. The SILENSE project will focus on using smart acoustic technologies and ultrasound in particular for Human Machine- and Machine to Machine Interfaces.…

Productive4.0 is one of the first Lighthouse projects funded under the ECSEL Joint Undertaking. The main aim is to create a user platform across value chains and industries, that especially promotes…

The project focuses on utilization of multifractal framework in finance and financial economics. Specifically, we focus on three main branches of research. First, we examine how occurrence of…

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…

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…