Aktuality

Jsi studentem či studentkou doktorského studia a pracuješ na výzkumu s komerčním potenciálem? Inovační agentura JIC otevírá od 21. září Ph.D. Akademii: od výzkumu k byznysu. Během šesti setkání se naučíte, jak ze svého výzkumného projektu udělat fungující byznys. Ph.D. Akademie je příležitostí pro studenty, kteří chtějí rozvíjet své dovednosti v oblasti výzkumu a podnikání. Zároveň nabízí i možnost k setkávání s inspirativními lidmi, kteří skloubili svou akademickou kariéru s komerční sférou.

Přihlášky jsou otevřené do 15. září a kapacita je omezena na třicet prvních přihlášených. Více informací i přihlašovací formulář naleznete na webu Ph.D. Akademie.

Vienna Center for Logic and Algorithms (VCLA) udělilo naší studentce Barboře Šmahlíkové mezinárodní ocenění "The Outstanding Undergraduate Thesis Award" za celosvětově nejlepší bakalářskou práci v oblasti formálních metod.

O významu ocenění svědčí fakt, že VCLA je jednou z nejprestižnějších organizací zabývajících se logikou a formálními metodami ve světě.

Barbora získala za svou práci v oblasti omega automatů ocenění i u nás. Letos v červnu převzala Cenu vlády nadanému studentovi za úspěchy ve výzkumu.

Zjistěte víc o Bářině práci zde.

Společnost Atos ve spolupráci s Velvyslanectvím Francie již potřinácté ocenila práce mladých vědců v rámci Ceny Josepha Fouriera za počítačové vědy a informatiku. Hned dva naši studenti postgraduálního studia se umístili na předních pozicích.

Druhé místo získal Ladislav Mošner za svou práci Far-Field Speaker Verification Incorporating Multi-channel Processing. 

Ladislav Mošner získal 2. místo Ceny Josepha Fouriera | Autor: Eva Kořínková

"Zabývám se automatickým ověřováním identity člověka z audio nahrávky. Ta se běžně používá například v call centrech, kde jsou ale nahrávky telefonních hovorů poměrně čisté a bez okolních šumů. Ve své práci navrhuji metody, jak verifikaci zlepšit i v případě hlučných míst," vysvětluje Ladislav Mošner. 

A jako bonus přidává: 'Ocenění je pro mě obrovskou odměnou za úsilí věnované výzkumu a zároveň motivací pro další práci. Rovněž ve mně vzbuzuje vděk, protože bez podpory excelentní výzkumné skupiny BUT Speech@FIT a rodiny by nebylo ani ceny.'

Ve své práci se věnuje ověřování identity člověka z řečových nahrávek pořízených vzdálenými mikrofony v akusticky obtížných podmínkách. Zaměřuje se především na prozkoumání možností a užitečnosti mikrofonních polí a na kombinaci informací z několika kanálů (mikrofonů) s využitím strojového učení. Prostřednictvím svého výzkumu zjistil, že v porovnání s výsledky získanými pouze s využitím nahrávek z jednoho mikrofonu lze tímto způsobem znatelně zlepšit přesnost verifikace. 

Výsledky jeho práce mohou být využity například pro zajištění personalizovaných odpovědí a reakcí domácích chytrých asistentů nebo pro vylepšení přístupových systémů.

Třetí místo získal Jiří Matyáš za práci Applications of Formal Methods in Approximate Computing.

Řeší v ní zlepšení výkonnosti počítačových systémů pomocí aproximovaného počítání. Díky této metodě dokáže urychlit a zefektivnit výpočty za cenu přijatelných nepřesností. 

Třetí místo Ceny Josepha Fouriera získal Jiří Matyáš | Autor: Eva Kořínková

Zaměřuje se na prohledávací algoritmy pro přibližný návrh hardwarových aritmetických obvodů. Prezentované výsledky výrazně vylepšují výkonnost prohledávacích algoritmů pro aproximaci aritmetických obvodů. Díky tomu můžeme získat aproximace obvodů velkých bitových šířek se složitou vnitřní strukturou (např. 32bitové násobičky nebo 128bitové sčítačky), které poskytují doposud nejlepší známý poměr mezi aproximační chybou a spotřebou elektrické energie.

Metoda navržená Jiřím Matyášem unikátně kombinuje optimalizační algoritmy založené na genetickém programování a metody formální verifikace pro automatizované dokazování vlastností systému.

"Existuje celá řada aplikací, ve kterých je možné provést pouze přibližný výpočet a kvalita získaného výsledku je stále dostačující. Přibližný výpočet totiž může být oproti přesnému výrazně rychlejší a efektivnější," říká Jiří Matyáš. 

Práce Jiřího Matyáše má zajímavé praktické uplatnění. Zefektivnění výpočtů za cenu akceptovatelných nepřesností umožňuje zvyšovat výkonnost malých zařízení (např. mobilních telefonů) a zároveň snižovat  jejich spotřebu energie. Díky tomu  můžeme mít výkonnější mobily s výrazně delší výdrží baterie.

Snižováním energetické náročnosti nejrůznějších zařízení tato práce také přispívá k vyšší udržitelnosti.

Vlastnosti evolučně vytvořených 16 bitových aproximativních násobiček - výsledky práce Jiřího Matyáše jsou vyznačeny modře, pro porovnání jsou v grafu uvedeny i dostupné výsledky z literatury (ostatní barvy). Cílem výzkumu bylo najít co nejlepší kompromis mezi chybou WCAE (osa x) a PDP (Power Delay Product) - charakterizuje příkon a rychlost obvodu. 

Cena Josepha Fouriera slouží především jako podpora mladých vědců

Cílem soutěže je ocenit mimořádné vědecké práce se speciálním zaměřením na umělou inteligenci, počítačové systémy a sítě, kyberbezpečnost, databázové systémy, interakci člověk-počítač, grafiku, numerickou analýzu, programovací jazyky, softwarové inženýrství, bioinformatiku a počítačovou teorii. 

Soutěž byla pojmenována po Josephu Fourierovi, francouzském matematikovi a fyzikovi, jehož práce na přelomu 18. a 19. století zásadně ovlivnila matematické modelování fyzikálních jevů.