Sort by
Refine Your Search
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability
-
particular focus on digital methods and tools. The C²DH's ambition is to venture off the beaten track and find new ways of doing, teaching and presenting contemporary history of Luxembourg and the history
-
work focused on extending methods for detecting the pose of an object (possibly occluded, even if only partially) held by a person to 360-degree robot vision, in line with mesh detection and
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security
-
the proposed algorithms in R or Python, such as methods for splitting periodic time series into regeneration blocks, and applying them to real biomedical datasets. The role requires the ability to effectively
-
primary school students' historical reasoning in non-formal settings. Interactive Learning Environments. Hageneuer, S. (2020). Communicating Past in the Digital Age. International Conference on Digital
-
of the calibration curve of the calorimeter after nuclear irradiation, estimation of the thermal properties thanks to inverse method and the material of bulk elements of the calorimeter have to be measured (once