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

SelectAll/None

Join usingOrAnd

-

More filters

Projects

7 projects (0,132s) •

Project

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

is the logic for coalgebras, the general concept modeling transition systéme of existing approaches to coalgebraic logic - languages arising from a logica connection;spaces"(where the coalgebras live) and category of ...

IN - Informatika

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

Coalgebra and discrete event control (GP201/03/P077)

the framework of universal coalgebra that leads to new results. Nowadays. The unifying formalism of coalgebraic methods seems to be essential for understanding series. These behaviours form in fact the final coalgebra, whi...

BC - Teorie a systémy řízení

  • 2003 - 2004
    • •
  • 134 tis. Kč
    • •
  • 134 tis. Kč
    • •
  • GA ČR
Project

Categorical methods of the theory of structures (GA201/06/0664)

, algebraic and coalgebraic specifications of data types and to lattice-theoretical of algebraic and coalgebraic theories to solutions of iterative equations properties of categories of coalgebras and their use in theoretic...

BA - Obecná matematika

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

Supervisory control of large distributed discrete event systems (KJB100190609)

This project aims at studying logical and timed discrete event systems using methods from universal coalgebra and idempotent algebra with special focus on supervisory control of large distributed systems. Methods of idempotent algebra enable...

BC - Teorie a systémy řízení

  • 2006 - 2008
    • •
  • 255 tis. Kč
    • •
  • 255 tis. Kč
    • •
  • AV Č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 science. In particular, we will study applications of algebraic and coalgebraic of topological and algebraic structures, categorical properti...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 1 856 tis. Kč
    • •
  • 1 856 tis. Kč
    • •
  • GA ČR
Project

Enriched categories and their applications (GA22-02964S)

The project focuses on applications of enriched category theory to homotopical and higher-dimensional structures, to algebra, theoretical computer science and functional analysis. Using enriched homotopy theory and the framework of infinity-cosmoi, w...

Pure mathematics

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

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
  • 1 - 7 out of 7