V posledních letech sledujeme významný nárůst možností snímat a distribuovat digitální video. Současně je ale k dispozici řada výkonných programů pro úpravu videa a tak vyvstává otázka jak je publikované video autentické. Problém autenticity je zásadní zvláště při důkazovém řízení v soudnictví pomocí video záznamů nebo při posuzování věrohodnosti informací v médiích.

Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založený na teorii abstraktní algebracké logiky hluboce přispívá ke studiu této široké rodiny logických systémů.

Automatické zpracování mikroskopických snímků umožňuje (oproti manuálnímu zpracování lidským operátorem) lépe a efektivněji zpracovat a obsáhnout velké množství informací uložených v pořízených snímcích. Při počítačovém zpracování časosběrných snímků je potřeba segmentovat buňky od pozadí, určit jejich přesné hranice a sledovat jejich pohyb.

Cílem projektu je pokračovat v dlouholeté spolupráci mezi pražským a vídeňským pracovištěm na aplikaci teorie her v oblasti fuzzy logik.

Cílem projektu je vytvořit nový typ monitoru celkového stavu řídicího systému založeného na hierarchickém vyhodnocování stavu jeho jednotlivých komponent. Princip řešení spočívá v kombinaci matematického vyjádření vnitřních vztahů systému s apriorní informací o spolehlivosti jeho komponent při využití konzistentního pravděpodobnostního přístupu.

The overall objective is to develop advanced packaging for power supply components and new generation memory systems having application on Electric and ICE propelled vehicles. One of the main challenges of the introduction of the electronic systems in the automotive, in particular for electrified vehicles, is the reliability and the availability of the power supply systems, which must assure the