Skip to Main content Skip to Navigation
New interface

tel-03010085v1  Theses
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
tel-01807651v1  Theses
Abbass Nasser. Spectrum sensing for half and full-duplex interweave cognitive radio systems
Physics [physics]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0006⟩
hal-01704422v1  Conference papers
Ahcène BounceurOlivier Marc MarcMassinissa LounisJulien SolerLaurent Clavier et al.  CupCarbon-Lab: An IoT Emulator
IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
hal-03472920v1  Conference papers
N SeubeS LevillyR Keyetieu-Nlowe. Automatic 3D Boresight and Latency Estimation of IMU and Multi-Beam Echo Sounder Systems
Proc. of the USHYDRO 15 Conf, Mar 2015, National Harbor, Maryland, United States
hal-03105969v1  Conference papers
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-02434620v1  Conference papers
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-02542690v1  Conference papers
Florian NicolasAndreas Arnold-BosIsabelle QuiduBenoit Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
hal-03126858v1  Journal articles
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-02902490v2  Conference papers
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-02904517v1  Conference papers
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-02502387v1  Conference papers
Tithnara Nicolas SunBastien DrouotFahad R GolraJoël ChampeauSylvain Guerin et al.  A Domain-specific Modeling Framework for Attack Surface Modeling
ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
hal-01867161v1  Conference papers
Juan LuisDominique MonnetBenoit ClementFabricio GarelliJordan Ninin. Control of an Autonomous Underwater Vehicle subject to robustness constraints
9th IFAC Symposium on Robust Control Design (ROCOND'18), Sep 2018, Florianopolis, Brazil
tel-02366284v1  Theses
Thibaud Berthomier. Identification et caractérisation du thrombus veineux par imagerie échographique mode B couplée à l’élastographie
Traitement du signal et de l'image [eess.SP]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0007⟩
tel-03612391v1  Theses
Thomas Paviet-Salomon. Super résolution modale à partir d’une antenne linéaire horizontale
Traitement du signal et de l'image [eess.SP]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2021. Français. ⟨NNT : 2021ENTA0005⟩
hal-01406604v1  Conference papers
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
tel-02354454v1  Theses
Julien Ogor. Design of algorithms for the automatic characterization of marine dune morphology and dynamics
Ocean, Atmosphere. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. English. ⟨NNT : 2018ENTA0005⟩
hal-03173802v1  Conference papers
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-03242585v1  Journal articles
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⟩
tel-01661569v1  Theses
Xuan Sang Le. software/FPGA co-design for Edge-computing : Promoting object-oriented design
Other [cs.OH]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0041⟩