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

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-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⟩
hal-01406625v1  Communication dans un congrès
Naima. AmroucheAli. KhenchafDaoud. Berkania. A Particle Filter for Multi-Target Tracking in Track Before Detect context
SPIE Remote sensing, Sep 2016, Warsaw, Poland
hal-01653554v1  Communication dans un congrès
Ali KhenchafNaïma AmroucheDaoud Berkani. A particle filter for multitargets tracking in track before detect context
SPIE Remote Sensing, Sep 2016, Edinburgh, United Kingdom. ⟨10.1117/12.2242075⟩
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-01864825v1  Communication dans un congrès
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
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⟩
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-01406098v1  Communication dans un congrès
P. O. LeyeA. KhenchafP. Pouliguen. Application of Gaussian Beam Summation Method in High-Frequency RCS of Complex Radar Targets
IEEE Radar conference 2016, May 2016, Phidalphie, United States
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-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-01396746v1  Article dans une revue
Matheus LaranjeiraLuc JaulinSébastien Tauvry. Building Underwater Mosaics Using Navigation Data and Feature Extraction
Reliable Computing, Springer Verlag, 2016, 22, pp.116-137
hal-01406641v1  Communication dans un congrès
Xuan Sang LeJean-Christophe Le LannLoïc LagadecLuc FabresseNoury Bouraqadi et al.  CaRDIN: An Agile Environment for EdgeComputing on Reconfigurable Sensor Networks
3rd IEEE International Conference on Computational Science and Computational Intelligence (CSCI 2016), Dec 2016, Las Vegas, 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-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-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⟩