Projekt podporovaný MZ v programu 1A |
1A8241 - Nové možnosti diagnostiky leukémií s využitím technologie DNA-mikročipů (2004 - 2006) |
Projekt podporovaný AV ČR v programu 1E |
1ET100300414 - Inteligentní metody pro zvýšení spolehlivosti elektrických sítí (2004 - 2008) |
Projekt podporovaný AV ČR v programu 1E |
1ET100300419 - Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu (2004 - 2008) |
Projekt podporovaný AV ČR v programu 1E |
1ET200190513 - DML-CZ: Česká digitální matematická knihovna (2005 - 2009) |
Projekt podporovaný AV ČR v programu 1E |
1ET200610406 - Jazyková poradna na internetu (2004 - 2008) |
Projekt podporovaný AV ČR v programu 1E |
1ET208050401 - E-learning v kontextu sémantického webu (2004 - 2008) |
Projekt podporovaný AV ČR v programu 1E |
1ET400300504 - Realistická aplikace formálních metod v komponentových systémech (2005 - 2009) |
Projekt podporovaný AV ČR v programu 1E |
1ET408050503 - Techniky automatické verifikace a validace softwarových a hardwarových systémů (2005 - 2009) |
Projekt podporovaný MŠMT v programu 1K |
1K05021 - Rekonstrukce objektů v biomedicínských obrazech pomocí statistických metod a metod umělé inteligence (2005 - 2006) |
Projekt podporovaný MŠMT v programu 1M |
1M0545 - Institut Teoretické Informatiky (2005 - 2009) |
Projekt podporovaný MŠMT v programu 2B |
2B06052 - Vytipování markerů, screening a časná diagnostika nádorových onemocnění pomocí vysoce automatizovaného zpracování multidimenzionálních biomedicínských obrazů (2006 - 2011) |
Projekt podporovaný MŠMT v programu 2C |
2C06009 - Prostředky tvorby komplexní báze znalostí pro komunikaci se sémantickým webem v přirozeném jazyce (2006 - 2010) |
Projekt podporovaný MŠMT v programu 7A |
7AMB14FR016 - Překlad formulí Lineární temporální logiky na omega-automaty (2014 - 2015) |
Projekt podporovaný MŠMT v programu 7A |
7AMB15AT018 - Vizualizace a interaktivní prozkoumávání dynamického chování velkých molekulárních systémů (2015 - 2016) |
Projekt podporovaný MŠMT v programu 7E |
7E08054 - Privacy and Identity Management for Community Services (2008 - 2011) |
Projekt podporovaný MŠMT v programu 7E |
7E10057 - Pattern REcognition-based Statistically Enhanced MT (2010 - 2012) |
Projekt podporovaný MŠMT v programu 7E |
7E13009 - Randomness and Quantum Entanglement (2013 - 2016) |
Projekt podporovaný MŠMT v programu 7F |
7F14047 - Harvesting big text data for under-resourced languages (2014 - 2017) |
Projekt podporovaný MŠMT v programu 7H |
7H10002 - industrial Framework for Embedded Systems Tools (2010 - 2013) |
Projekt podporovaný MŠMT v programu 7H |
7H13001 - Critical System Engineering Acceleration (2013 - 2016) |
Projekt podporovaný MŠMT v programu 8A |
8A16002 - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (2016 - 2019) |
Projekt podporovaný MŠMT v programu 8C |
8C20005 - Experimetnally-oriented Device Independent CrypTography (2020 - 2023) |
Projekt podporovaný MŠMT v programu 8J |
8J18FR045 - Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (2018 - 2019) |
Projekt podporovaný MŠMT v programu 8J |
8J21AT019 - Vizuální analýza v biologické a medicínské vizualizaci (2021 - 2022) |
Projekt podporovaný MPO v programu EB |
EB 5.1PP04/020 - CERIT Science Park (2011 - 2014) |
Projekt podporovaný MŠMT v programu ED |
ED4.1.00/04.0195 - Rozvoj infrastruktury pro výuku a výzkum na Fakultě informatiky (2011 - 2015) |
Projekt podporovaný MŠMT v programu EE |
EE2.3.20.0256 - Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice (2012 - 2015) |
Projekt podporovaný MŠMT v programu EE |
EE2.4.12.0049 - Platforma výzkumné a vzdělávací spolupráce FI MU v oblasti zpracování dat (2009 - 2013) |
Projekt podporovaný MŠMT v programu EF |
EF16_013/0001781 - LINDAT/CLARIN - Výzkumná infrastruktura pro jazykové technologie - rozšíření repozitáře a výpočetní kapacity (2017 - 2019) |
Projekt podporovaný MPO v programu EG |
EG21_374/0026711 - Inteligentní back office (2021 - 2024) |
Projekt podporovaný MPO v programu FV |
FV20453 - Digitální spektrometr směsných polí fotonů a neutronů (2017 - 2019) |
Projekt podporovaný TA ČR v programu FW |
FW01010063 - Integrovaný spektrometrický systém pro uvolňování radioaktivních odpadů do životního prostředí (2020 - 2022) |
Projekt podporovaný TA ČR v programu FW |
FW06010079 - Digitální spektrometr pro charakterizaci neznámého neutronového pole (2023 - 2026) |
Projekt podporovaný TA ČR v programu FW |
FW06010581 - Virtuální prostředí pro prezentaci výstupů matematických modelů pohybu osob (2023 - 2025) |
Projekt podporovaný TA ČR v programu FW |
FW09020055 - VisioTherapy: Podpora fyzioterapeutické léčby pomocí počítačové analýzy pohybu (2023 - 2025) |
Projekt podporovaný GA ČR v programu GA |
GA102/06/0711 - Kryptografické generátory náhodných a pseudonáhodných čísel (2006 - 2008) |
Projekt podporovaný GA ČR v programu GA |
GA102/09/1842 - Spolehlivá elektroenergetická soustava s připojenými netradičními zdroji (2009 - 2013) |
Projekt podporovaný GA ČR v programu GA |
GA14-03501S - Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (2014 - 2016) |
Projekt podporovaný GA ČR v programu GA |
GA14-22461S - Vývoj a studium metod pro kvantifikaci živých buněk (2014 - 2016) |
Projekt podporovaný GA ČR v programu GA |
GA15-02891S - Rostlinné transpozony a konformace DNA (2015 - 2017) |
Projekt podporovaný GA ČR v programu GA |
GA15-08772S - Analýza korektnosti vícevláknových programů v C a C++ (2015 - 2017) |
Projekt podporovaný GA ČR v programu GA |
GA15-11089S - Získávání parametrů biologických modelů pomocí techniky ověřování modelů (2015 - 2017) |
Projekt podporovaný GA ČR v programu GA |
GA15-13277S - Hyperintensionální logika pro analýzu přirozeného jazyka (2015 - 2017) |
Projekt podporovaný GA ČR v programu GA |
GA15-17564S - Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů (2015 - 2017) |
Projekt podporovaný GA ČR v programu GA |
GA16-08565S - Rozvoj kryptoanalytických metod prostřednictvím evolučních výpočtů (2016 - 2018) |
Projekt podporovaný GA ČR v programu GA |
GA16-18889S - Analytika pro velká nestrukturovaná data (2016 - 2018) |
Projekt podporovaný GA ČR v programu GA |
GA16-22211S - Rényiho entropie v kvantovém zpracování informace (2016 - 2018) |
Projekt podporovaný GA ČR v programu GA |
GA17-00837S - Strukturální vlastnosti, parametrizovaná řešitelnost a těžkost v kombinatorických problémech (2017 - 2019) |
Projekt podporovaný GA ČR v programu GA |
GA17-01035S - Algebraická teorie jazyků pro nekonečné stromy (2017 - 2019) |
Projekt podporovaný GA ČR v programu GA |
GA17-05048S - Segmentace a trekování živých buněk v multimodálních obrazech (2017 - 2019) |
Projekt podporovaný GA ČR v programu GA |
GA17-07690S - Metody identifikace a vizualizace tunelů pro flexibilní ligandy v dynamických proteinech (2017 - 2019) |
Projekt podporovaný GA ČR v programu GA |
GA18-00178S - Diskrétní bifurkační analýza reaktivních systémů (2018 - 2020) |
Projekt podporovaný GA ČR v programu GA |
GA18-00258S - Úloha transposonů v dynamice rostlinných genomů (2018 - 2020) |
Projekt podporovaný GA ČR v programu GA |
GA18-02177S - Abstrakce a jiné techniky v semi-symbolické verifikaci programů (2018 - 2020) |
Projekt podporovaný GA ČR v programu GA |
GA18-11193S - Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (2018 - 2020) |
Projekt podporovaný GA ČR v programu GA |
GA18-23891S - Hyperintensionální usuzování nad texty přirozeného jazyka (2018 - 2020) |
Projekt podporovaný GA ČR v programu GA |
GA19-02033S - Vyhledávání, analytika a anotace datových toků lidských pohybů (2019 - 2021) |
Projekt podporovaný GA ČR v programu GA |
GA19-24397S - Automaty v rozhodovacích procedurách a verifikaci (2019 - 2021) |
Projekt podporovaný GA ČR v programu GA |
GA20-03426S - Ověření a zlepšení bezpečnosti kryptografie eliptických křivek (2020 - 2022) |
Projekt podporovaný GA ČR v programu GA |
GA20-04567S - Struktura efektivně řešitelných případů těžkých algoritmických problémů na grafech (2020 - 2022) |
Projekt podporovaný GA ČR v programu GA |
GA201/00/0400 - Nekonečně stavové souběžné systémy - modely a verifikace (2000 - 2002) |
Projekt podporovaný GA ČR v programu GA |
GA201/00/1023 - Algoritmy a nástroje pro praktickou verifikaci souběžných systémů (2000 - 2002) |
Projekt podporovaný GA ČR v programu GA |
GA201/00/D110 - Architektury otevřených systémů na bázi XML a RDF (2000 - 2002) |
Projekt podporovaný GA ČR v programu GA |
GA201/01/0413 - Kvantové zpracování informací (2001 - 2003) |
Projekt podporovaný GA ČR v programu GA |
GA201/01/0942 - Pokročilé plánování a rozvrhování (2001 - 2003) |
Projekt podporovaný GA ČR v programu GA |
GA201/03/0509 - Automatizovaná verifikace paralelních a distribuovaných systémů (2003 - 2005) |
Projekt podporovaný GA ČR v programu GA |
GA201/03/1161 - Verifikace nekonečně stavových systémů (2003 - 2005) |
Projekt podporovaný GA ČR v programu GA |
GA201/04/1153 - Kvantové zdroje a primitiva (2004 - 2006) |
Projekt podporovaný GA ČR v programu GA |
GA201/05/2781 - Překlad českých vět do konstrukcí transparentní intenzionální logiky (2005 - 2007) |
Projekt podporovaný GA ČR v programu GA |
GA201/06/1338 - Automatizovaná verifikace softwaru (2006 - 2008) |
Projekt podporovaný GA ČR v programu GA |
GA201/07/0205 - Dynamické aspekty rozvrhování (2007 - 2009) |
Projekt podporovaný GA ČR v programu GA |
GA201/07/0603 - Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů (2007 - 2009) |
Projekt podporovaný GA ČR v programu GA |
GA201/07/0881 - Dialogové generování webovských prezentací a grafiky pro zrakově postižené (2007 - 2010) |
Projekt podporovaný GA ČR v programu GA |
GA201/07/0927 - Vizualizace proteinových struktur (2007 - 2009) |
Projekt podporovaný GA ČR v programu GA |
GA201/08/0308 - Využití strukturálních a "šířkových" parametrů v kombinatorice a algoritmické složitosti (2008 - 2010) |
Projekt podporovaný GA ČR v programu GA |
GA201/09/0097 - Triangularizované modely pro haptiku a virtuální realitu (2009 - 2011) |
Projekt podporovaný GA ČR v programu GA |
GA201/09/0683 - Vyhledávání v rozsáhlých multimediálních databázích (2009 - 2011) |
Projekt podporovaný GA ČR v programu GA |
GA201/09/1316 - Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky (2009 - 2011) |
Projekt podporovaný GA ČR v programu GA |
GA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009 - 2011) |
Projekt podporovaný GA ČR v programu GA |
GA201/98/0369 - Informatika jako třetí metodologie (1998 - 2000) |
Projekt podporovaný GA ČR v programu GA |
GA201/98/0532 - Metody, nástroje návrhu a realizace otevřených adaptivních softwarových architektur (1998 - 2000) |
Projekt podporovaný GA ČR v programu GA |
GA201/98/P046 - Rozhodnutelné problémy v algebrách procesů (1998 - 2000) |
Projekt podporovaný GA ČR v programu GA |
GA201/99/1248 - Dialogový systém pro programování zrakově postižených (1999 - 2001) |
Projekt podporovaný GA ČR v programu GA |
GA201/99/D026 - Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech (1999 - 2002) |
Projekt podporovaný GA ČR v programu GA |
GA201/99/D028 - Syntaktická analýza přirozeného jazyka (1999 - 2002) |
Projekt podporovaný GA ČR v programu GA |
GA202/02/0804 - Určení radiačního rizika pro vznik chronické myeloidní leukémie na základě měření vzdáleností mezi geny ABL a BCR v hematopoietických buňkách (2002 - 2004) |
Projekt podporovaný GA ČR v programu GA |
GA202/04/0907 - Cytometrie s vysokým rozlišením na živých buňkách (2004 - 2006) |
Projekt podporovaný GA ČR v programu GA |
GA202/99/P008 - Využití analýzy obrazu při studiu struktury interfázního jádra (1999 - 2002) |
Projekt podporovaný GA ČR v programu GA |
GA203/98/1166 - Struktura a dynamika aminokyselin (1998 - 2000) |
Projekt podporovaný GA ČR v programu GA |
GA204/08/1560 - Bioinformatická a experimentální identifikace nekanonických struktur v genomové DNA (2008 - 2010) |
Projekt podporovaný GA ČR v programu GA |
GA21-00580S - Jak rostlinné transposony přispívají ke "genomové krajině" a organizaci interfázního jádra (2021 - 2023) |
Projekt podporovaný GA ČR v programu GA |
GA21-20374S - Segmentace a sledování buněk se složitým tvarem (2021 - 2023) |
Projekt podporovaný GA ČR v programu GA |
GA21-24711S - Efektivní analýza a optimalizace pravděpodobnostních systémů a her (2021 - 2023) |
Projekt podporovaný GA ČR v programu GA |
GA22-10845S - Studium role polyhydroxyalkanoátů u bakterie Schlegelella thermodepolymerans – slibného bakteriálního kandidáta pro biotechnologie nové generace (2022 - 2024) |
Projekt podporovaný GA ČR v programu GA |
GA23-05651S - ChromeXplore: interaktivní vizuální prozkoumávání chromatinu (2023 - 2025) |
Projekt podporovaný GA ČR v programu GA |
GA23-06506S - Pokročilá analýza a verifikace pro pokročilý software (2023 - 2025) |
Projekt podporovaný GA ČR v programu GA |
GA23-06963S - VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty (2023 - 2025) |
Projekt podporovaný GA ČR v programu GA |
GA24-11098S - Problémy teorie matroidů pro diskrétní optimalizaci (2024 - 2026) |
Projekt podporovaný GA ČR v programu GA |
GA301/01/0186 - Studium lokální kontroly exprese genů pomocí spektrální mikroskopie a analýzy obrazu (2001 - 2003) |
Projekt podporovaný GA ČR v programu GA |
GA405/03/0913 - Velké jazykové korpusy a jejich automatická analýza (2003 - 2005) |
Projekt podporovaný GA ČR v programu GA |
GA407/07/0679 - Právní e-slovník - PES (2007 - 2011) |
Projekt podporovaný GA ČR v programu GA |
GAP103/10/0886 - Vizuální vyhledávání obrázků na Webu (2010 - 2012) |
Projekt podporovaný GA ČR v programu GA |
GAP202/10/0334 - Řešení obtížných dobře strukturovaných problémů: spolupráce člověka a počítače (2010 - 2012) |
Projekt podporovaný GA ČR v programu GA |
GAP202/10/1435 - Analýza a vizualizace proteinových struktur (2010 - 2012) |
Projekt podporovaný GA ČR v programu GA |
GAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010 - 2014) |
Projekt podporovaný GA ČR v programu GA |
GAP202/11/0196 - Třídy dobře strukturovaných kombinatorických objektů, šířkové parametry a návrh efektivních algoritmů (2011 - 2013) |
Projekt podporovaný GA ČR v programu GA |
GAP202/11/0312 - Vývoj a verifikace softwarových komponent v zapouzdřených systémech (2011 - 2013) |
Projekt podporovaný GA ČR v programu GA |
GAP202/11/0422 - Bezpečnostní protokoly podporující soukromí a detekce průniku v bezdrátových senzorových sítích (2011 - 2014) |
Projekt podporovaný GA ČR v programu GA |
GAP202/12/0306 - Dyschnet - Dynamické plánování a rozvrhování výpočetních a síťových zdrojů (2012 - 2015) |
Projekt podporovaný GA ČR v programu GA |
GAP202/12/1142 - Slabé zdroje entanglementu a náhodnosti (2012 - 2015) |
Projekt podporovaný GA ČR v programu GA |
GAP401/10/0792 - Temporální aspekty znalostí a informací (2010 - 2012) |
Projekt podporovaný GA ČR v programu GB |
GBP103/12/G084 - Centrum pro multi-modální interpretaci dat velkého rozsahu (2012 - 2018) |
Projekt podporovaný GA ČR v programu GB |
GBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012 - 2018) |
Projekt podporovaný GA ČR v programu GB |
GBP302/12/G157 - Dynamika a organizace chromosomů během buněčného cyklu a při diferenciaci v normě a patologii (2012 - 2018) |
Projekt podporovaný GA ČR v programu GC |
GC18-18647J - Vizuální analýza interakcí proteinů a ligandů (2018 - 2020) |
Projekt podporovaný GA ČR v programu GC |
GC201/09/J021 - Strukturální teorie grafů a parametrizovaná složitost (2009 - 2010) |
Projekt podporovaný GA ČR v programu GD |
GD102/05/H050 - Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů (2005 - 2008) |
Projekt podporovaný GA ČR v programu GD |
GD102/09/H042 - Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (2009 - 2012) |
Projekt podporovaný GA ČR v programu GE |
GEGIG/11/E023 - Kreslení grafů a jejich geometrické reprezentace (2011 - 2013) |
Projekt podporovaný GA ČR v programu GF |
GF22-06357L - Vis4Schools: Podpora gramotnosti vizualizace informací ve školách (2022 - 2024) |
Projekt podporovaný GA ČR v programu GF |
GF23-07040K - Naučené indexy pro podobností hledání (2023 - 2026) |
Projekt podporovaný GA ČR v programu GJ |
GJ16-03909Y - Vývoj spolehlivých metod pro automatizovanou kvantitativní charakterizaci buněčné motility ve fluorescenční mikroskopii (2016 - 2018) |
Projekt podporovaný GA ČR v programu GJ |
GJ19-15134Y - Verifikace a analýza pravděpodobnostních programů (2019 - 2021) |
Projekt podporovaný GA ČR v programu GP |
GP201/06/P247 - Generické objektové architektury v počítačové grafice a virtuální realitě (2006 - 2008) |
Projekt podporovaný GA ČR v programu GP |
GP201/06/P338 - Kvantový entanglement a kryptografická a výpočtová primitiva (2006 - 2008) |
Projekt podporovaný GA ČR v programu GP |
GP201/07/P035 - Automatická analýza modelů pomocí procházení stavového prostoru (2007 - 2009) |
Projekt podporovaný GA ČR v programu GP |
GP201/07/P240 - Distribuované indexační struktury pro podobnostní hledání (2007 - 2009) |
Projekt podporovaný GA ČR v programu GP |
GP201/08/P375 - Formální verifikace: algoritmy, vlastnosti modelovacích formalismů a temporálních logik (2008 - 2010) |
Projekt podporovaný GA ČR v programu GP |
GP201/08/P459 - Nové možnosti automatické verifikace síťových protokolů (2008 - 2010) |
Projekt podporovaný GA ČR v programu GP |
GP201/08/P507 - Komplexní podobnostní dotazy nad rozsáhlými objemy dat (2008 - 2010) |
Projekt podporovaný GA ČR v programu GP |
GP201/09/P497 - Automatizovaná formální verifikace s využitím soudobého hardware (2009 - 2011) |
Projekt podporovaný GA ČR v programu GP |
GP202/03/D033 - Vliv metylace a acetylace na strukturu chromatinu (2003 - 2006) |
Projekt podporovaný GA ČR v programu GP |
GP204/03/D031 - Apoptózu vyvolávající faktor (AIF): Jeho uvolnění z mitochondrie a změny, které vyvolává ve struktuře jaderného chromatinu (2003 - 2006) |
Projekt podporovaný GA ČR v programu GP |
GP204/03/D034 - Trojrozměrná analýza buněčných jader s využitím obrazové cytometrie (2003 - 2006) |
Projekt podporovaný GA ČR v programu GP |
GP204/05/P090 - Topografická a funkční charakteristika telomer v různých typech nádorových buněk stanovená in situ a in vivo (2005 - 2007) |
Projekt podporovaný GA ČR v programu GP |
GP301/04/P136 - Včasná diagnostika leukémií užitím technologie DNA-mikročipů a sledováním epigenetických změn (2004 - 2006) |
Projekt podporovaný GA ČR v programu GP |
GPP202/10/P220 - Podobnostní vyhledávání s konstantní škálovatelností (2010 - 2012) |
Projekt podporovaný GA ČR v programu GP |
GPP202/12/P612 - Formální verifikace stochastických systémů s reálným časem (2012 - 2014) |
Projekt podporovaný GA ČR v programu GV |
GV201/98/K041 - HCILAB - Laboratoř interakcí člověka s počítačem (1998 - 2003) |
Projekt podporovaný GA ČR v programu GV |
GV405/96/K214 - Čeština ve věku počítačů: Textové korpusy a lexikální i gramatická základna pro rozvoj češtiny v 21. století (1996 - 2001) |
Projekt podporovaný AV ČR v programu IA |
IAA1065203 - Využití kombinace laserových mikrosvazkových a cytometrických technik ke studiu struktury a dynamiky lidského genomu (2002 - 2006) |
Projekt podporovaný AV ČR v programu IA |
IAA5004306 - Struktura lidského genomu (2003 - 2007) |
Projekt podporovaný AV ČR v programu IA |
IAB5004102 - Jaderná topologie některých protoonkogenů u lidských neutrofilních granulocytů a leukemických buněk (2001 - 2003) |
Projekt podporovaný AV ČR v programu IB |
IBS5004010 - Vývoj nových diagnostických technik pro onkologii (2000 - 2004) |
Projekt podporovaný MŠMT v programu ID |
ID96013 - METACentrum - prostředí pro rozsáhlé distribuované výpočty (1996 - 1998) |
Projekt podporovaný MŠMT v programu LA |
LA 168 - Účast ČR ve výzkumném sdružení ERCIM (2002 - 2006) |
Projekt podporovaný MŠMT v programu LA |
LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
Projekt podporovaný MŠMT v programu LB |
LB98272 - SCB-MU - rozšíření superpočítačového centra při MU (1998 - 2000) |
Projekt podporovaný MŠMT v programu LC |
LC06008 - Centrum počítačové grafiky (2006 - 2010) |
Projekt podporovaný MŠMT v programu LC |
LC535 - Dynamika a organizace chromosomů během buněčného cyklu v normě a patologii (2005 - 2009) |
Projekt podporovaný MŠMT v programu LC |
LC536 - Integrované centrum počítačového zpracování přirozeného jazyka (2005 - 2009) |
Projekt podporovaný MŠMT v programu LD |
LD15066 - Rozhraní pro Linked Data v systému pro editaci slovníků DEB (2015 - 2017) |
Projekt podporovaný MŠMT v programu LG |
LG13010 - Zastoupení ČR v European Research Consortium for Informatics and Mathematics (2013 - 2015) |
Projekt podporovaný MŠMT v programu LH |
LH11065 - Řízení a ověřování vlastností komplexních hybridních systémů (2011 - 2014) |
Projekt podporovaný MŠMT v programu LI |
LI200027 - Centrum informačních zdrojů pro oblast informatiky na bázi moderních počítačových technologií (2000 - 2003) |
Projekt podporovaný MŠMT v programu LJ |
LJ12003 - Výzkum technologií vhodných pro face recognition, jež lze použít pro vyhledávání v multimediálních datech na internetu. (2012 - 2014) |
Projekt podporovaný MŠMT v programu LM |
LM2010013 - LINDAT-CLARIN: Institut pro analýzu, zpracování a distribuci lingvistických dat (2010 - 2015) |
Projekt podporovaný MŠMT v programu LM |
LM2015071 - Jazyková výzkumná infrastruktura v České republice (2016 - 2017) |
Projekt podporovaný MŠMT v programu LM |
LM2018101 - Digitální výzkumná infrastruktura pro jazykové technologie, umění a humanitní vědy (2019 - 2022) |
Projekt podporovaný MŠMT v programu LM |
LM2023062 - Digitální výzkumná infrastruktura pro jazykové technologie, umění a humanitní vědy (2023 - 2026) |
Projekt podporovaný MŠMT v programu LS |
LS013244 - Koncepce informační infrastruktury výzkumu a vývoje (2001 - 2001) |
Projekt podporovaný MŠMT v programu LT |
LTC17016 - Benchmarking algoritmů segmentace a sledování buněk (2017 - 2020) |
Projekt podporovaný MŠMT v programu ME |
ME 949 - Analysis of negative impacts on driver attention (2007 - 2011) |
Projekt podporovaný MZ v programu NC |
NC5955 - Jak může přispět studium prostorového uspořádání specifických genetických lokusů v jádře buněk zdravých a maligních tkání k diagnostice a léčbě solidních tumorů. (2000 - 2002) |
Projekt podporovaný MZ v programu NC |
NC6987 - Epigeneticky kontrolované změny exprese genů u nádorových onemocnění (2002 - 2004) |
Projekt podporovaný MZ v programu NS |
NS9681 - Studium molekulárně-biologické odpovědi na intenzivní inzulínovou terapii při plicních resekcích (2009 - 2011) |
Projekt podporovaný MZ v programu NU |
NU21-08-00359 - Klasifikace mozkových tumorů pomocí pokročilých metod analýzy dat multimodálního MR zobrazení difuze (2021 - 2024) |
Projekt podporovaný MZ v programu NU |
NU22-03-00159 - Radiomická analýza strukturální magnetické rezonance v diferenciální diagnostice poradiačních změn a skutečné progrese po cílené stereotaktické radioterapii mozkových metastáz (2022 - 2025) |
Projekt podporovaný MO v programu OF |
OFMASUN201301 - CIRC ? Mobilní dedikované zařízení pro naplňování schopností reakce na počítačové incidenty (2013 - 2015) |
Projekt podporovaný MO v programu OP |
OPMASUN200701 - VIRTUÁL - Prostředky virtuální reality v modernizované koncepci budování Operačně taktického systému velení a řízení pozemních sil (OTS VŘ PozS) AČR (2007 - 2008) |
Projekt podporovaný MO v programu OP |
OPVRG20070003 - DISTANCE - Zdokonalovací distanční příprava vojenských profesionálů AČR (2007 - 2008) |
Projekt podporovaný MO v programu OV |
OVMASUN200801 - CYBER ? Bezpečnost informačních a komunikačních systémů AČR - on line monitorování, vizualizace a filtrace paketů. Rozvoj schopností Computer Incident Response Capability v prostředí Cyber Defence. (2008 - 2012) |
Projekt podporovaný MO v programu OV |
OVMASUN201001 - VIZUALIZACE - Služby pro 3D vizualizaci taktických dat v OTS VŘ PozS (2010 - 2012) |
Projekt podporovaný MŽP v programu SM |
SM/250/3/03 - Analýza a návrh prototypů environmentálních datových modelů a vnějšího rozhraní JISŽP kompatibilních s EU (2003 - 2005) |
Projekt podporovaný MŽP v programu SP |
SP/4I2/26/07 - Návrh nových indikátorů pro průběžné monitorování účinnosti systémů environmentálního managementu podle odvětví (OKEČ) a systému jejich environmentálního reportingu s hodnocením vazeb mezi životním prostředím, ekonomikou a společností. (2007 - 2010) |
Projekt podporovaný NBÚ v programu ST |
ST20042004003 - Kryptografická a bezpečnostní analýza čipových karet a jednočipových kontrolérů (2004 - 2004) |
Projekt podporovaný NBÚ v programu ST |
ST20052005004 - Analýza čipových karet a jednočipových kontrolérů z hlediska kryptologické a implementační bezpečnosti (2005 - 2005) |
Projekt podporovaný NBÚ v programu ST |
ST20062006001 - Vývoj kryptologických nástrojů a metodik pro analýzu čipových karet a jednočipových kontrolerů. (2006 - 2006) |
Projekt podporovaný NBÚ v programu ST |
ST20072007001 - Vývoj a realizace testovacího pracoviště pro hodnocení čipových karet (2007 - 2007) |
Projekt podporovaný NBÚ v programu ST |
ST20082008001 - Vývoj pracoviště a testovacích postupů pro hodnocení čipových karet (2008 - 2008) |
Projekt podporovaný NBÚ v programu ST |
ST20092009001 - Analýza a výběr perspektivní čipové karty jako bezpečného nosiče klíčových proměnných (2009 - 2009) |
Projekt podporovaný TA ČR v programu TA |
TA01011383 - Digitální spektrometrický systém jaderného záření (2011 - 2014) |
Projekt podporovaný TA ČR v programu TA |
TA04010776 - Výzkum a vývoj inovativního zobrazovacího systému pro zpřesnění navigace invazivních chirurgických zákroků pomocí hyperspektrálního snímání obrazu (2014 - 2017) |
Projekt podporovaný TA ČR v programu TA |
TA04011556 - Modulární odpověďový rušič (2014 - 2017) |
Projekt podporovaný TA ČR v programu TB |
TB02CUZK004 - Vytvoření tezauru pro obor zeměměřictví a katastru nemovitostí (2014 - 2015) |
Projekt podporovaný TA ČR v programu TD |
TD03000295 - Inteligentní software pro sémantické hledání dokumentů (2016 - 2017) |
Projekt podporovaný TA ČR v programu TH |
TH04010192 - Automatizace formální verifikace (2019 - 2021) |
Projekt podporovaný TA ČR v programu TI |
TITIMV702-2 - Metodika a technologie pro tvorbu odborných tezaurů a slovníků pro potřeby rozvoje národní infrastruktury pro prostorové informace (2018 - 2020) |
Projekt podporovaný TA ČR v programu TK |
TK01030078 - Bezpečné využití výkonové flexibility pro řízení soustavy a obchodní účely (SecureFlex) (2018 - 2024) |
Projekt podporovaný TA ČR v programu TK |
TK03010175 - Přínosy nasazení chytrého měření pro společnost a regulátora (SM4RT) (2020 - 2022) |
Projekt podporovaný TA ČR v programu TK |
TK04020195 - Řízení zátěže v prostředí distribuované energetiky (2022 - 2024) |
Projekt podporovaný TA ČR v programu TN |
TN01000077 - Národní centrum kompetence pro Kyberbezpečnost (2019 - 2020) |
Projekt podporovaný TA ČR v programu TQ |
TQ01000110 - Webová aplikace na prokazování autorství (2023 - 2026) |
Projekt podporovaný MV v programu VB |
VB02000063 - Metody vzdáleného monitorování úrovně ionizujícího záření s energetickým rozlišením zdrojů (2024 - 2026) |
Projekt podporovaný MV v programu VF |
VF20102014003 - Analýza přirozeného jazyka v prostředí internetu (2010 - 2014) |
Projekt podporovaný MV v programu VF |
VF20102014004 - Multimediální analýza (2010 - 2014) |
Projekt podporovaný MV v programu VG |
VG20102014031 - Experimentální vývoj bezpečnostní softwarové platformy se systémem detekce průniku a režimy ochrany soukromí pro bezdrátové senzorové sítě (2010 - 2014) |
Projekt podporovaný MV v programu VG |
VG20122015073 - Efektivní vyhledávání v rozsáhlých biometrických datech (2012 - 2015) |
Projekt podporovaný MV v programu VI |
VI20192022116 - Metody přenosu a detekce scintilačního záření s optickými vlákny a energetickým rozlišením zdrojů ionizujícího záření (2019 - 2022) |
Projekt podporovaný MV v programu VI |
VI20192022161 - Národní kvalifikační rámec v kyberbezpečnosti (2019 - 2022) |
Projekt podporovaný MV v programu VI |
VI20202022158 - Výzkum nových technologií pro zvýšení schopností odborníků na kyberbezpečnost (2020 - 2022) |
Projekt podporovaný MV v programu VJ |
VJ01010084 - Elektronické důkazy v trestním řízení (2021 - 2025) |
Projekt podporovaný MV v programu VJ |
VJ01030007 - Standardy v kybernetické bezpečnosti (2021 - 2022) |
Projekt podporovaný MV v programu VJ |
VJ02010010 - Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI (2022 - 2025) |
Projekt podporovaný MV v programu VJ |
VJ02010020 - AI-Dojo: Multiagentní testbed pro výzkum a testování umělé inteligence v kyberbezpečnosti (2022 - 2025) |
Projekt podporovaný MV v programu VJ |
VJ03030052 - Rozvoj kapacit v oblasti kyberbezpečnosti (2023 - 2025) |
Projekt podporovaný MV v programu VK |
VK01030007 - Inteligentní nástroje pro plánování, provádění a vyhodnocení tabletop cvičení (2023 - 2026) |
Projekt podporovaný MV v programu VK |
VK01030030 - Systém pro zálohování a ukládání dat s integrovanou aktivní ochranou proti kybernetickým hrozbám (2023 - 2026) |
Projekt podporovaný MŠMT v programu VS |
VS97028 - Laboratoř zpracování přirozeného jazyka (s aplikacemi pro podporu výuky zrakově postižených) (1997 - 2000) |
Projekt podporovaný MŠMT v programu VS |
VS97031 - Využití analýzy obrazu při studiu mechanismů vzniku, v diagnostice a pro prevenci závažných onemocnění člověka (1997 - 2000) |