Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-02583286v1  Communication dans un congrès
Ramzi Ben Mhenni, Sébastien Bourguignon, Jordan Ninin. Global optimization of L0-norm-based sparse approximation criteria with a branch-and-bound algorithm
SPARS, Signal Processing with Adaptive Sparse Structured Representations, 2019, Toulouse, France
hal-02584322v1  Communication dans un congrès
Ramzi Ben Mhenni, Sébastien Bourguignon, Jordan Ninin. Global Optimization for Sparse Solution of Least Squares Problems
ICCOPT, International Conference on Continuous Optimization, 2019, Berlin, Germany
hal-02564594v1  Communication dans un congrès
Ramzi Ben Mhenni, Sébastien Bourguignon, Marcel Mongeau, Jordan Ninin, Hervé Carfantan. Sparse Branch and Bound for Exact Optimization of L0-Norm Penalized Least Squares
ICASSP 2020, IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.ISBN: 978-1-5090-6632-2, ⟨10.1109/ICASSP40776.2020.9053870⟩
...
hal-02066368v1  Pré-publication, Document de travail
Ramzi Ben Mhenni, Sébastien Bourguignon, Jordan Ninin. Global Optimization for Sparse Solution of Least Squares Problems
2019
hal-01864825v1  Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea
hal-01298623v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Dhaussy 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-01936730v1  Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
hal-01551453v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Salah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
hal-01651643v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Gilles Le Maillot, Benoit Clement, Olivier Reynet et al.  Wireless Based System for Continuous Electrocardiography Monitoring during Surgery
ICBSAT 2017 : 19th International Conference on Biomedical Signal Analysis Technology, Oct 2017, Paris, France
hal-02053134v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, S. Haddab. Blind Elimination of Electrical Artifacts Caused by the Electrosurgical Units (ESU) for ECG Signals
European Conference on Electrical Engineering and Computer Science, (EECS 2018), Dec 2018, Bern, Switzerland. ⟨10.1109/EECS.2018.00060⟩
...
hal-01936633v1  Article dans une revue
Adrien Berne, Emmanuelle Leroy, Flore Samaran, Sérgio Moreira, Kathleen Stafford et al.  Antarctic blue whales ( Balaenoptera musculus intermedia ) recorded at the Equator in the Atlantic Ocean
Marine Mammal Science, Wiley, 2019, 35 (2), pp.641-648. ⟨10.1111/mms.12559⟩
hal-01707228v1  Article dans une revue
Thibaud Berthomier, Ali Mansour, Luc Bressollette, Frédéric Le Roy, Dominique 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-02556785v1  Communication dans un congrès
T. Berthomier, A. Mansour, L. Bressollettey, D. Mottier, Frédéric Le Roy et al.  Unsupervised clustering of DVT Ultrasound Images using High Order Statistics
2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Dec 2018, Madrid, Spain. pp.2495-2501, ⟨10.1109/BIBM.2018.8621187⟩
hal-01699280v1  Article dans une revue
Thibaud Berthomier, Ali Mansour, Luc Bressollette, Frédéric Le Roy, Dominique Mottier. Deep venous thrombus characterization: ultrasonography, elastography and scattering operator
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2017, 2 (3), pp.48 - 59. ⟨10.25046/aj020308⟩
hal-01802247v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
hal-02375996v1  Communication dans un congrès
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. A Model Checkable UML Soccer Player
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
hal-01585318v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
...
hal-02433749v1  Communication dans un congrès
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-01887948v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark