Application of partial-order methods for the verification of closed-loop SDL systems
Xavier Dumas
,
Frédéric Boniol
,
Philippe Dhaussy
,
Eric Bonnafous
SAC'11 - 26th Symposium On Applied Computing , Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
Communication dans un congrès
hal-00635533v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Spatial Diversity For FSO Communication Systems Over Correlated Atmospheric Turbulence Channels
Mohamed Abaza
,
Raed Mesleh
,
Ali Mansour
,
El-Hadi Mohamed Aggoune
WCNC 2014 , Apr 2014, Istanbul, Turkey
Communication dans un congrès
hal-01089485v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Kernel characterization of an interval function
Clément Aubry
,
Rozenn Desmare
,
Luc Jaulin
Article dans une revue
hal-01062340v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Cyclone‐Anticyclone Asymmetry of Eddy Detection on Gridded Altimetry Product in the Mediterranean Sea
Alexandre Stegner
,
B. Le Vu
,
F. Dumas
,
M. Ali Ali Ghannami
,
Amandine Nicolle
et al.
Article dans une revue
hal-03484669v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
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
Article dans une revue
hal-02493827v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
IMPROVEMENT OF AUV-BORNE SEABED MAPPING WITH QUALITY MAPS USING STATISTICAL ANALYSIS
Naveed Islam
,
Ahmed Nait-Chabane
,
Benoit Zerr
,
Yann Dupas
UA 2014 , Jun 2014, Rhodes, Greece
Communication dans un congrès
hal-01122100v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Nader Khammassi
,
Jean-Christophe Le Lann
Parallel Programming: Practical Aspects, Models and Current Limitations , NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
Chapitre d'ouvrage
hal-01090466v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
La robotique mobile
Luc Jaulin
ISTE, 2015, La robotique mobile, 978-1-78405-087-0
Ouvrages
hal-01171480v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Automation for Robotics
Luc Jaulin
Ouvrages
hal-01171479v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Proceedings of the 2012 International Workshop on Smalltalk Technologies
Loic Lagadec
,
Alain Plantec
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
Ouvrages
hal-00822656v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Odontocete click train deinterleaving using a single hydrophone and rhythm analysis
Olivier Le Bot
,
Julien Bonnel
,
Jerome I. Mars
,
Cedric Gervaise
ICA 2013 - Acoustics 2013 - 21st International Congress on Acoustics - 165th Meeting of the Acoustical Society of America , Jun 2013, Montreal, Canada.
⟨10.1121/1.4800655⟩
Communication dans un congrès
hal-00843208v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
RESULTS AND ANALYSIS OF COHERENT CHANGE DETECTION EXPERIMENTS USING REPEAT-PASS SYNTHETIC APERTURE SONAR IMAGES
Vincent Myers
,
Isabelle Quidu
,
Torstein Sæbø
,
Roy Hansen
UAC 2013 - 1st international conference and exhibition on Underwater Acoustics , Jun 2013, Corfu, Greece. pp.613
Communication dans un congrès
hal-00904114v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Towards the automation of sand dune detection in the bathymetry
Julien Ogor
,
Benoit Zerr
Marine and River Dune Dynamics Conference , Apr 2016, Gwynned, United Kingdom. 2016
Poster de conférence
hal-01373458v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Sailboat as a windmill
Luc Jaulin
,
Fabrice Le Bars
IRSC 2013 - 6th International Robotic Sailing Conference , Sep 2013, Brest, France. pp.81-91
Communication dans un congrès
hal-00914040v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Suivi de ligne pour un voilier : application au robot voilier autonome VAIMOS pour l'océanographie
Fabrice Le Bars
,
Luc Jaulin
,
Olivier Ménage
Journées des Démonstrateurs , Jun 2013, Angers, France
Communication dans un congrès
hal-00914070v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Photogrammétrie aéroportée et positionnement précis par GPS embarqué sur drone : application au terrassement
M. Daakir
,
Marc Pierrot-Deseilligny
,
F. Pichard
,
Pierre Bosser
,
C. Thom
et al.
Journée scientifique Photogrammétrie et imagerie 3D du CEREMA , CEREMA, Jun 2015, Rouen, France
Communication dans un congrès
hal-01236909v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Patch Graph-based Wavelet Inpainting for Color Images
David Helbert
,
Mohamed Malek
,
Pascal Bourdon
,
Philippe Carré
Article dans une revue
hal-02271527v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid coordination strategy for systematic and detailed optical acquisition of the seabed by a group of robots
Seifallah Ben Saad
,
Benoit Zerr
,
Irvin Probst
,
Frédéric Dambreville
Poster de conférence
hal-01121895v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
A high-quality reprocessed ground-based GPS dataset for atmospheric process studies, radiosonde and model evaluation, and reanalysis of HyMeX Special Observing Period
Olivier Bock
,
Pierre Bosser
,
R. Pacione
,
M. Nuret
,
N. Fourrié
et al.
Quarterly Journal of the Royal Meteorological Society , 2016, 142, pp.56-71.
⟨10.1002/qj.2701⟩
Article dans une revue
hal-03973891v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Sonar latéral à but pédagogique
J Marchal
,
M Legris
,
Irène Mopin
,
A.-L Verneil
,
R Leiba
et al.
12ème Congrès Français d'Acoustique (CFA 2014) , Apr 2014, Poitiers, France
Communication dans un congrès
hal-01310196v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Anomalously Deep BSR Related to a Transient State of the Gas Hydrate System in the Western Black Sea
Stephan Ker
,
Yannick Thomas
,
Vincent Riboulot
,
Nabil Sultan
,
Céline Bernard
et al.
Article dans une revue
hal-02123994v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Understanding Human-Wildlife Conflict as an Interspecific Competition Using Human Behavioral Ecology
Gaëtan Richard
Article dans une revue
hal-03419146v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Multi-Objective Controller Design for a Space Launcher
Mohamed Abbas-Turki
,
Gilles Duc
,
Benoit Clement
European Control Conference , Jul 2007, Kos, Greece
Communication dans un congrès
hal-00840663v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Inner and outer approximations of probabilistic sets
Luc Jaulin
,
Alexandru Stancu
,
Benoît Desrochers
Communication dans un congrès
hal-01121905v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Robust Localisation Using Separators
Luc Jaulin
,
Benoît Desrochers
COPROD 2014 , Sep 2014, Wuerzburg, Germany
Communication dans un congrès
hal-01121906v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
An algorithm for computing a neighborhood includedin the attraction domain of an asymptotically stable point
Nicolas Delanoue
,
Luc Jaulin
,
Bertrand Cottenceau
Article dans une revue
hal-01090058v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
An Efficient Implementation of SIVIA Algorithm in a High-Level Numerical Programming Language
Pau Herrero
,
Pantelis Georgiou
,
Christofer Toumazou
,
Benoît Delaunay
,
Luc Jaulin
et al.
Reliable Computing , 2012, pp.239-251
Article dans une revue
hal-00746047v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Incoherent change detection using amplitude sidescan sonar images
Isabelle Quidu
ECUA 2012 , Jul 2012, Edimburgh, United Kingdom
Communication dans un congrès
hal-00728972v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
SEAFLOOR CLASSIFICATION USING STATISTICAL MODELING OF WAVELET SUBBANDS
N.-E. Lasmar
,
Alexandre Baussard
,
Gilles Le Chenadec
UA 2014 , Jun 2014, Rhodes, Greece
Communication dans un congrès
hal-01171474v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More
Target recognition from ISAR image using polar mapping and shape matrix
Jean-Christophe Cexus
,
Abdelmalek Toumi
,
Maroua Riahi
2020 5th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP) , Sep 2020, Sousse, Tunisia. pp.1-6,
⟨10.1109/ATSIP49331.2020.9231528⟩
Communication dans un congrès
hal-03267673v1
Actions
Partager
Gmail
Facebook
Twitter
LinkedIn
More