Tato dizertační práce se zabývá synchronizační vlastností konečných řetězcových a stromových automatů. Řetězec je synchronizující pro deterministický konečný automat, pokud čtení řetězce končí ve stejném stavu bez ohledu ...

Vzhledem k tomu, že Moorův zákon se vztahuje i na detektory, které data produkují, objem pozorovaných dat v astronomii se každý rok zhruba zdvojnásobuje. Důkazem je například nová Square Kilometer Array (SKA) astronomická ...

SAT řešiče se ukázaly jako vhodné nástroje v oblasti plánování a formální verifikace. Nicméně, kromě Booleovských omezení je často důležité modelovat také spojité jevy, k čemuž jsou nesmírně důležité diferenciální rovnice. ...

Kvalita zpracování dílčích úkolů disciplíny zvané requirements engineering (ve volném překladu inženýrství požadavků) hraje důležitou roli pro celý životní cyklus vývoje softwarového projektu – protože to je fáze, na které ...

Tato dizertační práce se zabývá fyzickou bezpečností kryptografických implementací ve vestavných zařízeních, konkrétně odolností proti útokům postranními kanály, mezi něž patří například rozdílová odběrová analýza. Pozornost ...

Pojem řízení souladu s předpisy je chápán jako dodržování interních nebo externích předpisů ve společnosti. Jen pro dodržení právních předpisů se odhaduje, že společnosti vynaloží 6,2% svého obratu. Proto je potřeba tuto ...

The cold-start problem is typical in recommender systems (RS). There are several ways to reduce this problem. There are naive approaches, or there are algorithms that try to reduce the problem by using attributes or ...

D˚uleˇzitost a obt´ıˇznost testov´an´ı souˇcasn´ych ˇc´ıslicov´ych obvod˚u roste se zvyˇsuj´ıc´ı se komplexitou dneˇsn´ıch obvod˚u. Tato disertaˇcn´ı pr´ace m´a 2 t´emata. Hlavn´ım t´ematem je generov´an´ı testu s nulov´ym ...

Multidimensional data, either in the form of dense arrays, or sparse relational data are a common data structure for effective storage, access, management, querying, disseminating, analysis, and visualization of scientific ...

In this dissertation thesis we study selected security aspects of AES, the Advanced Encryption Standard. Specically, we approach the issue from three sides: First, we are trying to verify whether AES is indeed resistant ...