Search - Archive ouverte HAL Access content directly

Filter your results

507 Results
Document type : Journal articles
Document type : Conference papers
Document type : Conference poster
Document type : Books
Document type : Book sections
Document type : Directions of work or proceedings
Document type : Patents
Document type : Other publications
Deposit type : Fulltext
Image document

A new interval-based method to characterize estimability

Olivier Reynet , Luc Jaulin
International Journal of Adaptive Control and Signal Processing, 2011, 25 (3), pp.288-294. ⟨10.1002/acs.1187⟩
Journal articles hal-00518505v1
Image document

Influence of shoreface morphological changes since the 19th century on nearshore hydrodynamics and shoreline evolution in Wissant Bay (northern France)

Alexa Latapy , Arnaud Héquette , Amandine Nicolle , Nicolas Pouvreau
Marine Geology, 2020, 422, pp.106095-1 - 106095-17. ⟨10.1016/j.margeo.2019.106095⟩
Journal articles hal-02493827v1
Image document

Synthetic Aperture and 3D Imaging for Mine Hunting Sonar

Franck Florin , Franck Fohanno , Isabelle Quidu , Jean-Philippe Malkasse
Undersea Defence Technology (UDT) Europe 2004, Jun 2004, Nice, France
Conference papers hal-00504862v1
Image document

Assessing inter-annotator agreement from collaborative annotation campaign in marine bioacoustics

Paul Nguyen Hong Duc , Maëlle Torterotot , Flore Samaran , Paul R. White , Odile Gérard et al.
Ecological Informatics, 2021, 61, pp.101185-1 - 101185-12. ⟨10.1016/j.ecoinf.2020.101185⟩
Journal articles hal-03028306v1
Image document

Preference-based Conflict Resolution for Collaborative Configuration of Product Lines

Sabrine Edded , Sihem Ben Sassi , Raúl Mazo , Camille Salinesi , Henda Ben Ghézala et al.
International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Conference papers hal-02502398v1
Image document

A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities

Nabil Kadjouh , Ahcène Bounceur , Abdelkamel Tari , Loïc Lagadec , Reinhardt Euler et al.
3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
Conference papers hal-02303247v2
Image document

Représentations Temps-Fréquence de la classe de puissance basées sur l'invariant océanique

Julien Bonnel , Grégoire Le Touzé , Barbara Nicolas , Jerome I. Mars
GRETSI 2013 - XXIVème Colloque francophone de traitement du signal et des images, Sep 2013, Brest, France. pp.ID226
Conference papers hal-00877121v1
Image document

Information-Theoretic Analysis of Underwater Acoustic OFDM Systems in Highly Dispersive Channels

François-Xavier Socheleau , Milica Stojanovic , Christophe Laot , Jean-Michel Passerieux
Journal of Electrical and Computer Engineering, 2012, 2012 (ID 716720), pp.15. ⟨10.1155/2012/716720⟩
Journal articles hal-00697027v1
Image document

Passive geoacoustic inversion with a single hydrophone using broadband ship noise

Cedric Gervaise , Bazile Kinda , Julien Bonnel , Yann Stéphan , Simon Vallez et al.
Journal of the Acoustical Society of America, 2012, 131 (3), pp.1999-2010
Journal articles hal-00857182v2
Image document

Experimental Evaluation and Numerical Simulation of RCS of Target using GBL and GBS

Helmi Ghanmi , Ali Khenchaf , Philippe Pouliguen
IEEE Conference on Antenna Measurements & Applications 2018 (CAMA 2018), Sep 2018, Västerås, Sweden. ⟨10.1109/CAMA.2018.8530507⟩
Conference papers hal-01936484v1
Image document

Sondeur et Sonar Multi-Fréquentiels

Jacques Marchal , Irène Mopin , Michel Legris , Y. Le Gall , Xavier Lurton et al.
13e Congrès Français d'Acoustique, Apr 2016, Le Mans, France
Conference papers hal-02535015v1
Image document

Guidelines for the Specification of IoT Requirements: A Smart Cars Case

Asmaa Achtaich , Camille Salinesi , Nissrine Souissi , Ounsa Roudies , Raul Mazo et al.
IoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
Journal articles hal-03566030v1
Image document

Deep venous thrombus characterization: ultrasonography, elastography and scattering operator

Thibaud Berthomier , Ali Mansour , Luc Bressollette , Frédéric Le Roy , Dominique Mottier et al.
Advances in Science, Technology and Engineering Systems Journal, 2017, 2 (3), pp.48 - 59. ⟨10.25046/aj020308⟩
Journal articles hal-01699280v1
Image document

Assessment of Wind Direction Estimation Methods from SAR Images

Alexandre Corazza , Ali Khenchaf , Fabrice Comblet
Remote Sensing, 2020, 12 (21), pp.3631-1 - 3631-16. ⟨10.3390/rs12213631⟩
Journal articles hal-03028386v1
Image document

An Interval Constraint Programming Approach for Quasi Capture Tube Validation

