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

Higher-order statistics for bioacoustic click detection

Sylvain Busson , Cedric Gervaise , Barazzutti Amélie , Kinda Bazile , Virginie Jaud et al.
10ème Congrès Français d'Acoustique, Apr 2010, Lyon, France
Conference papers hal-00551165v1
Image document

Caractérisation des signaux transitoires par l'analyse des récurrences de phase

Florin-Marian Birleanu , Cornel Ioana , Cedric Gervaise , Alexandru Serbanescu , Jocelyn Chanussot et al.
GRETSI 2011 - XXIIIème Colloque francophone de traitement du signal et des images, Sep 2011, Bordeaux, France. pp.n.c
Conference papers hal-00640017v1
Image document

Etude de la signature électromagnétique bi-statique d'une surface maritime hétérogène avec prise en compte des phénomènes Hydrodynamiques

Slah-Eddine Ben Khadra , Ali Khenchaf
JNM 2011, May 2011, Brest, France
Conference papers hal-00596810v1
Image document

Model-based Diagnosis Patterns for Model Checking

Vincent Leilde , Vincent Ribaud , Philippe Dhaussy
PAME 2016, Oct 2016, St Malo, France. pp.7-12
Conference papers hal-01406604v1
Image document

Analyzing Uncertain Dynamical Systems after State-Space Transformations into Cooperative Form: Verification of Control and Fault Diagnosis

Julia Kersten , Andreas Rauh , Harald Aschemann
Axioms, 2021, 10 (2), pp.88. ⟨10.3390/axioms10020088⟩
Journal articles hal-03223740v1
Image document

An unscented transformation approach to stochastic analysis of measurement uncertainty in magnet resonance imaging with applications in engineering

Andreas Rauh , Kristine John , Carolin Wüstenhagen , Martin Bruschewski , Sven Grundmann et al.
International Journal of Applied Mathematics and Computer Science, 2021, 31 (1), pp.73-83. ⟨10.34768/amcs-2021-0006⟩
Journal articles hal-03193381v1
Image document

Automated Exploration of Homomorphic Encryption Scheme Input Parameters

Cyrielle Feron , Loïc Lagadec , Vianney Lapotre
Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
Journal articles hal-02960569v2
Image document

Automatic 3D Boresight and Latency Estimation of IMU and Multi-Beam Echo Sounder Systems

N Seube , S Levilly , R Keyetieu-Nlowe
Proc. of the USHYDRO 15 Conf, Mar 2015, National Harbor, Maryland, United States
Conference papers hal-03472920v1
Image document

Hierarchical Space-Time Block Code Recognition Using correlation matrices

Vincent V. Choqueuse , Koffi Clément Yao , Ludovic Collin , Gilles Burel
IEEE Transactions on Wireless Communications, 2008, 7 (9), pp.3526-3534. ⟨10.1109/TWC.2008.070364⟩
Journal articles hal-00395163v1
Image document

Outil Didactique pour l'Apprentissage du Traitement du Signal et de l'Image

André Quinquis , Emanuel Radoi , Cornel Ioana , Felix Totir
Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2005, 4, pp.N/A. ⟨10.1051/bib-j3ea:2006002⟩
Journal articles hal-00349536v1
Image document

Dynamics of forecast‐error growth along cut‐off Sanchez and its consequence for the prediction of a high‐impact weather event over southern France

Hanin Binder , Gwendal Rivière , Philippe Arbogast , Karine Maynard , Pierre Bosser et al.
Quarterly Journal of the Royal Meteorological Society, 2021, 147 (739), pp.3263-3285. ⟨10.1002/qj.4127⟩
Journal articles hal-03402470v1
Image document

From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGA

Le Xuan Sang , Loïc Lagadec , Luc Fabresse , Jannik Laval , Noury Bouraqadi et al.
IWST 14, Aug 2014, Cambridge, United Kingdom
Conference papers hal-01326520v1
Image document

Validated Enclosure of Uncertain Nonlinear Equations Using SIVIA Monte Carlo

Nisha Rani Mahato , Luc Jaulin , S. Chakraverty , Jean Dezert
8th National Conference on Wave Mechanics and Vibrations, WMVC 2018, Jul 2018, Rourkela, India. pp.455-468, ⟨10.1007/978-981-15-0287-3_32⟩
Conference papers hal-02431973v1
Image document

Les observatoires du trait de côte en France métropolitaine et dans les DOM

