Investor details
Czech Science Foundation
Projects in investigation
Matroid theory problems underpinning discrete optimization
Faculty investigator | |
---|---|
Duration | 01.01.2024–31.12.2026 |
Programme | Standard Projects |
Learned Indexing for Similarity Searching
Faculty investigator | |
---|---|
Duration | 01.07.2023–30.06.2026 |
Programme | LA Grants |
VESCAA: Verifiable and Efficient Synthesis of Controllers for Autonomous Agents
Faculty investigator | |
---|---|
Duration | 01.03.2023–31.12.2025 |
Programme | Standard Projects |
Advanced Analysis and Verification for Advanced Software
Faculty investigator | |
---|---|
Duration | 01.01.2023–31.12.2025 |
Programme | Standard Projects |
ChromeXplore: Interactive visual exploration of chromatin
Faculty investigator | |
---|---|
Duration | 01.01.2023–31.12.2025 |
Programme | Standard Projects |
New strategies in processing of multi-echo fMRI data
Faculty investigator | |
---|---|
Duration | 01.01.2023–31.12.2025 |
Programme | Standard Projects |
Vis4Schools: Fostering Information Visualization Literacy in Schools
Faculty investigator | |
---|---|
Duration | 01.03.2022–31.12.2024 |
Programme | LA Grants |
Unraveling the role of polyhydroxyalkanoates in Schlegelella thermodepolymerans – promising environmental bacterium for next generation biotechnology
Faculty investigator | |
---|---|
Duration | 01.01.2022–31.12.2024 |
Programme | Standard Projects |
Jak rostlinné transposony přispívají ke "genomové krajině" a organizaci interfázních jáder
Faculty investigator | |
---|---|
Duration | 01.01.2021–31.07.2025 |
Programme | Standard Projects |
Segmentace a sledování buněk se složitým tvarem
Faculty investigator | |
---|---|
Duration | 01.01.2021–31.07.2025 |
Programme | Standard Projects |
Completed projects
Efektivní analýza a optimalizace pravděpodobnostních systémů a her
Faculty investigator | |
---|---|
Duration | 01.01.2021–31.12.2023 |
Programme | Standard Projects |
Ověření a zlepšení bezpečnosti kryptografie eliptických křivek
Faculty investigator | |
---|---|
Duration | 01.01.2020–31.12.2022 |
Programme | Standard Projects |
Structure of tractable instances of hard algorithmic problems on graphs
Faculty investigator | |
---|---|
Duration | 01.01.2020–31.12.2022 |
Programme | Standard Projects |
Automata for Decision Procedures and Verification
Faculty investigator | |
---|---|
Duration | 01.01.2019–31.12.2021 |
Programme | Standard Projects |
Mimetic complexes and the evolution of inaccurate mimics
Faculty investigator | |
---|---|
Duration | 01.01.2019–30.06.2022 |
Programme | Standard Projects |
Modelling the future: Understanding the impact of technology on adolescent’s well-being
Faculty investigator | |
---|---|
Duration | 01.01.2019–31.12.2023 |
Programme | EXPRO |
Searching, Mining, and Annotating Human Motion Streams
Faculty investigator | |
---|---|
Duration | 01.01.2019–31.12.2021 |
Programme | Standard Projects |
Verifikace a analýza pravděpodobnostních programů
Faculty investigator | |
---|---|
Duration | 01.01.2019–31.12.2021 |
Programme | Junior projects |
Visual Analysis of Protein-Ligand Interactions
Faculty investigator | |
---|---|
Duration | 01.03.2018–31.12.2020 |
Programme | International projects |
Abstrakce a jiné techniky v semi-symbolické verifikaci programů
Faculty investigator | |
---|---|
Duration | 01.01.2018–31.12.2020 |
Programme | Standard Projects |
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
Faculty investigator | |
---|---|
Duration | 01.01.2018–31.12.2020 |
Programme | Standard Projects |
Diskrétní bifurkační analýza reaktivních systémů
Faculty investigator | |
---|---|
Duration | 01.01.2018–31.12.2020 |
Programme | Standard Projects |
Hyperintensionální usuzování nad texty přirozeného jazyka
Faculty investigator | |
---|---|
Duration | 01.01.2018–31.12.2020 |
Programme | Standard Projects |
Úloha transposonů v dynamice rostlinných genomů
Faculty investigator | |
---|---|
Duration | 01.01.2018–31.12.2020 |
Programme | Standard Projects |
Algebraic Language Theory for Infinite Trees
Faculty investigator | |
---|---|
Duration | 01.01.2017–31.12.2019 |
Programme | Standard Projects |
Methods of Identification and Visualization of Tunnels for Flexible Ligands in Dynamic Proteins
Faculty investigator | |
---|---|
Duration | 01.01.2017–31.12.2019 |
Programme | Standard Projects |
Segmentace a trekování živých buněk v multimodálních obrazech
Faculty investigator | |
---|---|
Duration | 01.01.2017–31.12.2019 |
Programme | Standard Projects |
Structural properties, parameterized tractability and hardness in combinatorial problems
Faculty investigator | |
---|---|
Duration | 01.01.2017–31.12.2019 |
Programme | Standard Projects |
Advancing cryptanalytic methods through evolutionary computing
Faculty investigator | |
---|---|
Duration | 01.01.2016–31.12.2018 |
Programme | Standard Projects |
Big Data Analytics for Unstructured Data
Faculty investigator | |
---|---|
Duration | 01.01.2016–31.12.2018 |
Programme | Standard Projects |
Rényiho entropie v kvantovém zpracování informace
Faculty investigator | |
---|---|
Duration | 01.01.2016–31.12.2018 |
Programme | Standard Projects |
Vývoj spolehlivých metod pro automatizovanou kvantitativní charakterizaci buněčné motility ve fluorescenční mikroskopii
Faculty investigator | |
---|---|
Duration | 01.01.2016–31.12.2018 |
Programme | Junior projects |
Correctness Analysis of C and C++ Programs with Threads
Faculty investigator | |
---|---|
Duration | 01.03.2015–31.12.2017 |
Programme | Standard Projects |
Hyperintensionální logika pro analýzu přirozeného jazyka
Faculty investigator | |
---|---|
Duration | 01.03.2015–31.12.2017 |
Programme | Standard Projects |
Rostlinné transpozony a konformace DNA
Faculty investigator | |
---|---|
Duration | 01.01.2015–31.12.2017 |
Programme | Standard Projects |
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
Faculty investigator | |
---|---|
Duration | 01.01.2015–31.12.2017 |
Programme | Standard Projects |
Získávání parametrů biologických modelů pomocí techniky ověřování modelů
Faculty investigator | |
---|---|
Duration | 01.01.2015–31.12.2017 |
Programme | Standard Projects |
Development and Study of Methods for Live Cell Quantification
Faculty investigator | |
---|---|
Duration | 01.01.2014–31.12.2016 |
Programme | Standard Projects |
Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
Faculty investigator | |
---|---|
Duration | 01.01.2014–31.12.2016 |
Programme | Standard Projects |
Centrum excelence - Institut teoretické informatiky
Faculty investigator | |
---|---|
Duration | 01.01.2012–31.12.2018 |
Programme | Projects to promote excellence in basic research |
Centrum pro multi-modální interpretaci dat velkého rozsahu
Faculty investigator | |
---|---|
Duration | 01.01.2012–31.12.2018 |
Programme | Projects to promote excellence in basic research |
Dynamika a organizace chromosomů během buněčného cyklu a při diferenciaci v normě a patologii
Faculty investigator | |
---|---|
Duration | 01.01.2012–31.12.2018 |
Programme | Projects to promote excellence in basic research |
Dyschnet - Dynamické plánování a rozvrhování výpočetních a síťových zdrojů
Faculty investigator | |
---|---|
Duration | 01.01.2012–31.12.2015 |
Programme | Standard Projects |
Formální verifikace stochastických systémů s reálným časem
Faculty investigator | |
---|---|
Duration | 01.01.2012–31.12.2014 |
Programme | Postdoctoral projects |
Weak sources of entanglement and randomness
Faculty investigator | |
---|---|
Duration | 01.01.2012–31.12.2015 |
Programme | Standard Projects |
Bezpečnostní protokoly podporující soukromí a detekce průniku v bezdrátových senzorových sítích
Faculty investigator | |
---|---|
Duration | 01.03.2011–31.12.2014 |
Programme | Standard Projects |
Graph Drawings and Representations
Faculty investigator | |
---|---|
Duration | 01.03.2011–31.12.2013 |
Programme | Eurocores |
Software Components in Embedded Systems: Development and Verification
Faculty investigator | |
---|---|
Duration | 01.03.2011–31.12.2013 |
Programme | Standard Projects |
Well-structured combinatorial classes, width parameters, and design of efficient algorithms
Faculty investigator | |
---|---|
Duration | 01.01.2011–31.12.2013 |
Programme | Standard Projects |
Analysis and Visualization of Protein Structures
Faculty investigator | |
---|---|
Duration | 01.01.2010–31.12.2012 |
Programme | Standard Projects |
Content-based Image Retrieval on the Web Scale
Faculty investigator | |
---|---|
Duration | 01.01.2010–31.12.2012 |
Programme | Standard Projects |
Formální metody pro analýzu a verifikaci komplexních systémů
Faculty investigator | |
---|---|
Duration | 01.01.2010–31.12.2014 |
Programme | Standard Projects |
Podobnostní vyhledávání s konstantní škálovatelností
Faculty investigator | |
---|---|
Duration | 01.01.2010–31.12.2012 |
Programme | Postdoctoral projects |
Temporální aspekty znalostí a informací
Faculty investigator | |
---|---|
Duration | 01.01.2010–31.12.2012 |
Programme | Standard Projects |
Řešení obtížných dobře strukturovaných problémů: spolupráce člověka a počítače
Faculty investigator | |
---|---|
Duration | 01.01.2010–31.12.2012 |
Programme | Standard Projects |
Automated formal verification using modern hardware
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2011 |
Programme | Postdoctoral projects |
Dependent type system for object-oriented programming languages
Faculty investigator | |
---|---|
Duration | 01.01.2009–11.03.2010 |
Programme | Standard Projects |
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ů
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2012 |
Programme | Doctor grants |
Reliable Electric Power Network with Connected Alternative Power Sources
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2013 |
Programme | Standard Projects |
Similarity Searching in Very Large Multimedia Databases
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2011 |
Programme | Standard Projects |
Structural graph theory and parameterized complexity
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2010 |
Programme | International projects |
Triangulated models in service of haptic and virtual reality
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2011 |
Programme | Standard Projects |
Verification and Analysis of Large-Scale Computer Systems
Faculty investigator | |
---|---|
Duration | 01.01.2009–31.12.2011 |
Programme | Standard Projects |
In vitro and in silico identification of non-canonical DNA structures in genomic sequences
Faculty investigator | |
---|---|
Duration | 01.04.2008–31.12.2010 |
Programme | Standard Projects |
Complex similarity searching in very large data collections
Faculty investigator | |
---|---|
Duration | 01.01.2008–31.12.2010 |
Programme | Postdoctoral projects |
Formal verification: algorithms, properties of modelling formalisms amd temporal logics
Faculty investigator | |
---|---|
Duration | 01.01.2008–31.12.2010 |
Programme | Postdoctoral projects |
Molecular mechanisms of the cell proliferation and differentiation
Duration | 01.01.2008–31.12.2011 |
---|---|
Programme | Doctor grants |
New possibilities in automatic verification of network protocols
Faculty investigator | |
---|---|
Duration | 01.01.2008–31.12.2010 |
Programme | Postdoctoral projects |
Utilization of Structural and Width Parametres in Combinatorics and Algorithmic Complexity
Faculty investigator | |
---|---|
Duration | 01.01.2008–31.12.2010 |
Programme | Standard Projects |
Automatic model analysis by state space exploration
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2009 |
Programme | Postdoctoral projects |
Dialogue generation of web presentations and graphics for visually impaired people
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2010 |
Programme | Standard Projects |
Distributed Index Structures for Similarity Searching
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2009 |
Programme | Postdoctoral projects |
Dynamic Aspects of Scheduling
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2009 |
Programme | Standard Projects |
Legal e-dictionary - PES
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2011 |
Programme | Standard Projects |
Quantum multipartite computation, communication and security
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2009 |
Programme | Standard Projects |
Visualization of protein structures
Faculty investigator | |
---|---|
Duration | 01.01.2007–31.12.2009 |
Programme | Standard Projects |
Automated software verification
Faculty investigator | |
---|---|
Duration | 01.01.2006–31.12.2008 |
Programme | Standard Projects |
Cryptographic random and pseudo-random number generators
Faculty investigator | |
---|---|
Duration | 01.01.2006–31.12.2008 |
Programme | Standard Projects |
Generic OO Architectures in the Computer Graphics and Virtual Reality
Faculty investigator | |
---|---|
Duration | 01.01.2006–31.12.2008 |
Programme | Postdoctoral projects |
Quantum entanglement and cryptographic and computation primitives
Faculty investigator | |
---|---|
Duration | 01.01.2006–31.12.2008 |
Programme | Postdoctoral projects |
Integrated approach to education of PhD students in the area of parallel and distributed systems
Faculty investigator | |
---|---|
Duration | 01.04.2005–31.12.2008 |
Programme | Doctor grants |
Topographic and functional characterization of telomeres in various tumor cell lines determined in situ and in vivo
Faculty investigator | |
---|---|
Duration | 01.01.2005–31.12.2007 |
Programme | Postdoctoral projects |
Translation of Czech Sentences to Transparent Intensional Logic Constructions
Faculty investigator | |
---|---|
Duration | 01.01.2005–31.12.2007 |
Programme | Standard Projects |
Early diagnostics of leukemia using DNA-microchip technology and by monitoring of epigenetic changes
Faculty investigator | |
---|---|
Duration | 01.01.2004–31.12.2006 |
Programme | Postdoctoral projects |
High-resolution cytometry of living cells
Faculty investigator | |
---|---|
Duration | 01.01.2004–31.12.2006 |
Programme | Standard Projects |
Quantum Resources and primitives
Faculty investigator | |
---|---|
Duration | 01.01.2004–31.12.2006 |
Programme | Standard Projects |
Apoptosis-inducing factor (AIF): its translocation from mitochondria and its action on nuclear chromatin
Faculty investigator | |
---|---|
Duration | 01.09.2003–31.08.2006 |
Programme | Postdoctoral projects |
The efect of methylation and acetylation on chromatin structure
Faculty investigator | |
---|---|
Duration | 01.09.2003–31.08.2006 |
Programme | Postdoctoral projects |
Threedimensional analysis of cell nuclei using image cytometry
Faculty investigator | |
---|---|
Duration | 01.09.2003–31.08.2006 |
Programme | Postdoctoral projects |
Automated Verification of Parallel and Distributed Systems
Faculty investigator | |
---|---|
Duration | 01.01.2003–31.12.2005 |
Programme | Standard Projects |
Verification of infinite-state systems
Faculty investigator | |
---|---|
Duration | 01.01.2003–31.12.2005 |
Programme | Standard Projects |
Very Large Language Corpora and Their Automatic Analysis
Faculty investigator | |
---|---|
Duration | 01.01.2003–31.12.2005 |
Programme | Standard Projects |
Chronic myeloid leukemia radiation risk estimation based on BCR-ABL distances in hemotopoietic cells
Faculty investigator | |
---|---|
Duration | 01.01.2002–31.12.2004 |
Programme | Standard Projects |
Advanced Planning and Scheduling
Faculty investigator | |
---|---|
Duration | 01.01.2001–31.01.2003 |
Programme | Standard Projects |
Investigation of the local control of gene expression using spectral microscopy and omage analysis techniques
Faculty investigator | |
---|---|
Duration | 01.01.2001–31.01.2003 |
Programme | Standard Projects |
Ionising radiation as a tool in the investigations of the cell nuclear structure and in the development of new techniques for ecology and medicine
Duration | 01.01.2001–31.01.2003 |
---|---|
Programme | Standard Projects |
Quantum information processing
Faculty investigator | |
---|---|
Duration | 01.01.2001–31.01.2003 |
Programme | Standard Projects |
Algorithms and tools for practical verification of concurrent systems.
Faculty investigator | |
---|---|
Duration | 01.01.2000–31.01.2002 |
Programme | Standard Projects |
Infinite state concurrent systems - models and verification
Faculty investigator | |
---|---|
Duration | 01.01.2000–31.12.2002 |
Programme | Standard Projects |
Open systems architecture based on XML and RDF
Faculty investigator | |
---|---|
Duration | 01.01.2000–31.01.2002 |
Programme | Postdoctoral projects |
Decidability and complexity of observational equivalences on infinite - state processes
Faculty investigator | |
---|---|
Duration | 01.09.1999–31.08.2002 |
Programme | Standard Projects |
Changes in the structure of interphase nucleai of human leukemic cell lines after treatment with differentiating agents and gama irradiation
Duration | 01.01.1999–31.01.2001 |
---|---|
Programme | Standard Projects |
Dialog system for support of visually impaired programmers
Faculty investigator | |
---|---|
Duration | 01.01.1999–31.01.2001 |
Programme | Standard Projects |
Image analysis in the study of interphase nucleus structure
Faculty investigator | |
---|---|
Duration | 01.01.1999–31.01.2001 |
Programme | Standard Projects |
Syntactic analysis of natural language
Faculty investigator | |
---|---|
Duration | 01.01.1999–31.01.2002 |
Programme | Postdoctoral projects |
Syntactic analysis of natural language
Faculty investigator | |
---|---|
Duration | 01.01.1999–31.01.2002 |
Programme | Standard Projects |
(Un)decidable Problems in Process Algebras
Faculty investigator | |
---|---|
Duration | 01.01.1998–31.12.2000 |
Programme | Standard Projects |
HCILAB - Human-Computer Interactions Laboratory
Faculty investigator | |
---|---|
Duration | 01.01.1998–31.01.2003 |
Programme | Complex Projects |
Informatics as the third methodology
Faculty investigator | |
---|---|
Duration | 01.01.1998–31.01.2000 |
Programme | Standard Projects |
Methods and tools of nthe design and implementation of open adaptive software architectures
Faculty investigator | |
---|---|
Duration | 01.01.1998–31.01.2000 |
Programme | Standard Projects |
Structure and Dynamics of Amino Acids
Faculty investigator | |
---|---|
Duration | 01.01.1998–31.01.2000 |
Programme | Standard Projects |
Algorithmic Verification Boundaries for Infinite-State Systems
Faculty investigator | |
---|---|
Duration | 01.01.1997–31.12.1999 |
Programme | Standard Projects |
The structure of interphase nucleus and its changes after irradiation
Duration | 01.01.1997–31.12.1999 |
---|---|
Programme | Standard Projects |
Czech language in the era of computers. Text corpora and lexical and grammatical base for the development of Czech in the 21 st century
Faculty investigator | |
---|---|
Duration | 01.01.1996–31.01.2001 |
Programme | Complex Projects |
Detections of stabile chromosome aberration induced by densely ionizing radiation in human blood cells
Duration | 01.01.1996–31.01.1998 |
---|---|
Programme | Standard Projects |
Computer Study of Conformational Behaviour on Biologically Interesting Molecules
Duration | 01.01.1994–31.01.1996 |
---|---|
Programme | Standard Projects |
Parallel Algorithms Applicable to Computational Chemistry. Design and Implementation
Faculty investigator | |
---|---|
Duration | 01.01.1994–31.01.1994 |
Programme | Standard Projects |
Analysis of Concurrent Infinite State Systems
Faculty investigator | |
---|---|
Duration | 01.01.1993–31.01.1995 |
Programme | Standard Projects |
Computers Corpus of Czech Written Text
Faculty investigator | |
---|---|
Duration | 01.01.1993–31.01.1995 |
Programme | Standard Projects |
Language-Specific Computerized Scientific Typesetting
Faculty investigator | |
---|---|
Duration | 01.01.1993–31.01.1995 |
Programme | Standard Projects |