Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

3 427 Résultats
Image document

Fouille de Processus de Configuration dans les Lignes de Produits

Camille Salinesi , Houssem Chemingui , Ines Gam , Raul Mazo , Henda Benghezala et al.
INFORSID, Jun 2021, Dijon, France
Communication dans un congrès hal-03252121v1

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
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

Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case

Anne-Laure Wozniak , Sergio Segura , Raúl Mazo , Sarah Leroy
1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
Communication dans un congrès hal-03647680v1

Dolmen: FPGA Swarm for Safety and Liveness Verification

Emilien Fournier , Ciprian Teodorov , Loïc Lagadec
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Communication dans un congrès hal-03708237v1

“Snapshot” of the State of Software Reuse in Colombia

Luisa-Fernanda Restrepo-Gutiérrez , Elizabeth Suescún-Monsalve , Raúl Mazo , Paola-Andrea Vallejo-Correa , Daniel Correa et al.
Revista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
Article dans une revue hal-03865842v1

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

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
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

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

Ground target finding mechanism for unmanned aerial vehicles to secure crop field data

Mohammad Ammad Uddin , Muhammad Ayaz , Ali Mansour , El‐hadi Aggoune , Ahmad Hani El Fawal et al.
Transactions on emerging telecommunications technologies, 2021, 32 (3), pp.e4210. ⟨10.1002/ett.4210⟩
Article dans une revue hal-03126980v1

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

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

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

Simultaneous Up-Conversion Based on a Co- & Counter-Directions SOA-MZI Sampling Mixer with Standard & Differential Modulation Modes

Hassan Termos , Ali Mansour , Abbass Nasser
Photonics, 2022, 9 (2), pp.109. ⟨10.3390/photonics9020109⟩
Article dans une revue hal-03598268v1
Image document

Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations

Andreas Rauh , Auguste Bourgois , Luc Jaulin , Julia Kersten
2021 International Conference on Control, Automation and Diagnosis (ICCAD), Nov 2021, Grenoble, France. pp.1-6, ⟨10.1109/ICCAD52417.2021.9638755⟩
Communication dans un congrès hal-03494430v1
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
Image document

An Ellipsoidal Predictor-Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors

Andreas Rauh , Simon Rohou , Luc Jaulin
Frontiers in Control Engineering, 2022, ⟨10.3389/fcteg.2022.785795⟩
Article dans une revue hal-03619435v1
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

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

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

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
Image document

Low Frequency SAS

Fabien Novella , Yan Pailhas , Gilles Le Chenadec , Isabelle Quidu , Michel Legris et al.
6th Underwater Acoustics Conference & Exhibition, Jun 2021, Virtual meeting, United States. pp.070032, ⟨10.1121/2.0001503⟩
Communication dans un congrès hal-03519906v1
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
Image document

Energy-Aware HEVC Software Decoding On Mobile Heterogeneous Multi-Cores Architectures

Mohammed Bey Ahmed Khernache , Yahia Benmoussa , Jalil Boukhobza , Daniel Menard
PARMA-DITAM, Jun 2022, Budapest, Hungary. ⟨10.4230/OASIcs.PARMA-DITAM.2022.4⟩
Communication dans un congrès hal-03695538v1

Introduction to the Special Issue on Memory and Storage Systems for Embedded and IoT Applications: Part 2

Yuan-Hao Chang , Jalil Boukhobza , Song Han
ACM Transactions on Embedded Computing Systems (TECS), 21 (3), pp.1-2, 2022, ⟨10.1145/3531707⟩
N°spécial de revue/special issue hal-03698240v1
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

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
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

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

Nouveaux résultats sur la détection des cibles navales à faible angle rasant au moyen d'un radar à haute résolution

Emanuel Radoi , André Quinquis , P. Saulais
RSTD Revue Scientifique et Technique de la Défense, 2003, pp.Non renseigne
Article dans une revue hal-00518830v1

GPS Sea Surface Observation using Extended Kalman Filtering

Frederic Maussang , Sarab Tay , Arnaud Coatanhay , René Garello
Space Reflecto 2013 : 3rd Conference on passive reflectometry using radiocom space signals, Nov 2013, Brest, France
Communication dans un congrès hal-00955093v1
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

