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

hal-02431973v1  Communication dans un congrès
Nisha Rani MahatoLuc JaulinS. ChakravertyJean Dezert. Validated Enclosure of Uncertain Nonlinear Equations Using SIVIA Monte Carlo
8th National Conference on Wave Mechanics and Vibrations, WMVC 2018, Jul 2018, Rourkela, India. pp.455-468, ⟨10.1007/978-981-15-0287-3_32⟩
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-01832187v1  Communication dans un congrès
Sarra ZaiedAbdelmalek ToumiAli Khenchaf. Target classification using convolutional deep learning and auto-encoder models
2018 4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Mar 2018, Sousse, Tunisia. ⟨10.1109/ATSIP.2018.8364502⟩
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-01699280v1  Article dans une revue
Thibaud BerthomierAli MansourLuc BressolletteFrédéric Le RoyDominique Mottier. Deep venous thrombus characterization: ultrasonography, elastography and scattering operator
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2017, 2 (3), pp.48 - 59. ⟨10.25046/aj020308⟩
hal-01118923v1  Communication dans un congrès
Iyas AlloushCharbel Geryes AounYvon KermarrecSiegfried Rouvrais. A Domain-Specific Framework for Creating Early Trusted Underwater Systems Relying on Enterprise Architecture
MASCOTS 2014 - IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, IEEE computer Society, Sep 2014, Paris, France. ⟨10.1109/MASCOTS.2014.23⟩
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
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-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-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-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-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-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-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-02053162v1  Article dans une revue
Emmanuelle LeroyJean-Yves RoyerJulien BonnelFlore Samaran. Long-Term and Seasonal Changes of Large Whale Call Frequency in the Southern Indian Ocean
Journal of Geophysical Research. Oceans, Wiley-Blackwell, 2018, 123 (11), pp.8568-8580. ⟨10.1029/2018JC014352⟩
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
tel-03174429v1  Thèse
Thomas Le Mézo. Bracketing largest invariant sets of dynamical systems : an application to drifting underwater robots in ocean currents
Robotics [cs.RO]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0012⟩
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-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-03151936v1  Article dans une revue
Mahmoud AlmasriAli MansourChristophe MoyAmmar AssoumDenis Le Jeune et al.  Distributed Competitive Decision Making Using Multi-Armed Bandit Algorithms
Wireless Personal Communications, Springer Verlag, 2021, 118 (2), pp.1165-1188. ⟨10.1007/s11277-020-08064-w⟩
hal-01595789v1  Communication dans un congrès
Cyrielle FeronVianney LapotreLoïc Lagadec. PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
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⟩