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 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)
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.
STIGMA - School on Theoretical Informatics, Graphs and MAthematics
Cílem konference STIGMA je poskytnout studentům a mladým vědeckým pracovníkům
prostor pro prezentaci jejich vědecké práce a činnosti mezi sebou, příležitost
naučit se novým technikám a postupům z aktuálních vědeckých výsledků,
nabídnout čas, ve kterém mohou účastníci řešit otevřené problémy,
a v neposlední řadě též příležitost navázat mezi sebou kontakty.
Během dne proběhne několik přednáškových bloků.
Zbývající čas je vyhrazen na řešení problémů a diskuze.
Doktorandi a studenti přednesou přednášky týkající se buďto jejich vlastního výzkumu,
nebo aktuálního vědeckého výsledku zapadajícího do tématiky konference.
Mladí vědečtí pracovníci přednesou přednášky, které budou mít za cíl inspirovat studenty
k budoucímu výzkumu a nabídnou tak vhodné problémy k řešení.
Tématicky je konference vymezena na tyto oblasti:
- teoretická informatika
- diskrétní matematika
- teorie grafů
- výpočetní složitost a algoritmy
- datové struktury
Konference je určena především pro doktorandy a studenty ČVUT, kteří na ní budou mít přednášku.
Studentská vědecká konference a Rektorysova soutěž
Konference spolu s Rektorysovou soutěží navazuje na serii stejnojmenných soutěží pořádaných od roku 2007 Katedrou matematiky na Fakultě stavební ČVUT v Praze nebo na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze. Tyto soutěže byly pořádány každoročně a letošní ročník bude již 17. v pořadí. Zaměřením konference je aplikovaná matematika. Předpokládá se, že studenti přednesou práce zaměřené na oblasti propojující matematickou analýzu, numerickou matematiku, pravděpodobnost a matematickou statistiku a odborné předměty přírodovědného a technického zaměření. Hlavním cílem konference je umožnit studentům magisterských a doktorských programů školy prezentovat své práce vzniklé nad rámec běžného studia a seznámit se s výsledky ostatních studentů, čímž se podpoří aktivita nadaných studentů, jejich zájem o obor a spolupráce s odbornými pracovníky školy i mezi studenty samotnými. Konference se mohou zúčastnit i studenti jiných vysokých škol. Součástí konference je Rektorysova soutěž. Tato soutěž je určena pouze pro studenty ČVUT. Soutěžící pošlou své práce a abstrakty prací elektronicky v pdf formátu organizačnímu výboru konference tím, že je uloží v přihlašovacím portálu na webové stránce konference. Odborná porota práce posoudí a s přihlédnutím k prezentacím v rámci konference udělí ocenění autorům. Všechny práce budou odměněny.
The project builds on the outputs of a previous SGS project of the same name. Its overall goal is to continue work on promising areas of software engineering. Compared to the previous project, there are changes in the primary research areas due to changes in the research team and progress in the research areas. Therefore, this year we will primarily focus on the following areas:
Algorithms and Techniques of Knowledge Engineering: from theory to practical applications
The project focuses on a broad area of basic research on algorithms, concepts and techniques in knowledge engineering. This is a promising and constantly expanding field both in terms of theoretical research and in terms of potential for practical applications. At the same time, the area of the project is experiencing an extreme increase in complexity due to the amount of data and the diversity of techniques that are trying to deal with this trend. The central interest of the project will specifically be methods in data processing, extraction of information-rich data from data and automatic search for explanations for phenomena that occur in the data. A burning problem of current artificial intelligence focused on knowledge processing is the limited ability or inability to provide an explanation leading to a certain decision. As a result, decisions often cannot be traced back to their origin, which makes debugging difficult and reduces the credibility of the system. This question will therefore be reflected throughout the entire project through all sub-themes. It is a doctoral project covering the diverse research interests of the doctoral student members, but providing a general supporting question that intertwines across sub-themes. The project specifically intends to develop algorithms and techniques in neural networks, evolutionary algorithms, image and text processing, and motion information processing, from basic theory to practical applications. The project immediately follows the ending SGS project on modern algorithmic techniques for knowledge engineering.
Automatický systém pro detekci úniků z potrubí
Program
Projects of the Ministry of Industry and Trade not included in the CEP
CIH will significantly support digital transformation and application of innovation in SMEs and public administration by building a
coordinated and effective ecosystem comprising top research institutions with the necessary know-how and infrastructure,
specialized business clusters, professional organizations, and public authorities. This robust ecosystem will provide its beneficiaries
with access to education and information on cybersecurity trends and best practices, to expert advice and state-of-the-art
infrastructures to verify the suitability and security of innovative solutions under consideration and increase the availability of funds
to invest in innovation. CIH will also function as a platform for cooperation and information sharing between entities in the
cybersecurity market, both at the level of Czechia and the EU. This will increase the efficiency and competitiveness of the EU
cybersecurity industry, the security of IT infrastructures and the strength of the EU economy.
Projekt ELIXIR CZ, Česká národní infrastruktura pro biologická data, je zaměřen na zpracování, uchovávání, sdílení a analýzu dat v oblasti věd o živé přírodě. Cílem projektu je zajistit, aby data generovaná ostatními infrastrukturami splňovala kritéria FAIR – findable, accessible, interoperable and reusable, nutná k jejich plnému využití. Infrastruktura ELIXIR CZ je založena na expertní části zajišťované unikátním know-how špičkových odborníků z oblasti bioinformatiky, genomiky, biologie, medicíny, informatiky a počítačového inženýrství a na technické části spočívající v heterogenním souboru hardware a software prostředků a specifických architektur podle povahy zpracovávaných dat. Toto unikátní technické řešení je naplňováno především přímým zapojením e-infrastruktur zodpovědných za pokročilá IT řešení, budování datových úložišť, přístup k datům a výpočetním kapacitám. Cílem infrastruktury ELIXIR CZ je provozování pokročilých bioinformatických nástrojů, unikátních a zároveň interoperabilních datových zdrojů pro všechna odvětví současné biologie, školení odborníků a řešení pro dedikaci výpočetních prostředků a jejich specifických technických parametrů podle potřeb uživatelské komunity. Základním prvkem pro přístup a sdílení dat jsou nástroje pro autorizaci a autentizaci uživatelů, které umožňují přístup k datovým zdrojům a nástrojům. Jde většinou o vysoce rozvinuté metody, které jsou na základě schopnosti identifikovat uživatele používány pro přístup k datovým zdrojům včetně těch, které se týkají vysoce citlivých dat. Obecně představuje toto řešení technologii použitelnou ve všech disciplínách pracujících se sdílenými daty napříč vědami o živé přírodě a v podstatě i mimo ni. ELIXIR CZ se výrazně profiluje v oblasti správy dat (Data Management), a to od úrovně uživatelů po úroveň administrátorů vědeckých projektů. Koncepce a nástroje v této oblasti jsou aplikovatelné na řešení procesů od generování dat po jejich archivaci a využitelnost.
Design of efficient parallel algorithms for solution of important engineer's problems II
The proposed project is based on previous research results in the field of parallel and distributed algorithms for solution of some important engineer's problems. More specifically, the project is going to focus 1) on the most advanced computer science methods in astronomy to allow preprocessing, storing, sharing, and analyzing of petabytes of data flowing continuously from astronomical instruments, 2) on the methodology and algorithms for a systematic evaluation of sparse matrix and tensor storage formats that would allow a complex understanding of their properties, 3) on parallel algorithms for reconstruction of physical objects from recorded data.
Design, programming and verification of intelligent embedded systems
The project deals with digital design focused on so-called intelligent embedded systems. It focuses on studying the latest trends in technology and their use, especially in so-called "mission-critical" applications, where it uses artificial inteligence (e.g. neural networks) and approximate computing. The design of such systems must consider requirements not only for functionality but also for other limiting conditions: reliability, safety, security, resistance to attacks, size, consumption, and real-time guarantees. Therefore, we will use new methods, algorithms, and design tools (EDA tools) and search, design, and modify suitable models that will allow testing, predicting, and formally verifying the required functions and behavior of the system.
International Mobility of Researchers MSCA-F-I at CTU in Prague
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 Skłodowska-Curie Individual / Postdoctoral Fellowships, ovšem 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ů pracovníka, Pierre Donat-Bouillud, s příspěvkem na rodinu, na Fakultu informačních technologií. Školitel je prof. Jan Vitek, MSc., Ph.D. V rámci této mobility na FIT je plánovaný 3 měsíční secondment v Rakousku, Paris Lodron University, Salzburg).
