All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

1 213 (0,094s) •

Project

Probabilistic reasoning in late scholastic logic (GA17-12408S)

The subject matter of the project is late scholastic analysis of probabilistic reasoning, i.e., the type of arguments which are probabilistic (i.e., not necessarily are: late scholastic view of probability and probabili...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 896 tis. Kč
    • •
  • 896 tis. Kč
    • •
  • GA ČR
Project

Conditional independence structures information-theoretical approach II (GA201/01/1482)

The concept of conditional independence is essential for many tasks related to decision-making under uncertainty, especially in the area of probabilistic reasoning, but also in the framework of other uncertainty calculi. The aim of ...

BA - Obecná matematika

  • 2001 - 2003
    • •
  • 2 313 tis. Kč
    • •
  • 971 tis. Kč
    • •
  • GA ČR
Project

Multi-dimensional Compound Probabilistic Models (IAA2075302)

The project deals with multi-dimensional probabilistic models and their application in several technical fields, mainly in pattern recognition and image modelling. Regarding the fact that these models, in a general from, will always be compu...

BB - Aplikovaná statistika, operační výzkum

  • 2003 - 2007
    • •
  • 7 080 tis. Kč
    • •
  • 2 780 tis. Kč
    • •
  • AV ČR
Project

CAQtuS Computer-Aided Quantitative Synthesis (GJ20-02328Y)

have arisen from applications requiring quantitative reasoning, which include, e.g., synthesis of probabilistic programs/models, approximate computing, or construction quantitative reasoning. The aim of this project is to...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020 - 2022
    • •
  • 6 075 tis. Kč
    • •
  • 6 075 tis. Kč
    • •
  • GA ČR
Project

Soft Computing Theoretical foundations and experiments (GA201/00/1489)

and reasoning that is based on a creative fusion of emerging computational, descriptional and reasoning paradigms, such as fuzzy logic, probabilistic reasoning and massively parallel......

BA - Obecná matematika

  • 2000 - 2002
    • •
  • 3 190 tis. Kč
    • •
  • 2 300 tis. Kč
    • •
  • GA ČR
Project

Entropy functions and polymatroids (IAA1075801)

are expected to be applicable in the areas of probabilistic reasoning, decision making...

BA - Obecná matematika

  • 1998 - 1999
    • •
  • 1 688 tis. Kč
    • •
  • 374 tis. Kč
    • •
  • AV ČR
Project

The logic of causal and probabilistic reasoning in uncertain environments (GEICC/08/E010)

In recent years artificial intelligence has been strongly inspired by results achieved in the field of modern psychology but these two scientific disciplines have converged also because of using the same tools for complex model construction. Here we ...

AN - Psychologie

  • 2008 - 2011
    • •
  • 1 425 tis. Kč
    • •
  • 1 425 tis. Kč
    • •
  • GA ČR
Project

GRADLACT Graded Logics of Action (GA22-16111S)

, and for analyzing reasoning about probabilistic aspects of action. The project will thus will develop graded dynamic logics suitable for formalizing reasoning about collective......

Philosophy, History and Philosophy of science and technology

  • 2022 - 2024
    • •
  • 3 172 tis. Kč
    • •
  • 2 878 tis. Kč
    • •
  • GA ČR
Project

Efficient Analysis and Optimization for Probabilistic Systems and Games (GA21-24711S)

The project concentrates on open problems at the cutting-edge of current research in probabilistic systems and games. Special attention is devoted to algorithmic analysis and verification for probabilistic systems with multiple unbo...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2021 - 2023
    • •
  • 8 519 tis. Kč
    • •
  • 5 933 tis. Kč
    • •
  • GA ČR
Project

Probabilistic optimisation of structural monitoring (LD15037)

Methodology for probabilistic optimisation of structural health monitoring will be proposed considering the most recent findings in the theory of structural reliability, risk assessment and probabilistic optimisation. Dissemination ...

JM - Inženýrské stavitelství

  • 2015 - 2017
    • •
  • 1 060 tis. Kč
    • •
  • 1 060 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 213