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

718 (0,085s) •

Project

*System for communication and cashless payment using bank cards. (FI-IM/127)

*The system for communication of users with customer and information systems of service providers and merchants with concurrent possibility to process cash-less payment to these providers and merchants. The system consist of payment and communication...

JC - Počítačový hardware a software

  • 2004 - 2006
    • •
  • 4 917 tis. Kč
    • •
  • 1 683 tis. Kč
    • •
  • MPO
Project

Applied molecular genetics and biology - IMG (TG01010066)

for financing of proof-of-concept verification efforts after termination of the project....

EB - Genetika a molekulární biologie

  • 2014 - 2019
    • •
  • 20 800 tis. Kč
    • •
  • 20 800 tis. Kč
    • •
  • TA ČR
Project

Transfinite Certificates of Convergence (GA23-07931S)

will employ cutting-edge proof-theoretic and ordinal-theoretic techniques, including...

Pure mathematics

  • 2023 - 2023
    • •
  • 152 tis. Kč
    • •
  • 152 tis. Kč
    • •
  • GA ČR
Project

Solvent relaxation in biomembranes (GA203/99/0845)

The applicant's recent research has resulted in successful introduction of the solvent relaxation technique as a new method of characterization of biomembranes. It was proofed that this technique can report some structural changes in the lip...

CF - Fyzikální chemie a teoretická chemie

  • 1999 - 2001
    • •
  • 4 321 tis. Kč
    • •
  • 3 249 tis. Kč
    • •
  • GA ČR
Project

Dispersal and reproductive strategies in flightless pterygomorphic insects (GA206/03/0016)

do not fly. The most important part of the project is an experimental proof of histolysis of non-functional flight muscles, muscle enzyme activities,termination......

ED - Fyziologie

  • 2003 - 2005
    • •
  • 982 tis. Kč
    • •
  • 982 tis. Kč
    • •
  • GA ČR
Project

Structural basis for transcription termination of nonpolyadenylated transcripts (IAA401630903)

RNA polymerases produce RNA transcripts by initiating and terminating transcription in response to specific sequence elements. Signals that terminate. Termination of these transcripts requires the Nrd1 complex which recogni...

CE - Biochemie

  • 2009 - 2011
    • •
  • 4 875 tis. Kč
    • •
  • 4 875 tis. Kč
    • •
  • AV ČR
Project

Verification and Analysis of Probabilistic Programs (GJ19-15134Y)

notions of termination and safety proofs) and new algorithms based on these concepts...

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

  • 2019 - 2021
    • •
  • 5 053 tis. Kč
    • •
  • 5 053 tis. Kč
    • •
  • GA ČR
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

Smart city terminal (EG16_083/0008836)

Smart city terminal...

AQ - Bezpečnost a ochrana zdraví, člověk – stroj

  • 2017 - 2020
    • •
  • 985 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Nucleoli in blood and leukemic cells in the course of terminal maturation and programmed cell death (NC7603)

Nucleoli in the course of terminal maturation and programmed cell death of blood cells in leukemia and preleukemia patients untreated and treated with cytostatic therapy.......

FC - Pneumologie

  • 2003 - 2004
    • •
  • 2 114 tis. Kč
    • •
  • 2 074 tis. Kč
    • •
  • MZ
  • 1 - 10 out of 718