doc. Ing. Radim Bača, Ph.D.
- Podobnostní spojení stromů
- Analýza SQL s pomocí umělé inteligence
- Analýza plánů vykonání s využitím strojového učení
- Strojové učení v analýze rozsáhlých dat
prof. RNDr. Marie Duží, CSc.
- Inferenční stroj pro jazyk TIL-Script - anglicky
- Využití Transparentní intensionální logiky pro dynamické rozhodování a reprezentaci temporálních znalostí - anglicky
- Inference v Transparentní intensionální Logice (TIL) a jejich aplikace na přirozený jazyk - anglicky
- Inferenční stroj pro jazyk TIL-Script
- Využití Transparentní intensionální logiky pro dynamické rozhodování a reprezentaci temporálních znalostí
- Inference v Transparentní intensionální Logice (TIL) a jejich aplikace na přirozený jazyk
doc. Mgr. Jiří Dvorský, Ph.D.
- Komprese textu
- Komprese textu – anglicky
doc. Ing. Petr Gajdoš, Ph.D.
doc. Ing. David Horák, Ph.D.
- Využití masivně paralelní implementace variant Gram-Schmidtova ortogonalizačního procesu ve FETI řešičích
- Využití masivně paralelní implementace variant Gram-Schmidtova ortogonalizačního procesu ve FETI řešičích - anglicky
prof. Ing. Tomáš Kozubek, Ph.D.
- Řešiče řídkých soustav lineárních rovnic se smíšenou přesností
- Řešiče řídkých soustav lineárních rovnic se smíšenou přesností - anglicky
doc. Mgr. Miloš Kudělka, Ph.D.
- Pokročilé metody učení v rozsáhlých sociálních sítích
prof. Ing. Michal Krátký, Ph.D.
- Komprimace datových struktur
- Komprimace datových struktur - anglicky
- In-memory databázové systémy
- In-memory databázové systémy – anglicky
doc. Ing. Pavel Krömer, Ph.D.
- Bioinspirované metody pro optimalizace bezdrátových senzorových sítí
- Moderní metaheurisrické metody pro problémy kombinatorické optimalizace – anglicky
prof. Ing. Lačezar Ličev, CSc., prof.h.c.
- Analýza snímků v biomedicíně
- Zpracování zvuku v biomedicíně - Optimalizace algoritmů při číslicovém zpracování zvukového signálu
prof. RNDr. Michal Otyepka, Ph.D.
- Počítačové modelování interakcí jednotlivých atomů s podpůrnými materiály
- Modelování fotoluminescenčních vlastností uhlíkových teček
- Modelování vzniku uhlíkových teček
- Modelování jednoatomových katalyzátorů
- Počítačové modelování interakcí jednotlivých atomů s podpůrnými materiály - anglicky
- Modelování fotoluminescenčních vlastností uhlíkových teček - anglicky
- Modelování vzniku uhlíkových teček - anglicky
- Modelování jednoatomových katalyzátorů – anglicky
prof. Ing. Jan Platoš, Ph.D.
- Analýza časových řad
- Analýza časových řad - anglicky
doc. Ing. Lubomír Říha, Ph.D.
- Vizualizace dat v HPC prostředí - anglicky
- Paralelizace algoritmů pro převod CAD formátů na konečně-prvkové sítě - anglicky
- Optimalizace paralelních aplikací z hlediska spotřeby elektrické energie na HPC infrastrukturách - anglicky
Doc. Ing. Zdeněk Sawa, Ph.D.
- Verifikace a analýza paralelních programů
- Formální verifikace programů s využitím nástrojů pro interaktivní i automatizované dokazování
- Využití separační logiky pro verifikaci programů
- Formální verifikace a analýza programů ve strojovém kódu
- Formální verifikace funkcionálních datových struktur
doc. Ing. Lenka Skanderová, Ph.D.
- Hejnová inteligence a její role v návrhu kvantových výpočetních systémů
- Možnosti a limity umělé inteligence se zaměřením na chatbot GPT
- Klasické a kvantové metaheuristiky - možnosti a omezení
prof. RNDr. Václav Snášel, CSc.
- Graph Neural Network
- Graph Neural Network - anglicky
- Generative Adversarial Networks
- Generative Adversarial Networks - anglicky
- Manifold Optimization
- Manifold Optimization - anglicky
prof. Ing. Roman Šenkeřík, Ph.D.
- Strojové učení pro bio-inspirované výpočetní techniky
- Strojové učení pro bio-inspirované výpočetní techniky - anglicky
- Autokonfigurační techniky pro metaheuristické algoritmy a symbolickou regresi
- Autokonfigurační techniky pro metaheuristické algoritmy a symbolickou regresi - anglicky
doc. Mgr. Vít Vondrák, Ph.D.
- Nové výpočetní postupy pro exascalové superpočítačové architektury
- Nové výpočetní postupy pro exascalové superpočítačové architektury - anglicky
- Nové hybridní HPC-QC výpočetní přístupy
- Nové hybridní HPC-QC výpočetní přístupy – anglicky
prof. Ing. Ivan Zelinka, Ph.D.
- Moderní metody klasifikace malware se zaměřením na netradiční zobrazovací metody
- Automatizovaný návrh algoritmů s aplikacemi v oblasti cybersecurity