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

hal-03242585v1  Article dans une revue
Simon RohouLuc Jaulin. Exact bounded-error continuous-time linear state estimator
Systems and Control Letters, Elsevier, 2021, 153, pp.104951. ⟨10.1016/j.sysconle.2021.104951⟩
hal-03215663v1  Communication dans un congrès
Mohammed Islam NaasFrançois TrahayAlexis ColinPierre OlivierStéphane Rubini et al.  EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications
CHEOPS 2021: Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.4:1-4:11, ⟨10.1145/3439839.3458731⟩
hal-03217669v1  Communication dans un congrès
Luis ThomasSebastien GougeaudStéphane RubiniPhilippe DenielJalil Boukhobza. Predicting file lifetimes for data placement in multi-tiered storage systems for HPC
Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Apr 2021, Online Event, United Kingdom. pp.1-9, ⟨10.1145/3439839.3458733⟩
hal-03126980v1  Article dans une revue
Mohammad Ammad UddinMuhammad AyazAli MansourEl‐hadi AggouneAhmad Hani El Fawal et al.  Ground target finding mechanism for unmanned aerial vehicles to secure crop field data
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2021, 32 (3), pp.e4210. ⟨10.1002/ett.4210⟩
hal-03188864v1  Communication dans un congrès
Hiba HnainiLuka Le RouxJoël ChampeauCiprian Teodorov. Security property modeling
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
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-03228922v1  Communication dans un congrès
Hannah BadierChristian PilatoJean-Christophe Le LannPhilippe CoussyGogniat Guy. Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis
DATE'21 Design Automation and Test in Europe, Feb 2021, Grenoble (virtuel), France
tel-03151588v2  Thèse
Auguste Bourgois. Safe & collaborative autonomous underwater docking
Robotics [cs.RO]. École Nationale Supérieure de Techniques Avancées Bretagne, 2021. English
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, 2021, 69 (6), pp.3617 - 3622. ⟨10.1109/TAP.2020.3037748⟩
hal-01780390v1  Article dans une revue
Frédéric Le RoyLahatra RakotondrainibeJean-Philippe DelahayeAli Mansour. Insights into portability issues of FM3TR waveform
Analog Integrated Circuits and Signal Processing, Springer Verlag, 2021, 106, pp.45-57. ⟨10.1007/s10470-017-1097-x⟩
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-03173788v1  Communication dans un congrès
Joris TilletLuc JaulinFabrice Le Bars. Non-linear control under state constraints with validated trajectories for a mobile robot towing a trailer
IROS 2020- International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas ( Online ), United States. pp.7729-7736, ⟨10.1109/IROS45743.2020.9341712⟩
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-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-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-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-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-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