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

1 421 (0,081s) •

Project

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 semiri...

BA - Obecná matematika

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

Algebraic Language Theory for Infinite Trees (GA17-01035S)

Algebraic Language Theory provides an alternative approach for describing regular languages that uses algebraic objects instead of automata. Its advantages procedures for subclasses of regular languages, i...

IN - Informatika

  • 2017 - 2019
    • •
  • 2 731 tis. Kč
    • •
  • 1 985 tis. Kč
    • •
  • GA ČR
Project

Algebraic Methods in Automata and Formal Language Theory II (GA201/09/1313)

The project develops the algebraic methods in formal language theory. We will further investigate the classes of syntactic structures of regular languages like complexity of operations on regular languages...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Project

Effective characterizations of classes of finite semigroups and formal languages (GA19-12790S)

The goal of the project is to obtain results aiming at potential solutions of important questions in the theory of regular languages and finite semigroups, namely, decidability of concatenation hierarchies of regular la...

Pure mathematics

  • 2019 - 2023
    • •
  • 3 899 tis. Kč
    • •
  • 3 560 tis. Kč
    • •
  • GA ČR
Project

Applications of Algebra and Combinatorics in Formal Language Theory (GA15-02862S)

The goal of the project is to obtain results aiming at potential solutions of three important open problems in formal language theory, namely, decidability and solvability of language equations. We plan to reach this goal using vari...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 3 203 tis. Kč
    • •
  • 3 203 tis. Kč
    • •
  • GA ČR
Project

Diachronic Typology of Suppletion (GA14-10673S)

and Semitic language families offers to complement the synchronic study of the phenomenon and to clarify its origin and relation to language change. Suppletion violates of language that maintains this principle either impl...

AI - Jazykověda

  • 2014 - 2018
    • •
  • 3 197 tis. Kč
    • •
  • 3 197 tis. Kč
    • •
  • GA ČR
Project

Creating diagnostic tools to determine the levels of knowledge of vocational German as a second foreign language in language education (7AMB16AT031)

(in regular classes, but also eg. in language training for international exams for determining the level of knowledge in vocational German as a second foreign language in institutionalized language education. For ...

AM - Pedagogika a školství

  • 2016 - 2017
    • •
  • 110 tis. Kč
    • •
  • 110 tis. Kč
    • •
  • MŠMT
Project

Development of a native storage for XML data (GA201/06/0756)

The markup language XML (Extensible Markup Language) has become de facto of new query languages (XPath, XQuery) and new ways to update XML data (XUpdate language). Now, the main problem remains: how to do an effici...

IN - Informatika

  • 2006 - 2008
    • •
  • 2 126 tis. Kč
    • •
  • 2 126 tis. Kč
    • •
  • GA ČR
Project

Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)

, such as regular model checking. In a connection to that, we will also investigate theory concerns language inclusion and equivalence testing, size reduction and minimization......

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Project

Renewal of the computational capacity of the CNC infrastructure (EH23_015/0008172)

The aim of the project is to upgrade the existing computing capacity of the CNC infrastructure. It will be implemented by the purchase of two new computer servers, which will also serve as data storage and which will replace two existing older server...

Linguistics

  • 2024 - 2025
    • •
  • 2 496 tis. Kč
    • •
  • 631 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 1 421