Filtry
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Zobrazit méně
Více filtrů
Projekty
intALG-MAPFg Inteligentní algoritmy pro zobecněné varianty multi-agetního hledání cest (GA19-17966S)
V multi-agentním hledání cest (MAPF) je úkolem najít vzájemně nekolidující cesty v grafu pro skupinu rozlišitelných agentů. Problém MAPF představuje důležitou teoretickou výzvu a zároveň má mnoho praktických aplikací. Významného pokroku bylo v posled...
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
Technologie pro fotodynamickou terapii nádorových onemocnění (OE09026)
Rozvineme nové fotosenzitizátory pro fotodynamickou terapii tumorů i její instrumentální část, - lampy a laserové zařízení. Vypracujeme ve správné výrobní praxi a dle předpisů SÚKL postup přípravy preparátu s uděleným patentem, včetně jejich zdokonal...
FR - Farmakologie a lékárnická chemie
- 2009 - 2012 •
- 25 545 tis. Kč •
- 12 000 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2009 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (47%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
LOGICA série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009001)
Projekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a příbuzných hraničních oborů. Cíle: a) zabezpečení 14.-16. ročníku unikátní mezinárodní konference LOGICA (pořáda...
AA - Filosofie a náboženství
- 2000 - 2002 •
- 1 743 tis. Kč •
- 1 203 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (69%)
Poskytovatel: Akademie věd České republiky
Neklasická interpretace aristotelské logiky a teorie predikace (GA19-06839S)
Obecně se předpokládá, že Aristotelés je zakladatelem logiky jako samostatné logiky. Aristotelská logika tak často chápána jako klasická a jako pouhý fragment kanonické moderní extenzionální logiky, jmenovitě predi...
Philosophy, History and Philosophy of science and technology
- 2019 - 2022 •
- 2 017 tis. Kč •
- 2 017 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2019 - 30. 6. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Reprezentace algebraických sémantik pro substrukturální logiky (GF24-14386L)
. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezonanční možnosti jsou konečné. Název "substrukturál...
Statistics and probability
- 2024 - 2026 •
- 3 696 tis. Kč •
- 3 696 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Složitost t-normových logik - algebraický a důkazově teoretický přístup (KJB100300701)
Složitost jistě patří mezi nejdůležitější části matematické logiky. Náš návrhovaný projekt je zaměřen na složitost vícehodnotových logik, jejichž sémantika je založena na zleva spojitých t-normách. Základní logika nad ktero...
BA - Obecná matematika
- 2007 - 2009 •
- 741 tis. Kč •
- 741 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
*Výzkum nové lékové formy gelu s liposomy zfúzovanými s hydrofóbními mikročásticemi ftalocyaninu pro fotodynamickou léčbu zhoubných nádorů. (2A-1TP1/026)
*Vyzkoumá možnosti formulací, prostředky stabilizace gelové formy s liposomy a hydrofóbním ftalocy-aminem; preklinicky otestuje účinnost na různé typy tumorů a do stadia 2B klinicky otestuje získaný lék (fotosenzitizátor) pro fotodynamickou terapii t...
FR - Farmakologie a lékárnická chemie
- 2006 - 2011 •
- 19 703 tis. Kč •
- 13 598 tis. Kč •
- MPO
Řešení projektu: 15. 11. 2006 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (69%)
Poskytovatel: Ministerstvo průmyslu a obchodu
LOGICA 2000 - série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009704)
Komplexní projekt LOGICA 2000 zahrnuje: a) uspořádání 11.-13. ročníku unikátní mezinár. konference LOGICA (pořádané každoročně od r.1987) věnované moderní logice výsledků logického výzkumu prezentovaných na konferencích o <...
AA - Filosofie a náboženství
- 1997 - 1999 •
- 1 344 tis. Kč •
- 790 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 1997 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (59%)
Poskytovatel: Akademie věd České republiky
Matematická fuzzy logika v informatice (GAP202/10/1826)
Matematická fuzzy logika je symbolická (matematická) logika se stupňovitým pojmem pravdy, kterou je třeba rozlišovat od fuzzy logiky v širokém smyslu a predikátová logika má přesné pojmy formulí, axiomů a důkazů, s...
IN - Informatika
- 2010 - 2016 •
- 9 136 tis. Kč •
- 9 136 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 7. 4. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Rekonstrukce filozofické logiky (GA401/97/0157)
Soudobá situace ve filozofické logice, kdy se zdá, jako by neexistovala jedna logika, nýbrž množství "logik" , znamená výzvu pro ty, kdo soudí, že mezi faktory charakteristických pro tzv. "klasickou" logiku. Možnou...
AA - Filosofie a náboženství
- 1997 - 1999 •
- 1 863 tis. Kč •
- 376 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 1997 - 1. 1. 1999
Uznané náklady
Podpora ze státního rozpočtu (20%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 283