Filtry
intALG-MAPFg Inteligentní algoritmy pro zobecněné varianty multi-agetního hledání cest (GA19-17966S)
na složité lokální a globální podmínky založené na SAT-modulovaných teoriích (SMT...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 2 693 tis. Kč •
- 2 693 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Teorie reprezentací (strukturní rozklady a jejich meze) (GA14-15479S)
rozklady a aproximace modulů. Naším hlavním cílem je prozkoumat hranice pro existenci složité (lokálně T-volné moduly), a také najít vztah těchto hranic ke klasickému výsledky (například o Mittag-Lefflerových modulech), kt...
BA - Obecná matematika
- 2014 - 2016 •
- 4 265 tis. Kč •
- 4 265 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
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í
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í...
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
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
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
- 1 - 10 z 1 593