Výzkumné granty

Ukončené granty

Modelování kvality ovzduší a tepelného komfortu s rozlišenou turbulencí v městském prostředí (TURBAN)

KAPPA - TAČR (2021 - 2024)

Mezinárodní projekt má několik hlavních cílů: výrazné zlepšení kvality a prostorového rozlišení výstupů atmosférického modelování městského prostředí na základě využití nejmodernějších technologií v oblastech modelování, pozorování a analýzy dat; zdokonalení a validace pokročilých modelových nástrojů se zaměřením na modely založené na principu turbulentního proudění v komplexním městském prostředí.

Data Visualization Under Uncertainity

(2022 - 2024)

The topic of the proposal lies in computational geometry which is a branch of theoretical computer science.

Predikce funkčního vyústění schizofrenie z multimodálních neurozobrazovacích a klinických dat

Program na podporu zdravotnického aplikovaného výzkumu na léta 2020 - 2026 - MZ (2021 - 2024)

Schizofrenie je chronické, těžké a velmi omezující onemocnění. Z každých 100 osob trpících schizofrenií, pouze 1 či 2 ročně dosáhnou úzdravy, a přibližně 14% se uzdraví během 10 let, se špatným funkčním vyústěním pro 27% pacientů. Existuje urgentní potřeba vyvinout prediktivní modely vyústění aplikovatelné v časných fázích nemoci, za účelem optimalizace a intenzivnění intervenčních programů k zamezení špatného vyústění.

Modely neinvazivní mozkové stimulace

Mobility Plus - AVČR (2023 - 2024)

Transcranial magnetic stimulation (TMS) is a tool that is used regularly in experimental and clinical research, as well as for therapeutic and diagnostic purposes.

Causal inference and interactions between Arctic sea ice and Eurasian winter climate

Mobility Plus - AVČR (2023 - 2024)

Discerning the cause from effect is the aim of many scientific disciplines.

Kvazirozhodovací procedury pro logické teorie reálných funkcí

Standardní projekty - GAČR (2021 - 2024)

Rozhodovací procedury pro teorie v predikátové logice hrají čím dále větší roli v informatice, zejména v kombinací s řešiči pro Boolovskou splnitelnost, tj. v SAT modulo teorie (SMT) řešičích. Existuje široké pole výzkumu rozhodovacích procedur pro celá čísla, reálná čísla, různé datové struktury a mnoho dalších teorií.

Charakterizace stavového repertoáru a dynamiky spontánní mozkové aktivity neurozobrazovacími metodami

Standardní projekty - GAČR (2021 - 2024)

Současná psychologická teorie nabízí komplexní popis mentálních funkcí a procesů. Obecně je přijímaný názor, že mentální funkce mají mozek za substrát, a mentální procesy a stavy jsou vázány na dynamiku mozkové aktivity. Rychle se rozvíjející oblastí neurověd je stadium spontánní mozkové aktivity s použitím funkční magnetické rezonance. Tento postup umožňuje současné měření dynamiky aktivity řady mozkových sítí.

GRADLACT: Stupňované logiky konání

Standardní projekty - GAČR (2022 - 2024)

Výroková dynamická logika, PDL, je známým nástrojem logické analýzy diskurzu o konání. Protože je ale založena na klasické logice, nemůže adekvátně formalizovat diskurz zahrnující stupňované, vágní a nepřesné pojmy. V tomto projektu vyvineme a prostudujeme verze PDL vhodné na tento účel, tzv. stupňované dynamické logiky. Projekt přispěje k propracování formálních metod využitelných v teorii konání a v aplikované etice.

Metamatematika substrukturálních modálních logik

Standardní projekty - GAČR (2022 - 2024)

Klasická logika modeluje usuzování o boolovských kombinacích atomických výroků. Modální logiky ji rozšiřují přidáním výrokových spojek (takzvaných „modalit“) umožňujících usuzování o způsobech pravdivosti, např. „nutně“, „je dovoleno“ či „je známo“. Substrukturální logiky naproti tomu oslabením předpokladů o logických atomech umožňují usuzování o dalších zajímavých objektech.

AppNeCo: Aproximativní neurovýpočty

Standardní projekty - GAČR (2022 - 2024)

V současnosti jsou v zařízeních s omezenými zdroji (např. mobilní telefony napájené baterií) implementovány moderní technologie umělé inteligence založené na hlubokých neuronových sítích, jejichž výpočet je náročný na spotřebu energie. V aplikacích tolerantních vůči chybám (např. klasifikace obrazu) může použití metod aproximativního počítání ušetřit ohromné množství energii za cenu jen malé ztráty přesnosti.

Struktury synchronizace v mnohorozměrných neurálních signálech: strojové učení a predikce účinnosti antidepresiv

Lead Agency - GAČR (2021 - 2024)

Koncept synchronizace nelineárních dynamických systémů bude základem pro vývoj matematických metod a počítačových algoritmů určených k detekci a charakterizaci interakcí a závislostí v mnohorozměrných nelineárních časových řadách. Směrové vazby a kauzální vztahy budou kvantifikovány nástroji teorie informace.

Síťové modely komplexních systémů: od korelačních grafů k informačním hypergrafům

Standardní projekty - GAČR (2021 - 2024)

Vývoj metod pro efektivní popis komplexních systémů je rostoucí oblastí interdisciplinárníhovýzkumu na rozhraní kybernetiky, informatiky, matematiky a teoretické fyziky, s aplikacemi v dalších vědních oborech včetně neurovědy, sociologie, ekonomie, genetiky či ekologie. Jedním z klíčových problémů je robustní charakterizace struktury interakcí v rámci systému na základě pozorování časových řad.