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

7 725 (0,162s) •

Project

A logico-philosophical analysis of the notion of identity (GJ17-18344Y)

by standard predicate logic has become clear with the development of Per Martin-Löf's type theory. As an entirely new insight in the history of logic, this theory distinguishes......

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 2 874 tis. Kč
    • •
  • 2 874 tis. Kč
    • •
  • GA ČR
Project

Rotunda of St. Martin and Basilica of St. Lawrence in Vyšehrad, archaeological research. (DB06P01OPP007)

This grant project will allow summarisation and publishing of the knowledge obstained....

AC - Archeologie, antropologie, etnologie

  • 2006 - 2009
    • •
  • 1 393 tis. Kč
    • •
  • 1 393 tis. Kč
    • •
  • MK
Project

Active participation an the IFAC Technical Committee on Control Design - Martin Hromcik (LG11040)

The project is supposed to support partcipation of Dr. Martin Hromcik as the Czech representative at the Technical Committee for Control Design of the International Federation of Automatic Control.......

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 225 tis. Kč
    • •
  • 225 tis. Kč
    • •
  • MŠMT
Project

Filters, Ultrafilters and Connections with Forcing (GF17-33849L)

The project falls within the scope of Set Theory & Foundations of Mathematics, specifically Combinatorial Set Theory and Forcing. We will investigate new combinatorial-like constructions, preservation theorems and methods from descr...

BA - Obecná matematika

  • 2017 - 2022
    • •
  • 7 817 tis. Kč
    • •
  • 7 449 tis. Kč
    • •
  • GA ČR
Project

Osteosynthesis of condylar process fractures of the mandible (ND5875)

Operative repositioning and fixation of condylar process fracture of the mandible by means of Martin-Eckelt lag screw....

FF - ORL, oftalmologie, stomatologie

  • 2000 - 2002
    • •
  • 577 tis. Kč
    • •
  • 561 tis. Kč
    • •
  • MZ
Project

František Martin Pelcl New Bohemian Chronicle, vol.IV. - a commented critical edition (GA404/04/0935)

The aim of this project is to prepare the critical commented edition of the fourth, unpublished part of Nová kronika česká [New Bohemian Chronicle], the historiographical work written in Czech by Bohemian historian František Martin Pelcl (17...

AB - Dějiny

  • 2004 - 2006
    • •
  • 509 tis. Kč
    • •
  • 423 tis. Kč
    • •
  • GA ČR
Project

Hyperintensional Meaning, Type Theory and Logical Deduction (GA19-12420S)

The project aims to advance a hyperintensional theory of meaning according, it will combine both type-theoretic and proof-theoretic approaches to semantics: meanings will be framed in a type-theoretical environment yet gove...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2023
    • •
  • 2 391 tis. Kč
    • •
  • 2 252 tis. Kč
    • •
  • GA ČR
Project

Preparation of an edition of a baroque novel The Grand Life of our Lord and Saviour Jesus Christ by Martin of Kochem, of the Capuchin Order (GA405/05/0095)

The prose of the 17th and 18th century belongs to the least known parts of the Czech literary history. "The Grand Life of our Lord and Saviour Jesus Christ" (in Czech: "Veliký život Pána a Spasitele našeho Krista Ježíše") by Martin of Kochem...

AJ - Písemnictví, mas–media, audiovize

  • 2005 - 2006
    • •
  • 773 tis. Kč
    • •
  • 773 tis. Kč
    • •
  • GA ČR
Project

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

will be focused on algebraic theories, varieties and algebraic specification of data typesThe project develops methods of the theory of categories, ordered sets of lattice theory with topological and functional-an...

BA - Obecná matematika

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

Categorical Methods of the Theory of Structures and Computer Science (GA201/02/0148)

. Attention will be focused on algebraic theories, varieties and algebraic and coalgebraic specifications of data types and on connections of lattice theory with theoretical computer theories to solutions of iterat...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 1 856 tis. Kč
    • •
  • 1 856 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 7 725