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

441 (0,074s) •

Project

Parameterized algorithms and kernelization in the context of discrete mathematics and logic (GA14-03501S)

, as well as, so-called algorithmic metatheorems based on logic description...

IN - Informatika

  • 2014 - 2016
    • •
  • 4 458 tis. Kč
    • •
  • 4 458 tis. Kč
    • •
  • GA ČR
Project

Processing of radioactively contaminated ion exchangers by oxidation in molten salts (TA04021660)

1) Selection and experimental verification of suitable salts to be used as a molten bath for the MSO technology with selected types of radioactive waste - consideration of all of the technological, operational, and economical factors. 2) Ass...

DL - Jaderné odpady, radioaktivní znečištění a kontrola

  • 2015 - 2017
    • •
  • 16 520 tis. Kč
    • •
  • 10 719 tis. Kč
    • •
  • TA ČR
Project

Utilization of structural and "Width" parameters in combinatorics and algorithmic complexity (GA201/08/0308)

parametrized algorithm design, decidability questions of theories in MSO logic, and new...

BA - Obecná matematika

  • 2008 - 2010
    • •
  • 946 tis. Kč
    • •
  • 946 tis. Kč
    • •
  • GA ČR
Project

Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)

, and decision procedures for the logics WSkS and MSO. The work on the project will include...

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Project

Logical Structure of Information Channels (GM21-23610M)

The concept of information is ubiquitous in current logic. However, the informational interpretation of various logical approaches is rather scattered in the logical literature and a unification is needed. The main goal o...

Philosophy, History and Philosophy of science and technology

  • 2021 - 2025
    • •
  • 12 922 tis. Kč
    • •
  • 12 922 tis. Kč
    • •
  • GA ČR
Project

Representations of algebraic semantics for substructural logics (GF24-14386L)

of substructural logics, otherwise known as "resource sensitive logics", that is, logics "substructural logics" comes from the fact that when presented as sequent proof systems these logics restrict or la...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Project

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy logic in broad sense which and predicate logics have exact notions of formulas, axioms, proo...

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 tis. Kč
    • •
  • GA ČR
Project

Non-classical Interpretation of the Aristotelian Logic and Theory of Predication (GA19-06839S)

It is widely assumed that Aristotle is the founder of logic as an independent classical logic. Hence Aristotelian logic is often treated as classical and as just a fragment of the canonical modern extensional logic...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2022
    • •
  • 2 017 tis. Kč
    • •
  • 2 017 tis. Kč
    • •
  • GA ČR
Project

Foundations of logic in the light of new results of philosophy and science (GA13-21076S)

The project concentrates on reconsidering the foundations of logic in the light of recent developments of both logic itself and the scientific disciplines dealing of the fundamental concepts of logic and the nature of l...

AA - Filosofie a náboženství

  • 2013 - 2016
    • •
  • 4 342 tis. Kč
    • •
  • 4 342 tis. Kč
    • •
  • GA ČR
Project

Mathematical foundations of inference under vagueness and uncertainty (IAA1030004)

-valud logic and logics of belief that has contributed significantly to the development of their systematic mathematical and logical theory and has opened new problems as well as away to a logical analysis of techn...

BA - Obecná matematika

  • 2000 - 2004
    • •
  • 3 351 tis. Kč
    • •
  • 1 245 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 441