Projekty investora

Grantová agentura ČR

Projekty v řešení

Problémy teorie matroidů pro diskrétní optimalizaci

Řešitel za FI
Období 01.01.2024–31.12.2026
Program Standardní projekty

Naučené indexy pro podobností hledání

Řešitel za FI
Období 01.07.2023–30.06.2026
Program LA granty

VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty

Řešitel za FI
Období 01.03.2023–31.12.2025
Program Standardní projekty

ChromeXplore: Interactive visual exploration of chromatin

Řešitel za FI
Období 01.01.2023–31.12.2025
Program Standardní projekty

Nové strategie ve zpracování multi-echo fMRI dat

Řešitel za FI
Období 01.01.2023–31.12.2025
Program Standardní projekty

Pokročilá analýza a verifikace pro pokročilý software

Řešitel za FI
Období 01.01.2023–31.12.2025
Program Standardní projekty

Vis4Schools: Fostering Information Visualization Literacy in Schools

Řešitel za FI
Období 01.03.2022–31.12.2024
Program LA granty

Studium role polyhydroxyalkanoátů u bakterie Schlegelella thermodepolymerans – slibného bakteriálního kandidáta pro biotechnologie nové generace

Řešitel za FI
Období 01.01.2022–31.12.2024
Program Standardní projekty

Jak rostlinné transposony přispívají ke "genomové krajině" a organizaci interfázních jáder

Řešitel za FI
Období 01.01.2021–31.07.2025
Program Standardní projekty

Segmentace a sledování buněk se složitým tvarem

Řešitel za FI
Období 01.01.2021–31.07.2025
Program Standardní projekty

Ukončené projekty

Efektivní analýza a optimalizace pravděpodobnostních systémů a her

Řešitel za FI
Období 01.01.2021–31.12.2023
Program Standardní projekty

Ověření a zlepšení bezpečnosti kryptografie eliptických křivek

Řešitel za FI
Období 01.01.2020–31.12.2022
Program Standardní projekty

Structure of tractable instances of hard algorithmic problems on graphs

Řešitel za FI
Období 01.01.2020–31.12.2022
Program Standardní projekty

Automata for Decision Procedures and Verification

Řešitel za FI
Období 01.01.2019–31.12.2021
Program Standardní projekty

Mimetic complexes and the evolution of inaccurate mimics

Řešitel za FI
Období 01.01.2019–30.06.2022
Program Standardní projekty

Modelling the future: Understanding the impact of technology on adolescent’s well-being

Řešitel za FI
Období 01.01.2019–31.12.2023
Program EXPRO

Searching, Mining, and Annotating Human Motion Streams

Řešitel za FI
Období 01.01.2019–31.12.2021
Program Standardní projekty

Verifikace a analýza pravděpodobnostních programů

Řešitel za FI
Období 01.01.2019–31.12.2021
Program Juniorské granty

Visual Analysis of Protein-Ligand Interactions

Řešitel za FI
Období 01.03.2018–31.12.2020
Program Mezinárodní projekty

Abstrakce a jiné techniky v semi-symbolické verifikaci programů

Řešitel za FI
Období 01.01.2018–31.12.2020
Program Standardní projekty

Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy

Řešitel za FI
Období 01.01.2018–31.12.2020
Program Standardní projekty

Diskrétní bifurkační analýza reaktivních systémů

Řešitel za FI
Období 01.01.2018–31.12.2020
Program Standardní projekty

Hyperintensionální usuzování nad texty přirozeného jazyka

Řešitel za FI
Období 01.01.2018–31.12.2020
Program Standardní projekty

Úloha transposonů v dynamice rostlinných genomů

Řešitel za FI
Období 01.01.2018–31.12.2020
Program Standardní projekty

Algebraic Language Theory for Infinite Trees

Řešitel za FI
Období 01.01.2017–31.12.2019
Program Standardní projekty

Methods of Identification and Visualization of Tunnels for Flexible Ligands in Dynamic Proteins

Řešitel za FI
Období 01.01.2017–31.12.2019
Program Standardní projekty

Segmentace a trekování živých buněk v multimodálních obrazech

Řešitel za FI
Období 01.01.2017–31.12.2019
Program Standardní projekty

Structural properties, parameterized tractability and hardness in combinatorial problems

Řešitel za FI
Období 01.01.2017–31.12.2019
Program Standardní projekty

Advancing cryptanalytic methods through evolutionary computing

Řešitel za FI
Období 01.01.2016–31.12.2018
Program Standardní projekty

Big Data Analytics for Unstructured Data

Řešitel za FI
Období 01.01.2016–31.12.2018
Program Standardní projekty

