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

hal-02515359v1  Chapitre d'ouvrage
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Proposed Algorithms to the State Explosion Problem
Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
hal-01327910v1  Article dans une revue
Dorian CazauJulien BonnelYves Le BrasChristophe Guinet. Soundscape analysis in the Southern Ocean using elephant seals as acoustic glider of opportunity
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (4), pp.2226-2226. ⟨10.1121/1.4950686⟩
hal-01306902v1  Direction d'ouvrage, Proceedings, Dossier
Benoit ZerrLuc JaulinVincent CreuzeNathalie DebeseIsabelle Quidu et al.  Quantitative Monitoring of the Underwater Environment
Springer International Publishing. France. 6, 2016, 978-3-319-32107-3. ⟨10.1007/978-3-319-32107-3⟩
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-01391337v1  Communication dans un congrès
Pierre BosserOlivier Bock. Screening of GPS ZTD estimates
3th COST 1206 GNSS4SWEC Workshop, 2016, Reykjavik, Iceland
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-01277580v1  Article dans une revue
Pau HerreroBenoît DelaunayLuc JaulinPantelis GeorgiouNick Oliver et al.  Robust set-membership parameter estimation of the glucose minimal model
International Journal of Adaptative Control and Signal Processing, 2016, 30 (2), pp.173-185. ⟨10.1002/acs.2538⟩
hal-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
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-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-01297948v1  Article dans une revue
Yann Le GallStan E. DossoFrançois-Xavier SocheleauJulien Bonnel. Bayesian source localization with uncertain Green’s function in an uncertain shallow water oceana
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (3), pp.993. ⟨10.1121/1.4941997⟩
hal-01653367v1  Communication dans un congrès
Abdelmalek ToumiAli Khenchaf. Target Recognition using IFFT and MUSIC ISAR images
ATSIP 2016, Mar 2016, Monastir, Tunisia
hal-01288584v1  Article dans une revue
Yann Le GallFrançois-Xavier SocheleauJulien Bonnel. Matched-Field Performance Prediction with Model Mismatch
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2016, 23 (4), pp.409 - 413. ⟨10.1109/LSP.2016.2524645⟩
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-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-01326533v1  Chapitre d'ouvrage
Luc JaulinLopez DanielDoze Vincent LeMenec Stéphane LeJordan Ninin et al.  Computing capture tubes
Scientific Computing, Computer Arithmetic, and Validated Numerics, 9553, Springer, pp.209-224, 2016, 978-3-319-31768-7. ⟨10.1007/978-3-319-31769-4_17⟩