- Ústav
- Lidé
- Výzkum
- Aplikace
- Události
- Knihovna
- Kariéra
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í.
(2022 - 2024)
The topic of the proposal lies in computational geometry which is a branch of theoretical computer science.
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í.
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.
Mobility Plus - AVČR (2023 - 2024)
Discerning the cause from effect is the aim of many scientific disciplines.
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í.
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í.
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.
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.
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.
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.
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.