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

      • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

246 projects (0,236s) •

Project

Proof theory of modal coalgebraic logic (GPP202/11/P304)

As eqational logic is considered to be the logic of algebras, modal logic (such as automata). The aim of the proposed project is to study modal logics developed to reason aboutcoalgebras. We concentrate on proof theoretical issues o...

IN - Informatika

  • 2011 - 2015
    • •
  • 768 tis. Kč
    • •
  • 768 tis. Kč
    • •
  • GA ČR
Project

Metaphysics as the science of the modalities of being (IAA900090602)

The research aims at systematic study of modalities within a rigorous that modal categories characterize reality in various ways and that different types of modalities: logical, ontological, causal, temporal, physical and t...

AA - Filosofie a náboženství

  • 2006 - 2008
    • •
  • 563 tis. Kč
    • •
  • 563 tis. Kč
    • •
  • AV ČR
Project

Metamathematics of substructural modal logics (GA22-01137S)

propositions. Modal logics extend it by adding propositional connectives (called `modalities') to allow reasoning about the modes of truth, such as `necessarily of substructural modal logics by creating general theories of...

Pure mathematics

  • 2022 - 2024
    • •
  • 6 600 tis. Kč
    • •
  • 6 600 tis. Kč
    • •
  • GA ČR
Project

Modal and Many-valued Logics (GA401/01/0218)

We will study theoretical foundations of modern logical systems which are essentially based on more than two truth-values and we will confront them with possibility and necessity modalities and also with other modalities, study of w...

AA - Filosofie a náboženství

  • 2001 - 2003
    • •
  • 585 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
Project

Application of modal analysis for bridge structures assessment (CE803120112)

by using modal analysis, so that we can better check and determine theoretic load in modal characteristics of chosen types of bridge structures. The aim of the project is to design of methodology, which is based on application of <...

JO - Pozemní dopravní systémy a zařízení

  • 2001 - 2003
    • •
  • 2 900 tis. Kč
    • •
  • 2 900 tis. Kč
    • •
  • MD
Project

LOGCHAIN POLCORRIDOR (OE132)

Study To Develop/Commercially Validate An Inter-Modal System For Trans-European Freight Transfer Between Nordic Region And S.E. Europe Whose Central Building Block Will Be A "Blue Shuttle Train" Connecting Two Inter-Modal Centres......

AP - Městské, oblastní a dopravní plánování

  • 2003 - 2005
    • •
  • 35 675 tis. Kč
    • •
  • 6 810 tis. Kč
    • •
  • MŠMT
Project

Local framework for mutli-modal modelling of demand for public transport in relation to factors of service quality and price (CG721-045-190)

The project purpose is to create the methodology and local framework for multi-modal modelling of demand for public transport and improve posibilities of public transport vehicle occupancy measurement.......

AP - Městské, oblastní a dopravní plánování

  • 2007 - 2009
    • •
  • 3 499 tis. Kč
    • •
  • 2 973 tis. Kč
    • •
  • MD
Project

Analyzer of modal structure in optical components (FV10519)

of a prototype of an analyzer of modal structure in optical components and subsequent filing of the project an output in the form of an authorized software for evaluating the modal structure. In following years after the end of the...

BH - Optika, masery a lasery

  • 2016 - 2019
    • •
  • 12 515 tis. Kč
    • •
  • 8 546 tis. Kč
    • •
  • MPO
Project

Development and testing of a new evaluation method checking sonographes to improve quality of health care (1P04ME720)

sonographs, various probes, image modality, image defects, software...

FS - Lékařská zařízení, přístroje a vybavení

  • 2004 - 2007
    • •
  • 4 896 tis. Kč
    • •
  • 1 344 tis. Kč
    • •
  • MŠMT
Project

Information Portal Design for Multi-modal Transportation (CG732-106-120)

The target of the proposed project is the specification of the information portal for multi-modal transportation according to the needs of transporters and shippers with a maximum utilisation of data derived from the electronic toll system a...

BC - Teorie a systémy řízení

  • 2007 - 2009
    • •
  • 3 498 tis. Kč
    • •
  • 2 954 tis. Kč
    • •
  • MD
  • 1 - 10 out of 246