Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

3 366 Résultats

Experimental/numerical investigation of mechanical behaviour of internally pressurized cylindrical shells with external longitudinal and circumferential semi-elliptical defects

H. Moustabchir , Jamal Arbaoui , Zitouni Azari , S. Hariri , Catalin Iulian Pruncu et al.
Alexandria Engineering Journal, 2018, 57 (3), pp.1339-1347. ⟨10.1016/j.aej.2017.05.022⟩
Article dans une revue hal-01944415v1
Image document

Méthode split-step wavelet pour la propagation troposphérique en 3D

Thomas Bonnafont , Rémi Douvenot , Alexandre Chabory
22èmes Journées Nationales Microondes (JNM 2022), Jun 2022, Limoges, France
Communication dans un congrès hal-03710081v1
Image document

Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis

Hannah Badier , Christian Pilato , Jean-Christophe Le Lann , Philippe Coussy , Guy Gogniat et al.
DATE'21 Design Automation and Test in Europe, Feb 2021, Grenoble (virtuel), France
Communication dans un congrès hal-03228922v1

Formalisation d’une Approche Compositionnelle de Patrons de Propriétés

Djamila Baroudi , Philippe Dhaussy , Nait Bahloul Safia
AFADL 2016, i, Jun 2016, Besançon, France
Communication dans un congrès hal-01326333v1

Model Reduction from Partial Observations

Cédric Herzet , Angélique Drémeau , Patrick Héas
International Journal for Numerical Methods in Engineering, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩
Article dans une revue hal-01394059v1

Exploitation of C-Band Sentinel-1 Images for High-Resolution Wind Field Retrieval in Coastal Zones (Iroise Coast, France)

Tran Vu La , Ali Khenchaf , Fabrice Comblet , Carole Nahum
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2017, pp.1 - 14. ⟨10.1109/JSTARS.2017.2746349⟩
Article dans une revue hal-01653119v1

Experimental Analysis of Time Deviation on a Passive Localization System ”

Hugo Seuté , Cyrille Enderli , Jean-François Grandin , Ali Khenchaf , Jean-Christophe Cexus et al.
SSPD’2016, Sep 2016, Edinburgh, United Kingdom. ⟨10.1109/SSPD.2016.7590598⟩
Communication dans un congrès hal-01396704v1

Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Valentin Besnard , Matthias Brun , Frédéric Jouault , Ciprian Teodorov , Philippe Dhaussy et al.
MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès hal-01802247v1
Image document

Towards a Hardware DSL Ecosystem: RubyRTL and Friends

Jean-Christophe Le Lann , Hannah Badier , Florent Kermarrec
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
Communication dans un congrès hal-02513256v1

Intercultural Competences Through Mediated Learning

Alison Gourvès-Hayward , Christophe Morace
Henderson Jamie P., Lawrence Adam D. (ed.). Teaching strategies, Nova Science Publishers, pp. 235-248, 2011
Chapitre d'ouvrage hal-00624133v1

Enhancement of Primary User Detection in Cognitive Radio by Scattering Transform

Azza Moawad , Koffi Clément Yao , Ali Mansour , Roland Gautier
19th International conference on electronics and wireless communications (ICEWC), Oct 2017, Istanbul, Turkey
Communication dans un congrès hal-01707201v1
Image document

Outlier detection for Multibeam echo sounder (MBES) data from past to present

Julian Le Deunf , Nathalie Debese , Thierry Schmitt , François Guibourt , Jenner Etienne et al.
IEEE Oceans 2019, Jun 2019, Marseille, France. pp.1-10, ⟨10.1109/OCEANSE.2019.8867321⟩
Communication dans un congrès hal-02317656v1
Image document

Compact highly selective passive notch filter for 3.1–5 GHz UWB receiver system

Raafat Lababidi , M. Le Roy , Denis Le Jeune , André Pérennec , R. Vauche et al.
2015 IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec 2015, Cairo, Egypt. ⟨10.1109/ICECS.2015.7440259⟩
Communication dans un congrès hal-01704368v1
Image document

Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method

Ahcène Bounceur , Madani Bezoui , Loïc Lagadec , Reinhardt Euler , Abdelkader Laouid et al.
International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
Communication dans un congrès hal-01829227v1
Image document

Transformation of Uncertain Linear Systems with Real Eigenvalues into Cooperative Form: The Case of Constant and Time-Varying Bounded Parameters

Andreas Rauh , Julia Kersten
Algorithms, 2021, 14 (3), pp.85. ⟨10.3390/a14030085⟩
Article dans une revue hal-03164789v1

Survey on machine learning applied to medical image analysis

Ali Mansour , Aurelien Olivier , Clément Hoffman , Luc Bressollette , Benoit Clement et al.
14th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, Oct 2021, Shanghai, China
Communication dans un congrès hal-03465861v1
Image document

Benchmarking Quantized Neural Networks on FPGAs with FINN

