Filtry
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Více filtrů
Projekty
logicMOVE Logické uvažování v plánování pohybu pro mnoho robotických agentů (GA22-31346S)
Plánování pohybu mnoha robotických agentů (MR-MoP) je úloha, kdy je potřeba najít posloupnosti jednoduchých pohybů pro jednotlivé robotické agenty tak, aby každý z nich splnil svůj dílčí úkol a zároveň mezi agenty nedocházelo ke kolizím. Důležitou ch...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2024 •
- 2 883 tis. Kč •
- 2 883 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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
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
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
Mezi vnímáním a propozičním poznáním (GA17-05919S)
Jádrem projektu je nové (současně historické i analytické) uchopení způsobu, jímž jsou propojeny vnímání a myšlení, včetně otázky rozdílu mezi myšlením propozičním a nepropozičním. V rámci širší otázky, jak fungují naše různé kognitivní schopnosti př...
AA - Filosofie a náboženství
- 2017 - 2021 •
- 4 886 tis. Kč •
- 4 376 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Grantová agentura České republiky
Teorie, důkazy a výpočetní složitost (IAA1019401)
Jedná se o teoretický výzkum v matematice a teoretické informatice. Hlavním cílem je studovat pojem výpočetní složitosti z několika hledisek: 1. teorii prvního řádu, 2. výrokového počtu a 3. booleovských obvodů. Konkrétně se jedná o studium omezené a...
BA - Obecná matematika
- 2004 - 2008 •
- 2 165 tis. Kč •
- 2 165 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2004 - 31. 12. 2008
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í
Složitost matematických důkazů a struktur (GA19-05497S)
Budeme studovat logické systémy se zřetelem na otázku, jaká je nejslabší přirozená teorie, v níž lze dokázat dané matematické tvrzení. Tato otázka se často v hloubi týká výpočetní složitosti, neboť důkazy v takovýchto slabých systémech souvisí s efek...
Pure mathematics
- 2019 - 2022 •
- 9 171 tis. Kč •
- 8 514 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (93%)
Poskytovatel: Grantová agentura České republiky
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
- 1 - 10 z 29