Rigorous Engineering of Data Analysis Pipelines (RiGiD)

Program
Grantové projekty excelence v základním výzkumu EXPRO
Provider
Czech Science Foundation
Code
GX23-07580X
Period
2023 - 2027
Description
The RiGiD project lays the groundwork for this research programme and aims to develop a methodology for rigorous engineering of data analysis pipelines that can be adopted in practice. Our approach is pragmatic. Rather than chasing functional correctness, we hope to substantially reduce the incidence of errors in the wild. The research is structured in three overlapping chapters. First, identify the problem by carrying out user studies and large-scale program analysis of a corpus of over 100,000 data science pipelines. The outcome will be a catalog of error patterns as well as a labeled dataset to be shared with other researchers. The technical advances will focus on combining dynamic and static program analysis to approximate the behavior of partial programs and programs written in highly dynamic languages. The second part of our effort proposes a methodology and tooling for developing data sciences codes with reduced error rates. The technical contributions of this part of the project focus on lightweight specification techniques and, in particular, the development of a novel gradual typing system that deals with common programming idioms found in our corpus. This includes various forms of object orientation, data frames, and rich value specifications. These specifications are complemented with an automated test generation technique that combines test and input synthesis with fuzzing and test minimization. Finally, the execution environment is extended to support automatic reproducibility and result audits through data lineage. The third and last part of the work evaluates the proposal by conducting user studies and developing tools for automating deployment. The contribution will be a qualitative and quantitative assessment of the RiGiD methodology and tooling. The technical contribution will be tools that leverage program analysis to infer approximate specifications to assist deployment and adoption. Our tools target R, a language for data analytics with 2 milli

Selected questions of discrete and computational geometry

Program
Grantové projekty excelence v základním výzkumu EXPRO
Provider
Czech Science Foundation
Code
GX23-04949X
Period
2023 - 2027
Description
The project will be focused on several fundamental problems in discrete and computational geometry, and their surrounding (sub)areas.

Advancing effective adoption of FAIR principles in research data management

Program
Promoting the mobility of researchers and workers in the framework of international cooperation in R&D
Provider
Ministry of Education, Youth and Sports
Code
8J22AT015
Period
2022 - 2023
Description
V tomto projektu plánujeme využít jedinečnou kombinaci odborných znalostí našich dvou týmů (CZ a AT) v oblasti správy dat, machine-actionable DMP, vývoje softwaru s ohledem na FAIR, sémantických webových technologií a zpracování přirozeného jazyka (NLP) k urychlení efektivního přijetí principů FAIR ve správě výzkumných dat. Vyvineme metody, modely a pokyny pro výzkumné pracovníky i správce dat, abychom jim usnadnili implementování principů FAIR. Primární důraz bude kladen na přijetí FAIR efektivním způsobem s využitím automatizace a vyhodnocování. Sladěním přijetí FAIR s nejlepšími praktikami plánováním správy dat se vyhneme další zátěži pro výzkumné pracovníky. Naopak je cílem zlepšení kvality plánů správy dat ve prospěch výzkumných pracovníků i financujících subjektů.

Advancing the frontiers of first-principle modeling of atomic nuclei

Program
Standard projects
Provider
Czech Science Foundation
Code
GA22-14497S
Period
2022 - 2024
Description
Many ongoing and future experiments utilize medium-mass atomic nuclei as exquisite laboratories for exploring the fundamental symmetries of nature and searching for signals of new physics beyond the Standard Model. While large particle colliders probe the high-energy frontier, sensitive studies of low-energy nuclear processes provide a complementary approach. We will exploit a novel combination of physics, mathematics, and advanced computational methods to build a novel quantum many-body framework for solving the structure of medium- mass nuclei and their processes from first principles with unprecedented accuracy and scope. This will allow us to provide a number of key nuclear theory predictions needed for the interpretation of ongoing and future experimental efforts to detect dark matter and to search for violations of predictions of the Standard model in electroweak nuclear processes.

Anonymizing of User Data: A Parameterized Perspective

Program
Projects of the MEYS not included in the CEP
Provider
Ministry of Education, Youth and Sports
Period
2022
Description
When collecting user data nowadays we care about these being sufficiently anonymous, that is, we usually replace the real data with some perturbed data so that we protect the sole identity of the end-user. This is a challenging task both from computational and algorithmical (theoretic) approach. Therefore we often have to employ advanced methods of analysis and algorithmic techniques to identify tractable cases. We will identify new paramaters that attain low values in realworld data and analyze if these result in fixed-parameter tractable case or to parameterized hardness.

Design of wearable sensor systems in assistive technologies for members of the IRS with regard to cost optimization.