Quentin Ducasse , Pascal Cotret , Loïc Lagadec , Rob Stewart
DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France
Communication dans un congrès hal-03085342v1

The World Robotic Sailing Championship, a competition to stimulate the development of autonomous sailboats

Fabrice Le Bars , Luc Jaulin
OCEANS'15/MTS/IEEE, May 2015, Genova, Italy
Communication dans un congrès hal-01164630v1

Deteclic: a multi-method detector of sperm whale's click

Fabio Cassiano , Angélique Drémeau , Flore Samaran , Isabelle Quidu
179th Meeting of the Acoustical Society of America - Acoustics Virtually Everywhere, Acoustical Society of America, Dec 2020, Virtuel, United States
Communication dans un congrès hal-03125773v1
Image document

Kalman Filter-Based Real-Time Implementable Optimization of the Fuel Efficiency of Solid Oxide Fuel Cells

Andreas Rauh
Clean Technologies, 2021, 3, pp.206 - 226. ⟨10.3390/cleantechnol3010012⟩
Article dans une revue hal-03164776v1
Image document

A Review of Data Cleaning Approaches in a Hydrographic Framework with a Focus on Bathymetric Multibeam Echosounder Datasets

Julian Le Deunf , Nathalie Debese , Thierry Schmitt , Romain Billot
Geosciences, 2020, 10 (7), pp.254. ⟨10.3390/geosciences10070254⟩
Article dans une revue hal-02888928v1

Model Federation based on Role Modeling

Bastien Drouot , Joël Champeau
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
Communication dans un congrès hal-02123046v1

Proposed Algorithms to the State Explosion Problem

Lamia Allal , Ghalem Belalem , Philippe Dhaussy , Ciprian Teodorov
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⟩
Chapitre d'ouvrage hal-02515359v1
Image document

Remarkable Challenges of High-Performance Language Virtual Machines

Guillermo Polito , Stéphane Ducasse , Pablo Tesone , Luc Fabresse , G Thomas et al.
[Research Report] Inria Lille - Nord Europe. 2022
Rapport hal-03770065v1
Image document

On the proof of recursive Vogler algorithm for multiple knife-edge diffraction

Viet Dung Nguyen , Huy Phan , Ali Mansour , Arnaud Coatanhay , Thierry Marsault et al.
IEEE Transactions on Antennas and Propagation, 2021, 69 (6), pp.3617 - 3622. ⟨10.1109/TAP.2020.3037748⟩
Article dans une revue hal-03104224v1
Image document

A boundary approach for set inversion

Luc Jaulin
Engineering Applications of Artificial Intelligence, 2021, 100, pp.104184. ⟨10.1016/j.engappai.2021.104184⟩
Article dans une revue hal-03151977v1
Image document

Reliability Assessment of an Unscented Kalman Filter by Using Ellipsoidal Enclosure Techniques

Andreas Rauh , Stefan Wirtensohn , Patrick Hoher , Johannes Reuter , Luc Jaulin et al.
Mathematics , 2022, 10 (16), pp.3011. ⟨10.3390/math10163011⟩
Article dans une revue hal-03758036v2
Image document

Physically motivated structuring and optimization of neural networks for multi-physics modelling of solid oxide fuel cells

Andreas Rauh , Julia Kersten , Wiebke Frenkel , Niklas Kruse , Tom Schmidt et al.
Mathematical and Computer Modelling of Dynamical Systems, 2021, ⟨10.1080/13873954.2021.1990966⟩
Article dans une revue hal-03421430v1
Image document

Siamese Network on I/Q Signal for RF Fingerprinting

Louis Morge-Rollet , Frédéric Le Roy , Denis Le Jeune , Roland Gautier
Conference on Artificial Intelligence for Defense (CAID) 2020, Dec 2020, En ligne, France
Communication dans un congrès hal-03752408v1

Hybrid Interval-Probabilistic Localization in Building Maps

Aaronkumar Ehambram , Luc Jaulin , Bernardo Wagner
IEEE Robotics and Automation Letters, 2022, 7 (3), pp.7059-7066. ⟨10.1109/LRA.2022.3181371⟩
Article dans une revue hal-03761309v1

An Empirical Study of the Influence of Seafloor Morphology on the Uncertainty of Bathymetric Data

Willian Ney Cassol , Sylvie Daniel , Éric Guilbert , Nathalie Debese
Marine Geodesy, 2022, 45 (5), pp.496-518. ⟨10.1080/01490419.2022.2075499⟩
Article dans une revue hal-03751920v1
Image document

Modélisation et Analyse Formelle de Modèles Système pour les Menaces Persistantes Avancées

Tithnara Nicolas Sun
Cryptographie et sécurité [cs.CR]. École nationale supérieure de techniques avancées Bretagne. (Ministère de la Défense), 2022. Français. ⟨NNT : ⟩
Thèse tel-03889800v1

Practical multiverse debugging through user-defined reductions

