The emerging theory of game comonads establishes a fruitful interplay between category theory, mathematical logic, and algorithms. This theory has shown its power when obtaining new Lovasz-type theorems, preservation theorems and decomposition theorems in finite model theory. In our recent work we show that the theory of game comonads can be leveraged to obtain the two traditional Courcelle theorems, stating FPT decidability of monadic second order logic on classes of bounded tree-width and clique-width. This result is only a first step in concrete algorithmic applications of the theory. The abstract setting of game comonads is a good candidate for a systematic treatment of algorithmic problems. The first objective of the project is to formulate a general theory of FPT decidability in terms of game comonads. To start with, we describe some of the important model-theoretic algorithms.
Automation of video information gathering for professional beach volleyball - BEACH-DATA
Projekt řeší automatickou detekci a trackování hráčů a míče na kurtu z video záznamů utkáních beachvolejbalových zápasů. Cílem je popis utkání z pohledu dat, např. kdo se kde dotkl míče, k jakým dalším akcím to vedlo atd. Jedná se o automatizaci sběru dat, která využívají týmy pro návrhy strategií svých zápasů. Video data záznamů má k dispozici partner projektu - firma BeachData.
Computing and Approximating Equilibria in Games With Complex Strategy Spaces
While there is an increasing number of practical applications of game theory, there are still
severe computational limitations of the current models and algorithms used to find approximate
optimal strategies. One such limitation is the high computational complexity of finding an
equilibrium for games with large or even infinite sets of actions. Moreover, the strategy space in
applications have often a complex inner structure making the equilibrium computations even
more difficult. We propose advancing the state-of-the-art in the theoretical understanding of the
structure of equilibria in games with complex strategy spaces, developing novel iterative
strategy-generating algorithms for finding approximate solutions, investigating the computational
complexity of equilibrium problem for special classes of games, and applying these fundamental
results to various card games.
The project is aimed at increasing the quality, inclusion and efficiency of education, as well as at developing the vocational training of students and their relevance for the labor market, with the aim of supporting the acquisition of professional competences, including entrepreneurial and digital skills (SC 2.2). At the same time, the project respects equal access to the education of students as well as the education of CTU staff (SC 2.3). This corresponds to the name of the project, where the individual letters of the abbreviation IMPULS stand for the supporting elements of the project – Internationalization, Methodology, Study Programs, Sustainability, Human Resources, Strategy. The main purpose and goal of the project is to increase the professional competences of academic and non-academic staff of the university, to increase the academic success of students, to improve the quality of strategic management of the university, to improve the quality of existing and create new SPs, to increase the degree of internationalization of studies, to strengthen interest in studies and to increase the inclusion of education at CTU. Due to the size of CTU, the number of students and the diversity of professional focus of the individual components of CTU, all key activities that are in accordance with the list of authorized activities of the call will be implemented in the submitted project: in addition to project management (KA 1), the project will implement activities focusing on education of university staff (KA 2), work with students (KA 3), strategic management of CTU (KA 4), creation and development of SP (KA 5), internationalization of studies (KA 6), support of those interested in studying at CTU (KA 7) and SSP support (KA 8). 13 CTU workplaces participate in the project.
The FOCAL project aims to advance our understanding of complex Earth systems and mitigate climate change impacts through five main objectives: developing a high-performance computing platform for better climate and earth system modelling; creating AI modules for efficient climate data exploration; designing web-apps to support decision-making; conducting pilot studies to address assessment challenges and demonstrate app benefits; and fostering a collaborative network across research, data providers, data science, and HPC infrastructure. By combining expertise and integrating data from multiple sources, FOCAL aims to improve climate models, inform policy decisions, and support sustainable development.
The aim of the project is to enhance technology transfer (TT) and technology uptake in the field of digital technologies across the Danube region. The focus is on higher educational institutions (HEIs), public research organisations (PROs) and EEN/EDIHs members. It builds on good practices from participating countries and develops concrete instruments for management of these organisations. It also creates tools to strengthen cross-border cooperation in the field of TT.
Enhancing capacities for technology transfer and technology uptake in the field of ICT
The project will focus on supporting the development of technology and knowledge transfer in nine countries – the Czech Republic, Germany, Slovakia, Croatia, Serbia, Bosnia and Herzegovina, Montenegro, Romania and Ukraine. The project’s core is the search for new synergies, cooperation and exchange of experience between innovators in each country, while the project will provide support services for developing business plans in the field of technology transfer and commercialization. The project includes creating an incubation/acceleration programme – Danube Digital Accelerator for ICT – enabling 30 participants to learn about perspective technologies. In parallel, the project will enable access and networking of innovative activities and experts in an international environment through the digital tool EXPERTS.AI. Another important part of the project is to map the ICT innovation environment in 4 non-EU partner countries and support the development of their S3 strategies.
The CapTTict project is co-financed by the European Union under the Interreg Danube Region programme.
Fostering Sustainable, Balanced, Equitable, Place-based and Inclusive Development of Rural-Urban Communities' Using Specific Spatial Enhanced Attractiveness Mapping ToolBox
Poster session se pořádá v rámci dvacátého ročníku prestižní konference CNSM (Conference on Network and Service Management), která se v roce 2024 pořádá v Praze. Plánovaná sekce pro prezentaci studentských posterů cílí na začínající výzkumníky a studenty nejen z ČVUT, ale z celého světa, aby získali zpětnou vazbu na jejich dosavadní či plánovaný výzkum v oblasti počítačových sítí. Tématika počítačových sítí patří ke klíčovým oblastem současného technologického světa, jejíž rozvoj je nutný k zajištění efektivní komunikace, sdílení informací a bezpečnosti přenášených dat. I proto konference cílí na velké množství témat zabývající se síťovou bezpečností, analýzou síťového provozu, inovativních síťových řešení a protokolů, správou sítí, spolehlivostí, testováním a aplikací nových algoritmů v síťovém prostředí. Tématicky navrhovaná akce souvisí i s úspěšně řešeným projektem SGS, jehož řešitelem je navrhovatel dr. Čejka.
Pořádáním této konference chceme navázat na předchozí ročníky poster session pořadaných v rámci CNSM, které vždy rozproudily diskuze o nových výzkumných tématech a umožnily začínajícím výzkumníkům z řad Ph.D. či magisterských studentů získat zkušenosti s tímto typem akce. Dále tento plán navazuje i na předchozí ročníky studentského vědeckého workshopu Prague Embedded Systems Workshop (PESW) pořádaný Katedrou Číslicového Návrhu FIT ČVUT v Praze, na kterém již řadu let probíhá speciální sekce Network Security. Organizátoři konference jsou zejména členové laboratoře monitorování síťového provozu na Katedře Číslicového Návrhu, a to hlavně Ph.D. studenti, kteří si tak prakticky vyzkouší organizaci takového typu akce. Navíc předpokládáme i zapojení dalších Ph.D. studentů z ČVUT v Praze do programového výboru konference, kteří si tak budou mít možnost i vyzkoušet recenzování příspěvků ostatních výzkumníků.
Samotná poster session se bude skládat z krátkých (2 stránkových) článků, které budou prezentovány v angličtině během konference ve formě plakátu (posteru)
V souladu s výzvou projekt umožní mezinárodní mobilitu výzkumným pracovníkům, kterým byl v minulých letech schválen projekt z programu Marie Sklodowska-Curie Postdoctoral Fellowships, ovšem z důvodu nedostatku financí byl zařazen do kategorie tzn. "no-money" projektů. Projekt bude realizován pracovními pobyty zahraničních VP na ČVUT. Hlavním cílem projektu je podpora profesního růstu VP, kvalitního výzkumu, vzdělávání pro praxi a rozvoj komunikace a spolupráce.
V souladu s výzvou projekt umožní mezinárodní mobilitu výzkumným pracovníkům, kterým byl v minulých letech schválen projekt Horizont 2020 z programu Marie Skłodowska-Curie Individual / Postdoctoral Fellowships, jež dosáhl hodnocení alespoň 70 %, ale z důvodů nedostatku financí byl zařazen do kategorie tzv. no-money projektů. Projekt bude realizován pracovními pobyty zahraničních VP na ČVUT. Hlavním cílem projektu je podpora profesního růstu výzkumných pracovníků, kvalitního výzkumu, vzdělávání pro praxi a rozvoje komunikace a spolupráce. Na FIT se jedná o příjezdovou mobilitu na 24 měsíců výzkumného pracovníka, Foivos Fioravantes Ph.D., z Francie. Školitel je doc. Ing. Dušan Knop, Ph.D.
Projekt NRP pro výzkumná data přímo reaguje na potřebu podpory implementace iniciativy EOSC v ČR vytvořením a pilotním provozem Národní repozitářové platformy jako klíčového prvku Národní datové infrastruktury, definované v koncepčním dokumentu „Architektura implementace iniciativy EOSC v ČR“ . Výzkumná komunita v ČR v současné době trpí vysokou roztříštěností výzkumných dat a absencí koncepce jejich správy. Iniciativa EOSC a podpora péče o data v souladu s FAIR principy si klade za cíl konsolidovat prostředí výzkumných dat a poskytnout zázemí, nástroje i postupy, které tomuto cíli napomohou.
Projekt NRP pro výzkumná data se proto soustředí na realizaci klíčových komponent, které systémově přispějí k výraznému zlepšení současného stavu v oblasti správy výzkumných dat. Hlavní výstupy se tak soustředí na rozvoj architektury Národní datové infrastruktury (NDI) a specificky NRP jako její ústřední součásti (a to včetně náležitého zabezpečení a technické podpory), zprovoznění konkrétních platforem pro tvorbu repozitářů NRP, pilotní provoz vybraných repozitářů a „catch-all“ repozitáře, implementovaných v rámci NRP, zajištění funkčních vazeb mezi konkrétními repozitáři a systémem užívání PID, zajištění komponent pro napojení repozitářů na Národní metadatový adresář a zajištění podpory pro práci s licencemi, vývoj integrovaného řešení pro plánování správy dat, stejně tak jako vytvoření koordinované vzdělávací podpory pro efektivní využití NRP.
The project deals with streamlining the work with FAIR data in research - their planning (plan), monitoring (track) and evaluation (assess). It is primarily about introducing interoperability between existing DMP creation tools, SKG-type services and evaluation tools. Likewise, other supporting tools related to research data management will be incorporated. The results of the project will be verified by a number of pilots across Europe.
Doktorští studenti katedry číslicového návrhu FITu za podpory svých školitelů se rozhodli uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním výzvám, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Tématika vestavných systémů v sobě zahrnuje mnoho výzkumných výzev v oblasti computer science: kritické aplikace (v dopravě i ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na velké vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, aj. Jinými slovy současný svět informatiky je propojený a cílem této akce je propojit i studenty a jejich aktivity tak, aby jejich prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým a hlavně disertabilním výstupům.
Touto konferencí chceme navázat na minulý ročník (2023) a také dříve pořádanou doktorskou konferenci na FITu, která ovšem byla povinná a nebyla výjezdní (a byla také podporovaná interním grantem SVK). Chceme podpořit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat.
Organizátoři konference jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně PhD studenti, kteří budou zaštiťovat akci, případně předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu je velmi vítána.
Hlavní náplní workshopu budou ústní prezentace a zároveň poskytnutí velkého prostoru pro diskuse o nejnovějších (třeba i rozpracovaných) výzkumných výsledcích i realizačních výstupech v oblasti, kt
Studentská vědecká konference POSTER 2024 je šestadvacátým ročníkem konference, která si jako svá témata vybrala kompletní průřez elektrotechnikou a informatikou rozšířený o související problematiku přírodních věd, biomedicínského inženýrství a historie vědy a techniky.
Cílem konference je vytvořit fórum pro publikace doktorandů a magisterských studentů, na němž mohou získat první zkušenosti s vytvořením a obhajobou svých příspěvků. Jednacím jazykem je angličtina. Konference je otevřená zahraničním účastníkům, kterých bývá pravidelně přes dvacet procent, takže stimuluje zkušenosti doktorandů s publikací na mezinárodním fóru.
Na závěr konference jsou vyhodnocovány nejlepší prezentace v jednotlivých sekcích, čímž se daří využít přirozené soutěživosti mladých ke zlepšení kvality jejich písemných projevů i obhajoby posterů před návštěvníky, kterými jsou i členové hodnotících (programových) výborů.
Konference se běžně účastní doktorandi FEL, FBMI a FIT. Těmito fakultami byla také spolupořádána v předcházejících letech a de facto bude takto pořádána i letos (i když to aplikace pro podání přihlášek nepodporuje).
Seznam sekcí, informaci o programovém výboru a další informace lze získat na www stránce konference https://poster.fel.cvut.cz/poster2024/.
Prague Embedded Systems Workshop (PESW 2024) bude již dvanáctým ročníkem akce přednostně určené pro studenty (doktorandy, magisterské a bakalářské studenty) nejen z ČVUT, ale z celé ČR, EU i mimo EU. Hlavní náplní a cílem jsou ústní prezentace a poskytnutí velkého prostoru pro diskuse o nejnovějších (třeba i rozpracovaných) výzkumných výsledcích i realizačních výstupech v oblasti, která má vztah k návrhu a aplikaci vestavných systémů, a to k jejich realizaci, verifikaci, syntéze, testovatelnosti a bezpečnosti.
Ohlasy všech minulých ročníků byly a jsou jednoznačně kladné. Akce je organizovaná živě, protože hlavním cílem je vzájemná komunikace a navázání spolupráce, zejména mezinárodní. Ve výjímečných případech zajišťujeme prezentaci některých příspěvků on-line (například prezentace zvaných přednášek významných zahraničních odborníků).
Hlavním organizátorem je katedra číslicového návrhu FITu, zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/). Aktivními účastníky jsou hlavně studenti, kteří pracují na svých doktorských, diplomových nebo bakalářských pracích. Se svými dílčími i finálními výsledky se mohou na PESW pochlubit v mezinárodním měřítku, a to buď formou ústní prezentace nebo na posterové soutěži, viz níže.
Každý ročník aktualizujeme mezinárodní programový výbor, získáváme významné odborníky a jejich studenty. Akce nabývá stále větší prestiže i v mezinárodním měřítku. Počítáme opět s účastí zástupců z univerzit (Tel Aviv - Izrael, Leicester - UK, Montpellier, Lyon, Grenoble - Francie, Řím, Pavia - Itálie, Leuven - Belgie, Zelená Gora - Polsko, Talinn - Estonsko, San Diego - US, FIIT Bratislava - Slovensko, VUT, ZČU a i další univerzity z Česka) i firem (např. EaToN, ASICentrum, CESNET, Intel, STMicroelectronics aj.). Počítáme samozřejmě s účastí studentů z ČVUT, z FELu, FITu, FJFI, FD a pracujeme na propagaci pro získání studentů a odborníků z dalších pracovišť z ČR i SR. Rozšiřujeme i záběr témat formo
Creating a reproducible environment for data-analysis pipelines is hard. The current practice is to assemble it manually. That is both labor-intensive and error-prone and requires skills and knowledge that data analysts do not usually have. While there exist tools that try to simplify this process, they all rely on some metadata that has to be provided by the user. Getting this metadata is not trivial. Not only does one have to include all the libraries directly imported with their transitive dependencies, but each of these libraries can depend on native libraries and tools, which themselves have their dependencies and configurations. Versions have to be pinned appropriately as libraries frequently update and change their behavior. There is no description of these dependencies, and thus the process of gathering the metadata is mainly based on experience and trial-and-error. The challenge that we are addressing is to build an automated system that can track all of the pipeline dependencies, data inputs, and other sources of non-determinism to prepare an environment where data-analysis pipelines can repeatedly run, producing identical results.