Program
Studentská grantová soutěž ČVUT
Provider
Another domestic provider
Code
SGS22/080/OHK5/1T/17
Period
2022
Description
Wearable sensory systems are currently experiencing the greatest development and are becoming part of aids not only in clinical practice, but also in disaster relief and public protection. Disasters are on the rise around the world and have a negative impact on the economy, infrastructure and human lives. Despite rapid technological advances, members of the emergency services responsible for dealing with these disasters are still vulnerable and at risk to life and limb. The solution to this problem appears to be the development of wearable systems and smart clothing. The current problem, however, is that the development and deployment of wearable systems for members of the IRS is not based on the assumption of using the most financially and technologically appropriate means. There is also concern about the use of currently available wearable sensor systems, where they are not cheap in the first place and if damaged in the course of work activities, repair or possible replacement of the system is a costly affair and some IRS units may not want to pay for it. Next is the lack of optimised applications for many application models and the need to use expensive dedicated mobile phones in parallel for most wearable devices. Also, different components of the IMS have different system requirements. If wearable sensor systems were to be considered for inclusion in the standard equipment of members of the IMS, these issues would first need to be addressed. The aim of the project is to demonstrate whether, based on an analysis of the current technical means produced and developed for wearable sensor systems, it is possible to design wearable sensor systems that meet the technological and financial prerequisites for their wider application in the field of civil protection and crisis management. The envisaged project focuses on the design and development of a wearable sensor system for recording biomedical data for wearable sensor systems with a view to cost optimisation. The pr

Flow-based Encrypted Traffic Analysis

Program
Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019 - 2025 (IMPAKT 1)
Provider
Ministry of Interior
Code
VJ02010024
Period
2022 - 2025
Description
The project researches new methods of effective protection against cyber threats that misuse secured communication for cyber attacks against servers and computers in the environment of high-speed networks. Based on available metadata, the project will investigate Machine learning methods suitable for determining the characteristics of the encrypted network flows and associated risks. The system will be implemented using a hardware-accelerated traffic monitor and a software prototype for high-speed detection of security incidents, which will be reported to the SIEM tool. Further, a plug-in to the QRadar system for the incident analysis will be developed. The project outcomes will also include reference data sets of network traffic and a system for their collection and annotation.

Local-global problems over number fields

Program
POSTDOC INDIVIDUAL FELLOWSHIP
Provider
Czech Science Foundation
Code
GN22-11563O
Period
2022 - 2025
Description
The goal of this project is to study number fields of higher degrees and use the local-global principle to determine their structure. We will focus on composite fields, for which one can extend partial information from their subfields to the whole field. For them, we will investigate their additively indecomposable integers and derive asymptotic formulas for the number of elements of small norms. Moreover, we plan to estimate their Pythagoras number and the number of variables of their universal quadratic forms. This was studied by many great mathematicians, including Lagrange or Siegel, but we still do not understand it fully. The methodology is based, for example, on the Hasse norm principle or representation of quadratic forms. Furthermore, considering a system of linear polynomials in one variable, we will aim to find an asymptotic formula for the number of integers up to some bound, for which the values of these polynomials are primes with given prescribed primitive root. For that, we want to use the nilpotent circle method developed by Green, Tao, and Ziegler.

logicMOVE: Logic Reasoning in Motion Planning for Multiple Robotic Agents

Program
Standard projects
Provider
Czech Science Foundation
Code
GA22-31346S
Period
2022 - 2024
Description
Motion planning for multiple robotic agents (MR-MoP) is a task to find non-colliding sequences of simple movements for individual robotic agents so each agent achieves its individual goal. An important character-istic of the task is the large number of relatively simple robotic agents that can physically interact with each other in various ways. The task is based on the well-known multi-agent path finding (MAPF), but places more emphasis on the real properties of the environment in which the robotic agents operate, namely the continuity of space and time is assumed. Considering the continuity of the environment directly in abstract models can lead to more precise and mode efficient plans. The project assumes algorithmic contributions to motion planning for a multi-agent system on all important layers of common planning abstractions, i.e. from the level of (discrete) classical planning, through (continuous) motion planning, to the execution of plans with physical robots. The new algorithms will be based on the principles of logical reasoning, in particular lazy compilation approaches.

New Frontiers in Computational Social Choice

Program
Projekty podpořené z ČR (pracovní kód k dodatečnému upřesnění)
Provider
Another domestic provider
Period
2022
Description
New Frontiers in Computational Social Choice

New Frontiers in Computational Social Choice

