All
All

What are you looking for?

All
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

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

327 projects (0,177s) •

Project

Logic and unsatisfiability (GA23-04825S)

How does the size of the smallest proof of a statement change, as we increase the complexity of the concepts used in the proof? This is a basic question in logic which, for proofs in weak theories or in propositional logic,...

Pure mathematics

  • 2023 - 2025
    • •
  • 11 138 tis. Kč
    • •
  • 10 889 tis. Kč
    • •
  • GA ČR
Project

MENDELU Proof-of-Concept Project (TG02010074)

The aim of the project is an efficient system of support of the proof-of-concept activities (hereafter PoC) at MENDELU in 2015 – 2019. The proposal of the PoC suppport is drafted as an integral part of the commercialisation system developer ...

GB - Zemědělské stroje a stavby

  • 2015 - 2019
    • •
  • 23 535 tis. Kč
    • •
  • 23 535 tis. Kč
    • •
  • TA ČR
Project

Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)

Mathematical induction is one of the essential concepts in the mathematician's toolbox. Though, its use makes formal proof analysis difficult. In essence, induction information essential for computational proof transformation and au...

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

  • 2022 - 2025
    • •
  • 4 377 tis. Kč
    • •
  • 4 377 tis. Kč
    • •
  • GA ČR
Project

Algebraic Methods in Proof Theory (GAP202/11/1632)

It is a recent trend in proof theory in non-classical logic to employ more algebraic methods and to develop the so-called algebraic proof theory. A typical example of a result in this direction is proving cut elimination in the same...

IN - Informatika

  • 2011 - 2015
    • •
  • 5 771 tis. Kč
    • •
  • 5 771 tis. Kč
    • •
  • GA ČR
Project

Proof of L-39NG airframe with tripled fatigue life (FW01010225)

Project primary aim is to proof the tripled fatigue life of the airframe of the L-39NG aircraft. L-39NGs airframe is made of advanced materials and production technologies. The fatigue life proof will also utilize extensive usage o...

Aerospace engineering

  • 2020 - 2023
    • •
  • 91 324 tis. Kč
    • •
  • 62 170 tis. Kč
    • •
  • TA ČR
Project

Research and development of energy efficient LED lights from recycled materials (EI22_002/0000559)

The goal is to create a prototype of an economical industrial dust-proof LED lamp that will meet the demanding requirements declared in the Green Deal for Europe and will be fully in line with the requirements of the circular economy. The li...

Electrical and electronic engineering

  • 2023 - 2026
    • •
  • 15 701 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Proof-of-concept activities at the Czech University of Life Sciences Prague (TG03010020)

projects. Activities Proof-of-Concept will be sustainable by using resources generated...

GC - Pěstování rostlin, osevní postupy

  • 2016 - 2019
    • •
  • 18 476 tis. Kč
    • •
  • 18 476 tis. Kč
    • •
  • TA ČR
Project

MENDELU Proof of Concept 2 (TP01010018)

The aim of the project is an efficient system of support of the proof-of-concept activities (hereafter PoC) at MENDELU in 2020 – 2022. The proposal of the PoC suppport is drafted as an integral part of the commercialisation system developer ...

Agriculture

  • 2020 - 2022
    • •
  • 14 987 tis. Kč
    • •
  • 14 810 tis. Kč
    • •
  • TA ČR
Project

BrainTech Innovative technologies for psychiatry and clinical neuroscience (TP01010062)

The BrainTech project aims to a comprehensive system to support individual projects proof-of-concepts in the field of psychiatry, aging and clinical neuroscience. Through the selection of partial projects in the fields of digital health, tel...

Psychiatry

  • 2020 - 2022
    • •
  • 14 970 tis. Kč
    • •
  • 13 055 tis. Kč
    • •
  • TA ČR
Project

Development of the "Proof-of-concept" support system at VRI (TG03010038)

is to verify of the current system of support the Proof of Concept process at VRI potential of the new knowledge in the stage of "Proof of Concept" will greatly enhance......

GJ - Choroby a škůdci zvířat, veterinární medicina

  • 2016 - 2019
    • •
  • 17 361 tis. Kč
    • •
  • 17 361 tis. Kč
    • •
  • TA ČR
  • 1 - 10 out of 327