Rényiho entropie v kvantovém zpracování informace

Řešitel za FI
Období 01.01.2016–31.12.2018
Program Standardní projekty

Vývoj spolehlivých metod pro automatizovanou kvantitativní charakterizaci buněčné motility ve fluorescenční mikroskopii

Řešitel za FI
Období 01.01.2016–31.12.2018
Program Juniorské granty

Correctness Analysis of C and C++ Programs with Threads

Řešitel za FI
Období 01.03.2015–31.12.2017
Program Standardní projekty

Hyperintensionální logika pro analýzu přirozeného jazyka

Řešitel za FI
Období 01.03.2015–31.12.2017
Program Standardní projekty

Rostlinné transpozony a konformace DNA

Řešitel za FI
Období 01.01.2015–31.12.2017
Program Standardní projekty

Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů

Řešitel za FI
Období 01.01.2015–31.12.2017
Program Standardní projekty

Získávání parametrů biologických modelů pomocí techniky ověřování modelů

Řešitel za FI
Období 01.01.2015–31.12.2017
Program Standardní projekty

Development and Study of Methods for Live Cell Quantification

Řešitel za FI
Období 01.01.2014–31.12.2016
Program Standardní projekty

Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky

Řešitel za FI
Období 01.01.2014–31.12.2016
Program Standardní projekty

Centrum excelence - Institut teoretické informatiky

Řešitel za FI
Období 01.01.2012–31.12.2018
Program Projekty na podporu excelence v základním výzkumu

Centrum pro multi-modální interpretaci dat velkého rozsahu

Řešitel za FI
Období 01.01.2012–31.12.2018
Program Projekty na podporu excelence v základním výzkumu

Dynamika a organizace chromosomů během buněčného cyklu a při diferenciaci v normě a patologii

Řešitel za FI
Období 01.01.2012–31.12.2018
Program Projekty na podporu excelence v základním výzkumu

Dyschnet - Dynamické plánování a rozvrhování výpočetních a síťových zdrojů

Řešitel za FI
Období 01.01.2012–31.12.2015
Program Standardní projekty

Formální verifikace stochastických systémů s reálným časem

Řešitel za FI
Období 01.01.2012–31.12.2014
Program Postdoktorské projekty

Weak sources of entanglement and randomness

Řešitel za FI
Období 01.01.2012–31.12.2015
Program Standardní projekty

Bezpečnostní protokoly podporující soukromí a detekce průniku v bezdrátových senzorových sítích

Řešitel za FI
Období 01.03.2011–31.12.2014
Program Standardní projekty

Graph Drawings and Representations

Řešitel za FI
Období 01.03.2011–31.12.2013
Program Eurocores

Software Components in Embedded Systems: Development and Verification

Řešitel za FI
Období 01.03.2011–31.12.2013
Program Standardní projekty

Třídy dobře strukturovaných kombinatorických objektů, šířkové parametry a návrh efektivních algoritmů

Řešitel za FI
Období 01.01.2011–31.12.2013
Program Standardní projekty

Analýza a vizualizace proteinových struktur

Řešitel za FI
Období 01.01.2010–31.12.2012
Program Standardní projekty

Formální metody pro analýzu a verifikaci komplexních systémů

Řešitel za FI
Období 01.01.2010–31.12.2014
Program Standardní projekty

Podobnostní vyhledávání s konstantní škálovatelností

Řešitel za FI
Období 01.01.2010–31.12.2012
Program Postdoktorské projekty

Temporální aspekty znalostí a informací

Řešitel za FI
Období 01.01.2010–31.12.2012
Program Standardní projekty

Vizuální vyhledávání obrázků na Webu

Řešitel za FI
Období 01.01.2010–31.12.2012
Program Standardní projekty

Řešení obtížných dobře strukturovaných problémů: spolupráce člověka a počítače

Řešitel za FI
Období 01.01.2010–31.12.2012
Program Standardní projekty

Automatizovaná formální verifikace s využitím soudobého hardware

Řešitel za FI
Období 01.01.2009–31.12.2011
Program Postdoktorské projekty

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ů

Řešitel za FI
Období 01.01.2009–31.12.2012
Program Doktorské granty

Spolehlivá elektroenergetická soustava s připojenými netradičními zdroji

Řešitel za FI
Období 01.01.2009–31.12.2013
Program Standardní projekty

Strukturální teorie grafů a parametrizovaná složitost

Řešitel za FI
Období 01.01.2009–31.12.2010
Program Mezinárodní projekty

Triangularizované modely pro haptiku a virtuální realitu

Řešitel za FI
Období 01.01.2009–31.12.2011
Program Standardní projekty

Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky

