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


...
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-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-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-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-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-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⟩
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-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
...
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-01326391v1  Communication dans un congrès
Romain GiacomettiAlexandre BaussardCedric CornuAli KhenchafJean-Michel Quellec et al.  Accuracy studies for TDOA-AOA localization of emitters with a single sensor
IEEE Radar conference, May 2016, Phidalphie, United States
hal-01326528v1  Communication dans un congrès
Tran Vvu. LaAli KhenchafFabrice CombletCarole Nahum. Study of Inversion Models for Wind Speed Retrieval From Sentinel-1 Data
IEEE Radar conference, May 2016, Phidalphie, United States
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⟩
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-01331654v1  Communication dans un congrès
Frédéric Dambreville. Map-reduce implementation of belief combination rules
DATA 2016, Jun 2016, Lisbonne, Portugal
...
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-01340686v1  Communication dans un congrès
Benoit Clement. Optimization based control for Robots, solutions for the implementation issue
Conference on Software and Hardware Architectures for Robots Control, Jun 2016, Brest, France
hal-01369735v1  Article dans une revue
Aries PhilippeOlivier ReynetBenoit ClementBa-Vinh Nguyen. Another Stone to the Edifice of Wireless Anesthesia
Anesthesia and Analgesia, Lippincott, Williams & Wilkins, 2016, 123 (4), ⟨10.1213/ANE.0000000000001458⟩
hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