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

7 159 (0,136s) •

Projekt

Totally ordered monoids (GJ15-07724Y)

The subject of the project is an investigation of the variety of lattice-ordered monoids with a special focus on the subclass of totally ordered ones. As the known methods investigate this problem seem to become exhausted, the project inten...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 2 999 tis. Kč
    • •
  • 2 999 tis. Kč
    • •
  • GA ČR
Projekt

Hybercubic, graph and hypergraph structures (GA14-10799S)

or related algebraic structures. The range of topics proposed to be investigated includes in hypercubes, properties of endomorphisms monoid) as well as long-standing open problems on our previous investigations of the class of hype...

IN - Informatika

  • 2014 - 2018
    • •
  • 4 238 tis. Kč
    • •
  • 4 238 tis. Kč
    • •
  • GA ČR
Projekt

Geometry of associative structures (GPP201/12/P055)

ordered monoids and triangular norms in a very intuitive visual way. Thus of associative structures, in particular, totally ordered monoids which play an important......

BA - Obecná matematika

  • 2012 - 2014
    • •
  • 1 578 tis. Kč
    • •
  • 1 578 tis. Kč
    • •
  • GA ČR
Projekt

Word problem in free left distributive idempotent groupoids (GP201/07/P015)

idempotency. The geometrical monoid of these identities and related structures will also...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 510 tis. Kč
    • •
  • 510 tis. Kč
    • •
  • GA ČR
Projekt

Algebraic methods in automata and formal language theory (GA201/06/0936)

The project is aimed to develop algebraic methods in formal language theory. In particular, we will further investigate classes of syntactic structures of regular languages like (ordered) syntactic monoids, syntactic semirings, syntactic hom...

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Projekt

Efficient Finite Automata for Automated Reasoning (LL1908)

This project aims at delivering a strong push towards unleashing the theoretical potential of finite automata in practical applications in automated reasoning will be general techniques for working with automata and related formal m...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Elemental afinity and phase composition their relation to ash leachibility, volatility and adsorption of elements released at coal combustion. (GA105/08/0913)

) will be studied also in relation to their affinity that will be modified by additionAim of this project is to obtain and intensify new knowledge on affinity (mode for thecalculation of affinities of all the eleme...

DD - Geochemie

  • 2008 - 2011
    • •
  • 2 370 tis. Kč
    • •
  • 2 370 tis. Kč
    • •
  • GA ČR
Projekt

Riemannian, pseudo-Riemannian and affine differential geometry (GAP201/11/0356)

, conformal and related mappings, transformations and deformations on manifolds with affine connection, Riemannian, Hermitian and quaternionic spaces. Investigation, or such that all geodesics on them are orbits of one-parameter gro...

BA - Obecná matematika

  • 2011 - 2013
    • •
  • 5 084 tis. Kč
    • •
  • 5 084 tis. Kč
    • •
  • GA ČR
Projekt

Model categories (GAP201/11/0528)

The project is devoted to topical research in abstract homotopy theory and related areas. In particular, we are going to view combinatorial model categories be based on the analysis of homotopy limits and colimits and their mutual relati...

BA - Obecná matematika

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

Cryptography based on Finite Fields (GA18-19087S)

This project is related to several aspects of cryptanalysis based on finite fields. One aspect is the Discrete Logarithm Problem (DLP). The other aspects on the finite field with 256 elements making use of some recent deve...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2021
    • •
  • 2 562 tis. Kč
    • •
  • 2 130 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 7 159