Search - Archive ouverte HAL Access content directly

Filter your results

507 Results
Document type : Journal articles
Document type : Conference papers
Document type : Conference poster
Document type : Books
Document type : Book sections
Document type : Directions of work or proceedings
Document type : Patents
Document type : Other publications
Deposit type : Fulltext
Image document

Méthodes exactes de démélange spectral en norme L0 et contraintes de parcimonie structurée à l'aide de MIP

Ramzi Ben Mhenni , Sébastien Bourguignon , Jordan Ninin , Frédéric Schmidt
19ème congrès de la ROADEF (2018), Feb 2018, Lorient, France
Conference papers hal-02051460v1
Image document

Wireless Communication Attack Using SDR and Low-Cost Devices

Batoul Achaal , Mohamad Rida Mortada , Ali Mansour , Abbass Nasser
14th International KES Conference on Intelligent Decision Technologies, KES-IDT 2022, Jun 2022, Rhodes, Greece. pp.417-428, ⟨10.1007/978-981-19-3444-5_36⟩
Conference papers hal-03772364v1
Image document

TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA

Youenn Corre , Jean-Philippe Diguet , Dominique Heller , Dominique Blouin , Loïc Lagadec et al.
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (1), pp.9
Journal articles hal-01172103v1
Image document

Domain-oriented Verification Management

Vincent Leilde , Vincent Ribaud , Ciprian Teodorov , Philippe Dhaussy
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Conference papers hal-01933794v1
Image document

Estimation of frequency-wavenumber diagrams using a physics-based grid-free compressed sensing method

Thomas Paviet-Salomon , Julien Bonnel , Clément Dorffer , Barbara Nicolas , Thierry Chonavel et al.
IEEE Journal of Oceanic Engineering, 2021, ⟨10.1109/JOE.2021.3109432⟩
Journal articles hal-03329874v1
Image document

Computing an Inner and an Outer Approximation of the Viability Kernel

Dominique Monnet , Jordan Ninin , Luc Jaulin
Reliable Computing, 2016, 22
Journal articles hal-01366752v1
Image document

Automatic underwater image pre-processing

Stéphane Bazeille , Isabelle Quidu , Luc Jaulin , Jean-Philippe Malkasse
CMM'06, Oct 2006, Brest, France
Conference papers hal-00504893v1
Image document

Shadow classification performances evaluation of Mine Hunting Sonar

Franck Florin , Isabelle Quidu , Naig Le Bouffant
Undersea Defence Technology (UDT) Asia 2003, Nov 2003, Singapore
Conference papers hal-00504859v1
Image document

Ground obstacle tracking on forward looking sonar images

Isabelle Quidu , Alain Bertholom , Yann Dupas
European Conference on Underwater Acoustics (ECUA) 2010, Jul 2010, Istanbul, Turkey
Conference papers hal-00504879v1
Image document

JOG : une approche haut niveau des systèmes embarqués via Armadeus et Java

Olivier Reynet , Jean-Christophe Le Lann , Benoit Clement
3èmes Journées Démonstrateurs 2010, Nov 2010, Angers, France
Conference papers hal-00911269v1
Image document

Désentrelacement de clics par analyse du rythme

Olivier Le Bot , Cedric Gervaise , Julien Bonnel , Jerome I. Mars
Traitement du Signal, 2013, 30 (3-4-5), pp.196-218
Journal articles hal-00941509v1
Image document

Optimal control tuning of a redundant robot

Luc Jaulin
ROADEF 2012, Apr 2012, Angers, France
Conference papers hal-00690428v1
Image document

Controling the number of focal elements

Christophe Osswald
Belief 2012, May 2012, Compiègne, France. pp.135-143, ⟨10.1007/978-3-642-29461-7⟩
Conference papers hal-00800702v1
Image document

Generalization of the Theorem of Menelaus Using a Self-Recurrent Method

Florentin Smarandache
Preparation des élèves marocains pour l'olympiade internationale des mathématiques de Paris - 1983, May 1983, Rabat, Morocco
Conference papers hal-00495752v1
Image document

Statistical underwater noise level estimation for marine mammals whistle detection

Sylvain Busson , Cedric Gervaise
10ème Congrès Français d'Acoustique, Apr 2010, Lyon, France
Conference papers hal-00551164v1
Image document