Matthias Pasquier , Ciprian Teodorov , Frédéric Jouault , Matthias Brun , Luka Le Roux et al.
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Communication dans un congrès hal-03891589v1
Image document

Chronic and recurrent non-infectious paediatric-onset uveitis: a French cohort

Guillaume Morelle , Julie Gueudry , Florence Uettwiller , Carine Wouters , Brigitte Bader-Meunier et al.
RMD Open : Rheumatic & Musculoskeletal Diseases, 2019, 5 (2), pp.e000933. ⟨10.1136/rmdopen-2019-000933⟩
Article dans une revue hal-02316496v1
Image document

Study on Non-Bragg Microwave Backscattering from Sea Surface Covered with and without Oil Film at Moderate Incidence Angles

Honglei Zheng , Jie Zhang , Ali Khenchaf , Xiao-Ming Li
Remote Sensing, 2021, 13 (13), pp.2443. ⟨10.3390/rs13132443⟩
Article dans une revue hal-03327348v1

StorNIR , a multi-objective replica placement strategy for cloud federations

Amina Chikhaoui , Laurent Lemarchand , Kamel Boukhalfa , Jalil Boukhobza
SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event Republic of Korea, France. pp.50-59, ⟨10.1145/3412841.3441886⟩
Communication dans un congrès hal-03217672v1
Image document

Underwater objects extraction and analysis

Nathalie Debese , Jean José Jacq
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
Communication dans un congrès hal-02508985v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126v1
Image document

Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE

Cyrielle Feron , Vianney Lapotre , Loïc Lagadec
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
Communication dans un congrès hal-01757093v1
Image document

Distribution of blue whale populations in the Southern Indian Ocean based on a decade of acoustic monitoring

Maëlle Torterotot , Flore Samaran , Kathleen Stafford , Jean-Yves Royer
Deep Sea Research Part II: Topical Studies in Oceanography, 2020, 179, pp.104874. ⟨10.1016/j.dsr2.2020.104874⟩
Article dans une revue hal-03038496v1

Transfer learning on CNN architectures for ship classification on SAR images

Abdelmalek Toumi , Jean-Christophe Cexus , Ali Khenchaf , Antoine Tartivel
Sea Tech Week - Session Remote Sensing, Oct 2020, Brest, France
Communication dans un congrès hal-03109596v1
Image document

Broad-scale study of the seasonal and geographic occurrence of blue and fin whales in the Southern Indian Ocean

Emmanuelle C Leroy , Flore Samaran , Kate M Stafford , Julien Bonnel , Jean-Yves Royer et al.
Endangered Species Research, 2018, 37, pp.289-300. ⟨10.3354/esr00927⟩
Article dans une revue hal-01902715v1

Robust structured H2 synthesis for linear systems subject to time-invariant uncertainties with global optimization

Benoit Clement , Dominique Monnet , Jordan Ninin
IFAC-PapersOnLine, 2021, 54 (16), pp.341-347. ⟨10.1016/j.ifacol.2021.10.114⟩
Article dans une revue hal-03438287v1

A Survey of NOMA for VLC Systems: Research Challenges and Future Trends

Hesham Sadat , Mohamed Abaza , Ali Mansour , Ayman Alfalou
Sensors, 2022, 22 (4), pp.1395. ⟨10.3390/s22041395⟩
Article dans une revue hal-03588966v1
Image document

Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem

Auguste Bourgois
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. English. ⟨NNT : 2021ENTA0002⟩
Thèse tel-03419041v1
Image document

A Novel Thick Ellipsoid Approach for Verified Outer and Inner State Enclosures of Discrete-Time Dynamic Systems

Andreas Rauh , Luc Jaulin
IFAC-PapersOnLine, 2021, 54 (7), pp.601-606. ⟨10.1016/j.ifacol.2021.08.426⟩
Article dans une revue hal-03550394v1

Real & Simulated QPSK Up-Converted Signals by a Sampling Method Using a Cascaded MZMs Link

Hassan Termos , Ali Mansour
Photonics, 2022, 9 (1), pp.34. ⟨10.3390/photonics9010034⟩
Article dans une revue hal-03588905v1

Marine observations with a harmonic single-beam echo-sounder

Irène Mopin , Jacques Marchal , Michel Legris , Philippe Blondel , Benoit Zerr et al.
Forum Acusticum, Dec 2020, Lyon, France. pp.1979-1979, ⟨10.48465/fa.2020.0624⟩
Communication dans un congrès hal-03240288v1

Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGA

Émilien Fournier , Ciprian Teodorov , Loïc Lagadec
FPL (Field Programmable Logic), Aug 2021, Dresden, Germany
Communication dans un congrès hal-03429008v1

One-Class based learning for Hybrid Spectrum Sensing in Cognitive Radio

Mohammad Jaber , Abbass Nasser , Nour Charara , Ali Mansour , Koffi-Clément Yao et al.
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1683-1686, ⟨10.23919/Eusipco47968.2020.9287326⟩
Communication dans un congrès hal-03127391v1