Skip to Main content Skip to Navigation

tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
tel-02438652v1  Theses
Arthur Loussert. Understanding and Guiding the Computing Resource Management in a Runtime Stacking Context
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2019. English
tel-01995823v1  Habilitation à diriger des recherches
Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation
Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
tel-02276259v1  Theses
Imen Ben Othmane. Conversion de la voix : Approches et applications
Traitement du signal et de l'image [eess.SP]. Université de Carthage (Tunisie), 2019. Français
hal-02392487v1  Journal articles
Francisco NavasVicente Milanés. Mixing V2V- and non-V2V-equipped vehicles in car following
Transportation research. Part C, Emerging technologies, Elsevier, 2019, 108, pp.167-181. ⟨10.1016/j.trc.2019.08.021⟩
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
hal-01989726v1  Journal articles
Jasmin Christian BlanchetteLorenzo GheriAndrei PopescuDmitriy Traytel. Bindings as Bounded Natural Functors
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩
lirmm-02307824v1  Journal articles
Francesco Maria PetriniGiacomo ValleMarko BumbasirevicFederica BarberiDario Bortolotti et al.  Enhancing functional abilities and cognitive integration of the lower limb prosthesis
Science Translational Medicine, American Association for the Advancement of Science, 2019, 11 (512), pp.eaav8939. ⟨10.1126/scitranslmed.aav8939⟩
hal-02294079v1  Conference papers
Jean Dumoulin. Uncooled infrared thermal camera for thermal monitoring or Non-Destructive Testing of Civil Engineering structures
ANCRiSST 2019 - 14th International Workshop on Advanced Smart Materials and Smart Structures Technology, Jul 2019, Rome, Italy
hal-02373906v1  Journal articles
Qinghua ZhangLiangquan Zhang. Stability Analysis of the Kalman Predictor
International Journal of Control, Taylor & Francis, 2019, pp.1-16. ⟨10.1080/00207179.2019.1638971⟩
hal-02274963v1  Conference papers
Sébastien BrisardVirginie Ehrlacher. Méthodes MsFEM pour les plaques hétérogènes
CFM 2019 - 24ème Congrès Français de Mécanique, Aug 2019, Brest, France
hal-02174938v2  Journal articles
Florentin DelaineBérengère LebentalHervé Rivano. In Situ Calibration Algorithms for Environmental Sensor Networks: a Review
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2019, 19 (15), pp 5968 - 5978. ⟨10.1109/JSEN.2019.2910317⟩
hal-02414207v1  Conference papers
Qinghua ZhangFouad GiriTarek Ahmed-Ali. Regularized Adaptive Observer to Address Deficient Excitation
13th IFAC Workshop on Adaptive and Learning Control Systems (ALCOS 2019), Dec 2019, Winchester, United Kingdom
hal-02294671v1  Conference papers
Ludovic GavérinaToan HaJulien WaeytensVincent FeuilletJean-Luc Manceau et al.  Study and designed of an active infrared system for in-situ characterization of thermal resistance of building envelopes
QIRT ASIA 2019 - 3rd Asian Conference on Quantitative InfraRed Thermography, Jul 2019, Tokyo, Japan
hal-02294081v1  Conference papers
Nicolas Le TouzJean Dumoulin. Study of an optimal command law combining weather forecast and energy reduction for transport structure surface de-icing by Joule effect
ANCRiSST 2019 - 14th International Workshop on Advanced Smart Materials and Smart Structures Technology, Jul 2019, Rome, Italy
hal-02290901v1  Conference papers
Mathieu Le PenArthur BouchéIvan GuéguenMichael DöhlerLaurent Mevel et al.  Phased and synchronous sampling between multiple smart network sensors for modal assessment of large structures
IWSHM 2019 - 12th International Workshop on Structural Health Monitoring, Sep 2019, Stanford, CA, United States. pp.1-9, ⟨10.12783/shm2019/32228⟩
hal-02264743v1  Conference papers
Thibaud ToullierJean DumoulinLaurent Mevel. Study of complementary multi-sensors data influence on infrared thermography measurements for in-situ long-term monitoring
2019 - Multimodal Sensing and Artificial Intelligence: Technologies and Applications, Jun 2019, Munich, Germany. pp.1-10, ⟨10.1117/12.2526229⟩
hal-01624049v1  Journal articles
Claude Le BrisFrédéric LegollFrançois Madiot. Multiscale Finite Element methods for advection-dominated problems in perforated domains
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (2), pp.773-825. ⟨10.1137/17M1152048⟩
hal-02440840v1  Poster communications
Szymon GresMichael DöhlerPalle AndersenLaurent Mevel. Kalman filter-based stochastic subspace identification under mixed stochastic and periodic excitation
ERNSI 2019 - Workshop of the European Research Network on System Identification, Sep 2019, Maastricht, Netherlands. pp.1
hal-02447152v1  Patents
Qinghua ZhangNassif Berrabah. Method and System for Locating Defects on an Electric Cable
United States, Patent n° : US2019162772 (A1). 2019
tel-02331745v1  Theses
Sven Vallée. Algorithmes d’optimisation pour un service de transport partagé à la demande
Recherche opérationnelle [cs.RO]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0063⟩
hal-02160855v2  Conference papers
Nicolas TurpaultRomain SerizelAnkit Parag ShahJustin Salamon. Sound event detection in domestic environments with weakly labeled data and soundscape synthesis
Workshop on Detection and Classification of Acoustic Scenes and Events, Oct 2019, New York City, United States
hal-02363403v1  Journal articles
Nicolas RattoMartine MarionVitaly Volpert. Existence of Waves for a Bistable Reaction–Diffusion System with Delay
Journal of Dynamics and Differential Equations, Springer Verlag, 2019, 16 (5), pp.4196-4212. ⟨10.1007/s10884-019-09751-4⟩