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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03329874v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimal control tuning of a redundant robot
Luc Jaulin
ROADEF 2012 , Apr 2012, Angers, France
Conference papers
hal-00690428v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Controling the number of focal elements
Christophe Osswald
Conference papers
hal-00800702v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inner approximation of the range of vector-valued functions
Alexandre Goldsztejn
,
Luc Jaulin
Reliable Computing , 2010, pp.1-23
Journal articles
hal-00518507v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Incremental clustering of sonar images using self-organizing maps combined with fuzzy adaptive resonance theory
Ahmed Nait Chabane
,
Naveed Islam
,
Benoit Zerr
Journal articles
hal-01699476v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Experimental Validation of Ellipsoidal Techniques for State Estimation in Marine Applications
Andreas Rauh
,
Yohann Gourret
,
Katell Lagattu
,
Bernardo Hummes
,
Luc Jaulin
et al.
Journal articles
hal-03666881v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Interval analysis and convex optimization to solve a robust constraint feasibility problem
Benoit Clement
Journal articles
hal-00733844v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Novel Techniques for a Verified Simulation of Fractional-Order Differential Equations
Andreas Rauh
,
Luc Jaulin
Journal articles
hal-03153733v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linear Matrix Inequalities for an Iterative Solution of Robust Output Feedback Control of Systems with Bounded and Stochastic Uncertainty
Andreas Rauh
,
Swantje Romig
Journal articles
hal-03223729v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance
Sébastien Bourguignon
,
Jordan Ninin
,
Hervé Carfantan
,
Marcel Mongeau
Journal articles
hal-01254856v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-01706788v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More