e6ce430d-9a14-439f-b59e-e5da15b3c608

Pokračující rychlý růst množství dat získávaných z různých zdrojů implikuje potřebu efektivních metod zpracování a získávání znalostí. Data je potřeba vhodně strukturovat a ukládat, efektivně v nich vyhledávat a analyzovat je za účelem získání znalostí, které bychom bez využití sofistikovaných metod a algoritmů nebyli schopni objevit.

V rámci našeho výzkumu se pro zpracování rozsáhlých kolekcí slabě strukturovaných dat, extrakci znalostí z dat nebo např. pro redukci dimenze pro vysocedimenzionální data zabýváme metodami inspirovanými živou přírodou.
Tyto metody (bioinspirované metody, metody softcomputingu, …) umožňují díky studiu přírodních jevů, procesů i teoretických modelů rozvíjet výpočetní systémy a algoritmy, které jsou schopny řešit složité problémy neřešitelné (nebo jen obtížně řešitelné) tradičními technikami.
Další součástí našeho výzkumu je oblast formálních metod s orientací na znalostní přístupy v oblasti tvorby softwarových systémů. Základními tématy této oblasti jsou zejména vývoj moderních metod pro efektivní tvorbu a verifikaci softwarových systémů, využití formálních metod pro specifikaci softwarového procesu a jeho efektivní řízení.

  • Biomedicíncké aplikace při měření a zpracování velkoobjemových dat např.:
    • zpracování signálů, s primárním důrazem na signály biologického původu,
    • modelování a ověřování složitých procesů při plánování radioterapie.
  • Inteligentní sítě (Smart Grids)
    • udržitelný rozvoj – optimalizace zdrojů a aktivní management toku energií ve smart grids s důrazem na zvýšení pozitivního dopadu na životní prostředí a sociální úroveň populace,
    • optimalizace sofistikovaného řízení technologických celků na základě analýzy biologických procesů.
  • Masivně paralelní výpočty na různých technologických platformách.

Z našeho portfolia