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


...
hal-00926183v1  Communication dans un congrès
Ali MansourIsabelle LeblondDenis HamadLuis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
...
hal-00444394v1  Communication dans un congrès
Nicolas JossoJun ZhangAntonia Papandreou-SuppappolaCornel IoanaJerome Mars et al.  Wideband discrete transformation of acoustic signals in underwater environments
ACSSC 2007 - 43rd Annual Asilomar Conference on Signals Systems and Computers, Nov 2009, Pacific Grove, Californie, United States. pp.118 - 122, ⟨10.1109/ACSSC.2009.5470155⟩
...
hal-01841830v1  Communication dans un congrès
Cécile PlaudVincent Ribaud. When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
...
hal-03020263v1  Communication dans un congrès
Stéphane FlamentKlara Kövesi. What do our students know about the future challenges of sustainability ?
SEFI 2020 Annual Conference, University of Twente, Sep 2020, Enschede (on line), Netherlands
...
hal-03028604v1  Chapitre d'ouvrage
William OttoOlaf WaalsTim BunnikColine Ceneray. Wave Induced Motions of a Floating Mega Island
Chien Ming Wang; Soon Heng Lim; Zhi Yung Tay. WCFS 2019. Proceedings of the World Conference on Floating Solutions, 41, Springer, pp.173-189, 2019, Lecture Notes in Civil Engineering book series (LNCE), 978-981-13-8742-5. ⟨10.1007/978-981-13-8743-2_9⟩
...
hal-02330138v1  Communication dans un congrès
Guillaume BeaumontAngélique DrémeauRonan Fablet. VON MISES PRIOR FOR PHASE-NOISY DOA ESTIMATION: THE VITAMIN ALGORITHM
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
...
hal-00566216v1  Communication dans un congrès
Wassim DibAli TourabiG. Bles. Viscoelastoplastic cyclic behaviour of sail materials
2nd International Conference on Innovation in High Performance Sailing Yachts (InnovSail), Jun 2010, Lorient, France. pp227-233
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
...
hal-03148619v1  Article dans une revue
Andreas RauhJulia Kersten. Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, 331, pp.18-32. ⟨10.4204/EPTCS.331.2⟩
...
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-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
...
hal-00583049v1  Communication dans un congrès
Jan SliwkaFabrice Le BarsOlivier ReynetLuc Jaulin. Using interval methods in the context of robust localization of underwater robots
NAFIPS'11, Mar 2011, El Paso, Texas, United States
...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
...
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
...
tel-02185010v1  Thèse
Ammad Uddin Mohammad. UAV Routing Protocol (URP) for crop health management
Other. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0147⟩
...
hal-01876724v1  Article dans une revue
Raafat LababidiMaryam Al ShamiMarc Le RoyDenis Le JeuneKhaled Khoder et al.  Tunable Channelized Bandstop Passive Filter Using Reconfigurable Phase Shifter
IET Microwaves Antennas and Propagation, Institution of Engineering and Technology, 2019, 13 (5), pp.591-596. ⟨10.1049/iet-map.2018.5430⟩
...
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
...
hal-02052433v1  Communication dans un congrès
Hannah BadierJean-Christophe Le LannP CoussyGogniat Guy. Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
...
hal-01373458v1  Poster
Julien OgorBenoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016