Inner approximation of the range of vector-valued functions

Alexandre Goldsztejn , Luc Jaulin
Reliable Computing, 2010, pp.1-23
Journal articles hal-00518507v1
Image document

Sailboat as a windmill

Luc Jaulin , Fabrice Le Bars
IRSC 2013 - 6th International Robotic Sailing Conference, Sep 2013, Brest, France. pp.81-91
Conference papers hal-00914040v1
Image document

Automatic Verification of BPMN Models

Mihal Brumbulli , Emmanuel Gaudin , Ciprian Teodorov
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02441878v1
Image document

Incremental clustering of sonar images using self-organizing maps combined with fuzzy adaptive resonance theory

Ahmed Nait Chabane , Naveed Islam , Benoit Zerr
Ocean Engineering, 2017, 142, pp.133-144. ⟨10.1016/j.oceaneng.2017.06.061⟩
Journal articles hal-01699476v1
Image document

Towards a Generic Interval Solver for Differential-Algebraic CSP

Simon Rohou , Abderahmane Bedouhene , Gilles Chabert , Alexandre Goldsztejn , Luc Jaulin et al.
CP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
Conference papers hal-02956402v1
Image document

Experimental Validation of Ellipsoidal Techniques for State Estimation in Marine Applications

Andreas Rauh , Yohann Gourret , Katell Lagattu , Bernardo Hummes , Luc Jaulin et al.
Algorithms, 2022, 15 (5), pp.162. ⟨10.3390/a15050162⟩
Journal articles hal-03666881v1
Image document

Interval analysis and convex optimization to solve a robust constraint feasibility problem

Benoit Clement
Journal Européen des Systèmes Automatisés (JESA), 2012, 46 (4-5), pp.381-395. ⟨10.3166/jesa.46.381-395⟩
Journal articles hal-00733844v1
Image document

Suivi de ligne pour un voilier : application au robot voilier autonome VAIMOS pour l'océanographie

Fabrice Le Bars , Luc Jaulin , Olivier Ménage
Journées des Démonstrateurs, Jun 2013, Angers, France
Conference papers hal-00914070v1
Image document

Change Detection Using Synthetic Aperture Sonar: Preliminary Results from the Larvik Trial

Øivind Midtgaard , Roy Edgar Hansen , Torstein Olsmo Sæbø , Vincent Myers , John R. Dubberley et al.
OCEANS 2011 MTS/IEEE conference, Sep 2011, Kona, United States
Conference papers hal-00645827v1
Image document

Novel Techniques for a Verified Simulation of Fractional-Order Differential Equations

Andreas Rauh , Luc Jaulin
Fractal and Fractional, 2021, 5 (1), pp.17. ⟨10.3390/fractalfract5010017⟩
Journal articles hal-03153733v1
Image document

Linear Matrix Inequalities for an Iterative Solution of Robust Output Feedback Control of Systems with Bounded and Stochastic Uncertainty

Andreas Rauh , Swantje Romig
Sensors, 2021, 21 (9), pp.3285. ⟨10.3390/s21093285⟩
Journal articles hal-03223729v1
Image document

Calcul par intervalles pour la robotique mobile intelligente Lab-STICC

Luc Jaulin , Benoit Zerr , Fabrice Le Bars , Simon Rohou , Damien Massé et al.
Bulletin de l'Association Française pour l'Intelligence Artificielle, 2019, 104, pp.9-10
Journal articles hal-02280704v1
Image document

Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance

Sébastien Bourguignon , Jordan Ninin , Hervé Carfantan , Marcel Mongeau
IEEE Transactions on Signal Processing, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩
Journal articles hal-01254856v1
Image document

How to Design a Park and Its Surrounding Urban Morphology to Optimize the Spreading of Cool Air?

Jérémy Bernard , Auline Rodler , Benjamin Morille , Xueyao Zhang
Climate , 2018, 6 (1), ⟨10.3390/cli6010010⟩
Journal articles hal-01706788v1
Image document

Phase Retrieval with a Multivariate Von Mises Prior: From a Bayesian Formulation to a Lifting Solution

Angélique Drémeau , Antoine Deleforge
ICASSP 2017 - 42nd IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States. pp.1-5, ⟨10.1109/ICASSP.2017.7953027⟩
Conference papers hal-01653732v1