Diplomky

Vylepšení typové inference v jazyce C#
Tomáš Husák

Vylepšení typové inference v jazyce C#

Tato práce se zabívala vylepšením programovacího jazyka C#. Konkrétně se věnovala usnadnit programátorovi práci tím, že na určitých místech dedukovala kód, který by jinak musel programátor psát...

Mapování včelí plástve robotem
Jiří Janota

Mapování včelí plástve robotem

V posledních letech dochází k výraznému úbytku přirozených opylovačů, kteří hrají zásadní roli pro udržení biologické rozmanitosti a produkci potravin. V našich výzkumných projektech vyvíjíme technologie pro...

Windows Sandbox: analýza a ověření známých zranitelností
Jakub Štrom

Windows Sandbox: analýza a ověření známých zranitelností

Windows Sandbox je funkcionalita dostupná v operačním systému Windows. Umožňuje spuštění izolovaného prostředí odděleného od hlavního systému. Veškeré změny, které se během jednoho spuštění provedou, pak nezanechávají...