Řešitel za FI
Období 01.01.2009–11.03.2010
Program Standardní projekty

Verifikace a analýza velmi velkých počítačových systémů

Řešitel za FI
Období 01.01.2009–31.12.2011
Program Standardní projekty

Vyhledávání v rozsáhlých multimediálních databázích

Řešitel za FI
Období 01.01.2009–31.12.2011
Program Standardní projekty

Bioinformatická a experimentální identifikace nekanonických struktur v genomové DNA

Řešitel za FI
Období 01.04.2008–31.12.2010
Program Standardní projekty

Formální verifikace: algoritmy, vlastnosti modelovacích formalismů a temporálních logik

Řešitel za FI
Období 01.01.2008–31.12.2010
Program Postdoktorské projekty

Komplexní podobnostní dotazy nad rozsáhlými objemy dat

Řešitel za FI
Období 01.01.2008–31.12.2010
Program Postdoktorské projekty

Molekulární mechanismy proliferace a diferenciace buněk

Období 01.01.2008–31.12.2011
Program Doktorské granty

Nové možnosti automatické verifikace síťových protokolů

Řešitel za FI
Období 01.01.2008–31.12.2010
Program Postdoktorské projekty

Využití strukturálních a šířkových parametrů v kombinatorice a algoritmické složitosti

Řešitel za FI
Období 01.01.2008–31.12.2010
Program Standardní projekty

Automatická analýza modelů pomocí procházení stavového prostoru

Řešitel za FI
Období 01.01.2007–31.12.2009
Program Postdoktorské projekty

Dialogové generování webovských prezentací a grafiky pro zrakově postižené

Řešitel za FI
Období 01.01.2007–31.12.2010
Program Standardní projekty

Distribuované indexační struktury pro podobnostní hledání

Řešitel za FI
Období 01.01.2007–31.12.2009
Program Postdoktorské projekty

Dynamické aspekty rozvrhování

Řešitel za FI
Období 01.01.2007–31.12.2009
Program Standardní projekty

Právní e-slovník - PES

Řešitel za FI
Období 01.01.2007–31.12.2011
Program Standardní projekty

Vizualice proteinových struktur

Řešitel za FI
Období 01.01.2007–31.12.2009
Program Standardní projekty

Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů

Řešitel za FI
Období 01.01.2007–31.12.2009
Program Standardní projekty

Automatizovaná verifikace softwaru

Řešitel za FI
Období 01.01.2006–31.12.2008
Program Standardní projekty

Generické objektové architektury v počítačové grafice a virtuální realitě

Řešitel za FI
Období 01.01.2006–31.12.2008
Program Postdoktorské projekty

Kryptografické generátory náhodných a pseudonáhodných čísel

Řešitel za FI
Období 01.01.2006–31.12.2008
Program Standardní projekty

Kvantový entanglement a kryptografické a výpočtová primitiva

Řešitel za FI
Období 01.01.2006–31.12.2008
Program Postdoktorské projekty

Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů

Řešitel za FI
Období 01.04.2005–31.12.2008
Program Doktorské granty

Překlad českých vět do konstrukcí transparentní intenzionální logiky

Řešitel za FI
Období 01.01.2005–31.12.2007
Program Standardní projekty

Topografická a funkční charakteristika telomer v různých typech nádorových buněk stanovená in situ a in vivo

Řešitel za FI
Období 01.01.2005–31.12.2007
Program Postdoktorské projekty

Cytometrie s vysokým rozlišením na živých buňkách

Řešitel za FI
Období 01.01.2004–31.12.2006
Program Standardní projekty

Kvantové zdroje a primitiva

Řešitel za FI
Období 01.01.2004–31.12.2006
Program Standardní projekty

Včasná diagnostika leukémií užitím technologie DNA-mikročipů a sledováním epigenetických změn

Řešitel za FI
Období 01.01.2004–31.12.2006
Program Postdoktorské projekty

Apoptózu vyvolávající faktor (AIF): Jeho uvolnění z mitochondrie a změny, které vyvolává ve struktuře jaderného chromatinu

Řešitel za FI
Období 01.09.2003–31.08.2006
Program Postdoktorské projekty

Trojrozměrná analýza buněčných jader s využitím obrazové cytometrie

Řešitel za FI
Období 01.09.2003–31.08.2006
Program Postdoktorské projekty

Vliv metylace a acetylace na strukturu chromatinu

Řešitel za FI
Období 01.09.2003–31.08.2006
Program Postdoktorské projekty

Automatizovaná verifikace paralelních a distribuovaných systémů

