Accéder directement au contenu Accéder directement à la navigation

tel-01484819v1  Thèse
Rui Yang. Modeling and robust control approach for autonomous underwater vehicles
Automatic. Université de Bretagne occidentale - Brest; Zhongguo hai yang da xue (Qingdao, Chine), 2016. English. ⟨NNT : 2016BRES0011⟩
hal-01373458v1  Poster
Julien OgorBenoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
hal-02542690v1  Communication dans un congrès
Florian NicolasAndreas ArnoldIsabelle QuiduBenoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
hal-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-01312568v1  Communication dans un congrès
Nathalie DebeseJean José JacqKoen DegrendeleMarc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom
hal-01374620v1  Article dans une revue
Eric W. TramelAngélique DrémeauFlorent Krzakala. Approximate Message Passing with Restricted Boltzmann Machine Priors
Journal of Statistical Mechanics: Theory and Experiment, IOP Publishing, 2016, 2016, ⟨10.1088/1742-5468/2016/07/073401⟩
hal-01254856v1  Article dans une revue
Sébastien BourguignonJordan NininHervé CarfantanMarcel Mongeau. Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩
hal-01368466v1  Communication dans un congrès
Benoit ClementYang RuiAli MansourLi Ming. A Modeling and Control approach for a cubic AUV
10th IFAC Conference on Control Applications in Marine Systems, Sep 2016, Tronheim, Norway. pp.279 - 284, ⟨10.1016/j.ifacol.2016.10.355⟩
hal-01368470v1  Communication dans un congrès
Juan Luis RosendoBenoit ClementFabricio Garelli. Sliding mode reference conditioning for path following applied to an AUV
10th IFAC Conference on Control Applications in Marine Systems (CAMS 2016), Sep 2016, Trondheim, Norway
hal-01326376v1  Communication dans un congrès
Hugo SeutéCyrille EnderliJean-François GrandinAli KhenchafJean-Christophe Cexus. Experimental Measurement of Time Difference Of Arrival
International Radar Symposium 2016 - IRS2016, May 2016, Krakow, Poland. 4 p
hal-01326380v1  Communication dans un congrès
Orian CoudercJean-Christophe CexusFabrice CombletAbdelmalek ToumiAli Khenchaf. ISAR imaging Based on the Empirical Mode Decomposition Time-Frequency Representation
International Radar Symposium 2016 (IRS2016), May 2016, Cracovie, Poland
hal-01611021v1  Article dans une revue
Ewen ConanJulien BonnelThierry ChonavelBarbara Nicolas. Source depth discrimination with a vertical line array
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 140 (5), pp.EL434 - EL440. ⟨10.1121/1.4967506⟩
hal-01399126v1  Communication dans un congrès
Thomas Le MézoLuc JaulinBenoit Zerr. An interval approach to solve an initial value problem
NUMERICAL COMPUTATIONS: THEORY AND ALGORITHMS (NUMTA–2016), Jun 2016, Pizzo Calabro, Italy. ⟨10.1063/1.4965365⟩