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

276 (0,211s) •

Projekt

Překlad formulí Lineární temporální logiky na omega-automaty (7AMB14FR016)

pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich apli...

IN - Informatika

  • 2014 - 2015
    • •
  • 84 tis. Kč
    • •
  • 84 tis. Kč
    • •
  • MŠMT
Projekt

Decentralizované řízení vážených automatů (MEB020729)

decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných automatů) ...

BC - Teorie a systémy řízení

  • 2008 - 2008
    • •
  • 33 tis. Kč
    • •
  • 33 tis. Kč
    • •
  • MŠMT
Projekt

Decentralizované supervizní řízení časovaných automatů (GAP103/11/0517)

. Vážené automaty (např. tzv. (max,+) automaty, intervalové automaty a další třídy, a to decentralizované řízení a koordinační řizení, kdy lokální řídící automaty komunikují......

BC - Teorie a systémy řízení

  • 2011 - 2013
    • •
  • 986 tis. Kč
    • •
  • 986 tis. Kč
    • •
  • GA ČR
Projekt

Efektivní konečné automaty pro automatické usuzování (LL1908)

Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzor...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Teorie modelů v kategoriích fuzzy množin (IAA1187901)

Teorie fuzzy množin se stává jednou z variant základů matematiky.S využitím této teorie se budují analogie klasických matem.struktur, známých z teorie množin,jako jsou grupy, topol.prostory apod.S výjimkou výzkumu různých fuzzy logik však existuje je...

BA - Obecná matematika

  • 1999 - 2001
    • •
  • 1 653 tis. Kč
    • •
  • 685 tis. Kč
    • •
  • AV ČR
Projekt

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Projekt

Algebraické metody v teorii automatů a formálních jazyků II (GA201/09/1313)

Charakterizace významných tříd jazyků syntaktickými strukturami a logikami, studium tříd průsekových automatů, studium implicitních jazykových rovnic, stavová složitost operací s dvoucestnými automaty, q-teorie Prezentace na prestižních konf...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 900 tis. Kč
    • •
  • 900 tis. Kč
    • •
  • GA ČR
Projekt

Srovnání dvou typů léčení spondylolistézy bederního obratle-zadní (transpedikulární fixace s fúzí a zadní intersmatická fúze) versus kombinovaný výkon (zadní transpedikulární fixace s fúzí a přední (ND6852)

Prospektivní randomizovaná studie srovnává výsledky dvou typů operačního léčení - zadní nebo přední intersomatická fúze ve spojení s posterolaterální fúzí a transpedikulární instrumentací - s částečnou nebo úplnou repozicí u lumbáln...

FI - Traumatologie a ortopedie

  • 2001 - 2003
    • •
  • 1 398 tis. Kč
    • •
  • 1 354 tis. Kč
    • •
  • MZ
Projekt

Konzervativní fúze v systémech odhadu propojených v síti (GC13-07058J)

Projekt se zabývá informační fúzí v systémech odhadu stavu propojených v síti a generujících hustoty pravděpodobnosti. Důraz je kladen na problém konzervativní fúze těchto pro konzervativní fúzi hustot generovaných systémy ...

BC - Teorie a systémy řízení

  • 2013 - 2015
    • •
  • 5 087 tis. Kč
    • •
  • 5 087 tis. Kč
    • •
  • GA ČR
Projekt

Koalgebra a řízení systémů s diskrétními událostmi (GP201/03/P077)

V posledních desetiletích se studovalo dohlížecí řízení v případě logických automatů a za pomoci algebraických metod. Automaty a jejich různá rozšíření se mohou. Dnes se objevujepotřeba zabývat se kvantitativními modely jako jsou například v...

BC - Teorie a systémy řízení

  • 2003 - 2004
    • •
  • 134 tis. Kč
    • •
  • 134 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 276