Home

• 
  Patrick Amestoy, Olivier Boiteau, Alfredo Buttari, Matthieu Gerest, Fabienne Jézéquel, et al.. Mixed Precision Low Rank Approximations and their Application to Block Low Rank LU Factorization. IMA Journal of Numerical Analysis, 2022, ⟨10.1093/imanum/drac037⟩. ⟨hal-03251738v3⟩
• 
  Julien Desvergnes, Axel Carlier, Wei Tsang Ooi, Vincent Charvillat, Christophe Jouffrais. Does switching between different renderings allow blind people with visual neuroprostheses to better perceive the environment?. Joint International Conference on Digital Inclusion, Assistive Technology & Accessibility (ICCHP-AAATE 2022), Association ICCHP; AAATE : Association for the Advancement of Assistive Technology in Europe, Jul 2022, Lecco, Italy. pp.177-184, ⟨10.35011/icchp-aaate22-p1-23⟩. ⟨hal-03685325v2⟩
• 
  Julien Desvergnes, Axel Carlier, Vincent Charvillat, Christophe Jouffrais. Une neuroprothèse visuelle interactive pour mieux percevoir l'environnement. 12ème Conférence Handicap 2022 «Humaines et artificielles, les intelligences au service du handicap», Institut Fédératif de Recherche sur les Aides Techniques pour personnes Handicapées (IFRATH), Jun 2022, Paris, France. ⟨hal-03672220v2⟩
• 
  Quentin Bailleul, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Philippe Cuenot. Assessing a precise gPTP simulator with IEEE802.1AS hardware measurements. 11th European Congress on Embedded Real-Time Systems (ERTS 2022), Jun 2022, Toulouse, France. ⟨hal-03620481⟩
• 
  Mohamed Hamnache, Rahim Kacimi, André-Luc Beylot. Itinérance dans les réseaux LoRaWAN †. 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication (CORES 2022), May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03657148⟩
• 
  Edouard Lumet, Antonin Le Floch, Rahim Kacimi, Mathieu Lihoreau, André-Luc Beylot. LoRaWAN : efficace et pas cher, c'est le relayage que je préfère. 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication (CORES 2022), May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03657600⟩
• 
  Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc Pantel. Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩. ⟨hal-03513847⟩
• 
  Bernard Bonnard, Olivier Cots, Boris Wembe. Zermelo Navigation Problems on Surfaces of Revolution and Geometric Optimal Control. 2022. ⟨hal-03209491v3⟩
• 
  Peter Riviere, Neeraj K. Singh, Yamine Aït-Ameur. EB4EB: A Framework for Reflexive Event-B. 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. pp. 71-80, ⟨10.1109/ICECCS54210.2022.00017⟩. ⟨hal-03540955⟩
• 
  Firmin Leroy Kateu Demlabim, Gentian Jakllari, Emmanuel Chaput. SmartPhOx: Smartphone-Based Pulse Oximetry Using a Meta-Region Of Interest. 20th International Conference on Pervasive Computing and Communications (PerCom 2022), Mar 2022, Pisa, Italy. ⟨10.1109/PerCom53586.2022.9762399⟩. ⟨hal-03559211⟩

516