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

869 (0,097s) •

Projekt

Algebraické struktury, teorie čísel a její aplikace (IAA1187101)

Teorie algebraických čísel studuje aritmetické vlastnosti těles algebraických čísel - okruh celých algebraických čísel v číselném tělese, ideály v okruhu celých čísel, jednotky, rozsah, ve kterém okruh celých čísel ztrácí schopnost mít jednoznačnou f...

BA - Obecná matematika

  • 2001 - 2003
    • •
  • 2 871 tis. Kč
    • •
  • 1 641 tis. Kč
    • •
  • AV ČR
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

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

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

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
Projekt

Předpověď rozpustnosti látek tvořených velkými molekulami v rozpouštědlech pomocí paralelizovaných molekulárních simulací (IAA4072309)

V rámci projektu budou navrÔeny paralelizované simulaťní metody pro věpoťet chemického potenciálu látek tvoýeněch velkěmi molekulami. Paralelizované simulaťní metody budou vycházet z pokroťilěch simulaťních metod jakěmi jsou "Kirkwood coupling parame...

CF - Fyzikální chemie a teoretická chemie

  • 2003 - 2005
    • •
  • 1 529 tis. Kč
    • •
  • 1 309 tis. Kč
    • •
  • AV ČR
Projekt

Algebraické aspekty invariantních diferenciálních operátorů (GP201/06/P223)

Jedním z cílů projektu je popis a zobecnění diferenciálních operátorů používaných v aplikacích v teoretické a matematické fyzice v rámci teorie Cartanových geometrií. Jedná se především o metaplektický Diracův operátor, který byl původně studován B. ...

BA - Obecná matematika

  • 2006 - 2008
    • •
  • 606 tis. Kč
    • •
  • 606 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 869