Sort by
Refine Your Search
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
: Verifiable world models. The research will focus on developing a new class of structured, verifiable world models that integrate the flexibility of deep learning with the rigor of formal methods and
-
nanoparticles, whose manufacture is generally based on “trial & error” methods. Thus, the aim of TOSCaNA is to develop an experimental approach and a CFD formalism for predicting the size and morphology of metal
-
research. Within this project, the postdoctoral researcher will assume a central role in the empirical implementation. The successful candidate will join the research group on non-formal education at
-
-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
-
transition of quality advisors in the non-formal education sector towards their new exclusive role as quality facilitators. The objectives are to systematically document and analyse organisational and
-
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
-
harmonization of practices, with a concrete goal of addressing a civil safety issue; Creating a common foundation (knowledge, methods, tools, etc.) for avalanche risk management on mountain roads, based
-
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