Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

866 (0,066s) •

Projekt

Categorical methods of the theory of structures and computer science (GA201/99/0310)

The project develops methods of the theory of categories, ordered sets, on structured categories and semantical domains of computations and on connections, Lawvere's problem from 1969 about the algebraicity of the category ...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 2 256 tis. Kč
    • •
  • 2 089 tis. Kč
    • •
  • GA ČR
Projekt

Measurement and control of efficiency of enterprises in global economy (GA402/02/1270)

for such instruments is distinction between three categories of parameters: algorithmizable parameters, classifiable parameters and other parameters. Depending on what category of the exact diagnosis), explanation of effic...

AH - Ekonomie

  • 2002 - 2004
    • •
  • 3 600 tis. Kč
    • •
  • 1 543 tis. Kč
    • •
  • GA ČR
Projekt

Model categories (GAP201/11/0528)

and related areas. In particular, we are going to view combinatorial model categories as homotopy locally presentable simplicial categories and to transfer  the classical theory of locally presentable categories to the hom...

BA - Obecná matematika

  • 2011 - 2014
    • •
  • 2 382 tis. Kč
    • •
  • 2 382 tis. Kč
    • •
  • GA ČR
Projekt

Enriched categories and their applications (GA22-02964S)

The project focuses on applications of enriched category theory to homotopical categories with structure. We will study enrichment over several specific base categories monad theory. We will also study enriched accessible <...

Pure mathematics

  • 2022 - 2024
    • •
  • 8 408 tis. Kč
    • •
  • 8 394 tis. Kč
    • •
  • GA ČR
Projekt

Bicomponent dynamic lateral pressures of granular materials with nonlinear parameters (GA103/97/0702)

The principal problem of the second category of soil and rock mechanics problem and, consequently, also of a major part of more generally conceived composite materials are lateral pressures, which influence fundamentally civil engineering an...

JM - Inženýrské stavitelství

  • 1997 - 1999
    • •
  • 5 756 tis. Kč
    • •
  • 1 527 tis. Kč
    • •
  • GA ČR
Projekt

Complex similarity searching in very large data collections (GP201/08/P507)

With the increasing number of applications that base searching on similarity rather than on exact matching, also the problem of combined similarity query arises. For example, a simple similarity query allows us to search for objects with sim...

IN - Informatika

  • 2008 - 2010
    • •
  • 501 tis. Kč
    • •
  • 501 tis. Kč
    • •
  • GA ČR
Projekt

International Mobility of Researchers MSCA-F-CZ-II at CTU in Prague (EH22_010/0005725)

Successful implementation of the project in the form of individual international research stays, which support professional growth of researchers, will contribute to the transfer of foreign experience to the research organization (CTU in Prague) and ...

Applied mathematics

  • 2023 - 2027
    • •
  • 6 092 tis. Kč
    • •
  • 1 541 tis. Kč
    • •
  • MŠMT
Projekt

Model theory in categories of fuzzy sets (IAA1187901)

of fuzzy sets categories. The proposed project will be then oriented on the research of model theory properties of various categories of fuzzy sets and, especially, on possibilitiesofalgebraic systems constructions in these cat...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 1 653 tis. Kč
    • •
  • 685 tis. Kč
    • •
  • AV ČR
Projekt

Categorical methods of the theory of structures and computer (GA201/96/0119)

The project develops methods of category theory and their applications as a formalization of recursive data types: We will investigate conditions on a category under which a lot of endofunctors of that category posess a lea...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 1 369 tis. Kč
    • •
  • 1 354 tis. Kč
    • •
  • GA ČR
Projekt

Exact and Approximate Description of Shapes for Geometric Modelling (7AMB12AT012)

The aim of this project is the theoretical investigation of suitable geometric fundamentals (exact and approximate representations of shapes) which possess potentially a high potential for applications and which may lead in the future to mor...

BA - Obecná matematika

  • 2012 - 2013
    • •
  • 132 tis. Kč
    • •
  • 132 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 866