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

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-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-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-01326351v1  Article dans une revue
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
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-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-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-01653367v1  Communication dans un congrès
Abdelmalek ToumiAli Khenchaf. Target Recognition using IFFT and MUSIC ISAR images
ATSIP 2016, Mar 2016, Monastir, Tunisia
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-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-01444309v1  Communication dans un congrès
Trung-Kien NguyenDidier CharlotJean-Marc BoucherGilles Le ChenadecRonan Fablet. Seabed Classification using a steerable Multibeam Eco Sounder
OCEANS 2016 - Monterey : MTS/IEEE international conference, Sep 2016, Monterey, United States. pp.1 - 4, ⟨10.1109/OCEANS.2016.7761020⟩
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-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-01404508v1  Communication dans un congrès
Frédéric Le RoyThierry QuiniouAli MansourRafaat LababidiDenis Le Jeune. RFID Eavesdropping Using SDR Platforms
5th International Conference on Applications in Electronics Pervading Industry, Environment and Society (APPLEPIES 2016), Sep 2016, Rome, Italy. pp.208 - 214, ⟨10.1007/978-3-319-55071-8_27⟩
hal-02515709v1  Communication dans un congrès
Fadi ObeidPhilippe Dhaussy. RITA secure communication protocol : application to SCADA
8th International Conference on Network and Communications Security - NCS 2016, Dec 2016, Sydney, Australia. ⟨10.5121/csit.2016.61518⟩
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-01391615v1  Communication dans un congrès
25o Congreso Argentino de Control Automático, Nov 2016, Buenos Aires, Argentina
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
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-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-01653476v1  Communication dans un congrès
Ali KhenchafCarole NahumFabrice CombletTran Vu La. Wind Field Extractions From SAR Sentinel-1 Images Using Electromagnetic Models
Living Planet Symposium, May 2016, Prague, Czech Republic
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-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-01331654v1  Communication dans un congrès
Frédéric Dambreville. Map-reduce implementation of belief combination rules
DATA 2016, Jun 2016, Lisbonne, Portugal
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-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-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-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-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-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-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-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-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-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-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-02560988v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiKhenchaf AliMohammed El Hassouni. Filtrage attentionnel des points caractéristiques SIFT pour la reconnaissance de cibles radar
1 ère édition des journées SIGnal, image, Multimédia et Applications (SIGMA), Fès-Maroc, 21-22 Décembre 2016, Dec 2016, Fès, Morocco
hal-01391337v1  Communication dans un congrès
Pierre BosserOlivier Bock. Screening of GPS ZTD estimates
3th COST 1206 GNSS4SWEC Workshop, 2016, Reykjavik, Iceland
hal-01396694v1  Article dans une revue
Papa Ousmane LeyeAli KhenchafPhilippe Pouliguen. The Gaussian Beam Summation and the Gaussian Launching Methods in Scattering Problem
Journal of Electromagnetic Analysis and Applications, Scientific Research Publishing, 2016, Journal of Electromagnetic Analysis and Applications, 8 (10), pp.219-225. ⟨10.4236/jemaa.2016.810020⟩
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-01378727v1  Communication dans un congrès
Dominique MonnetBenoit ClementJordan Ninin. Global Optimization of continuous MinMax problem
XIII Global Optimization Workshop, Sep 2016, Braga, Portugal
hal-01466809v1  Communication dans un congrès
Gaspard MinsterOlivier BlanpainStéphanie DesmareFrance Floc'HAmandine Nicolle et al.  Modélisation hydro-sédimentaire du Raz Blanchard
XIVèmes Journées Nationales Génie Côtier – Génie Civil, Jun 2016, Toulon, France. ⟨10.5150/jngcgc.2016.031⟩
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-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⟩