Aktuality

Srdečně zveme na veřejnou přednášku v rámci habilitačního řízení Ing. Ondřeje Lengála, Ph.D.: Nové přístupy k simulaci a analýze kvantových obvodů. Koná se v úterý 25. března od 14 hodin v posluchárně E 105 na FIT VUT. Přednášku můžete sledovat i online.

Vývoj v oblasti kvantového počítání jde nezadržitelně dopředu, a to jak na poli technologickém (lepší hardware), tak i na poli algoritmickém (lepší techniky opravy chyb).

Kvantové počítání slibuje řešení problémů, které nejsme aktuálně schopni efektivně řešit konvenčními technikami, jako jsou např. faktorizace velkých čísel, hledání v nestrukturované databázi, či problémy v oblasti materiálového inženýrství, farmakologie, či simulace fyzikálních systémů. Psaní programů pro kvantové počítače je však mnohem náročnější než pro počítače klasické a to z toho důvodu, že kvantové programy mají pravděpodobnostní povahu a klíčovou technikou, kterou dosahují své efektivity, je využití tzv. superpozice a konstruktivní interference. Toto se dá zjednodušeně představit tak, že program je při svém běhu v několika stavech zároveň, v každém s nějakou pravděpodobností, a tyto pravděpodobnosti spolu mohou interagovat: zesilovat se či zeslabovat. Abychom omezili možnosti vzniku chyb při programování kvantových počítačů, je potřeba mít nástroje, které umí v kvantových programech chyby hledat. Analýza kvantových programů je však náročný problém i pro počítače z důvodu exponenciální velikosti stavu kvantového programu. V této přednášce bude představen nedávno zavedený rámec pro automatizovanou formální verifikaci kvantových programů, který využívá automaty pro kompaktní reprezentaci složitých množin kvantových stavů s několika dimenzemi nekonečnosti (jako jsou např. počet qubitů či potenciální hodnoty amplitud).

Jubilejní 10. ročník konference HiVisComp přinesl neformální inspirativní setkání odborníků na počítačovou grafiku, zpracování obrazu a počítačové vidění. Konference byla založena v roce 2014 Martinem Čadíkem (FIT VUT) a Jaroslavem Křivánkem (MFF UK). Od té doby prošla akce dlouhou cestou a významně se rozrostla. Během let se na ní představilo 30 zvaných řečníků ze 13 zemí, bylo předneseno 121 odborných příspěvků a přijato téměř 1000 abstraktů. Dnes ji Martin Čadík organizuje za pomoci kolegů ze ČVUT.

HiVisComp se letos konala v Krkonoších ve dnech 29. ledna až 1. února a opět spojila vědecké přednášky, výměnu zkušeností a sportovní aktivity. V aktuálním ročníku diskutovali účastníci nejnovější vývoj v oblasti vizualizace dat, simulace osvětlení či inovativních metod zpracování obrazu. Mezi hlavní body programu patřily zvané přednášky, kde vystoupila Gabriela Csurka z NAVER LABS Europe, která představila vývoj od modelu CroCo k DUSt3R a MASt3R, které přinesly zásadní posun v oblasti 3D počítačového vidění. Ukázala, jak tyto metody sjednocují a zjednodušují zpracování 3D vizuálních dat a otevírají nové možnosti pro úkoly jako vizuální lokalizace bez mapy či robotická navigace.

Torsten Sattler z ČVUT představil metodu 3D Gaussian Splatting, která umožňuje rychlejší a kvalitnější 3D rekonstrukci scén oproti tradičním přístupům. Zaměřil se na řešení artefaktů, práci s různými světelnými podmínkami a extrakci přesných 3D modelů.

Marc Alexa z TU Berlin představil nový přístup k fitování přímek k rovinám a souvisejícím problémům. Jeho metoda je výpočetně efektivní, snadno implementovatelná a zachovává důležité geometrické vlastnosti.

V rámci prezentace výzkumných týmů vystoupil z FIT VUT Adam Herout se svým příspěvkem The Malleable Glyph Challenge.

Neoddělitelnou součástí této konference jsou i outdoorové a společenské aktivity. Letos se nesly v duchu běžkování a lyžování. Kompletní program konference je k nahlédnutí na webu hiviscomp.cz.

Zveme na obhajobu disertační práce Ing. Karla Beneše z Ústavu počítačové grafiky a multimédií Fakulty informačních technologií VUT v Brně, která se uskuteční v pondělí 10. března 2025 od 10:00 v zasedací místnosti G108.

Výzkum Karla Beneše posouvá možnosti rozpoznávání a zpracování textu a nachází široké využití jak v odborné sféře, tak v běžném životě. Disertační práce s názvem "Jazykové modely pro nedokonalé systémy rozpoznání řeči a písma/ Language models supporting imperfect handwriting and speech recognition systems" se zaměřuje na vývoj inovativních nástrojů pro automatické rozpoznávání a zpracování textu. Mezi významné výsledky patří:

• Nástroj Hystoc, který byl vyvinut pro získávání slovních jistot a fúzi výstupů end-to-end systémů pro automatické rozpoznávání řeči (ASR). Hystoc se osvědčil svou efektivitou a přispěl k vítězství týmu Speech@FIT v rozpoznávací soutěži Albayzin'22. Od té doby je běžně používán a je volně dostupný pro širší komunitu.
• Projekt PERO, na němž v rámci svého doktorského studia Ing. Beneš pracoval. Cílem tohoto projektu je pokročilá extrakce a rozpoznávání obsahu tištěných a rukou psaných digitalizátů pro zvýšení jejich přístupnosti a využitelnosti. PERO poskytuje nástroje a technologie pro zpřístupnění obsahu digitalizovaných historických dokumentů s využitím nejnovějších poznatků v oblasti počítačového vidění, strojového učení a jazykového modelování. Tento nástroj dnes využívá řada knihoven v Česku i dalších evropských zemích a je veřejně dostupný.

Kompletní abstrakt práce je k dispozici zde.