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

170 (0,098s)

Project

Advanced Analysis and Verification for Advanced Software (GA23-06506S)

considered logics (e.g., separation logic, quantified bit-vector logic, or constrained Horn clauses). The low-level programs to be verified include especially programs......

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

  • 2023 - 2025
  • 13 285 tis. Kč
  • 10 970 tis. Kč
  • GA ČR
Project

Industrial high intensity ultrasound devices. (FI-IM/065)

Development of functional sample (pilot) of industrial ultrasonic devices - electric generator and ultrasonic horn for applications in liquid medium.......

CA - Anorganická chemie

  • 2004 - 2006
  • 12 702 tis. Kč
  • 5 670 tis. Kč
  • MPO
Project

Dual polarized broadband horn antennas with for special scientific measurement purposes. (FI-IM4/199)

The subject of the project is research of components and development of dual polarized broadband horn antennas for frequency range 500 MHz 40 GHz and research and development of hybrid feeding elements for individual antennas for excitation ...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2007 - 2010
  • 3 850 tis. Kč
  • 1 394 tis. Kč
  • MPO
Project

Syntactic Analysis of Czech Complex Sentences for Natural Language Processing (GA405/08/0681)

between its clauses on the basis of linguistic evidence.The following tasks of segments and clauses;2. Collecting linguistic evidence and classification of the data;3 of a system of tags for segments and rules for connecting indivi...

AI - Jazykověda

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

Syntax of Old Church Slavonic Language. Sentence types the compound sentences (GA405/99/1612)

sentences with a) relative subordinate clauses b) adverbial subordinate clauses (i.e, concessive, limitative and exceptive subordinate clauses c) subordinate content clauses......

AI - Jazykověda

  • 1999 - 2001
  • 489 tis. Kč
  • 489 tis. Kč
  • GA ČR
Project

Encyclopedia Comeniana - English and multimedial version (CD ROM) (GA406/99/0629)

sentences with a) relative subordinate clauses b) adverbial subordinate clauses (i.e, concessive, limitative and exceptive subordinate clauses c) subordinate content clauses......

AJ - Písemnictví, mas–media, audiovize

  • 1999 - 2001
  • 1 418 tis. Kč
  • 1 418 tis. Kč
  • GA ČR
Project

Foreign dispute resolution clauses – their validity and enforcement by Czech national courts (GA16-10589S)

of the procedural clauses regulation manners of disputed resolution is one of the main and enforceability of prorogation, arbitration, mediation and multi-tier clauses......

AG - Právní vědy

  • 2016 - 2019
  • 382 tis. Kč
  • 382 tis. Kč
  • GA ČR
Project

Case-marked subordinate clauses (GF22-04113L)

This project investigates the case marking of subordinate clauses in the languages of Europe. The construction has not been studied in any detail in the relevant languages. Our goal is to contribute to a broader understanding of this const...

Specific languages

  • 2022 - 2024
  • 4 479 tis. Kč
  • 4 479 tis. Kč
  • GA ČR
Project

Consumer Protection And Its Problematic Aspects With Focus On Unfair Terms In Consumer Contracts And Arbitration Clauses (GAP408/10/0914)

The main aim of the proposed grant is to provide an in-depth study of so called unfair terms in consumer contracts, with focus on the maximum harmonisation principle and arbitration clauses in consumer contracts. The importance of the legal ...

AG - Právní vědy

  • 2010 - 2011
  • 276 tis. Kč
  • 276 tis. Kč
  • GA ČR
Project

Syntax of Sentence in Greek and Latin, a Comparison (GA405/05/0223)

be best started within the area of dependent clauses, which gives an opportunity of confronting the various dependent clauses, on one side (content, adverbial, relative clauses), and different types of semantically of the ...

AI - Jazykověda

  • 2005 - 2007
  • 761 tis. Kč
  • 761 tis. Kč
  • GA ČR
  • 1 - 10 out of 170