Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 1 month ago
of DMA buffers). Identifying common unsafe patterns or assumptions in the use of kernel APIs. Exploring tools (e.g., static analysis, symbolic execution, model checking, formal specification) to verify
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | 27 days ago
solution for deploying accessible embedded AI-based real-time audio DSP systems will be explored. Smartphones provide a large amount of computational power (including AI accelerators in some recent models
-
. In particular, the research project will focus on inferring trajectories from spatial transcriptomics data modelling at the same time the cells evolution in gene expression and in space. Required
-
progression. This project addresses the challenge of studying early tumorigenesis in pancreatic cancer by developing advanced in vitro models based on human extracellular matrix (ECM), aiming to recreate