Accéder directement au contenu Accéder directement à la navigation

hal-01757093v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
hal-03151977v1  Article dans une revue
Luc Jaulin. A boundary approach for set inversion
Engineering Applications of Artificial Intelligence, Elsevier, 2021, 100, pp.104184. ⟨10.1016/j.engappai.2021.104184⟩
hal-03151912v1  Communication dans un congrès
Ngoc Tan TruongAli KhenchafFabrice CombletFranck PierreJean-Marc Champeyroux et al.  Filter de-noising method using long short-term memory
2020 European Navigation Conference, ENC 2020, Nov 2020, Dresden, Germany. pp.9317471
hal-03128908v1  Article dans une revue
Reda BoukezzoulaLuc JaulinBenoît DesrochersDidier Coquin. Thick Fuzzy Sets (TFSs) and Their Potential Use in Uncertain Fuzzy Computations and Modeling
IEEE Transactions on Fuzzy Systems, Institute of Electrical and Electronics Engineers, In press, pp.1 - 14. ⟨10.1109/tfuzz.2020.3018550⟩
hal-03104224v1  Article dans une revue
Viet-Dung NguyenHuy PhanAli MansourArnaud CoatanhayThierry Marsault. On the proof of recursive Vogler algorithm for multiple knife-edge diffraction
IEEE Transactions on Antennas and Propagation, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TAP.2020.3037748⟩
hal-03126858v1  Article dans une revue
Pierre BosserOlivier Bock. IWV retrieval from ground GNSS receivers during NAWDEX
Advances in Geosciences, European Geosciences Union, 2021, 55, pp.13-22. ⟨10.5194/adgeo-55-13-2021⟩
hal-03127391v1  Communication dans un congrès
Mohammad JaberAbbass NasserNour ChararaAli MansourKoffi-Clément Yao. One-Class based learning for Hybrid Spectrum Sensing in Cognitive Radio
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1683-1686, ⟨10.23919/Eusipco47968.2020.9287326⟩
hal-03127383v1  Communication dans un congrès
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumDenis Le Jeune et al.  Managing Single or Multi-Users Channel Allocation for the Priority Cognitive Access
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1722-1726, ⟨10.23919/Eusipco47968.2020.9287628⟩
hal-03127370v1  Communication dans un congrès
Ghattas AkkadAli MansourBachar ElhassanElie Inaty. A Multi-Stage Parallel LMS Structure and its Stability Analysis Using Transfer Function Approximation
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.1851-1855, ⟨10.23919/Eusipco47968.2020.9287604⟩
hal-03127356v1  Communication dans un congrès
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi. Two Stages Parallel LMS Structure: A Pipelined Hardware Architecture
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.2363-2367, ⟨10.23919/Eusipco47968.2020.9287770⟩
hal-03126988v1  Article dans une revue
Honglei ZhengJie ZhangYanmin ZhangAli KhenchafYunhua Wang. Theoretical Study on Microwave Scattering Mechanisms of Sea Surfaces Covered With and Without Oil Film for Incidence Angle Smaller Than 30°
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2021, 59 (1), pp.37-46. ⟨10.1109/TGRS.2020.2993861⟩
hal-03125773v1  Communication dans un congrès
Fabio CassianoAngélique DrémeauFlore SamaranIsabelle Quidu. Deteclic: a multi-method detector of sperm whale's click
179th Meeting of the Acoustical Society of America - Acoustics Virtually Everywhere, Acoustical Society of America, Dec 2020, Virtuel, United States
hal-03125756v1  Communication dans un congrès
Fabien NovellaYan PailhasGilles Le ChenadecIsabelle Quidu. Low Frequency Synthetic Aperture Sonar: Spatial Coherence Analyse
179th Meeting of the Acoustical Society of America - Acoustics Virtually Everywhere, Acoustical Society of America, Dec 2020, Virtuel, France. ⟨10.1121/1.5147076⟩
hal-03105969v1  Communication dans un congrès
Fabien NovellaYan PailhasIsabelle QuiduGilles Le Chenadec. Low Frequency SAS: Spatial Coherence Study
International Conference on Underwater Acoustics, ICUA 2020, Sep 2020, Virtual Meeting, France. pp.070016-1 - 070016-9, ⟨10.1121/2.0001320⟩
hal-03109596v1  Communication dans un congrès
Abdelmalek ToumiJean-Christophe CexusKhenchaf AliAntoine Tartivel. Transfer learning on CNN architectures for ship classification on SAR images
Sea Tech Week - Session Remote Sensing, Oct 2020, Brest, France
hal-03104246v1  Communication dans un congrès
Clémentin BoittiauxPaul Nguyen Hong DucNicolas LongépéSara PensieriRoberto Bozzano et al.  Multi-modal deep learning models for ocean wind speed estimation
2020 MACLEAN: MAChine Learning for EArth ObservatioN Workshop, MACLEAN 2020, Sep 2020, Virtual online, France
hal-03104198v1  Communication dans un congrès
Antoine FoucaultCedric CornuAli KhenchafFabrice Comblet. Detection of Linear Frequency Modulation, Phase-Coded and Multicarrier Radar Waveforms in Electronic Warfare Context
2020 Sensor Signal Processing for Defence Conference (SSPD), Sep 2020, Edinburgh, United Kingdom. pp.1-5, ⟨10.1109/SSPD47486.2020.9272129⟩
hal-03104184v1  Communication dans un congrès
Luisa RincónOunsa RoudiesCamille Salinesi. A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineering
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Oct 2020, Montreal (QC), Canada. pp.13-20, ⟨10.1145/3382026.3425774⟩
hal-03104158v1  Article dans une revue
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi et al.  A Pipelined Reduced Complexity Two-Stages Parallel LMS Structure for Adaptive Beamforming
IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2020, 67 (12), pp.5079-5091. ⟨10.1109/TCSI.2020.2994812⟩
hal-03085342v1  Communication dans un congrès
Quentin DucassePascal CotretLoïc LagadecRob Stewart. Benchmarking Quantized Neural Networks on FPGAs with FINN
DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France
hal-03070390v1  Communication dans un congrès
Milan Courcoux-CaroCharles VanwynsbergheCédric HerzetAlexandre Baussard. Sequential Sensor Placement using Bayesian Compressed Sensing for Source Localization
28th European Signal Processing Conference (EUSIPCO 2020), Jan 2021, Amsterdam, Netherlands. pp.241-245
hal-02565053v1  Chapitre d'ouvrage
Laurène MazeauJordan Ninin. Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
hal-03028409v1  Communication dans un congrès
Émilien FournierCiprian TeodorovLoïc Lagadec. Menhir: Generic High-Speed FPGA Model-Checker
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
hal-02958155v1  Communication dans un congrès
Thomas ChaffreJulien MorasAdrien Chan-Hon-TongJulien Marzat. Sim-to-Real Transfer with Incremental Environment Complexity for Reinforcement Learning of Depth-Based Robot Navigation
17th International Conference on Informatics, Automation and Robotics, ICINCO 2020, Jul 2020, Virtual, Online, France. pp.314-323
tel-03010085v1  Thèse
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English
hal-03002104v1  Article dans une revue
M. AlmasriAli MansourChristophe MoyA. AssoumDenis Le Jeune et al.  Dynamic decision-making process in the opportunistic spectrum access
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2020, 5 (4), pp.223-233. ⟨10.25046/aj050428⟩
hal-02995566v1  Article dans une revue
M.A. ShareefN.D. HassanKhenchaf AliS.F. Hasan. Integration of Sentinel-1A and Sentinel-2B Data for Land Use and Land Cover Mapping of the Kirkuk Governorate, Iraq
International Journal of Geoinformatics, Association of Geoinformation Technology, 2020, 16 (3), pp.87-96
hal-02960569v2  Article dans une revue
Cyrielle FeronLoïc LagadecVianney Lapotre. Automated Exploration of Homomorphic Encryption Scheme Input Parameters
Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
hal-02960557v1  Article dans une revue
Loïc LagadecAnne EtienJannik Laval. Advances in Smalltalk technologies
Science of Computer Programming, Elsevier, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩
hal-02958111v1  Communication dans un congrès
Caine SilvaSylvain GuérinRaúl MazoJoël Champeau. Contract-based design patterns: a design by contract approach to specify security patterns
15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
hal-02924010v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumChristophe Osswald et al.  Distributed algorithm under cooperative or competitive priority users in cognitive networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2020, 2020 (2020:145), ⟨10.1186/s13638-020-01738-w⟩
hal-02552069v1  Article dans une revue
Hassan HarbHussein MroueAli MansourAbbass NasserEduardo Motta Cruz. A Hadoop-Based Platform for Patient Classification and Disease Diagnosis in Healthcare Applications
Sensors (basel, Switzerland), 2020, Special Issue Sensor and Systems Evaluation for Telemedicine and eHealth, 20 (7), pp.1931-1 - 1931-20. ⟨10.3390/s20071931⟩
hal-02948489v1  Article dans une revue
Hassan HarbAli MansourAbbass NasserEduardo Motta CruzIsabel de la Torre Diez. A Sensor-Based Data Analytics for Patient Monitoring in Connected Healthcare Applications
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2021, 21 (2), pp.974-984. ⟨10.1109/JSEN.2020.2977352⟩
hal-02931876v1  Communication dans un congrès
Frédéric JouaultValentin BesnardThéo Le CalvarCiprian TeodorovMatthias Brun et al.  Designing, Animating, and Verifying Partial UML Models
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
hal-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2021, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
hal-02924180v1  Chapitre d'ouvrage
Luc JaulinBenoît Desrochers. Thick Separators
Martine Ceberio; Vladik Kreinovich. Decision Making under Constraints, 276, Springer, pp.125-131, 2020, Studies in Systems, Decision and Control, 978-3-030-40813-8. ⟨10.1007/978-3-030-40814-5_15⟩
hal-02924177v1  Communication dans un congrès
Viet-Dung NguyenHuy PhanAli MansourArnaud Coatanhay. VoglerNet: multiple knife-edge diffraction using deep neural network
2020 14th European Conference on Antennas and Propagation (EuCAP), Mar 2020, Copenhagen, France. pp.1-5, ⟨10.23919/EuCAP48036.2020.9135548⟩
hal-02924170v1  Communication dans un congrès
Clet BoudehennJean-Christophe CexusAbdel A. Boudraa. A Data Extraction Method for Anomaly Detection in Naval Systems
2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA), Jun 2020, Dublin, Ireland. pp.1-4, ⟨10.1109/CyberSA49311.2020.9139656⟩
hal-01841830v1  Communication dans un congrès
Cécile PlaudVincent Ribaud. When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
hal-02904517v1  Communication dans un congrès
Simon RohouBenoît DesrochersLuc Jaulin. Set-membership state estimation by solving data association
IEEE International Conference on Robotics and Automation (ICRA), May 2020, Paris, France
hal-02902490v1  Communication dans un congrès
Thomas Paviet-SalomonClément DorfferJulien BonnelBarbara NicolasThierry Chonavel et al.  Dispersive Grid-free Orthogonal Matching Pursuit for Modal Estimation in Ocean Acoustics
ICASSP 2020 : IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.4602-4606, ⟨10.1109/ICASSP40776.2020.9054365⟩
tel-02865800v1  Thèse
Thomas Le Mézo. Bracketing largest invariant sets of dynamical systems: an application to drifting underwater robots in ocean currents
Dynamical Systems [math.DS]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English
hal-02780479v1  Communication dans un congrès
Allan PenMarc Le RoyRaafat LababidiDenis Le JeuneAndré Pérennec et al.  Broadside FD Antenna Topologies for Nanosat Intersatellite Link
NEWCAS 2020 (18th IEEE International NEWCAS Conference), Jun 2020, Montréal, Canada. pp.1-4
hal-02639342v1  Article dans une revue
Luc JaulinFabrice Le Bars. Characterizing Sliding Surfaces of Cyber-Physical Systems
Acta Cybernetica, 2020, Special Issue of the 11th Summer Workshop on Interval Methods, 24 (3), pp.431-448. ⟨10.14232/actacyb.24.3.2020.9⟩
hal-02584322v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonJordan Ninin. Global Optimization for Sparse Solution of Least Squares Problems
ICCOPT, International Conference on Continuous Optimization, 2019, Berlin, Germany
hal-02583286v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonJordan 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
tel-02569767v1  Thèse
Thibaut Nico. Study and development of relocation solutions of underwater objects by underwater heterogeneous vehicles
Automatic. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0005⟩
hal-02564594v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonMarcel MongeauJordan NininHervé 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-02560988v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiKhenchaf AliMohammed El Hassouni. Filtrage attentionnel des points caractéristiques SIFT pour la reconnaissance de cibles radar
1 ère édition des journées SIGnal, image, Multimédia et Applications (SIGMA), Fès-Maroc, 21-22 Décembre 2016, Dec 2016, Fès, Morocco
hal-02556785v1  Communication dans un congrès
T. BerthomierA. MansourL. BressolletteyD. MottierFré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-02553261v1  Communication dans un congrès
Paul Gardner-StephenAngus WallaceLucas MossLoïc LagadecMatthew Lloyd. Designing a combined personal communicator and data entry terminal for disaster relief & remote operations
IEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States
hal-02552072v1  Communication dans un congrès
Clément J. RousselArnaud CoatanhayAlexandre Baussard. Stochastic dynamics of sea clutter for applications to remote sensing
IEEE International Geoscience and Remote Sensing Symposium (IGARSS), IEEE Geoscience and Remote Sensing Society, Jul 2019, Yokohama, Japan. pp.2845-2848, ⟨10.1109/IGARSS.2019.8897752⟩
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe 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-02434620v1  Communication dans un congrès
Luka Le RouxCiprian Teodorov. Partially Bounded Context-Aware Verification
17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
hal-02434614v1  Communication dans un congrès
Ghattas AkkadAli MansourB.A. ElhassanJ. SrarM. Najem et al.  Low complexity robust adaptive beamformer based on parallel RLMS and Kalman RLMS
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, A Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902999⟩
hal-02149584v1  Communication dans un congrès
Fahad Rafique GolraJoël ChampeauCiprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
hal-02542690v1  Communication dans un congrès
Florian NicolasAndreas ArnoldIsabelle QuiduBenoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
tel-02538387v1  Thèse
Juan Luis Rosendo. Robust techniques of automatic control for mobile robotic systems
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne; Universidad nacional de La Plata, 2019. English. ⟨NNT : 2019ENTA0004⟩
hal-02535083v1  Communication dans un congrès
Irène MopinGuillaume SicotSolène JoussetFranck Dumas. HF radar spectrum comparison method for current maps analysis
Radiowave oceanography Workshop (ROW), Aug 2019, Victoria, Canada