Abderahmane Bedouhene , Bertrand Neveu , Gilles Trombettoni , Luc Jaulin , Stéphane Le Ménec et al.
CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. pp.18:1--18:17, ⟨10.4230/LIPIcs.CP.2021.18⟩
Conference papers hal-03412799v1
Image document

Markov-based approaches for ternary change detection between two high resolution synthetic aperture sonar tracks

Florian Nicolas , Andreas Arnold-Bos , Isabelle Quidu , Benoit Zerr
OCEANS 2017, Jun 2017, Aberdeen, United Kingdom. ⟨10.1109/OCEANSE.2017.8084766⟩
Conference papers hal-01702377v1
Image document

Integrated water vapour content retrievals from ship-borne GNSS receivers during EUREC4A

Pierre Bosser , Olivier Bock , Cyrille Flamant , Sandrine Bony , Sabrian Speich et al.
EGU General Assembly 2021, Apr 2021, Online Meeting, Austria. ⟨10.5194/egusphere-egu21-10322⟩
Conference papers hal-03209773v1
Image document

Assessment of Risks Induced by Countermining Unexploded Large-Charge Historical Ordnance in a Shallow Water Environment—Part I: Real Case Study

Nathalie Favretto-Cristini , Thierry Garlan , Olivier Morio , Xavier Demoulin , M. Arrigoni et al.
IEEE Journal of Oceanic Engineering, 2022, 47 (2), pp.350-373. ⟨10.1109/JOE.2021.3111819⟩
Journal articles hal-03598273v1
Image document


Bjorn Stevens , Sandrine Bony , David Farrell , Felix Ament , Alan M. Blyth et al.
Earth System Science Data, 2021, 13 (8), pp.4067-4119. ⟨10.5194/essd-13-4067-2021⟩
Journal articles hal-03023368v3
Image document

Polynomial Phase Signal Modeling Using Warping-Based Order Reduction

André Quinquis , Cornel Ioana , Emanuel Radoi
International Conference on Acoustic, Speech and Signal Processing ICASSP 2004, May 2004, Montreal, Canada. pp.741-744, ⟨10.1109/ICASSP.2004.1326364⟩
Conference papers hal-00317938v1
Image document

Automatic and passive whale localization in shallow water using gunshots

Julien Bonnel , Grégoire Le Touzé , Barbara Nicolas , Jerome I. Mars , Cedric Gervaise et al.
OCEANS 2008 - OCEANS '08 MTS/IEEE. Oceans, Poles and Climate: Technological Challenges, Sep 2008, Quebec City, Canada. pp.1-6, ⟨10.1109/OCEANS.2008.5151937⟩
Conference papers hal-00324547v1
Image document

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon et al.
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Conference papers hal-00470523v1
Image document

A Priori Error Analysis and Spring Arithmetic

Gilles Chabert , Luc Jaulin
SIAM Journal on Scientific Computing, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
Journal articles hal-00428952v1
Image document

Model-driven Generative Development of Measurement Software

Martin Monperrus , Jean-Marc Jézéquel , Benoit Baudry , Joël Champeau , Brigitte Hoeltzener et al.
Software and Systems Modeling, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩
Journal articles inria-00504670v1
Image document

Fusion multi-attributs d'images sonar

Isabelle Quidu , Jean-Philippe Malkasse , Pierre Vilbé , Gilles Burel
GRETSI'01, Sep 2001, Toulouse, France
Conference papers hal-00504889v1
Image document

Approximate Message Passing with Restricted Boltzmann Machine Priors

Eric W. Tramel , Angélique Dremeau , Florent Krzakala
Journal of Statistical Mechanics: Theory and Experiment, 2016, 2016, ⟨10.1088/1742-5468/2016/07/073401⟩
Journal articles hal-01374620v1
Image document

Solving set-valued constraint satisfaction problems

Luc Jaulin
Computing, 2012, 94 (2), pp.297-311. ⟨10.1007/s00607-011-0169-5⟩
Journal articles hal-00686856v1
Image document

HLS-based Accelerated Simulation of Large Scale Cyber-Physical Systems on FPGAs

Maelic Louart , Jean-Christophe Le Lann , Frédéric Le Roy , Abdel Boudraa , Jean-Jacques Szkolnik et al.
IEEE International NEWCAS Conference, Jul 2022, Montreal, Canada. ⟨10.1109/NEWCAS52662.2022.9842250⟩
Conference papers hal-03839510v1
Image document

Incoherent change detection using amplitude sidescan sonar images

Isabelle Quidu
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
Conference papers hal-00728972v1
Image document

Multibeam outlier detection by clustering and topological persistence approach, ToMATo algorithm

Marceau Michel , Julian Le Deunf , Nathalie Debese , Laurène Bazinet , Loïc Dejoie et al.
OCEANS 2021: San Diego – Porto, Sep 2021, San Diego, United States. pp.1-8, ⟨10.23919/OCEANS44145.2021.9705930⟩
Conference papers hal-03583743v1