Aktuality

V sobotu 13. dubna jsme na naší fakultě přivítali přes 40 studentek a studentů z 25 škol se zájmem rozšířit své znalosti IT v oblasti strojového učení a velkých jazykových modelů. Podmínkou  účasti na  workshopu byla znalost programování v libovolném jazyce a zájem o umělou inteligenci, strojové učení a velké jazykové modely. Program nabídnul teoretická východiska i možnost si vše vyzkoušet v praxi. 

Účastníky provedl učením s učitelem, klasifikací a regresí. Vyzkoušeli si, jak v jazyce Python vytvářet jednoduché klasifikátory, schopné například diagnostikovat choroby z laboratorních výsledků nebo odhalovat podvodné platební transakce. Odpoledne se vnořili naplno do fungování a trénování jazykových modelů a doladili si jazykový model na vlastních datech. 

Více o workshopu zde.

Srdečně zveme na obhajobu disertační práce Ing. Martina Fajčíka z Ústavu počítačové grafiky a multimédií FIT VUT v Brně. Koná se ve čtvrtek 25. dubna od 14 hodin v zasedací místnosti G108.

Ing. Fajčík se ve své práci zaměřuje na systémy pro odpovídání na otázky a fact-chcecking. Poskytování informací dříve umožňovaly vyhledávače. Nalezení odpovědi při použití vyhledávače vyžaduje rozsáhlé čtení včetně evidence. V moderním vyhledávání informací vidíme posun od systémů pouze poskytujících dokumenty s evidencí k systémům, přímo poskytujících potenciální odpověď nebo úsudek pro daný dotaz. Tato práce se zaměřuje na dva takové typy systémů. Systémy pro odpovídání na otázky (QA) a systémy pro fact-checking (FC). V QA práce přináší nové pohledy na (i) dopad předpokladů optimalizovaných distribucí na extrakci odpovědí, (ii) fúzi modelů vytvořených s odlišnou architekturou a (iii) inherentní bias populárních dotazů a dokumentů přítomný v QA sadách. V rámci automatického ověřování faktů se pak práce zaměřuje na interpretovatelnost úsudku takových systémů. Práce je zakončena návrhem systému Claim-Dissector, modelu s latentní proměnnou, který umožňuje posoudit přiřazení každého důkazního tokenu, z dokumentů poskytujících evidence k podpoře nebo vyvrácení sporného tvrzení.

Detailni info o práci naleznete zde.

Srdečně Vás zveme na obhajoby disertačních prací Ing. Gabriely Nečasové a Ing. Petra Veigenda z Ústavu inteligentních systémů.  Konají se 22. dubna 2024 v zasedací místnosti G 108 na FIT VUT. Obhajoba Gabriely Nečasové začíná ve 12 hodin, od 13:30 hodin obhajoba Petra Veigenda (obhajoba bezprostředně naváže na předchozí obhajobu).

Ing. Nečasová se ve své práci Parallel numeric solution of differential equations/ Paralelní numerické řešení diferenciálních rovnic zabývá paralelním numerickým řešením parciálních diferenciálních rovnic. Parciální diferenciální rovnice druhého řádu jsou pomocí metody přímek převedeny na rozsáhlé soustavy obyčejných diferenciálních rovnic. Prostorové derivace v parciální diferenciální rovnici jsou nahrazeny různými typy konečných diferencí. Výsledné soustavy obyčejných diferenciálních rovnic (problémy počátečních hodnot) jsou řešeny paralelně pomocí Runge-Kutta metod a nově navržené metody vyššího řádu založené na Taylorově řadě. Numerické experimenty vybraných problémů jsou realizovány na superpočítači s různým počtem výpočetních uzlů. Výsledky ukazují, že metoda založená na Taylorově řadě výrazně překonává standardní Runge-Kutta metody. Více zde.

Práce Ing. Veigenda High order numerical method in modelling and control systems/ Numerická metoda vyššího řádu v modelování a řízení zkoumá numerické řešení obyčejných diferenciálních rovnic s použitím metody s proměnným řádem a proměnnou velikostí kroku, která je založena na Taylorově řadě. Metoda je navržena jak pro lineární, tak pro nelineární problémy a jsou implementovány její optimalizace pro snížení výpočetního času bez degradace jejích vlastností. Výsledky práce ukazují, že metoda založena na Taylorově řadě může být použita v oblasti řízení a regulace a má lepší vlastnosti než běžně používané metody. Detaily práce naleznete zde.