Projekty investora
Masarykova univerzita
Projekty v řešení
Agregace znalostí o kvalitativních modelech v systémové biologii na platformě Biodivine Boolean Models
Řešitel za FI | |
---|---|
Období | 01.07.2024–30.06.2025 |
Program | Interní projekty FI |
CORE - Stručný vhled do počítačové bezpečnosti a autentizace
Řešitel za FI | |
---|---|
Období | 01.07.2024–30.06.2025 |
Program | Společný univerzitní základ |
CORE předmět Aplikovaná etika
Řešitel za FI | |
---|---|
Období | 01.07.2024–30.06.2025 |
Program | Společný univerzitní základ |
Digitální data v humanitních a sociálních vědách
Řešitel za FI | |
---|---|
Období | 01.07.2024–30.06.2025 |
Program | Společný univerzitní základ |
Inovace předmětu Základy přenosu dat
Řešitel za FI | |
---|---|
Období | 01.07.2024–30.06.2025 |
Program | Inovace ve výuce |
Upgrading AlphaFind with high-quality embeddings
Řešitel za FI | |
---|---|
Období | 01.07.2024–31.01.2025 |
Program | Interní projekty FI |
Aplikovaný výzkum na FI: Forenzní aspekty kritických infrastruktur, aplikovaná kryptografie, kyberbezpečnostní cvičení, algoritmy plánování v logistice a pro zpracování dat z fyzikálních sensorů
Řešitel za FI | |
---|---|
Období | 01.01.2024–31.12.2024 |
Program | Specifický výzkum - podpora studentských projektů |
Modelování, analýza a verifikace (2024)
Řešitel za FI | |
---|---|
Období | 01.01.2024–31.12.2024 |
Program | Specifický výzkum - podpora studentských projektů |
Využití technik umělé inteligence pro zpracování dat, komplexní analýzy a vizualizaci rozsáhlých dat
Řešitel za FI | |
---|---|
Období | 01.01.2024–31.12.2024 |
Program | Specifický výzkum - podpora studentských projektů |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
Řešitel za FI | |
---|---|
Období | 01.01.2024–31.12.2024 |
Program | Specifický výzkum - podpora studentských projektů |
Excelentní studijní program Vizuální informatika
Řešitel za FI | |
---|---|
Období | 01.07.2023–30.06.2025 |
Program | Excelentní studijní programy |
Forensic Support for Building Trust in Smart Software Ecosystems
Řešitel za FI | |
---|---|
Období | 01.04.2023–31.12.2025 |
Program | Grantová agentura MU |
MUNI Award in Science and Humanities
Řešitel za FI | |
---|---|
Období | 01.04.2023–31.03.2028 |
Program | Grantová agentura MU |
MUNI AWARD in Science and Humanitites 1
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2024 |
Program | Grantová agentura MU |
Ukončené projekty
Příprava návrhu do výzvy "Explainable and Robust AI" (HORIZON-CL4)
Řešitel za FI | |
---|---|
Období | 01.07.2024–18.09.2024 |
Program | Grantová agentura MU |
Rozšíření webového archivu KAFE pro účely oboru Vývoj počítačových her
Řešitel za FI | |
---|---|
Období | 01.02.2024–30.06.2024 |
Program | Interní projekty FI |
Inovace výukových materiálů a výukových pomůcek pro předmět PB171
Řešitel za FI | |
---|---|
Období | 01.07.2023–30.06.2024 |
Program | Inovace ve výuce |
Rozšíření projektové a badatelské výuky v předmětech IV110 Projekt z bioinformatiky a E4014 Projekt z Matematické biologie a biomedicíny
Řešitel za FI | |
---|---|
Období | 01.07.2023–30.06.2024 |
Program | Inovace ve výuce |
Aplikovaný výzkum na FI: Bezpečnost počítačových systémů, softwarových architektur kritických infrastruktur s forenzními aspekty, zpracování dat pokročilých sensorů a algoritmy plánování v dopravě a logistice
Řešitel za FI | |
---|---|
Období | 01.01.2023–31.12.2023 |
Program | Specifický výzkum - podpora studentských projektů |
Implementace standardu CommonMark do TeXového balíku Markdown
Řešitel za FI | |
---|---|
Období | 01.01.2023–31.03.2023 |
Program | Interní projekty FI |
Modelování, analýza a verifikace (2023)
Řešitel za FI | |
---|---|
Období | 01.01.2023–31.12.2023 |
Program | Specifický výzkum - podpora studentských projektů |
Rozvoj technik pro zpracování dat pro podporu vyhledávání, analýz a vizualizací rozsáhlých datových souborů s využitím umělé inteligence
Řešitel za FI | |
---|---|
Období | 01.01.2023–31.12.2023 |
Program | Specifický výzkum - podpora studentských projektů |
Syntaktická rozšíření pro TeXový balík Markdown
Řešitel za FI | |
---|---|
Období | 01.01.2023–30.06.2023 |
Program | Interní projekty FI |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23
Řešitel za FI | |
---|---|
Období | 01.01.2023–31.12.2023 |
Program | Specifický výzkum - podpora studentských projektů |
PV211-utils: moderní sada nástrojů pro výuku a vyhodnocení vyhledávacích přístupů
Řešitel za FI | |
---|---|
Období | 01.08.2022–30.06.2023 |
Program | Interní projekty FI |
Webová aplikace pro kontrolu a archivaci videí
Řešitel za FI | |
---|---|
Období | 01.08.2022–30.06.2023 |
Program | Interní projekty FI |
Primawera - interaktivní nástroj pro podporu výuky zpracování obrazu a videa
Řešitel za FI | |
---|---|
Období | 01.07.2022–30.06.2023 |
Program | Interní projekty FI |
The interactive visualizations of the sequencing bias in the next-generation sequencing data
Řešitel za FI | |
---|---|
Období | 01.07.2022–31.10.2022 |
Program | Interní projekty FI |
The tool wrapper generator for python programs developed for the Galaxy platform
Řešitel za FI | |
---|---|
Období | 01.07.2022–30.09.2022 |
Program | Interní projekty FI |
Vývoj nástroje Q3B s částečnými BDD
Řešitel za FI | |
---|---|
Období | 01.07.2022–30.09.2023 |
Program | Interní projekty FI |
Člověk a digitální technologie
Řešitel za FI | |
---|---|
Období | 01.07.2022–30.06.2023 |
Program | Společný univerzitní základ |
Příprava návrhu do výzvy Excellence Hubs: Cybersecurity
Řešitel za FI | |
---|---|
Období | 21.02.2022–30.11.2022 |
Program | Grantová agentura MU |
A New Machine Translation-based approach to Parallel Corpora Alignment
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Interní grantová agentura MU |
Aplikovaný výzkum na FI: Bezpečnost počítačových systémů, softwarových architektur kritických infrastruktur a zpracování rozsáhlých senzorových dat
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Specifický výzkum - podpora studentských projektů |
Aplikovaný výzkum v oblastech vyhledávání, analýz a vizualizací rozsáhlých dat, zpracování přirozeného jazyka a aplikované umělé inteligence
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Specifický výzkum - podpora studentských projektů |
Automated text analysis of security certification reports
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Interní grantová agentura MU |
Dynamic Learned Indexing for Similarity Searching
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Interní grantová agentura MU |
Etika a informační technologie
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Společný univerzitní základ |
Finding translation equivalents without parallel texts
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Interní grantová agentura MU |
Modelling and Runtime Assessment of Trust in Automotive Autonomous Systems
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Interní grantová agentura MU |
Moduly pro strojový překlad (Modules for Machine Translation)
Řešitel za FI | |
---|---|
Období | 01.01.2022–30.11.2022 |
Program | Interní projekty CTT |
New Horizons of Electronic Health Record Analysis using Deep Learning
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Interní grantová agentura MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Specifický výzkum - podpora studentských projektů |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 22
Řešitel za FI | |
---|---|
Období | 01.01.2022–31.12.2022 |
Program | Specifický výzkum - podpora studentských projektů |
DP16_Odpovědné hlášení kyberbezpečnostních zranitelností a související postupy (Bugbounty)
Řešitel za FI | |
---|---|
Období | 01.12.2021–31.12.2022 |
Program | Interní projekty FI |
DP15_CareShare
Řešitel za FI | |
---|---|
Období | 01.11.2021–31.12.2022 |
Program | Interní projekty FI |
DP14_SECUSEN_II: Bezpečné senzory a data – průmyslová inteligence
Řešitel za FI | |
---|---|
Období | 01.09.2021–31.12.2022 |
Program | Interní projekty FI |
DP13_SeSMe: Bezpečný Smart Metering
Řešitel za FI | |
---|---|
Období | 01.07.2021–31.12.2022 |
Program | Interní projekty FI |
Příprava šablon pro sazbu knih a podpůrných tiskovin v TeXu nástrojem Markdown
Řešitel za FI | |
---|---|
Období | 01.07.2021–31.12.2021 |
Program | Interní projekty FI |
Webová aplikace pro podobnostní vyhledávání obrázků pomocí umělé inteligence
Řešitel za FI | |
---|---|
Období | 01.07.2021–31.05.2022 |
Program | Interní projekty FI |
DP12_Zabezpečení a dohled distribuovaných výrobních informačních systémů
Řešitel za FI | |
---|---|
Období | 01.05.2021–31.12.2022 |
Program | Interní projekty FI |
AIcope - AI support for Clinical Oncology and Patient Empowerment
Řešitel za FI | |
---|---|
Období | 01.04.2021–31.12.2023 |
Program | Grantová agentura MU |
Computational reconstruction of mechanistic framework underlying receptor tyrosine kinase function in signal transduction
Řešitel za FI | |
---|---|
Období | 01.04.2021–31.12.2023 |
Program | Grantová agentura MU |
ERK signaling code of epithelial morphogenesis and cancer
Řešitel za FI | |
---|---|
Období | 01.04.2021–31.12.2023 |
Program | Grantová agentura MU |
Exponenciálne matematické modely experimentálnych dát MRI
Řešitel za FI | |
---|---|
Období | 01.02.2021–31.12.2021 |
Program | Grantová agentura MU |
Aplikovaný výzkum na FI: softwarové architektury kritických infrastruktur, bezpečnost počítačových systémů a zpracování senzorových dat
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Specifický výzkum - podpora studentských projektů |
Aplikovaný výzkum: vyhledávání, analýza a vizualizace rozsáhlých dat, zpracování přirozeného jazyka, umělá inteligence pro analýzu biomedicínských obrazů.
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Specifický výzkum - podpora studentských projektů |
Electronic Health Record Analysis using Deep Learning
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Interní grantová agentura MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace X.
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Specifický výzkum - podpora studentských projektů |
Rozšírenie vstupných formátov LaTeXového nástroje Markdown
Řešitel za FI | |
---|---|
Období | 01.01.2021–30.06.2021 |
Program | Interní projekty FI |
Scientific framework for representation in sequential data
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Interní projekty FI |
Simulační ekosystém robotické platformy RoFI
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Interní projekty FI |
TLSInventory: Rozšíření webového nástroje na monitorování HTTPS konfigurace
Řešitel za FI | |
---|---|
Období | 01.01.2021–30.06.2021 |
Program | Interní projekty FI |
Vývoj nástroje Cube
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.10.2021 |
Program | Interní projekty FI |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 21
Řešitel za FI | |
---|---|
Období | 01.01.2021–31.12.2021 |
Program | Specifický výzkum - podpora studentských projektů |
Brýle pro rozšířenou realitu: letová podpora pilotů ultralehkých letadel
Řešitel za FI | |
---|---|
Období | 01.10.2020–28.02.2022 |
Program | Interní projekty CTT |
DP11_Bezpečné sdílení medicínských dat v období pandemie – Covid19 (CovidCareShare)
Řešitel za FI | |
---|---|
Období | 01.10.2020–31.03.2021 |
Program | Interní projekty FI |
DP10_Compliance program pro malé a střední podniky
Řešitel za FI | |
---|---|
Období | 01.07.2020–31.03.2021 |
Program | Interní projekty FI |
DP9_Certifikační autorita pro kyberbezpečnost
Řešitel za FI | |
---|---|
Období | 01.07.2020–30.06.2021 |
Program | Interní projekty FI |
DP8_CSIRT BootCamp
Řešitel za FI | |
---|---|
Období | 01.05.2020–30.06.2021 |
Program | Interní projekty FI |
Improving Treatments in Cerebral-Palsy Children using Artificial Intelligence
Řešitel za FI | |
---|---|
Období | 01.03.2020–31.12.2022 |
Program | Grantová agentura MU |
Aplikovaný výzkum: softwarové architektury kritických infrastruktur, bezpečnost počítačových systémů, zpracování přirozeného jazyka a jazykové inženýrství, vizualizaci velkých dat a rozšířená realita.
Řešitel za FI | |
---|---|
Období | 01.01.2020–31.12.2020 |
Program | Grantová agentura MU |
Inovace seminární výuky předmětu IB031 Úvod do strojového učení
Řešitel za FI | |
---|---|
Období | 01.01.2020–31.12.2020 |
Program | Fond rozvoje MU |
Inovace výukových materiálu předmětů programování hradlových polí (FPGA)
Řešitel za FI | |
---|---|
Období | 01.01.2020–31.12.2020 |
Program | Fond rozvoje MU |
Podpora zavedení magisterského předmětu Graphic Design for Web
Řešitel za FI | |
---|---|
Období | 01.01.2020–31.12.2020 |
Program | Fond rozvoje MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX
Řešitel za FI | |
---|---|
Období | 01.01.2020–31.12.2020 |
Program | Grantová agentura MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20
Řešitel za FI | |
---|---|
Období | 01.01.2020–31.12.2020 |
Program | Grantová agentura MU |
Comprehensive Modelling Platform: Core Modules Development
Řešitel za FI | |
---|---|
Období | 01.12.2019–31.08.2020 |
Program | Program děkana FI |
DP5_AMANDA: Asset Management ANd DiAgnostics
Řešitel za FI | |
---|---|
Období | 01.10.2019–31.12.2020 |
Program | Interní projekty FI |
DP6_KYPO4Industry
Řešitel za FI | |
---|---|
Období | 01.10.2019–30.04.2021 |
Program | Interní projekty FI |
DP7_SECUSEN: Bezpečné senzory a data
Řešitel za FI | |
---|---|
Období | 01.09.2019–31.03.2021 |
Program | Interní projekty FI |
DP4_Architektura systému pro zabezpečený real-time monitoring energetických soustav
Řešitel za FI | |
---|---|
Období | 01.08.2019–30.06.2021 |
Program | Interní projekty FI |
DP2_TRACTOR: Síťová analýza a operační kyberbezpečnost pro ICS/SCADA
Řešitel za FI | |
---|---|
Období | 01.05.2019–31.03.2021 |
Program | Interní projekty FI |
DP3_Právní a organizační model certifikace dle nařízení o kybernetické bezpečnosti
Řešitel za FI | |
---|---|
Období | 01.04.2019–31.12.2020 |
Program | Interní projekty FI |
Deciphering the mechanisms of mammary epithelial branched pattern formation through iterative biological and mathematical modelling
Řešitel za FI | |
---|---|
Období | 01.03.2019–30.06.2022 |
Program | Grantová agentura MU |
Side channel analysis of elliptic curve cryptography on smart cards
Řešitel za FI | |
---|---|
Období | 01.02.2019–31.12.2019 |
Program | Grantová agentura MU |
Digitální hry na MU - společný základ
Řešitel za FI | |
---|---|
Období | 12.01.2019–31.05.2019 |
Program | Interní projekty FF |
Aplikovaný výzkum na FI: softwarové architektury kritických infrastruktur, bezpečnost počítačových systémů, techniky pro zpracování a vizualizaci velkých dat a rozšířená realita.
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Grantová agentura MU |
DP1_Management Národního centra kompetence pro Kyberbezpečnost
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2022 |
Program | Interní projekty FI |
Inovace cvičení předmětu IB000 Matematické základy informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Fond rozvoje MU |
Inovace studijních materiálů předmětu IV054 Kódování, kryptografie a kryptografické protokoly - rozšíření sbírky příkladů
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Fond rozvoje MU |
Nové trendy: inovace v tvorbě písma
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Fond rozvoje MU |
Podpora perspektivních výzkumných týmů FI a vynikajících vědeckých pracovníků z jiných institucí působících na FI
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Interní projekty FI |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Grantová agentura MU |
Rozšíření výuky vývoje digitálních her
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Fond rozvoje MU |
Tvorba učebních materiálů pro rozvoj výuky 3d animace na FI
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Fond rozvoje MU |
Virtual Environments
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Fond rozvoje MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 19
Řešitel za FI | |
---|---|
Období | 01.01.2019–31.12.2019 |
Program | Grantová agentura MU |
Symbolická exekuce spustitelných programů v nástroji DIVINE
Řešitel za FI | |
---|---|
Období | 01.12.2018–30.11.2019 |
Program | Program děkana FI |
eBCSgen: Softvérová online podpora pre jazyk Biochemického priestoru
Řešitel za FI | |
---|---|
Období | 01.12.2018–31.08.2019 |
Program | Program děkana FI |
Údržba projektu biblatex-iso690
Řešitel za FI | |
---|---|
Období | 01.12.2018–31.05.2019 |
Program | Program děkana FI |
Ansámblové metódy pre detekciu anomálií
Řešitel za FI | |
---|---|
Období | 01.04.2018–16.11.2018 |
Program | Program děkana FI |
CAVER VR – analýza a vizualizace proteinů v prostředí virtuální reality
Řešitel za FI | |
---|---|
Období | 01.04.2018–30.11.2018 |
Program | Program děkana FI |
Modernizace Coinceru, decentralizované směnárny kryptoměn
Řešitel za FI | |
---|---|
Období | 01.04.2018–31.12.2018 |
Program | Program děkana FI |
Platforma pro správu testování Smart Grid
Řešitel za FI | |
---|---|
Období | 01.04.2018–30.11.2018 |
Program | Program děkana FI |
Vývoj nástroje Symbiotic V
Řešitel za FI | |
---|---|
Období | 01.04.2018–30.09.2018 |
Program | Program děkana FI |
Grupové techniky a kvantová informace
Řešitel za FI | |
---|---|
Období | 01.03.2018–31.12.2020 |
Program | Grantová agentura MU |
Pushing the limits in automated NMR structure determination using a single 4D NOESY spectrum and machine learning methods
Řešitel za FI | |
---|---|
Období | 01.03.2018–31.12.2020 |
Program | Grantová agentura MU |
Aplikovaný výzkum na FI: bezpečnost počítačových systémů, SW architektury kritických infrastruktur, zpracování velkých dat, vizualizace dat a virtuální realita
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Grantová agentura MU |
Digitální zpracování analogových elektrických signálů
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Fond rozvoje MU |
Inovace předmětu Teaching lab
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Fond rozvoje MU |
Modulární distribuovaná robotická platforma
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Fond rozvoje MU |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Interní projekty FI |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII.
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Grantová agentura MU |
Rozšíření praktické výuky programování v C#/.NET skrze inovaci předmětu FI:PV179
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Fond rozvoje MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 18
Řešitel za FI | |
---|---|
Období | 01.01.2018–31.12.2018 |
Program | Grantová agentura MU |
Automatické provazování videozáznamu přednášek se studijními materiály
Řešitel za FI | |
---|---|
Období | 05.12.2017–31.05.2018 |
Program | Program děkana FI |
MIaS: prechod z Lucene na ElasticSearch
Řešitel za FI | |
---|---|
Období | 05.12.2017–31.05.2018 |
Program | Program děkana FI |
FIDENTIS Analyst - Implementácia nástrojov na podporu a analýzu algoritmov vyhľadávania antropometrických bodov
Řešitel za FI | |
---|---|
Období | 01.04.2017–31.08.2017 |
Program | Program děkana FI |
Ověření úspěšnosti technik zpracování přirozeného jazyka pro extrakci informací ze skenovaných dokumentů
Řešitel za FI | |
---|---|
Období | 01.04.2017–31.08.2018 |
Program | Interní projekty CTT |
Rozšíření DiOSu, interního operačního systému verifikačního nástroje DIVINE
Řešitel za FI | |
---|---|
Období | 01.04.2017–31.03.2018 |
Program | Program děkana FI |
Rozšíření nabídky fontů na písmolijně Ateliéru grafického designu a multimédií
Řešitel za FI | |
---|---|
Období | 01.04.2017–31.03.2018 |
Program | Program děkana FI |
Vývoj nástroje Symbiotic IV
Řešitel za FI | |
---|---|
Období | 01.04.2017–31.08.2017 |
Program | Program děkana FI |
Vývoj veřejné webové platformy e-cyanobacterium.org a souvisejícího open-source software
Řešitel za FI | |
---|---|
Období | 01.04.2017–31.12.2017 |
Program | Program děkana FI |
mallumo
Řešitel za FI | |
---|---|
Období | 01.04.2017–30.09.2017 |
Program | Program děkana FI |
Manipulativní techniky propagandy v době internetu
Řešitel za FI | |
---|---|
Období | 01.03.2017–31.12.2019 |
Program | Grantová agentura MU |
Optimalizace cílené terapie kolorektálního karcinomu ovlivňováním účinnosti penetrace a cytotoxicity regulátorů buněčných signalizací
Řešitel za FI | |
---|---|
Období | 01.03.2017–31.12.2019 |
Program | Grantová agentura MU |
Adaptabilní systém pro výuku základů programování
Řešitel za FI | |
---|---|
Období | 01.02.2017–31.12.2017 |
Program | Grantová agentura MU |
Aplikace nízkopříkonových zařízení s ARM architekturou
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Fond rozvoje MU |
Aplikovaný výzkum na FI: vyhledávacích systémy, bezpečnost, vizualizace dat a virtuální realita.
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Grantová agentura MU |
Inovace předmětu Introduction to Information Retrieval
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Fond rozvoje MU |
Inovácia podpory výuky multimédii v LEMMA FI
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Fond rozvoje MU |
Nové předměty Numerical Methods, Computational Geometry v anglickém jazyce
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Fond rozvoje MU |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Interní projekty FI |
Publikace výsledků z nových dat v oblasti ICT bezpečnosti
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Grantová agentura MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VI.
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Grantová agentura MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.01.2017–31.12.2017 |
Program | Grantová agentura MU |
Vývoj nástroje Symbiotic III
Řešitel za FI | |
---|---|
Období | 01.07.2016–30.11.2016 |
Program | Program děkana FI |
Digitální spektrometrický systému se sadou různých typů scintilátorů
Řešitel za FI | |
---|---|
Období | 02.05.2016–31.12.2017 |
Program | Interní projekty CTT |
Dissim: disambiguace významu slov pro výpočet podobností dokumentů
Řešitel za FI | |
---|---|
Období | 01.04.2016–30.09.2016 |
Program | Program děkana FI |
DysHelper – nástroj pro testování přístupnosti webu a jeho automaticky personalizovaná úprava pro uživatele s dyslexií
Řešitel za FI | |
---|---|
Období | 01.04.2016–31.08.2016 |
Program | Program děkana FI |
FIDENTIS Analyst - rozšírenie modulu na generovanie 3D tvárí z 2D snímkov
Řešitel za FI | |
---|---|
Období | 01.04.2016–30.09.2016 |
Program | Program děkana FI |
FTutor1D: interaktivní nástroj pro výuku jednorozměrné diskrétní Fourierovy transformace
Řešitel za FI | |
---|---|
Období | 01.04.2016–30.09.2016 |
Program | Program děkana FI |
Nástroj pro predikci úspěšnosti počítačových her
Řešitel za FI | |
---|---|
Období | 01.04.2016–31.12.2016 |
Program | Program děkana FI |
Randomness Testing Toolkit - nástroj pro automatické testování náhodnosti binárních dat pomocí statistických baterií
Řešitel za FI | |
---|---|
Období | 01.04.2016–31.03.2017 |
Program | Program děkana FI |
Rozšíření knihovny Proso-apps pro systémy adaptivního procvičování
Řešitel za FI | |
---|---|
Období | 01.04.2016–31.12.2016 |
Program | Program děkana FI |
Analysis of gastrointestinal microbiome in patients with primary immune deficiencies
Řešitel za FI | |
---|---|
Období | 01.03.2016–31.12.2018 |
Program | Grantová agentura MU |
Expressive Visualization of Protein Complexes
Řešitel za FI | |
---|---|
Období | 01.03.2016–31.12.2018 |
Program | Grantová agentura MU |
Vliv metod kartografické vizualizace na úspěšnost řešení praktických a výukových prostorových úloh
Řešitel za FI | |
---|---|
Období | 01.03.2016–31.12.2018 |
Program | Grantová agentura MU |
Advanced Game Design
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Fond rozvoje MU |
Automatizovaná syntéza parametrov z temporálnych špecifikácií
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Grantová agentura MU |
Nový předmět "Advanced Search Techniques for Large Scale Data Analytics"
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Fond rozvoje MU |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Interní projekty FI |
Příprava podkladů pro nový předmět Pokročilé programování v C++
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Fond rozvoje MU |
Příprava podkladů pro předmět PB071 Úvod do jazyka C
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Fond rozvoje MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Grantová agentura MU |
Vytvoření předmětu Seminář laboratoře adaptabilní výuky
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Fond rozvoje MU |
Výzkum algoritmu pro hledání všech minimálních k-stranných řezů v grafu
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Grantová agentura MU |
Výzkum v aplikované informatice na FI MU
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Grantová agentura MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Grantová agentura MU |
Zpracování velkých objemů dat v reálném čase
Řešitel za FI | |
---|---|
Období | 01.01.2016–31.12.2016 |
Program | Fond rozvoje MU |
BCSgen: Softvérová podpora pre jazyk Biochemického priestoru
Řešitel za FI | |
---|---|
Období | 01.12.2015–31.08.2016 |
Program | Program děkana FI |
Další vývoj nástroje Symbiotic
Řešitel za FI | |
---|---|
Období | 01.12.2015–31.05.2016 |
Program | Program děkana FI |
Rozšíření nástroje DIVINE pro verifikaci vstupně-výstupně otevřených programů
Řešitel za FI | |
---|---|
Období | 01.12.2015–30.11.2016 |
Program | Program děkana FI |
TeXový interpret jazyka Markdown
Řešitel za FI | |
---|---|
Období | 01.12.2015–31.05.2016 |
Program | Program děkana FI |
ČSN ISO 690:2011 styl pro BibLaTeX
Řešitel za FI | |
---|---|
Období | 01.12.2015–31.05.2016 |
Program | Program děkana FI |
Coincer – decentralizovaná směnárna kryptoměn
Řešitel za FI | |
---|---|
Období | 01.04.2015–30.11.2015 |
Program | Program děkana FI |
Edu-hoc – platforma pro výuku vytváření aplikací pro ad hoc sítě se zaměřením na bezdrátové senzorové sítě a bezpečnost
Řešitel za FI | |
---|---|
Období | 01.04.2015–31.03.2016 |
Program | Program děkana FI |
FIDENTIS Analyst
Řešitel za FI | |
---|---|
Období | 01.04.2015–31.12.2015 |
Program | Program děkana FI |
Verifikace MPI programů pomocí DIVINE
Řešitel za FI | |
---|---|
Období | 01.04.2015–31.12.2015 |
Program | Program děkana FI |
Zlepšení prořezávání v nástroji Symbiotic
Řešitel za FI | |
---|---|
Období | 01.04.2015–30.09.2015 |
Program | Program děkana FI |
fithesis3
Řešitel za FI | |
---|---|
Období | 01.04.2015–30.09.2015 |
Program | Program děkana FI |
Příprava HORIZON 2020 projektu Computational and Visual Analysis of Molecular Dynamics Simulations
Řešitel za FI | |
---|---|
Období | 09.03.2015–26.03.2015 |
Program | Grantová agentura MU |
Development of new MUS81 nuclease inhibitors as chemical biology probe with clinical progression
Řešitel za FI | |
---|---|
Období | 01.03.2015–31.12.2017 |
Program | Grantová agentura MU |
Generativní historiografie antického Středomoří: Modelování a simulace dynamiky šíření náboženských představ a forem chování
Řešitel za FI | |
---|---|
Období | 01.03.2015–31.12.2017 |
Program | Grantová agentura MU |
Pokročilé hybridní metody studia transportních procesů v proteinech a jejich využití v designu biokatalyzátorů
Řešitel za FI | |
---|---|
Období | 01.03.2015–31.12.2017 |
Program | Grantová agentura MU |
Augmented Reality Interfaces
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Gamifikace výuky počítačové grafiky
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Inovace předmětu IB111 Úvod do programování skrze Python
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Inovace předmětu IV054 Kódování, kryptografie a kryptografické protokoly
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Inovace předmětu Project Management na Fakultě informatiky MU
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Inovace výuky funkcionálního programování
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Modernizace a obohacení výuky grafického designu o programování generativního designu
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Obohacení výuky v oblasti Software Quality na FI MU
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Interní projekty FI |
Programování v předmětu IB002 Algoritmy a datové struktury I
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV.
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Grantová agentura MU |
Stavba vysoce kvalitních datových struktur na grafickém hardware
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Grantová agentura MU |
Tvorba písmolíjny Ateliéru grafického designu a multimédií FI MU
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Fond rozvoje MU |
Výzkum FI v aplikované informatice
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Grantová agentura MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.01.2015–31.12.2015 |
Program | Grantová agentura MU |
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací
Řešitel za FI | |
---|---|
Období | 01.12.2014–31.08.2015 |
Program | Program děkana FI |
NTrace – systém pro sledování paprsku
Řešitel za FI | |
---|---|
Období | 01.12.2014–31.05.2015 |
Program | Program děkana FI |
Newron – aplikace pro pacienty s poruchou autistického spektra
Řešitel za FI | |
---|---|
Období | 01.12.2014–30.06.2015 |
Program | Program děkana FI |
Rozšíření DIVINE - nástroje pro paralelní verifikaci
Řešitel za FI | |
---|---|
Období | 01.12.2014–31.12.2015 |
Program | Program děkana FI |
Rozšíření vizualizačních možností programu viewer3d a knihovny v3dwins
Řešitel za FI | |
---|---|
Období | 01.12.2014–30.06.2015 |
Program | Program děkana FI |
NTrace – systém pro sledování paprsku
Řešitel za FI | |
---|---|
Období | 01.09.2014–30.11.2014 |
Program | Program děkana FI |
BRAIN - výzkum hrou
Řešitel za FI | |
---|---|
Období | 01.04.2014–31.10.2014 |
Program | Program děkana FI |
Bugst - nástroj pro analýzu programů
Řešitel za FI | |
---|---|
Období | 01.04.2014–30.06.2014 |
Program | Program děkana FI |
CoUnSiL: Videokonferenční prostředí pro vzdálené tlumočení znakového jazyka
Řešitel za FI | |
---|---|
Období | 01.04.2014–31.12.2014 |
Program | Program děkana FI |
Extending the tool PRISM with methods for effective analysis of stochastic biochemical systems
Řešitel za FI | |
---|---|
Období | 01.04.2014–01.04.2015 |
Program | Program děkana FI |
Automatizovaná analýza elektronmikroskopických snímků pro použití v biologii a medicíně
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2016 |
Program | Grantová agentura MU |
Experimentální výzkum chování uživatelů ICT v oblasti bezpečnosti perspektivou sociálních věd, práva a informatiky
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2016 |
Program | Grantová agentura MU |
Inovace cvičení předmětu IB002 Algoritmy a datové struktury I
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Inovace předmětu IB015 Neimperativní programování
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Inovace webu Botanická fotogalerie a poznávací test pro chytré telefony
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Modernizace a zkvalitnění výuky programování grafických aplikací
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Podpora výuky vývoje mobilních aplikací na Masarykově univerzitě
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Projektový předmět Ateliéru grafického designu a multimédií FI MU
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Příprava předmětu "NoSQL databáze"
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Vytvoření předmětu Recommender systems
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
Zavedení nového kurzu Pattern Recognition
Řešitel za FI | |
---|---|
Období | 01.03.2014–31.12.2014 |
Program | Fond rozvoje MU |
BioDiVinE v1.5: A tool for formal analysis of dynamical systems
Řešitel za FI | |
---|---|
Období | 01.01.2014–30.06.2014 |
Program | Program děkana FI |
Globální osvětlení na paralelním grafickém hardware
Řešitel za FI | |
---|---|
Období | 01.01.2014–31.12.2014 |
Program | Grantová agentura MU |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2014–31.12.2014 |
Program | Interní projekty FI |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III.
Řešitel za FI | |
---|---|
Období | 01.01.2014–31.12.2014 |
Program | Grantová agentura MU |
Výzkum FI ve vybraných oblastech aplikované informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2014–31.12.2014 |
Program | Grantová agentura MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.01.2014–31.12.2014 |
Program | Grantová agentura MU |
FIDENTIS – tvorba novej funkcionality a vylepšenie použitých algoritmov
Řešitel za FI | |
---|---|
Období | 01.12.2013–31.10.2014 |
Program | Program děkana FI |
Japonský slovník pro platformu Android
Řešitel za FI | |
---|---|
Období | 01.12.2013–30.11.2014 |
Program | Program děkana FI |
MathML Canonicalizer – Testování a rozšíření nástroje pro normalizaci MathML
Řešitel za FI | |
---|---|
Období | 01.12.2013–30.11.2014 |
Program | Program děkana FI |
NTrace – systém pro sledování paprsku
Řešitel za FI | |
---|---|
Období | 01.12.2013–31.05.2014 |
Program | Program děkana FI |
Rozříšení funkcionality slepemapy.cz
Řešitel za FI | |
---|---|
Období | 01.12.2013–31.05.2014 |
Program | Program děkana FI |
Rozšíření nástroje pro automatickou anotaci obrázků
Řešitel za FI | |
---|---|
Období | 01.12.2013–01.12.2014 |
Program | Program děkana FI |
Rozšíření pro MUSE framework
Řešitel za FI | |
---|---|
Období | 01.12.2013–31.08.2014 |
Program | Program děkana FI |
DVN – rozšíření o podporu databázového systému PostgreSQL
Řešitel za FI | |
---|---|
Období | 01.07.2013–31.03.2014 |
Program | Program děkana FI |
High-throughput screening of compound libraries aimed on discovery of novel inhibitors of the FGFR/ERK MAP kinase signaling
Řešitel za FI | |
---|---|
Období | 15.04.2013–31.12.2015 |
Program | Grantová agentura MU |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2013–31.12.2013 |
Program | Interní projekty FI |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II.
Řešitel za FI | |
---|---|
Období | 01.01.2013–31.12.2013 |
Program | Grantová agentura MU |
Vyzkum FI v oblastech aplikovane informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2013–31.12.2013 |
Program | Grantová agentura MU |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.01.2013–31.12.2013 |
Program | Grantová agentura MU |
Adaptace českých syntaktických analyzátorů pro slovenštinu
Řešitel za FI | |
---|---|
Období | 01.12.2012–30.11.2013 |
Program | Program děkana FI |
CAVER – vylepšení stávajících algoritmů a tvorba nové funkcionality
Řešitel za FI | |
---|---|
Období | 01.12.2012–31.05.2013 |
Program | Program děkana FI |
DiVinE
Řešitel za FI | |
---|---|
Období | 01.12.2012–30.11.2013 |
Program | Program děkana FI |
Rozšírenie funkcionality programu FIDENTIS – softvéru pre forenznú identifikáciu tvári
Řešitel za FI | |
---|---|
Období | 01.12.2012–31.07.2013 |
Program | Program děkana FI |
Rozšíření Sequence Chart Studia o novou funkcionalitu
Řešitel za FI | |
---|---|
Období | 01.12.2012–31.01.2014 |
Program | Program děkana FI |
SmartLib
Řešitel za FI | |
---|---|
Období | 01.12.2012–30.11.2013 |
Program | Program děkana FI |
VRECKO – systém pro vývoj aplikací ve virtuálním prostředí
Řešitel za FI | |
---|---|
Období | 01.12.2012–31.05.2013 |
Program | Program děkana FI |
dTUIO – implementace protokolu TUIO 2.0 s rozšířeními
Řešitel za FI | |
---|---|
Období | 01.06.2012–31.12.2012 |
Program | Program děkana FI |
DiVinE – nástroj pro paralelní verifikaci
Řešitel za FI | |
---|---|
Období | 01.04.2012–31.03.2013 |
Program | Program děkana FI |
Interaktivní nadstavba MTB mapy České republiky
Řešitel za FI | |
---|---|
Období | 01.04.2012–31.12.2012 |
Program | Program děkana FI |
Parasim: Nástroj pro paralelni simulaci a verifikaci
Řešitel za FI | |
---|---|
Období | 01.04.2012–31.12.2012 |
Program | Program děkana FI |
Podpora verzování relačních schémat databáze
Řešitel za FI | |
---|---|
Období | 01.04.2012–31.01.2013 |
Program | Program děkana FI |
Tabletové uživatelské rozhraní pro SAGE
Řešitel za FI | |
---|---|
Období | 01.04.2012–31.12.2012 |
Program | Program děkana FI |
Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2012–31.12.2012 |
Program | Interní projekty FI |
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.01.2012–31.12.2012 |
Program | Grantová agentura MU |
Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
Řešitel za FI | |
---|---|
Období | 01.03.2011–31.12.2011 |
Program | Grantová agentura MU |
Planar graph emulators
Řešitel za FI | |
---|---|
Období | 01.01.2011–31.12.2011 |
Program | Grantová agentura MU |
Studentské vědecké konference
Řešitel za FI | |
---|---|
Období | 01.01.2011–31.12.2011 |
Program | Grantová agentura MU |
Podpora verzování relačních schémat databáze
Řešitel za FI | |
---|---|
Období | 01.02.2010–30.11.2010 |
Program | Program děkana FI |
Webtop Albireo II
Řešitel za FI | |
---|---|
Období | 01.02.2010–01.02.2011 |
Program | Program děkana FI |
Aplikovaný výzkum Fakulty informatiky
Řešitel za FI | |
---|---|
Období | 01.01.2010–31.12.2012 |
Program | Grantová agentura MU |
Konference MEMICS 2010
Řešitel za FI | |
---|---|
Období | 01.01.2010–31.12.2010 |
Program | Grantová agentura MU |
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
Řešitel za FI | |
---|---|
Období | 01.01.2010–31.12.2012 |
Program | Grantová agentura MU |
CAVER Viewer
Řešitel za FI | |
---|---|
Období | 01.09.2009–30.06.2010 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Haptická interakce s deformovatelnými tělesy
Řešitel za FI | |
---|---|
Období | 01.09.2009–31.05.2010 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Parameterized Algorithms and Width measures on Graphs
Řešitel za FI | |
---|---|
Období | 01.09.2009–31.05.2011 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Podobnost matematických vzorců
Řešitel za FI | |
---|---|
Období | 01.09.2009–30.06.2010 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Rozšíření redakčního systému odborného časopisu s podporou exportu do digitální knihovny
Řešitel za FI | |
---|---|
Období | 01.09.2009–30.04.2010 |
Program | Program děkana FI |
Samo-organizující se systém pro podobnostní vyhledávání v multimediálních datech
Řešitel za FI | |
---|---|
Období | 01.09.2009–30.06.2010 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Sémantický e-learning
Řešitel za FI | |
---|---|
Období | 01.09.2009–30.06.2010 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Integrace běžných letových simulátorů do distribuovaných simulací HLA 1.3
Řešitel za FI | |
---|---|
Období | 01.07.2009–30.06.2010 |
Program | Program děkana FI |
Distribuovaná formální verifikace systémů s využitím pevných disků
Řešitel za FI | |
---|---|
Období | 01.10.2008–30.06.2009 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Pravděpodobnostní CTL a Markovy řetězce
Řešitel za FI | |
---|---|
Období | 01.10.2008–30.06.2009 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Basic model_checking problems for stochastic games
Řešitel za FI | |
---|---|
Období | 01.09.2008–30.06.2009 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Distribuovaná verifikace pravděpodobnostních modelů
Řešitel za FI | |
---|---|
Období | 01.09.2007–30.06.2008 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Formální verifikace pravděpodobnostních modelů
Řešitel za FI | |
---|---|
Období | 01.09.2007–30.06.2008 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Rozhodnutelné vlastnosti Markových řetězců s nekonečně mnoha stavy
Řešitel za FI | |
---|---|
Období | 01.09.2006–30.06.2007 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Rozhodnutelnost a složitost pravděpodobnostních her
Řešitel za FI | |
---|---|
Období | 01.01.2006–31.01.2007 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
Elektronický paralelní česko-německý korpus
Období | 01.01.2004–31.12.2004 |
---|---|
Program | Interní projekty PdF |
Methods for (semi)automatic Verification of Concurrent Systems
Řešitel za FI | |
---|---|
Období | 01.01.1998–31.01.1999 |
Program | Program rektora na podporu tvůrčí činnosti studentů |
MOLIN : Moravian Library Information Network
Období | 01.01.1996–31.01.1999 |
---|---|
Program | Program rektora na podporu tvůrčí činnosti studentů |
Metropolitní síť Masarykovy univerzity
Období | 01.01.1995–31.01.1997 |
---|---|
Program | Program rektora na podporu tvůrčí činnosti studentů |
Superpočítačový projekt
Řešitel za FI | |
---|---|
Období | 01.01.1994–31.01.1996 |
Program | Program rektora na podporu tvůrčí činnosti studentů |