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 614 (0,14s) •

Project

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

and solvability of language equations. We plan to reach this goal using various algebraic and combinatorial techniques, in particular, finite universal algebra, equational theories of three important open problems in forma...

BA - Obecná matematika

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

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

language equations, with an emphasis on properties of their maximal solutions, aiming to identify which types of systems of language equations have all maximal solutions alwaysThe project develops the algebraic me...

BA - Obecná matematika

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

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

language equations. We will mainly concentrate on finding some common factorsThe project is aimed to develop algebraic methods in formal language theory languages like (ordered) syntactic monoids, syntactic semiri...

BA - Obecná matematika

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

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

of important questions in the theory of regular languages and finite semigroups, namely, decidability of concatenation hierarchies of regular languages, alternative descriptions techniques, in particular, finite universal algebra, ...

Pure mathematics

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

General algebra and its connections to computer science (GA13-01832S)

and their relation to knot theory), and word equations (binary equality languages, binary Post Correspondence Problem, independent systems of equations). A part of our research......

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 6 852 tis. Kč
    • •
  • 6 852 tis. Kč
    • •
  • GA ČR
Project

Approximate reasoning and generalized quantifiers (GA201/04/1033)

intensional logic and development of model of some selected parts of natural language as various kinds of solutions to fuzzy relation equations in models of fuzzy logic, (b of natural language, formalization within fuzzy i...

BA - Obecná matematika

  • 2004 - 2006
    • •
  • 1 180 tis. Kč
    • •
  • 1 180 tis. Kč
    • •
  • GA ČR
Project

Oscillation theory of half-linear differential and difference equations (GP201/07/P297)

-linear differential equations. It is known that there exists a similarity between theories of these equations and the Sturm-Liouville equation which is the special case of the half-linear equation. Especially, the...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 244 tis. Kč
    • •
  • 244 tis. Kč
    • •
  • GA ČR
Project

Singularities and impulses in boundary value problems for nonlinear ordinary differential equations (GA14-06958S)

for nonlinear problems described by ordinary differential equations and their generalizations like differential equations with impulses, Stieltjes integral equations, equations with fractional derivatives and diff...

BA - Obecná matematika

  • 2014 - 2016
    • •
  • 5 056 tis. Kč
    • •
  • 5 056 tis. Kč
    • •
  • GA ČR
Project

Oscillation and asymptotic properties of solutions of linear differential equations (IAA1019902)

equations in the following directions: - oscillation and spectral properties of even and asymptotic properties of solutions of n-th order differential equations; - oscillation theory of second order half-linear differential equ...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 1 556 tis. Kč
    • •
  • 577 tis. Kč
    • •
  • AV ČR
Project

Differential and functional - differential equations (GA201/96/0410)

Qualitative properties of linear and nonlinear differential equations and systems, as well as functional - differential equations will be studied. Boundary - value problems for these equations and asymptotic behavior of sol...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 2 661 tis. Kč
    • •
  • 1 712 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 1 614