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

-
19002100

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show less

      • Show less

      • Show less

      • Show less

      • Show less

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

9 553 projects (0,142s) •

Project

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

-decision procedures for real functions. A quasi-decision procedure relaxes the decision there is a vast amount of current research on decision procedures for integers, real numbers, arrays, and many other theories, there i...

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

Theory of real functions and descriptive set theory II (GA201/09/0067)

will continue our research in the differentiability  theory of real functions, where we functions. We will try to solve some problems concerning Dini derivatives of real functions of one variable. We will...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 840 tis. Kč
    • •
  • 840 tis. Kč
    • •
  • GA ČR
Project

Theory of Real Functions and Distributions. (GA201/94/0474)

BA - Obecná matematika

  • 1994 - 1996
    • •
  • 150 tis. Kč
    • •
  • 220 tis. Kč
    • •
  • GA ČR
Project

Theory of real functions and descriptive set theory (GA201/06/0198)

will continue our research in the theory of derivatives and differentiability of functions. In the case of functions of one real variable, we will study problems concerning Dini (in different senses) continuous functio...

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 797 tis. Kč
    • •
  • 797 tis. Kč
    • •
  • GA ČR
Project

Experimental real-time database testing system (GA102/06/1742)

functional parts of a veritable real-time database system. It will enable testing and performance evaluation of known and new algorithms of the particular functional partsThe main goal of the project is to design and imple...

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

  • 2006 - 2008
    • •
  • 2 049 tis. Kč
    • •
  • 2 049 tis. Kč
    • •
  • GA ČR
Project

Function Spaces, Weighted Inequalities and Real Interpolation (GA201/05/2033)

characterize embeddings of function spaces and boundedness of linear and quasilinear operators acting between function spaces, and to apply obtained results in the theory, and to continue developing this fruitful research. We shall...

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 1 044 tis. Kč
    • •
  • 1 044 tis. Kč
    • •
  • GA ČR
Project

Theory of real functions and distributions (GA201/00/0767)

will continue our research devoted to the theory of differentiability of functions. In the case of the functions of one real variable, it concerns problems related of typical continuous functions. We will investig...

BA - Obecná matematika

  • 2000 - 2002
    • •
  • 949 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

Theory of real functions and its applications in geometry (GA15-08218S)

The project focuses on topics of real analysis and geometry which have been of weakly differentiable mappings (elements of a function space), which will be investigated from the real-analytic point of view, and on possible ...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 4 301 tis. Kč
    • •
  • 4 301 tis. Kč
    • •
  • GA ČR
Project

Advanced methods of functional agricultural machines design using the latest numerical methods (EG20_321/0024022)

Research and development of the process of digital design and testing of agricultural machinery and their functional properties in simulated testing of the operation of a digital model of a machine in an advanced digital soil model. At the s...

Electrical and electronic engineering

  • 2021 - 2023
    • •
  • 13 450 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Real methods of harmonic analysis in function spaces and differential equations (GA201/01/1201)

The goal of the project is the solution of problems in the theory of function spaces, connected with inequalities of Fefferman and Hardy type, and further development of the extrapolation and decomposition theory m function spaces, ...

BA - Obecná matematika

  • 2001 - 2003
    • •
  • 732 tis. Kč
    • •
  • 150 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 9 553