Filtry
Booleovské funkce (GP201/07/P168)
Jedná se o projekt z oblasti základního výzkumu v teoretické informatice na pomezí logiky, umělé inteligence a teorie algoritmů. Charakter projektu je převážně badatelsko-teoretický a sestává jednak z rešerší článků které souvisí se zkoumanou problem...
IN - Informatika
- 2007 - 2009 •
- 579 tis. Kč •
- 579 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Kryptografie založená na konečných tělesech (GA18-19087S)
Projekt se týká několika témat kryptoanalýzy založené na konečných tělesech. Jedním tématem je Problém diskrétního logaritmu (DLP). Další témata se týkají S-boxů, zvláště pak kryptoanalýzy AES. Projekt počítá s pokračováním již existující spoluprác...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2021 •
- 2 562 tis. Kč •
- 2 130 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
Booleovské techniky v reprezentaci znalostí (GA15-15511S)
Toto je projekt základního výzkumu, v němž se plánujeme zaměřit na řešení teoretických problémů spadajících do oblastí komprese a kompilace znalostí, a to v případě, kdy reprezentace znalostí je založena na booleovských funkcích. Částečný seznam konk...
IN - Informatika
- 2015 - 2017 •
- 2 430 tis. Kč •
- 2 430 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Měrové algebry (IAA100190509)
Cílem projektu je algebraická charakterizace měrových algeber a řešení otevřených problémů vztahujících se k problému J. von Neumanna formulovanému ve Skotské knize.......
BA - Obecná matematika
- 2005 - 2009 •
- 500 tis. Kč •
- 500 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Definovatelnost a ideály (MEB061106)
Cílem projektu je formulovat několik původních výsledků v teorii definovatelného forcingu, který spojuje metody z teorie proper-forcingu s deskriptivní teorií množin a matematickou analýzou. Mnoho z těchto forcingu lze zobecnit na větší kardinály: da...
BA - Obecná matematika
- 2011 - 2012 •
- 138 tis. Kč •
- 138 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2011 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Studium vlastností nových tříd speciálních funkcí několika proměnných (7AMB13PL035)
Cílem projektu v oblasti matematiky a matematické fyziky je vytvoření česko-polského výzkumného týmu, který se bude zabývat vlastnostmi nových rodin speciálních funkcí a přidružených ortogonálních polynomů. Výzkum bude zaměřen na otevřené problémy v ...
BA - Obecná matematika
- 2013 - 2014 •
- 176 tis. Kč •
- 176 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2013 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Výpočetní a komunikační složitost Booleovských funkcí a derandomizace (GP201/07/P276)
Tento projekt navrhuje studovat tři úzce související oblasti výpočetní složitosti: dolní odhady pro obvody a rozhodovací diagramy, komunikační složitost více hráčů a derandomizaci. V první oblasti navrhujeme studium velikosti početních obvodů omezené...
IN - Informatika
- 2007 - 2009 •
- 606 tis. Kč •
- 606 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (8J18FR045)
Analýza dynamických systémů prostřednictvím vhodných informatických modelů je jedním ze zásadních stavebních kamenů moderního paradigmatu systémové biologie. Motivace pro použití vhodných formalismů a výpočetních technik z oblasti počítačové vědy vyc...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2019 •
- 108 tis. Kč •
- 98 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2018 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Soil Transformations in European Catchments (7E10062)
SoilTrEC proposes to develop an integrated model of soil processes that describes key soil functions. These functions are defined in the EC Soil Thematic Strategy as essential ecosystem services for the well-being and economic succe...
DD - Geochemie
- 2010 - 2014 •
- 3 437 tis. Kč •
- 3 437 tis. Kč •
- MŠMT
Řešení projektu: 1. 12. 2010 - 30. 11. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Mechatronické systémy pro realizaci pracovních pohybů strojů (1P04OE168)
mechatronické systémy, neperiodické zdvihové závislosti, vhodná technologie výroby, pohybové funkce strojů...
JQ - Strojní zařízení a nástroje
- 2004 - 2006 •
- 36 609 tis. Kč •
- 12 345 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (34%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 149