Centre Inria de l'Université de Lorraine

Domaines scientifiques déclarés au RNSR

Mots-clés des publications HAL repérées

Projets ANR

• Contrôle et Problème Inverse pour des systèmes couplés d'EDP · 2026
• Apprentissage Automatique Hybride pour l'Analyse de Systèmes Stellaires · 2026
• Utilisation limitée de la mémoire lors de l'analyse de modèles incomplets · 2025

Publications HAL récentes repérées

• The Prover Odyssey: Forty Years of Symbolic Protocol Verification · 2027

  Résumé de la publication : The chronicle of symbolic security protocol verification has all the makings of a grand Odyssey: rival schools of thought interweave, reconcile, and part ways as the ages turn; a vivid fellowship of characters with names as evocative as INTERROGATOR or AVISPA, succeed…

• Algorithms for computing norms and characteristic polynomials on general Drinfeld modules · 2026

  Résumé de la publication : We provide two families of algorithms to compute characteristic polynomials of endomorphisms and norms of isogenies of Drinfeld modules. Our algorithms work for Drinfeld modules of any rank, defined over any base curve. When the base curve is $\mathbb P^1_{\mathbb F_q}$, we…

• Towards a fully well-balanced and entropy-stable scheme for the Euler equations with gravity: preserving isentropic steady solutions · 2026

  Résumé de la publication : The present work concerns the derivation of a numerical scheme to approximate weak solutions of the Euler equations with a gravitational source term. The designed scheme is proved to be fully well-balanced since it is able to exactly preserve all moving equilibrium…

• Regional Controllability of Cellular Automata as a SAT Problem · 2026

  Résumé de la publication : Controllability, one of the fundamental concepts in control theory, consists in guiding a system from an initial state to a desired one within a limited (and possibly minimum) time interval. When the objective is limited to a specific sub-region of the system's…

• Analysis of an optimal control problem for the Navier-Stokes system with Tresca boundary conditions · 2026

  Résumé de la publication : We consider an optimal control problem for the Navier-Stokes system with Tresca boundary conditions. With such boundary conditions, the weak formulation of the system is a variational inequality. We approximate this system and the optimal control problem by regularizing the boundary conditions…