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

SelectAll/None

Join usingOrAnd

-

More filters

Projects

465 projects (0,15s) •

Project

Implementation of automaton into real-time operating systems (GP102/09/P205)

converting formal description of the control task into executable code running in 32-bits...

JC - Počítačový hardware a software

  • 2009 - 2010
    • •
  • 818 tis. Kč
    • •
  • 818 tis. Kč
    • •
  • GA ČR
Project

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

. The unifying formalism of coalgebraic methods seems to be essential for understanding of automataarecoalgebras of suitable set functors and their behaviours (formal languages, formal power series) can be also endowed with...

BC - Teorie a systémy řízení

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

Bioinformatics and biocomputing connections, models and applications (GA201/06/0567)

The project focuses on study of mathematical and computational properties of DNA (or also other organic molecules), with mutual interactions of bioinformatics and biocomputing techniques. Particularly, we propose: to develop further the research of r...

IN - Informatika

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

A unique device connecting the functionality of a calling and fee machine (EG20_321/0024011)

The aim of the project is the development of a commercially usable unique device, which will connect the development and fee automaton with its functionality and appearance. This device will be based on the functionality and principles of th...

Electrical and electronic engineering

  • 2021 - 2023
    • •
  • 6 293 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Prognostic and predictive factors in breast cancer (NR8323)

Analysis of the proteome of malignant breast tumors. Determination of novel prognostic and predictive factors.The validity of the classical prognostic factors versus molecular prognostic factors will be determined. Statistical analysis of breast canc...

FD - Onkologie a hematologie

  • 2005 - 2007
    • •
  • 5 077 tis. Kč
    • •
  • 4 958 tis. Kč
    • •
  • MZ
Project

Text processing and analysis (GA201/06/1039)

Results of the pattern matching research are used everyday by all computer users that use a text editor or search on the Internet. The starting point for our work are our latest results in the area of a text processing and analysis. In the area of a ...

IN - Informatika

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

Scanner for defect detection and automatic wood optimization (EG19_262/0019908)

. Image recognition for accurate detection of wood defects with their automaton...

Robotics and automatic control

  • 2020 - 2023
    • •
  • 12 676 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
Project

Realistic application of formal methods in component systems (1ET400300504)

components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a funct...

IN - Informatika

  • 2005 - 2009
    • •
  • 12 881 tis. Kč
    • •
  • 12 881 tis. Kč
    • •
  • AV ČR
Project

Analysis of Formal Structures of Legal Documents (KJB7068303)

The principal purpose of the project is detailed analysis of formal structures used in the texts of Czech law in the light of the latest possibilities provided by the development of the technology and the data base of legal texts. Formal...

AG - Právní vědy

  • 2003 - 2005
    • •
  • 1 146 tis. Kč
    • •
  • 653 tis. Kč
    • •
  • AV ČR
Project

Formal languages systems, research and implementation (MEB080878)

Main goal is international team building. Young researches will be adopted into the team and paper in CAI journal will be prepared and submited....

IN - Informatika

  • 2008 - 2009
    • •
  • 42 tis. Kč
    • •
  • 42 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 465