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”

Filters

1 028 (0,083s)

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

New circuit principles and functional blocks for integrated circuit design (GA102/02/1312)

modelsof nonlinear and piecewise-linear dynamical systems as well as to the choice, realizable in an integrated form, easily testable and utilizable in......

JA - Elektronika a optoelektronika, elektrotechnika

  • 2002 - 2004
  • 2 850 tis. Kč
  • 1 479 tis. Kč
  • GA ČR
Project

Formal approaches in digital circuit diagnostics - testable design verification (GA102/01/1531)

The growing complexity of integrated circuits confronts the manufacturers with the problem of testability. The implementation of diagnostic principles has become an integral part of the process of digital circuit synthesis. During the synthe...

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

  • 2001 - 2003
  • 2 650 tis. Kč
  • 2 040 tis. Kč
  • GA ČR
Project

Testability of analogue and analogue- digital integrated circuits (GA102/95/0875)

JB - Senzory, čidla, měření a regulace

  • 1995 - 1997
  • 2 524 tis. Kč
  • 2 524 tis. Kč
  • GA ČR
Project

Formal approach to digital circuits test scheduling (GP102/03/P176)

was previouslyanalysed from the testability point of view and the method of the test application for each unit was proposed. For this purpose, the testability analysis methodology is the model of the circuit and results of previous...

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

  • 2003 - 2005
  • 580 tis. Kč
  • 580 tis. Kč
  • GA ČR
Project

Modern methods of digital system synthesis (GA102/04/0737)

, testability analysis and synthesis for testability, adaptability of the system during its...

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

  • 2004 - 2006
  • 3 140 tis. Kč
  • 2 728 tis. Kč
  • GA ČR
Project

Methodology and tools for digital circuits testability analysis (GA102/98/1463)

Methodologies and tools for digital circuits testability analysis are an integral part of the design process. One of their goals is to find an alternative to the test application of the circuit as a whole. One of the possibilities lies in ut...

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

  • 1998 - 2000
  • 1 390 tis. Kč
  • 1 383 tis. Kč
  • GA ČR
Project

Technology for improving the testability of modern digital circuits (1QS108040510)

The project aims at creating a new technology for diagnosing SoC-type digital circuits; project outputs will be a prototype and methodology. The method used for testing SoC circuits will be based on the so-called RESPIN architecture (IEEE P1500 compl...

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

  • 2005 - 2008
  • 6 464 tis. Kč
  • 6 464 tis. Kč
  • AV ČR
Project

Language Contact of Spanish, Guaraní and Czech in Paraguay (KJB901380702)

The project investigates sociolinguistic and linguistic aspects of language situation of this country exercises on immigrants the influence of two languages of the research of the language status and language loyal...

AI - Jazykověda

  • 2007 - 2009
  • 570 tis. Kč
  • 570 tis. Kč
  • AV ČR
Project

Advanded Joint Blind Source Separation Methods (GA17-00902S)

will be achieved by sophisticated modeling of the source signals such as piecewise AR(1...

BB - Aplikovaná statistika, operační výzkum

  • 2017 - 2019
  • 7 093 tis. Kč
  • 5 656 tis. Kč
  • GA ČR
  • 1 - 10 out of 1 028