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

2 136 (0,096s) •

Projekt

Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)

Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......

IN - Informatika

  • 2008 - 2009
    • •
  • 92 tis. Kč
    • •
  • 92 tis. Kč
    • •
  • MŠMT
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

Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)

Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a ta...

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

  • 2018 - 2020
    • •
  • 9 463 tis. Kč
    • •
  • 5 660 tis. Kč
    • •
  • GA ČR
Projekt

Verifikace nekonečně stavových systémů založená na konečných automatech (GP13-37876P)

Projekt je zaměřen na formální verifikaci programů s nekonečnými stavovými prostory, zvláště pak na programy s dynamicky alokovanými ukazatelovými strukturami a programy manipulující řetězce neohraničené délky. Verifikační nástroje pro obě třídy prog...

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Projekt

Prezentace výsledků výzkumu na ICME 8 (celosvětový kongres matematiků) (PG96145)

Aktivní účast 10 VŠ učitelů a vědeckých pracovníků v oboru didaktika matematiky. M. Hejný - člen programového výboru, M. Kaslová, M. Koman, J. Novotná, N. Stehlíková - vedoucí sekcí, prezentace posterů: D. Jirotková - Procept and concept "Infinit...

9E - 9

  • 1996 - 1996
    • •
  • 0 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MŠMT
Projekt

Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí (GA14-11384S)

Projekt směřuje do oblasti formální verifikace nekonečně stavových softwarových systémů. Konkrétně se soustředí na zvýšení automatizace, škálovatelnosti a obecnosti současných metod formální verifikace programů s neomezenými datovými strukturami, jak...

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

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Projekt

Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)

Automatizovaná verifikace programů je v současnosti s ohledem na rostoucí dopad počítačem řízených systémů na naše životy a výraznou potřebu minimalizovat počet chyb v těchto systémech velmi aktuálním výzkumným tématem. Projekt se konkrétně zaměřuje ...

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

  • 2010 - 2013
    • •
  • 4 752 tis. Kč
    • •
  • 4 752 tis. Kč
    • •
  • GA ČR
Projekt

Homologická a strukturní teorie v geometrických kontextech (GA23-05148S)

Projekt je zaměřen na studium objektů pocházejících z algebraické geometrie i teorie reprezentací a jejich homologických a strukturních vlastností. Konkrétně se jedná o vlastnosti klasických i nedávno objevených nekonvenčních derivovaných kategorií a...

Pure mathematics

  • 2023 - 2025
    • •
  • 19 237 tis. Kč
    • •
  • 18 352 tis. Kč
    • •
  • GA ČR
Projekt

Překážky ve fylogenetickém a ontogenetickém vývoji pojmu nekonečno (GA406/07/1026)

Rozvíjení poznatků o nekonečnu tvoří v historii matematiky jako vědním oboru zásadní mezníky pro její další vývoj. Předpokládáme, že podobnou roli hraje rozvíjení představ o nekonečnu i ve vývoji jedince, specielně v jeho matematickém vzdělávání. Mno...

AM - Pedagogika a školství

  • 2007 - 2009
    • •
  • 547 tis. Kč
    • •
  • 547 tis. Kč
    • •
  • GA ČR
Projekt

Algebro-geometrické metody pro operace s polynomiálními maticemi využitelné pro návrh řídících systémů (GA102/99/D033)

V návaznosti na projekt "Algoritmy a implementace samočinně se nastavujících vícerozměrných regulátorů"(102/98/1292 GAČR) a disertaci "H2-optimization with H-infinity constraints for standard structure configuration" (ISBN 80-01-019365), kde...

BC - Teorie a systémy řízení

  • 1999 - 2001
    • •
  • 87 tis. Kč
    • •
  • 87 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 2 136