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

6 907 (0,082s) •

Project

A Framework for Formal Specifications and Prototyping of Information System's Network Applications (GA102/05/0723)

system application designs. The project targets creation of a formal specification a new formal approach; instead, it should create methods and techniques that enable to utilize current formal specification

IN - Informatika

  • 2005 - 2007
    • •
  • 1 740 tis. Kč
    • •
  • 1 740 tis. Kč
    • •
  • GA ČR
Project

Framework for the deductive analysis of embedded software (GP201/07/P544)

The proposed project aims at basic research in the area of possible support of formal methods for domain specific modeling languages (DSML) for embedded systems by means of designing a formal verification framework based on...

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

  • 2007 - 2008
    • •
  • 352 tis. Kč
    • •
  • 352 tis. Kč
    • •
  • GA ČR
Project

Formal methods for analysis and verification of complex systems (GAP202/10/1469)

, etc. The project also aims at designing new specification formalismFormal verification utilizes mathematical methods for proving that a system satisfies desired properties. Verification methods are usually tailored for a ...

IN - Informatika

  • 2010 - 2014
    • •
  • 7 332 tis. Kč
    • •
  • 7 332 tis. Kč
    • •
  • GA ČR
Project

New possibilities in automatic verification of network protocols (GP201/08/P459)

The aim of the project is to study formalisms for network comunication system specification at a very early stage of design. Variety of studies has been done on Message Sequence Charts (MSC) formalism in this research area....

IN - Informatika

  • 2008 - 2010
    • •
  • 702 tis. Kč
    • •
  • 702 tis. Kč
    • •
  • GA ČR
Project

Negation and Negative Polarity Items in Czech (GP405/07/P252)

The aim of this project is to study one of the important aspects of the syntax-semantics interface: more specifically, we intend to describe and systematically analyze framework we assume the existence of a formal linguistic system ...

AI - Jazykověda

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

Software Components in Embedded Systems Development and Verification (GAP202/11/0312)

and tools for specification and formal description of components systems, methods and tools for formal verification of corectness of applications composed......

IN - Informatika

  • 2011 - 2013
    • •
  • 8 149 tis. Kč
    • •
  • 8 149 tis. Kč
    • •
  • GA ČR
Project

Using formal grammars and automata to acquire and verify domain control knowledge in planning (GA25-18003S)

, these approaches frequently fall short compared to domain-specific planners that exploit information about a particular domain. This domain- specific information can be encoded by using formal automata and grammars, how t...

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

  • 2025 - 2027
    • •
  • 11 280 tis. Kč
    • •
  • 10 449 tis. Kč
    • •
  • GA ČR
Project

The Politics of Care in the Time of Crisis Advancing the Sociology of Emotions (8J23AT026)

in general. Operationalisation of the general objective: Specific objective 1: to identify new formal opportunities for collaboration and to embed them more firmly of Horizon - formalities, prerequisites, focus Activi...

Political science

  • 2023 - 2024
    • •
  • 146 tis. Kč
    • •
  • 146 tis. Kč
    • •
  • MŠMT
Project

Formal representation of language structures (GA405/96/0198)

Natural Language Processing ( NLP ) of the Czech language is one of the high priority tasks of Czech linguistics. It presupposes a specification of the formal representation of language structures to be built which will be used as a...

AI - Jazykověda

  • 1996 - 1998
    • •
  • 3 240 tis. Kč
    • •
  • 1 734 tis. Kč
    • •
  • GA ČR
Project

Theory of nonlinear electronic transport in strongly correlated systems (GP202/01/D099)

to thenon-equilibrium case based on the systematic formalism of non-equilibrium Green's. The formal theory will be implemented numerically, and the codes will be employed for the description of specific systems whose selec...

BM - Fyzika pevných látek a magnetismus

  • 2001 - 2004
    • •
  • 959 tis. Kč
    • •
  • 488 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 6 907