Program
Standard projects
Provider
Czech Science Foundation
Code
GA22-19557S
Period
2022 - 2024
Description
Fixed-parameter tractability and approximation algorithms are nowadays standard tools for design of algorithms for hard problems in the area of Computational Social Choice. Surprisingly, kernelization, a prominent technique in FPT algorithmics, is not used as often to tackle social choice problems. Kernelization is a formalism of safe data reduction which we believe does have its place in all research disciplines dealing with large and complex datasets. The most recent approach is the so-called lossy kernelization which on the one hand cooperates with approximation algorithms (unlike kernelization which can only be pipelined with exact algorithms) and on the other hand, allows circumventing hardness results (in exchange for introducing a possible loss in the quality of the solution). This project aims on filling this gap of usage of these tools in computational social choice. The suggested line of research continues our current studies in this area and the new proposed directions will need novel algorithmic approaches as they focus on the boundaries of traceability. We have identified several interesting questions where there is potential to apply the above. Our aim is to significantly deepen our understanding of these computationally hard problems by providing polynomial-sized (lossy) kernels or showing that the problems are resistant to this line of attack.

Nové technologie a logistika na železnici

Program
Studentská vědecká konference ČVUT
Provider
Another domestic provider
Code
SVK 48/22/F6
Period
2022
Description
Navrhovaná SVK navazuje na realizované studentské vědecké konference s železniční tematikou pořádané Fakultou dopravní v letech 2016, 2017, 2020 a 2021. Nosným tématem letošní SVK bude opět téma digitalizace železnice, která je v ČR zachycena v projektech Inteligentní dopravní systémy na železnici (ITS-R) resp. technologické rozpracování ITS-R v projektu Železnice 4.0. Digitalizace, kromě části řízení a zabezpečení, se týká cestujících (přístup k internetu aj.), informačních a odbavovacích technologií, logistických a dispečerských aplikací. S oborem logistika je spojena oblast optimalizace jízdních řádů a grafikonů, zejména dynamická optimalizace reagující na aktuální anomálie a zpoždění na železniční síti, vyžadující aplikaci informačních technologií typu zpracování velkých dat (Big Data), aplikace umělé inteligence, masivních paralelních (distribuovaných) výpočtů a simulací apod. Vzorem v této oblasti řízení jsou švýcarské železnice. S nástupem nových technologií bude třeba změnit i přístup ke školení dispečerů a strojvedoucích, nedílnou součást železničního systému je tedy školení založený na principech simulátorů (např. simulátorech lokomotivy, samozřejmě se systémem ETCS). Nezanedbatelnou součástí železničního systému musí být i údržba vozidel, infrastruktury a jejich inovace, ať už se jedná o konvenční tratě nebo připravované VRT. Bohužel, v ČR je průběžná údržba tratí v posledních letech minoritní oblastí. Organizátoři plánují zahájit konferenci třemi vyzvanými referáty z oblasti Železnice 4.0, simulace a vzdělávání strojvedoucích (doc. Leso), kolejových vozidel (doc. Kolář) a dokumentu Cestovní mapa - postup nasazování moderních technologií při přípravě a realizaci vysokorychlostních tratí v České republice (Ing. Vašátko). Konference bude rozdělena na tematické okruhy pokrývající výše zmiňovanou problematiku: Železnice 4.0 - ETCS, digitalizace, Optimalizace v řízení železniční dopravy, Inovace železniční infrastruktury, Moderní kolejová vozidla, Životní p

Paradoxical flexibility of frameworks

Program
"LA granty"
Provider
Czech Science Foundation
Code
GF22-04381L
Period
2022 - 2025
Description
A framework which is a graph together with a realization of its vertices in some space is called rigid if there are only finitely many realizations inducing the same edge lengths as the given one, up to isometries. Otherwise, the framework is flexible. Since rigidity is a generic property, the graph itself can be called rigid if every generic realization yields a rigid framework. Nevertheless, such a rigid graph can have non-generic flexible realizations. These paradoxical situations are investigated in the frame of this project. Using tools from algebraic geometry, the existence of paradoxical motions in the plane was recently characterized in terms of a special type of colorings of the edges. The purpose of this project is to combine graph theory and combinatorics with more sophisticated tools from algebraic geometry in order to be able to answer paradoxical flexibility questions in a broader sense. As such we are interested in symmetric flexes, different generalizations of rigidity, applications thereof to sensor networks and the above mentioned edge colorings.

POSTER 2022

Program
Studentská vědecká konference ČVUT
Provider
Another domestic provider
Code
SVK 26/22/F3
Period
2022
Description
Studentská vědecká konference POSTER 2022 je čtyřiadvacá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 http://radio.feld.cvut.cz/conf/poster/.

Prague Embedded Systems Workshop 2022

