Research grants

Finished grants

Turbulent-resolving urban modeling of air quality and thermal comfort (TURBAN)

KAPPA - TACR (2021 - 2024)

The main aims of the international project are to: considerably improve spatial resolution and quality of the urban atmospheric environment assessment on the basis of state-of-the-art modeling, observation and data analysis technologies; improve and validate advanced modelling tools with focus on modelling of the turbulent flow in complex urban environment.

Data Visualization Under Uncertainity

(2022 - 2024)

The topic of the proposal lies in computational geometry which is a branch of theoretical computer science.

MOSAIC Modalities in Substructural Logics: Theory, Methods and Applications

MSCA-RISE - EU (2021 - 2024)

Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic. Our aim is also to explore the applications of substructural modal logics outside the bounds of mathematical logic.

Predicting functional outcome in schizophrenia from multimodal neuroimaging and clinical data

Program na podporu zdravotnického aplikovaného výzkumu na léta 2020 - 2026 - MZ (2021 - 2024)

Schizophrenia is a chronic, severe and profoundly disabling disorder. For every 100 individuals with schizophrenia, only 1 or 2 individuals per year meet the recovery criteria, and approximately 14% recover over 10 years, with poor functional outcome for 27% of patients. There is an urgent need to develop predictive models of outcome to be applied in the initial stages of illness and thus optimize and intensify intervention programs to avoid an aversive outcome.

Models of non-invasive brain stimulation

Mobility Plus - CAS (2023 - 2024)

Transcranial magnetic stimulation (TMS) is a tool that is used regularly in experimental and clinical research, as well as for therapeutic and diagnostic purposes.

Causal inference and interactions between Arctic sea ice and Eurasian winter climate

Mobility Plus - CAS (2023 - 2024)

Discerning the cause from effect is the aim of many scientific disciplines.

Quasi-decidability of the first-order theory of real functions

Standard - GACR (2021 - 2024)

Decision procedures for predicate logical theories play an increasingly important role in computer science, especially in combination with Boolean satisfiability solvers, that is, in SAT modulo theory (SMT) solvers. While there is a vast amount of current research on decision procedures for integers, real numbers, arrays, and many other theories.

Characterizing state repertoire and dynamics of spontaneous brain activity by neuroimaging methods

Standard - GACR (2021 - 2024)

Current psychological theory provides complex description of mental functions and processes. It is generally accepted that mental functions have brain as their substrate, and that mental processes and states are reflected in brain activity dynamics. A rapidly developing area of brain research is the study of spontaneous brain activity with functional magnetic resonance imaging, allowing simultaneous measurement of activity dynamics of a plethora of brain networks.

GRADLACT: Graded Logics of Action

Standard - GACR (2022 - 2024)

Propositional Dynamic Logic, PDL, is a well-known tool used in the logical analysis of discourse about action. Being based on classical logic, it cannot provide adequate formalization of discourse involving graded, vague and imprecise concepts. This project will develop and study versions of PDL more suitable for this task, so-called graded dynamic logics. The project will contribute to an elaboration of formal methods applicable in the theory of action and applied ethics.

Metamathematics of substructural modal logics

Standard - GACR (2022 - 2024)

Classical logic models reasoning about Boolean combinations of atomic propositions. Modal logics extend it by adding propositional connectives (called `modalities') to allow reasoning about the modes of truth, such as `necessarily’, `is allowed', or `is known'. Conversely, substructural logics relax assumptions on logical atoms to allow reasoning about other interesting objects.

AppNeCo: Approximate Neurocomputing

Standard - GACR (2022 - 2024)

Nowadays, modern AI technologies based on deep neural networks, whose computation is demanding on energy consumption, are implemented in devices with limited resources (e.g. battery powered cellphones). In error-tolerant applications (e.g. image classification), the use of approximate computing methods can save enormous amount of energy at the cost of only a small loss in accuracy.

Learning Synchronization Patterns in Multivariate Neural Signals for Prediction of Response to Antidepressants

Lead Agency - GACR (2021 - 2024)

The concept of synchronization of nonlinear dynamical systems will serve as basis for development of mathematical methods and computer algorithms for detection and characterization of interactions and dependence in multivariate nonlinear time series. Directional links and causal relations will be quantified using the tools of information theory.

Network modelling of complex systems: from correlation graphs to information hypergraphs

Standard - GACR (2021 - 2024)

Development of methods for effective description of complex systems is a growing area of interdisciplinary research at the junction of cybernetics, informatics, mathematics and theoretical physics, with application to a range of scientific disciplines including neuroscience, sociology, economics, genetics, and ecology. One of the key problems is the robust characterization of the structure of interactions within a system based on the multivariate time series.