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

Recalage et fusion d'images sonar multivues : critère de dissimilarité et ignorance

Cédric Rominger , Arnaud Martin
Revue des Nouvelles Technologies de l'Information, 2005, E (21), pp.233-248
Journal articles hal-00286591v2
Image document

DEFERRED ESTIMATION OF VERTICAL POSITION OF A FLOATING OBSTACLE BY MINIMISING DEFECTS OF TRACKING

Isabelle Quidu , Alain Bertholom , Yann Dupas
Underwater Acoustic Measurements, Jun 2011, Kos Island, Greece
Conference papers hal-00617049v1
Image document

Segmentation d'images sonar par matrice de co-occurrence

Mbark Iggane , Driss Mammass , Ali Khenchaf , Jean-Christophe Cexus
5th International Conference : Sciences of Electronics, Technologies of Information and Telecommunication, Mar 2009, Hammamet, Tunisie. 5 p
Conference papers hal-00839586v1
Image document

Evaluation for Uncertain Image Classification and Segmentation

Arnaud Martin , Hicham Laanaya , Andreas Arnold-Bos
Pattern Recognition, 2006, 39 (11), pp.1987-1995
Journal articles hal-00286593v1
Image document

Tomographie acoustique passive. Nouveau concept d'observation du milieu océanique

Cedric Gervaise , Cornel Ioana , Simon Vallez , Arnaud Null Jarrot , André Quinquis et al.
GRETSI 2007 - XXIème Colloque francophone de traitement du signal et des images, Sep 2007, Troyes, France. pp.605-608
Conference papers hal-00349539v1
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