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
-
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
-
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
-
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
-
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
-
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
-
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
-
represented by them in the context of the microbiome. Here, using a triptych approach leveraging in silico, in vitro and in vivo methods, we aim to specifically and systematically characterize and validate