Projects

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…

Optimal processing of distributed knowledge is key agenda in machine learning, signal processing and control, driven by sensor networks for smart environments, autonomous agents and distributed…

Anomaly detection, which aims to identity samples very different from majority, is an important tool of unsupervised data analysis. Currently, most methods for anomaly detection use relatively simple…

The proposal falls into the area of computer image analysis and pattern recognition. It is focused on special type of data - multidimensional vector and tensor fields. Vector fields may describe…

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…

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…

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…

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

Linear and bilinear models arise in many research areas including statistics, signal processing, machine learning, approximation theory, or image analysis. In cases when the problem of interest is…

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…