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


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-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-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
...
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-02927344v1  Communication dans un congrès
Ronan FabletAlexandre BaussardAntoine D’acremontGuillaume Quin. Faster-RCNN with a compact CNN backbone for target detection in infrared images
Proc. SPIE Security+Defense, Sep 2020, Edinburgh, United Kingdom
hal-03028409v1  Communication dans un congrès
Emilien 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-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-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-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-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-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-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⟩
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-02125051v1  Article dans une revue
Christophe VielUlysse VautierJian WanLuc Jaulin. Platooning Control for Heterogeneous Sailboats Based on Constant Time Headway
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020, 21 (5), pp.2078-2089. ⟨10.1109/TITS.2019.2912389⟩
...
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-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-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-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-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