Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

22 (0,138s) •

Projekt

GRADLACT Stupňované logiky konání (GA22-16111S)

Výroková dynamická logika, PDL, je známým nástrojem logické analýzy diskurzu o konání. Protože je ale založena na klasické logice, nemůže adekvátně formalizovat diskurz zahrnující stupňované, vágní a nepřesné pojmy. V tomto projektu vyvineme a prostu...

Philosophy, History and Philosophy of science and technology

  • 2022 - 2024
    • •
  • 3 172 tis. Kč
    • •
  • 2 878 tis. Kč
    • •
  • GA ČR
Projekt

Vícejazyčný valenční a predikátový slovník přirozeného jazyka (1P05ME752)

propojení systémů predikátů v přirozeném jazyce...

IN - Informatika

  • 2005 - 2007
    • •
  • 2 232 tis. Kč
    • •
  • 1 652 tis. Kč
    • •
  • MŠMT
Projekt

Funkčně a strukturně gradientní biokompozity a skafoldy na bázi Ca-fosfátů pro kostní tkáňové inženýrství (LD14072)

Projekt je zaměřen na studium biomateriálů a biokeramických skafoldů s hierarchicky propojenou pórovitostí podobnou struktuře přirozené kosti. Cílem projektu bude zlepšení biokompatibility, stability a mechanických vlastností funkčně gradientních kom...

JH - Keramika, žáruvzdorné materiály a skla

  • 2014 - 2017
    • •
  • 2 872 tis. Kč
    • •
  • 2 872 tis. Kč
    • •
  • MŠMT
Projekt

Výzkum a vývoj progresivních funkčně gradientních materiálů a struktur. (FT-TA/022)

Výzkum a vývoj explozí, sválcováním, případně kombinacemi těchto i jiných způsobů spojování vytvořených funkčně gradientních kovových materiálů a struktur, tj. jednak dvouvrstvých a více vrstvých materiálů pro použití zejména jako ochranná prostředí ...

JG - Hutnictví, kovové materiály

  • 2004 - 2007
    • •
  • 50 831 tis. Kč
    • •
  • 31 500 tis. Kč
    • •
  • MPO
Projekt

Italský a francouzský predikát s podpůrným slovesem v konfrontaci s češtinou (KJB901420702)

Cílem předkládaného projektu je přispět k nalezení obecně lingvistických principů, podle nichž se řídí kombinace predikativních jmen (abstrakt) a podpůrných sloves. Kombinovatelnost abstrakt a podpůrných sloves je totiž ve většině jazyků velmi omezen...

AI - Jazykověda

  • 2007 - 2009
    • •
  • 551 tis. Kč
    • •
  • 551 tis. Kč
    • •
  • AV ČR
Projekt

Kriteriální báze pro hodnocení bezpečnosti výzkumných jaderných reaktorů (TK05010158)

Cílem projektu je umožnit uplatnění odstupňovaného přístupu pro výzkumná jaderná zařízení tím, že bude vytvořen úplný soubor kritérií a požadavků na hodnocení jejich bezpečnosti pro potřeby schvalovacích řízení a inspekčních činností SÚJB podle zákon...

Nuclear related engineering; (nuclear physics to be 1.3);

  • 2023 - 2024
    • •
  • 6 101 tis. Kč
    • •
  • 5 490 tis. Kč
    • •
  • TA ČR
Projekt

Predikátové škálované logiky a jejich aplikace v informatice (GA17-04630S)

Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí pravdivostních hodnot, která umožňuje modelovat pouze ...

IN - Informatika

  • 2017 - 2021
    • •
  • 6 926 tis. Kč
    • •
  • 5 714 tis. Kč
    • •
  • GA ČR
Projekt

Kvazirozhodovací procedury pro logické teorie reálných funkcí (GA21-09458S)

Rozhodovací procedury pro teorie v predikátové logice hrají čím dál větší roli v informatice, zejména v kombinaci s řešiči pro Boolovskou splnitelnost, tj. v SAT modulo teorie (SMT) řešičích. Existuje široké pole výzkumu rozhodovacích procedur pro ce...

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

  • 2021 - 2024
    • •
  • 2 541 tis. Kč
    • •
  • 2 541 tis. Kč
    • •
  • GA ČR
Projekt

České neslovesné predikáty motivované substantivem a jejich syntaktické rysy (GA25-16716S)

Projekt se zabývá teoretickými otázkami a slovníkovým zpracováním valence neslovesných predikátů motivovaných substantivem. Po stanovení typů slovotvorných procesů, pomocí kterých mohou být desubstantivní neslovesné predikáty utvořeny, se výzkum zamě...

Linguistics

  • 2025 - 2027
    • •
  • 4 994 tis. Kč
    • •
  • 4 976 tis. Kč
    • •
  • GA ČR
Projekt

Symetrie, duality a aproximace v derivované algebraické geometrii a teorii reprezentací (GA20-13778S)

Projekt je zaměřen na studium nových trendů v homologické algebře, teorii reprezentací a algebraické geometrii. Konkrétně jde o studium a vývoj teorie exotických verzí derivovaných kategorií a jejich ekvivalencí, studium derivované komutativní algebr...

Pure mathematics

  • 2020 - 2023
    • •
  • 16 124 tis. Kč
    • •
  • 14 987 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 22