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,089s) •

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)

    •••
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