Filtry
Logika a nesplnitelnost (GA23-04825S)
produkovaných praktickými SAT algoritmy. Chceme pochopit obecnější způsoby uvažování...
Pure mathematics
- 2023 - 2025 •
- 11 138 tis. Kč •
- 10 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (98%)
Poskytovatel: Grantová agentura České republiky
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)
statických přístupů bude zvláštní důraz kladen na přístupy využívající řešení SAT/SMT...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 10 611 tis. Kč •
- 9 278 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
Přenos významných patogenů aktivovaný klíštěcími slinami (GA524/05/0811)
molekul slinami aktivovaného přenosu (SAT), u žádné z nich nebylo prokázáno, že způsobuje SAT. I když byl charakterizován obecný efekt klíštěcích slin na imunitní na mechanismy protiinfekční imunity) molekuly zprostředkující SA...
EC - Imunologie
- 2005 - 2007 •
- 2 850 tis. Kč •
- 2 850 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Identifikace molekul klíštěcích slin usnadňujících přenos Borrelia burgdorferi pomocí RNA interference (IAA600960811)
a proliferaci v hostiteli. Tento jev je označován jako slinami aktivovaný přenos (SAT). Ačkoli byla navržena řada kandidátních SAT faktorů, byl identifikován pouze jediný. Je velmi pravděpodobné, že za SAT efekt jsou zodpo...
EC - Imunologie
- 2008 - 2010 •
- 3 228 tis. Kč •
- 3 228 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Multimediální výukové systémy (TC 95/27/172)
Nové informační technologie umožňující vytvořit výukové systémy komunikující se všemi zdroji nebo nosiči informací. (např. CD-ROM, sat. TV)- mediální výuková centra, jejich vývoj a výroba v ČR.......
9E - 9
- 1995 - 1996 •
- 1 543 tis. Kč •
- 693 tis. Kč •
- MH
Řešení projektu: 1. 1. 1995 - 1. 1. 1996
Uznané náklady
Podpora ze státního rozpočtu (45%)
Poskytovatel: Ministerstvo hospodářství
Efektivní techniky pro práci s automaty ve formálním usuzování (GJ16-24707Y)
Projekt si klade za cíl vyvinout nové efektivní a praktické algoritmy pro konečné automaty aplikovatelné ve formální verifikaci a analýze dynamických systémů. Bude stavět zejména na studiu souvislostí mezi automatovými problémy, metodami řešení S...
IN - Informatika
- 2016 - 2019 •
- 8 142 tis. Kč •
- 8 142 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2016 - 29. 11. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Omezující podmínky a booleovská splnitelnost pro umělou inteligenci (GP201/09/P318)
(i) Aplikovat toky v sítích pro relaxaci těžkých problémů z umělé inteligence. (ii) Navrhnout konzistenční techniky založené na strukturálních vlastnostech. (iii) Popsat strukturu vysoce paralelního plánování. (iv) Charakterizovat obtížnost problémů ...
IN - Informatika
- 2009 - 2011 •
- 882 tis. Kč •
- 882 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Algoritmy a řešitelské strategie (GP406/05/P561)
Algoritmickým myšlením rozumíme kognitivní potenci která zvědomuje, analyzuje a zpracovává intuitivně a spontánně uskutečňované myšlenkové procesy. Navrhovaný výzkum je zaměřen na studium a rozvoj algoritmického myšlení budoucích učitelů matematiky, ...
AM - Pedagogika a školství
- 2005 - 2007 •
- 789 tis. Kč •
- 789 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Realizace projektu PISA OECD v roce 2001 (LS013143)
Náplní projektu je zveřejnit výsledky 1. fáze výzkumu PISA OECD, která proběhla v roce 2000, a relizovat aktivity spojené s účastí ČR ve 2. fázi výzkumu PISA.......
AM - Pedagogika a školství
- 2001 - 2001 •
- 3 453 tis. Kč •
- 2 805 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2001 - 1. 1. 2001
Uznané náklady
Podpora ze státního rozpočtu (81%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Test problem based improvement and application of Direct Computer Mapping for solving multi-scale bio-system models (MEB041002)
otestovani vybraneho problemu, simulace signalnich soustav ktere se podileji na spousteni rakoviny, pomoci primeho mapovani pocitacem....
CI - Průmyslová chemie a chemické inženýrství
- 2010 - 2011 •
- 89 tis. Kč •
- 89 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 55