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.
Automatizace sběru informací z videa pro profesionální beachovolejbal - 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.
Projekt je zaměřen na zvýšení kvality, inkluze a účinnosti vzdělávání, stejně tak jako na rozvoj odborné přípravy studentů a jejich relevantnosti pro trh práce, s cílem podpořit získávání odborných profesních kompetencí včetně podnikatelských a digitálních dovedností (SC 2.2). Zároveň projekt respektuje rovný přístup ke vzdělávání studentů jakož i vzdělávání pracovníků ČVUT (SC 2.3). Tomu odpovídá název projektu, kdy jednotlivá písmena zkratky IMPULS znamenají nosné prvky projektu – Internacionalizace, Metodika, studijní Programy, Udržitelnost, Lidské zdroje, Strategie. Hlavním účelem a cílem projektu je zvýšení odborných kompetencí akademických a neakademických pracovníků univerzity, zvýšení studijní úspěšnosti studentů, zkvalitnění strategického řízení univerzity, zkvalitnění existujících a tvorba nových SP, zvýšení míry internacionalizace studia, posílení zájmu o studium a zvýšení inkluze vzdělávání na ČVUT. Vzhledem k velikosti ČVUT, počtu studentů a vzhledem k rozmanitosti odborného zaměření jednotlivých součástí ČVUT budou v předkládaném projektu realizovány všechny klíčové aktivity, které jsou v souladu s výčtem oprávněných aktivit výzvy: kromě řízení projektu (KA 1) budou v projektu realizovány aktivity zaměřující se na vzdělávání pracovníků univerzity (KA 2), práci se studenty (KA 3), strategické řízení ČVUT (KA 4), tvorbu a rozvoj SP (KA 5), internacionalizaci studia (KA 6), podporu zájemců o studium na ČVUT (KA 7) a podporu SSP (KA 8). Na projektu participuje 13 pracovišť ČVUT.
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
Projekt se zaměří na podporu rozvoje technologického a znalostního transferu v devíti zemích – České republiky, Německa, Slovenska, Chorvatska, Srbska, Bosny a Hercegoviny, Černé Hory, Rumunska a Ukrajiny. Jádrem projektu je hledání nových synergií, spolupráce a výměny zkušeností mezi inovátory v jednotlivých zemích, přičemž projekt poskytne podpůrné služby pro rozvíjející se podnikatelské záměry v oblasti technologického transferu a komercionalizace. Součástí projektu je vytvoření inkubačního/akceleračního programu – Danube Digital Accelerator pro oblast ICT, který umožní 30 účastníkům seznámit se s perspektivními technologiemi. Souběžně projekt umožní přístup a propojení inovativních aktivit a expertů v mezinárodním prostředí prostřednictvím digitálního nástroje EXPERTS.AI. Další důležitou součástí projektu je zmapování inovačního prostředí v oblasti ICT u 4 partnerských zemích mimo EU a podpora rozvoje jejich S3 strategií.
Projekt CapTTict je spolufinancován Evropskou unií v rámci programu Interreg Danube Region.
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
Podpora zelených dovedností a udržitelnosti na ČVUT v Praze
Cílem projektu "Podpora zelených dovedností a udržitelnosti na ČVUT v Praze" je zařadit témata zelené transformace a udržitelnosti do nových studijních programů, předmětů a kurzů CŽV, jejichž absolventi budou vybaveni znalostmi zeleného vzdělávání a díky tomu se mohou stát kvalifikovanou pracovní silou v dynamicky se rozvíjejících oborech souvisejících s ekologickou transformací.Zároveň vznikne nová Strategie udržitelnosti ČVUT. V projektu je 5 klíčových aktivit:
KA1 – Akreditace nových studijních programů (3 za ČVUT: FJFI, FA, FD);
KA2 – Nové/inovované předměty (41 za ČVUT: FSv, FS, FEL, FA, FIT, MÚVS);
KA3 – Kurzy CŽV (8 za ČVUT: FSv, FIT, MÚVS);
KA4 – Strategie udržitelnosti a zelené transformace (1 strategie, koordinuje UCEEB) a
KA5 – Strategické partnerství (3 za ČVUT: FIT, MÚVS).
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.
