Institute of Information Theory and Automation

You are here

Projects

Department: MTR Duration: 2017 - 2019 Grantor: GACR
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.
Department: Duration: 2017 - 2019 Grantor: GACR
Project is devoted to the research of the novel methods of the design of underactuated walking for mechanical walking-like systems using the recently introduced methodology based on the so-called collocated virtual holonomic constraints.
Department: MTR Duration: 2017 - 2019 Grantor: GACR
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.
Department: MTR Duration: 2017 - 2019 Grantor: GACR
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.
Department: MTR Duration: 2017 - 2018 Grantor: AV_IP
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.
Department: AS Duration: 2017 - 2018 Grantor:
Linear and bilinear models arise in many research areas including statistics, signal processing, machine learning, approximation theory, or image analysis.
Department: RO Duration: 2017 - 2019 Grantor: GACR
Surface appearance is one of the most important aspects of commercial products in fields ranging from the car industry and consumer electronics to cosmetics. Manufacturers strive to introduce special visual effects (finishing, coating) in order to visually communicate functional properties of products using a value-added, customized product design.
Department: SI Duration: 2017 - 2019 Grantor: GACR
We want to conduct some meaningful and fruitful econometric research into multiple-output regression quantiles and related concepts of nonparametric statistics.
Department: SI Duration: 2017 - 2019 Grantor: GACR
Department: E Duration: 2017 - 2019 Grantor: GACR
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 financial extreme events translates into multifractal properties of the time series. For this purpose, we utilize the cusp catastrophe theory and the log-periodic power-law model.
Department: MTR Duration: 2016 - 2018 Grantor: GACR
The accurate description of the complex thermomechanical behavior of solids requires the efficient treatment of strongly nonlinearly coupled partial differential equations systems.
Department: SI Duration: 2016 - 2018 Grantor: GACR
Department: ZOI Duration: 2016 - 2018 Grantor:
Moment Invariants are one of the techniques of feature extraction frequently used for shape recognition algorithms. A moment is a projection of function into polynomial basis and Moment Invariant is a moment function retaining invariance to particular class of degradation (e.g. affine transformation, convolution with symmetric kernel, etc.).
Department: MTR Duration: 2016 - 2019 Grantor: FG
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.

Pages