GpLMS: Generalized Parallel Least Mean Square Algorithm for Partial Observations

Ghattas Akkad , Viet-Dung Nguyen , Ali Mansour
14th International KES Conference on Intelligent Decision Technologies, KES-IDT 2022, Jun 2022, Rhodes, Greece. pp.441-448, ⟨10.1007/978-981-19-3444-5_38⟩
Communication dans un congrès hal-03772375v1
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

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

Gaussian beams formalism for high frequency scattering problems by metallic targets

Mira Kaissar Abboud , Ali Khenchaf , Philippe Pouliguen
2021 IEEE Conference on Antenna Measurements & Applications (CAMA), Nov 2021, Antibes Juan-les-Pins, France. pp.109-112, ⟨10.1109/CAMA49227.2021.9703614⟩
Communication dans un congrès hal-03648191v1
Image document

Analysis of Small Sea-Surface Targets Detection Performance According to Airborne Radar Parameters in Abnormal Weather Environments

Hamza Bounaceur , Ali Khenchaf , Jean-Marc Le Caillec
Sensors, 2022, 22 (9), pp.3263. ⟨10.3390/s22093263⟩
Article dans une revue hal-03687164v1
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

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

Multi-objective Optimization of Data Placement in a Storage-as-a-Service Federated Cloud

Amina Chikhaoui , Laurent Lemarchand , Kamel Boukhalfa , Jalil Boukhobza
Transactions on Storage, 2021, 17 (3), pp.1-32. ⟨10.1145/3452741⟩
Article dans une revue hal-03349819v1

Hos-Based Multi-Component Frequency Estimation

M. Pedzisz , Ali Mansour
Eusipco, address = Antalya, Turkey, year = 2005, month = 4-8 September, pdf = 1, nat = 0,, 2005, France. pp.Non renseigne
Communication dans un congrès hal-00518713v1

ICA applied to passive ocean acoustic tomography

Ali Mansour , Cedric Gervaise
WSEAS Transactions on Acoustics and Music, 2004, pp.83-89
Article dans une revue hal-00518776v1

A time-frequency approach to blind separation of under-determined of sources

Ali Mansour , M. Kawamoto , Cg Puntonet
The IASTED International Conference on Applied Simulation and Modelling (ASM), address = Marbells, Spain, year = 2003, month = 3-5 September, pdf = 1, nat = 0,, 2003, France. pp.Non renseigne
Communication dans un congrès hal-00518833v1

Separation of sources using simulated annealing and competitive learning

Cg Puntonet , Ali Mansour , C. Bauer , E. Lang
Neurocomputing, 2002, pp.Non renseigne
Article dans une revue hal-00518862v1

A Role Language to Interpret Multi-Formalism System of Systems Models

Jean-Philippe Schneider , Joël Champeau , Ciprian Teodorov , Eric Senn , Loic Lagadec et al.
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès hal-01156518v1

Blind estimation of statistical properties of non-stationary random variables

Ali Mansour , Raed Mesleh , El-Hadi M Aggoune
EURASIP Journal on Advances in Signal Processing, 2014, 21, ⟨10.1186/1687-6180-2014-21⟩
Article dans une revue hal-00957912v1

LLMS Adaptive Beamforming Algorithm Implemented with Finite Precision

Jalal Abdulsayed Srar , Kah-Seng Chung , Ali Mansour
TELFOR 2012, Nov 2012, Belgrade, Serbia
Communication dans un congrès hal-00773658v1

Spectrum Sensing for Half and Full-Duplex Cognitive Radio

Abbass Nasser , Ali Mansour , Koffi Clément Yao , H. Abdallah
Matin Mohammad. Spectrum Access and Management for Cognitive Radio Networks, Springer, pp.15-50, 2017, 978-981-10-2253-1. ⟨10.1007/978-981-10-2254-8_2⟩
Chapitre d'ouvrage hal-01465960v1
Image document

Recalage et fusion d'images sonar multivues : utilisation du conflit

Cédric Rominger , Arnaud Martin
Revue des Nouvelles Technologies de l'Information, 2011, E (21), pp.231-246
Article dans une revue hal-00657626v1