Řešitel za FI
Období 01.01.2003–31.12.2005
Program Standardní projekty

Velké jazykové korpusy a jejich automatická analýza

Řešitel za FI
Období 01.01.2003–31.12.2005
Program Standardní projekty

Verifikace nekonečně stavových systémů

Řešitel za FI
Období 01.01.2003–31.12.2005
Program Standardní projekty

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

Řešitel za FI
Období 01.01.2002–31.12.2004
Program Standardní projekty

Ionizující záření jako nástroj pro výzkum struktury buněčného jádra a pro vývoj nových technik pro ekologii a medicínu

Období 01.01.2001–31.01.2003
Program Standardní projekty

Kvantové zpracování informací

Řešitel za FI
Období 01.01.2001–31.01.2003
Program Standardní projekty

Pokročilé plánování a rozvrhování

Řešitel za FI
Období 01.01.2001–31.01.2003
Program Standardní projekty

Studium lokální kontroly exprese genů pomocí spektrální mikroskopie a analýzy obrazu

Řešitel za FI
Období 01.01.2001–31.01.2003
Program Standardní projekty

Algoritmy a nástroje pro praktickou verifikaci souběžných systémů

Řešitel za FI
Období 01.01.2000–31.01.2002
Program Standardní projekty

Architektury otevřených systémů na bázi XML a RDF

Řešitel za FI
Období 01.01.2000–31.01.2002
Program Postdoktorské projekty

Nekonečně stavové souběžné systémy - modely a verifikace

Řešitel za FI
Období 01.01.2000–31.12.2002
Program Standardní projekty

Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech

Řešitel za FI
Období 01.09.1999–31.08.2002
Program Standardní projekty

Dialogový systém pro programování zrakově postižených

Řešitel za FI
Období 01.01.1999–31.01.2001
Program Standardní projekty

Syntaktická analýza přirozeného jazyka

Řešitel za FI
Období 01.01.1999–31.01.2002
Program Standardní projekty

Syntaktická analýza přirozeného jazyka

Řešitel za FI
Období 01.01.1999–31.01.2002
Program Postdoktorské projekty

Využití analýzy obrazu při studiu struktury interfázního jádra

Řešitel za FI
Období 01.01.1999–31.01.2001
Program Standardní projekty

Změna struktury interfázního jádra buněk lidských leukemických linií po působení diferenciačních činidel a záření

Období 01.01.1999–31.01.2001
Program Standardní projekty

HCILAB - Laboratoř interakcí člověka s počítačem

Řešitel za FI
Období 01.01.1998–31.01.2003
Program Komplexní projekty

Informatika jako třetí metodologie

Řešitel za FI
Období 01.01.1998–31.01.2000
Program Standardní projekty

Metody, nástroje návrhu a realizace otevřených adaptivních softwarových architektur

Řešitel za FI
Období 01.01.1998–31.01.2000
Program Standardní projekty

Rozhodnutelné problémy v algebrách procesů

Řešitel za FI
Období 01.01.1998–31.12.2000
Program Standardní projekty

Struktura a dynamika aminokyselin

Řešitel za FI
Období 01.01.1998–31.01.2000
Program Standardní projekty

Meze algoritmické verifikovatelnosti nekonečně stavových systémů

Řešitel za FI
Období 01.01.1997–31.12.1999
Program Standardní projekty

Struktura interfázního jádra a její změny po ozáření

Období 01.01.1997–31.12.1999
Program Standardní projekty

Stanovení stabilních chromosomálních aberací indukovaných v buňkách lidské krve hustě ionizujícím zářením

Období 01.01.1996–31.01.1998
Program Standardní projekty

Čeština ve věku počítačů: Textové korpusy a lexikální i gramatická základna pro rozvoj češtiny v 21. století

Řešitel za FI
Období 01.01.1996–31.01.2001
Program Komplexní projekty

Počítačové studium konformačního chování biologicky zajímavých molekul

Období 01.01.1994–31.01.1996
Program Standardní projekty

Vývoj a implementace paralelních algoritmů s aplikacemi v počítačové chemii

Řešitel za FI
Období 01.01.1994–31.01.1994
Program Standardní projekty

Analýza konkurentních nekonečně stavových systémů

Řešitel za FI
Období 01.01.1993–31.01.1995
Program Standardní projekty

Počítačová sazba v jazykově specifickém prostředí

Řešitel za FI
Období 01.01.1993–31.01.1995
Program Standardní projekty

Počítačový korpus českých psaných textů (Počítačový fond češtiny)

Řešitel za FI
Období 01.01.1993–31.01.1995
Program Standardní projekty

Zpět na seznam investorů