Filtry
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
Řešení projektu: 1. 4. 2021 - 31. 3. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Arrowhead (7H13007)
-Provide a technical framework adapted in terms of functions and performances, -Propose solutions for integration with legacy systems, -Implement and evaluate the cooperative automation through real experimentations in applicative d...
JB - Senzory, čidla, měření a regulace
- 2013 - 2017 •
- 1 964 tis. Kč •
- 1 636 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2013 - 28. 2. 2017
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Teorie reálných funkcí a deskriptivní teorie množin (GA201/06/0198)
Projekt počítá s pokračováním dlouhodobého výzkumu řešitelů. Budeme pokračovat ve výzkumu v teorii derivací a diferencovatelnosti funkcí. Pro funkce jedné proměnné budeme zkoumat problémy týkající se Diniho a symetrických derivací; také budeme vyšetř...
BA - Obecná matematika
- 2006 - 2008 •
- 797 tis. Kč •
- 797 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Development of nanodiamond intracellular nanoprobes for oncogen transformation dynamics in living cells (7E11026)
for fundamental understanding of cellular functions, which is one of the primary real-time information about local biomolecular interactions. The present proposal nanotechnology platform for real-time monitoring (1) of liv...
FD - Onkologie a hematologie
- 2011 - 2013 •
- 3 081 tis. Kč •
- 3 081 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2011 - 30. 4. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
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
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
Arrowhead (7H13016)
framework adapted in terms of functions and performances, -Propose solutions for through real experimentations in applicative domains: electro-mobility, smart demonstrations in real working environments will be made -A tec...
BC - Teorie a systémy řízení
- 2013 - 2017 •
- 4 362 tis. Kč •
- 1 423 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2013 - 28. 2. 2017
Uznané náklady
Podpora ze státního rozpočtu (33%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Experimentální testovací systém pro real-time databáze (GA102/06/1742)
Cílem i podstatou projektu je navrhnout a implementovat experimentální real-time databázový systém umožňující studium chování a zpracování real-time všech nejdůležitějších funkčních bloků skutečného real-time databázového s...
JC - Počítačový hardware a software
- 2006 - 2008 •
- 2 049 tis. Kč •
- 2 049 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Kvantitativní monitorování šesti herpesvirů pomocí real-time PCR u pacientů po alogenní transplantaci hematopoetických kmenových buněk (NJ7459)
Infekce herpesviry jsou častou příčinou komplikací u pacientů po alogenní transplantaci hemtopoetických kmenových buněk. Pomocí kvantitativní real - time PCR budeme sledovat výskyt a rizikové faktory těchto infekcí.......
FN - Epidemiologie, infekční nemoci a klinická imunologie
- 2003 - 2005 •
- 4 465 tis. Kč •
- 4 420 tis. Kč •
- MZ
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Ministerstvo zdravotnictví
Big data pRocessing and Artificial Intelligence at the Network Edge (8A20003)
functions by evaluating multiple real-world use cases and scenarios that exhibit theThe BRAINE's overall aim is to boost the development of the Edge framework and specifically energy-efficient hardware and AI-empowered software sys...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2023 •
- 6 157 tis. Kč •
- 4 001 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 30. 11. 2023
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 520