Program
Studentská vědecká konference ČVUT
Provider
Another domestic provider
Code
SVK 55/22/F8
Period
2022
Description
Prague Embedded Systems Workshop (PESW 2022) bude jubilejním desátým ročníkem akce přednostně určené pro studenty (doktorandy, magisterské a bakalářské studenty) z České republiky, 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 minulých ročníků byly a jsou jednoznačně kladné, přestože PESW 2020 proběhl viruálně a PESW 2021 měl některé příspěvky prezentované on-line. Přesto z principu hlavního cíle se budeme přednostně snažit zorganizovat PESW 2022 opět naživo. 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/), a to 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 universit (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ší university z Česka) i firem (např. EaToN, ASICentrum, CESNET, ESET, 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. Členové programového výboru mají za povinnost propagaci akce po celý rok na mezinárodních i vnitrostátních fórech. Vzhledem k mezinárodní úča

STIGMA - School on Theoretical Informatics, Graphs and MAthematics

Program
Studentská vědecká konference ČVUT
Provider
Another domestic provider
Code
SVK 54/22/F8
Period
2022
Description
Jedná se již o 7. ročník této konference. 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.

Student Workshop on Scientific Computing WSC 2022

Program
Studentská vědecká konference ČVUT
Provider
Another domestic provider
Code
SVK 42/22/F4
Period
2022
Description
Konference je tradičně pořádána jako dvanácté setkání studentů Fakulty jaderné a fyzikálně inženýrské, ČVUT, které je věnováno problematice vědeckotechnických výpočtů. Tématicky je konference zaměřena zejména na numerické řešení parciálních diferenciálních rovnic různými metodami s velkou aplikační šíří. Přednášky budou zaměřeny na matematické modelování, numerické simulace, optimalizaci, analýzu stability, chybu aproximací, statistickou analýzu, paralelní implementaci algoritmů a analýzu časové náročnosti. Prezentované výsledky se budou týkat ekologie, biologie, medicíny, ekonometrie a průmyslových aplikací. V rámci konference budou mít studenti možnost diskuse se zkušenějšími účastníky konference.

Studentská vědecká konference a Rektorysova soutěž

Program
Studentská vědecká konference ČVUT
Provider
Another domestic provider
Code
SVK 01/22/F1
Period
2022
Description
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ž 15. 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. Časový harmonogram organizace konference a Rektorysovy soutěže: 1. Vyhlášení konference ihned po obdržení informace o přijetí projektu. 2. Přihlášení na konferenci: Přihlašovací portál na webové stránce konference. Účastníci Rektorysovy soutěže zašlou abstrakt své práce v pdf formátu a celou práci v pdf formátu a účastníci nesoutěžní části abstrakt své práce v pdf formátu organizačnímu výboru prostřednictvím přihlašovacího portálu do 16. 10. 2022. Ostatní účastníci z ČVUT se mohou také registrovat v přihlašovacím portálu na webové stránce konference do začátku konference 4. 11. 2022. 3. Organizační výbor vybere oponenty pro soutěžní práce

The structure of free Banach spaces and of their second duals

Program
Standard projects
Provider
Czech Science Foundation
Code
GA22-32829S
Period
2022 - 2024
Description
Free Banach spaces play an important role in the study of nonlinear geometry of Banach spaces and in areas involving transportation problems. This brings them to the forefront of modern functional analysis and interest in them continues to grow. The free space of a metric space M is given by the fact that M isometrically embeds in it and that any Lipschitz map from M to a Banach space extends uniquely to a bounded linear map from the free space. This allows the linearization of nonlinear problems, but at the cost of a complicated linear structure. Its closer examination is the aim of our project. The free space lies in the dual of the space of Lipschitz functions and forms its predual. Hence, one should analyze all three of the spaces to understand free space. We intend to study representation of functionals on the spaces of Lipschitz functions and topological aspects of isomorphic free spaces. This could contribute to solving some known open problems in the area, such as the complementability in the bidual, predual uniqueness, or the existence of isomorphisms of certain free spaces.

Tools for AI-enhanced Security Verification of Cryptographic Devices

Program
Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019 - 2025 (IMPAKT 1)
Provider
Ministry of Interior
Code
VJ02010010
Period
2022 - 2025
Description
Projekt reaguje na současný nedostatek nástrojů pro analýzu a verifikaci bezpečnostní certifikace zařízení používaných pro zajištění kybernetické bezpečnosti. Zejména u hardwarových zařízení implementujících kryptografické algoritmy, například čipových karet, je v ČR téměř nemožné spolehlivě ověřit deklarovanou úroveň bezpečnosti, což následně znemožňuje analýzu rizik systémů využívajících tato zařízení a tedy použití zařízení např. u bezpečnostních složek státu či v rámci kritických informačních infrastruktur. V rámci projektu budou vyvinuty nové hardwarové a softwarové nástroje založené na principech umělé inteligence, které bude možné využít pro specifické kroky automatizované verifikace bezpečnosti kryptografického zařízení - ať už na základě bezpečnostní certifikace nebo tvrzení výrobce/dodavatele.
Next

Filter

The person responsible for the content of this page: doc. Ing. Štěpán Starosta, Ph.D.