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


hal-01716143v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Distributed algorithm to fight the state explosion problem
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
...
hal-02303242v1  Article dans une revue
Ahcène BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
hal-02122926v1  Article dans une revue
Dorian CazauJulien BonnelMark Baumgartner. Wind Speed Estimation Using Acoustic Underwater Glider in a Near-Shore Marine Environment
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2019, 57 (4), pp.2097-2106. ⟨10.1109/TGRS.2018.2871422⟩
hal-01834188v1  Article dans une revue
Laurent PicardAlexandre BaussardIsabelle QuiduGilles Le Chenadec. Seafloor Description in Sonar Images Using the Monogenic Signal and the Intrinsic Dimensionality
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2018, 56 (9), pp. 5572 - 5587. ⟨10.1109/TGRS.2018.2821189⟩
hal-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
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-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
...
hal-00914339v1  Article dans une revue
Ali MansourIsabelle Leblond. Ecosystem Monitoring and Port Surveillance Systems
AIAAS - Advances in Applied Acoustics, 2013, 2 (4), pp.91-111
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-00773524v1  Article dans une revue
Samuel GrosdidierAlexandre Baussard. Ship detection based on morphological component analysis of high-frequency surface wave radar images
IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2012, 6 (9), pp.813-821. ⟨10.1049/iet-rsn.2012.0062⟩
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-01707228v1  Article dans une revue
Thibaud BerthomierAli MansourLuc BressolletteFrédéric Le RoyDominique Mottier et al.  Scattering Operator and Spectral Clustering for Ultrasound Images: Application on Deep Venous Thrombi
International Journal of Biomedical and Biological Engineering, World Academy of Science, Engineering and Technology, 2017
hal-01935800v1  Article dans une revue
Clément J. RousselArnaud CoatanhayAlexandre Baussard. Estimation of the parameters of stochastic differential equations for sea clutter
IET Radar Sonar and Navigation, Institution of Engineering and Technology, 2019, 13 (4), pp.497 - 504. ⟨10.1049/iet-rsn.2018.5445⟩
...
hal-01904112v1  Article dans une revue
Simon RohouPeter FranekClément AubryLuc Jaulin. Proving the existence of loops in robot trajectories
The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
...
hal-00485686v1  Article dans une revue
Emanuel RadoiAndré QuinquisFelix Totir. Supervised Self-Organizing Classification of Superresolution ISAR Images: An Anechoic Chamber Experiment
Eurasip Journal on Applied Signal Processing, Hindawi Publishing Corporation, 2006, pp.Volume 2006, Article ID 35043, Pages 1-14. ⟨10.1155/ASP/2006/35043⟩
...
hal-00807450v1  Article dans une revue
Aymeric BethencourtLuc Jaulin. 3D Reconstruction Using Interval Methods on The Kinect Device Coupled With an IMU
International Journal of Advanced Robotic Systems, InTech, 2012, ⟨10.5772/54656⟩