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


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-03002104v1  Article dans une revue
Mahmoud 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-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-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-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-02924170v1  Communication dans un congrès
Clet BoudehennJean-Christophe CexusAbdel 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-03173802v1  Communication dans un congrès
Auguste BourgoisLuc Jaulin. Interval centred form for proving stability of non-linear discrete-time system
6th International Workshop on Symbolic-Numeric Methods for Reasoning (SNR 2020), Aug 2020, Vienne (virtual), Austria. pp.1-17
...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
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-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
...
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
...
hal-02508980v1  Communication dans un congrès
Nathalie DebeseJean-José JacqMarc RocheRodéric MoitiéKoen Degrendele. Systematic errors estimation in repeat MBES surveys
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
...
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, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
...
hal-02502398v1  Communication dans un congrès
Sabrine EddedSihem SassiRaúl MazoCamille SalinesiHenda Hajjami Ben Ghézala. Preference-based Conflict Resolution for Collaborative Configuration of Product Lines
International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
...
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-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-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-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-02497561v1  Communication dans un congrès
Hadi HijaziMarc Le RoyRaafat LababidiDenis Le JeuneAndré Pérennec. 4-40 GHz In-Phase/180° Out-of-Phase Power Dividers with Enhanced Isolation
14th European Conference on Antennas and Propagation – EuCAP 2020, European Association on Antennas and Propagation (EurAAP), Mar 2020, Copenhagen, Denmark. 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-03188788v1  Communication dans un congrès
Luc JaulinBenoît Desrochers. Enclosing the Sliding Surfaces of a Controlled Swing
6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2020, Aug 2020, Online, Austria. pp.43-55, ⟨10.4204/EPTCS.331.4⟩
...
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-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-03179132v1  Article dans une revue
Tran Vu LaChristophe MessagerMarc HonnoratRémi SahlAli Khenchaf et al.  Use of Sentinel-1 C-Band SAR Images for Convective System Surface Wind Pattern Detection
Journal of Applied Meteorology and Climatology, American Meteorological Society, 2020, 59 (8), pp.1321-1332. ⟨10.1175/JAMC-D-20-0008.1⟩
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-02513256v1  Communication dans un congrès
Jean-Christophe Le LannHannah BadierFlorent Kermarrec. Towards a Hardware DSL Ecosystem: RubyRTL and Friends
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
...
hal-02190303v1  Article dans une revue
Thomas Le MézoLuc JaulinBenoit Zerr. Bracketing backward reach sets of a dynamical system
International Journal of Control, Taylor & Francis, 2020, 93 (11), pp.2528-2540. ⟨10.1080/00207179.2019.1643910⟩
hal-02508802v1  Article dans une revue
Aliah MajedHassan HarbAbbass NasserOlivier ReynetBenoit Clement. Sensing-based Self-Reconfigurable Decision-Making Mechanism for Autonomous Modular Robotic System
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2020, 20 (13), pp.7057-7106. ⟨10.1109/JSEN.2020.2979280⟩
...
hal-02502411v1  Article dans une revue
Raúl MazoCarlos Andrés JaramilloPaola VallejoJhon Medina. Towards a new template for the specification of requirements in semi-structured natural language
Journal of Software Engineering Research and Development, Brazilian Computer Society, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
hal-03240288v1  Communication dans un congrès
Irène MopinJacques MarchalMichel LegrisPhilippe BlondelBenoît Zerr et al.  Marine observations with a harmonic single-beam echo-sounder
Forum Acusticum, Dec 2020, Lyon, France. pp.1979-1979, ⟨10.48465/fa.2020.0624⟩
hal-02149555v1  Article dans une revue
Vincent MyersIsabelle QuiduBenoit ZerrTorstein Olsmo SaboRoy Edgar Hansen. Synthetic Aperture Sonar Track Registration With Motion Compensation for Coherent Change Detection
IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2020, 45 (3), pp.1045-1062. ⟨10.1109/JOE.2019.2909960⟩
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-02520046v1  Chapitre d'ouvrage
Jérémy NicolaLuc Jaulin. Guaranteed Nonlinear Parameter Estimation with Additive Gaussian Noise
Olga Kosheleva; Sergey P. Shary; Gang Xiang; Roman Zapatrin. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy etc. Methods and Their Applications, 835, Springer, pp.341-357, 2020, Studies in Computational Intelligence, 978-3-030-31041-7 (Ebook); 978-3-030-31040-0 (Hardcover). ⟨10.1007/978-3-030-31041-7_19⟩
...
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⟩