Serge S. Suanez , Manuel Garcin , Thomas Bulteau , Mathias Rouan , Loïc Lagadec et al.
EchoGéo, 2012, 19, ⟨10.4000/echogeo.12942⟩
Journal articles hal-00657607v1
Image document

Des dispositifs pédagogiques pour œuvrer à l’égalité femmes hommes dans le numérique. Retours d’expériences des acteurs et actrices.

Pascale Gautron , Cécile Plaud , Vincent Ribaud
IMT4ET Innovative Methods and Tools for Educational Technology, May 2020, Rennes, France
Conference papers hal-02911755v1
Image document

Spectrum Sensing for Cognitive Radio: Recent Advances and Future Challenge

Abbass Nasser , Hussein Al Haj Hassan , Jad Abou Chaaya , Ali Mansour , Koffi-Clément Yao et al.
Sensors, 2021, 21 (7), pp.2408. ⟨10.3390/s21072408⟩
Journal articles hal-03212440v1
Image document

La dualité convexe comme accélération d'un algorithme de Branch-and-Bound dédié à l'optimisation parcimonieuse

Gwenaël Samain , Sebastien Bourguignon , Jordan Ninin
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03595309v1
Image document

Exact bounded-error continuous-time linear state estimator

Simon Rohou , Luc Jaulin
Systems and Control Letters, 2021, 153, pp.104951. ⟨10.1016/j.sysconle.2021.104951⟩
Journal articles hal-03242585v1
Image document

Rigid Sonar Tracks Registration For MCM Survey Missions

Florian Nicolas , Andreas Arnold-Bos , Isabelle Quidu , Benoit Zerr
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
Conference papers hal-02542690v1
Image document

Towards a new template for the specification of requirements in semi-structured natural language

Raul Mazo , Carlos Andrés Jaramillo , Paola Vallejo , Jhon Harvey Medina
Journal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
Journal articles hal-02502411v1
Image document

A global optimization approach to H infinity synthesis with parametric uncertainties applied to AUV control

Dominique Monnet , Jordan Ninin , Benoit Clement
IFAC World Congress, IFAC, Jul 2017, Toulouse, France
Conference papers hal-01560817v1
Image document

FPGAs virtuels : enjeux et usages

Loïc Lagadec
COMPAS 2014, Apr 2014, Neuchâtel, Switzerland
Conference papers hal-00989984v1
Image document

Distributed algorithm under cooperative or competitive priority users in cognitive networks

Mahmoud Almasri , Ali Mansour , Christophe Moy , Ammar Assoum , Christophe Osswald et al.
EURASIP Journal on Wireless Communications and Networking, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
Journal articles hal-02924010v1
Image document

Interval centred form for proving stability of non-linear discrete-time system

Auguste Bourgois , Luc Jaulin
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
Conference papers hal-03173802v1
Image document

Blue whale acoustic monitoring in the South-West Indian Ocean: an overview from large array of hydrophones

Flore Samaran , Maelle Torterotot , Julie Beesau , Emmanuelle C. Leroy , Guilhem Barruol et al.
EMSO Time Series Conference: Observing Ocean Sound, Oct 2020, Canary Islands, Spain
Conference poster hal-03582700v1
Image document

Low Frequency SAS: Spatial Coherence Study

Fabien Novella , Yan Pailhas , Isabelle Quidu , Gilles Le Chenadec
International Conference on Underwater Acoustics, ICUA 2020, Sep 2020, Virtual Meeting, France. pp.070016-1 - 070016-9, ⟨10.1121/2.0001320⟩
Conference papers hal-03105969v1
Image document

Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation

Thomas Chaffre , Julien Moras , Adrien Chan-Hon-Tong , Julien Marzat
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
Conference papers hal-02958155v1
Image document

Partially Bounded Context-Aware Verification

Luka Le Roux , Ciprian Teodorov
17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
Conference papers hal-02434620v1
Image document

Dispersive Grid-free Orthogonal Matching Pursuit for Modal Estimation in Ocean Acoustics

Thomas Paviet-Salomon , Clément Dorffer , Julien Bonnel , Barbara Nicolas , Thierry Chonavel et al.
ICASSP 2020 : IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.4602-4606, ⟨10.1109/ICASSP40776.2020.9054365⟩
Conference papers hal-02902490v2
Image document

Set-membership state estimation by solving data association

Simon Rohou , Benoît Desrochers , Luc Jaulin
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
Conference papers hal-02904517v1