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

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

4 664 projects (0,189s) •

Project

Structure of commutative semirings (GP13-29835P)

of positive real numbers and decide conjectures concerning the finitely generated) number theory, Galois theory, geometry of lattice points, polynomial rewriting of semirings of the reals and to a deepening of the...

BA - Obecná matematika

  • 2013 - 2014
    • •
  • 1 314 tis. Kč
    • •
  • 1 314 tis. Kč
    • •
  • GA ČR
Project

Universal Quadratic Forms and Class Numbers (GM21-00420M)

structures of number fields. This will have important implications, e.g., for 1. universal quadratic forms over (totally real) number fields, estimating their ranks and proving 290-theorems, and 2. class numbers o...

Pure mathematics

  • 2021 - 2025
    • •
  • 23 271 tis. Kč
    • •
  • 23 271 tis. Kč
    • •
  • GA ČR
Project

Quadratic forms and numeration systems over number fields (GJ17-04703Y)

of integers in totally real number fields. Our main goal is to investigate the minimal arity of such forms, extending the recent advances over real quadratic fields, and, in the case of real quadratic fields, also...

BA - Obecná matematika

  • 2017 - 2019
    • •
  • 6 484 tis. Kč
    • •
  • 6 484 tis. Kč
    • •
  • GA ČR
Project

Quasi-Decision Procedures for First-Order Theories of Real Functions (GA21-09458S)

there is a vast amount of current research on decision procedures for integers, real numbers, arrays, and many other theories, there is almost no results for the case of real-decision procedures for real functions...

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

  • 2021 - 2024
    • •
  • 2 541 tis. Kč
    • •
  • 2 541 tis. Kč
    • •
  • GA ČR
Project

Algebraic, analytic and combinatorial number theory (GA201/07/0191)

of real numbers, and properties of arithmetic structures of sets of arithmetical, combinatorial and analytic number theory and thus to contribute to a better understanding, rational and algebraic numbers, and thei...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 3 220 tis. Kč
    • •
  • 3 220 tis. Kč
    • •
  • GA ČR
Project

Application of molecular biology methods for the effective use of genetic sources of LAB and the characterisation of functional foods quality. (1G57037)

The aim of the project is the utilization of molecular biology methods for identification of lactic acid bacteria in real samples (probiotic products), estimation of the number of microorganisms in products, differentiation of viabl...

GM - Potravinářství

  • 2005 - 2008
    • •
  • 4 814 tis. Kč
    • •
  • 4 814 tis. Kč
    • •
  • MZe
Project

A system for permanent sensing of the traffic load intensity on the selected road and SW for visualization of achieved values of the actual load (the number and travel direction of vehicles) in real (TA03030474)

the future of transport networks is solvable by using the monitoring of the actual number of vehicles on the traffic roads. Without the actual load (number of vehicles that use of the transport and the number of vehicles a...

JB - Senzory, čidla, měření a regulace

  • 2013 - 2015
    • •
  • 7 820 tis. Kč
    • •
  • 5 083 tis. Kč
    • •
  • TA ČR
Project

Algorithms, Dynamics and Geometry of Numeration systems (GA13-03538S)

systems with real and complex algebraic bases, and as a generalization, on number of Möbius number systems with better coding and distribution properties and more in general algebraic number fields. We will desc...

IN - Informatika

  • 2013 - 2017
    • •
  • 7 465 tis. Kč
    • •
  • 7 465 tis. Kč
    • •
  • GA ČR
Project

Development and use of equipment for sampling and measurement of exhaust emissions from motor vehicles in motion (TA02030536)

The air pollution is currently involved in a number of sources. A significant source of pollution is traffic. To determine the real contribution of transport to the production of pollutants is most appropriate measurement of emissio...

JS - Řízení spolehlivosti a kvality, zkušebnictví

  • 2012 - 2014
    • •
  • 9 717 tis. Kč
    • •
  • 5 742 tis. Kč
    • •
  • TA ČR
Project

Mobile anti-flood barrier. (FT-TA3/082)

New solution of important elements of protection of health and life of people and real estates against elementar disaster. The target is so that the assembling will be maximaly simple in extreme time for very large number of citizen...

JM - Inženýrské stavitelství

  • 2006 - 2008
    • •
  • 18 556 tis. Kč
    • •
  • 8 290 tis. Kč
    • •
  • MPO
  • 1 - 10 out of 4 664