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

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-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-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-00517478v1  Direction d'ouvrage, Proceedings, Dossier
Jean-Philippe BabauJoël ChampeauSébastien Gérard. Editeurs des actes de l'école d'été MDA for Embedded System developpement
France. Non renseigne, pp.Non renseigne, 2002
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-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-01391337v1  Communication dans un congrès
Pierre BosserOlivier Bock. Screening of GPS ZTD estimates
3th COST 1206 GNSS4SWEC Workshop, 2016, Reykjavik, Iceland
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-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-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-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-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-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-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