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-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-02330138v1  Communication dans un congrès
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
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-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⟩
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
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
hal-02502411v1  Article dans une revue
Raúl MazoCarlos Andrés JaramilloPaola VallejoJhon Medina. Towards a new template for the specification of requirements in semi-structured natural language
Journal of Software Engineering Research and Development, Brazilian Computer Society, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
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
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-01858712v1  Communication dans un congrès
Nathalie DebeseJean-José JacqKoen DegrendeleMarc Roche. Toward Reliable Volumetric Monitoring of Sandbanks
Geomorphometry 2018, Aug 2018, Boulder (CO), United States
hal-00738752v1  Communication dans un congrès
ECUA 2012, Jul 2012, Edinburgh, United Kingdom
hal-01867575v1  Communication dans un congrès
Maël Le GallicJoris TilletLuc JaulinFabrice Le Bars. Tight slalom control for sailboat robots
International Robotic Sailing Conference (IRSC) , Aug 2018, Southampton, United Kingdom
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-01698424v1  Article dans une revue
Benoît DesrochersLuc Jaulin. Thick set inversion
Artificial Intelligence, Elsevier, 2017, 249, pp.1 - 18. ⟨10.1016/j.artint.2017.04.004⟩
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-03128908v1  Article dans une revue
Reda BoukezzoulaLuc JaulinBenoît DesrochersDidier Coquin. Thick Fuzzy Sets (TFSs) and Their Potential Use in Uncertain Fuzzy Computations and Modeling
IEEE Transactions on Fuzzy Systems, Institute of Electrical and Electronics Engineers, In press, pp.1 - 14. ⟨10.1109/tfuzz.2020.3018550⟩
hal-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
hal-02303250v1  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
hal-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
hal-01759350v1  Communication dans un congrès
Ayoub KarineAbdelmalek ToumiAli KhenchafMohammed Hassouni. Target Recognition in ISAR Images based on Relative Phases of Complex Wavelet Coefficients and Sparse Classification
4th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP'2018), ATMS Advanced Technologies For Medicine and Signals, Mar 2018, Sousse, Tunisia
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-02508980v1  Communication dans un congrès
Nathalie DebeseJean-José JacqMarc RocheRodéric MoitiéKoen Degrendele. Systematic errors estimation in repeat MBES surveys
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
hal-00485686v1  Article dans une revue
Emanuel RadoiAndré QuinquisFelix Totir. Supervised Self-Organizing Classification of Superresolution ISAR Images: An Anechoic Chamber Experiment
Eurasip Journal on Applied Signal Processing, Hindawi Publishing Corporation, 2006, pp.Volume 2006, Article ID 35043, Pages 1-14. ⟨10.1155/ASP/2006/35043⟩
hal-00728390v1  Communication dans un congrès
Luc JaulinFabrice Le BarsBenoit ClementYvon GallouOlivier Menage et al.  Suivi de route pour un robot voilier
Conférence Internationale Francophone d'Automatique (CIFA2012), Jul 2012, Grenoble, France. pp.695-702
hal-01702322v1  Communication dans un congrès
Helmi GhanmiAli KhenchafPapa Ousmane LeyePhilippe Pouliguen. Study of RCS of complex target: Experimental measurements and Gaussian beam summation method
IEEE Conference on Antenna Measurements & Applications 2017, (CAMA 2017), Dec 2017, Tsukuba, Japan. pp.196-199, ⟨10.1109/CAMA.2017.8273399⟩
insu-01570838v1  Article dans une revue
Leslie DavidOlivier BockChristian ThomPierre BosserJacques Pelon. Study and mitigation of calibration factor instabilities in a water vapor Raman lidar
Atmospheric Measurement Techniques, European Geosciences Union, 2017, 10 (7), pp.2745-2758. ⟨10.5194/amt-10-2745-2017⟩
tel-02569767v1  Thèse
Thibaut Nico. Study and development of relocation solutions of underwater objects by underwater heterogeneous vehicles
Automatic. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0005⟩
tel-02569917v1  Thèse
Clément J. Roussel. Stochastic differential equations for the electromagnetic field scattered by the sea surface : applications to remote sensing
Signal and Image Processing. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. English. ⟨NNT : 2019ENTA0007⟩
tel-01807651v1  Thèse
Abbass Nasser. Spectrum sensing for half and full-duplex interweave cognitive radio systems
Physics [physics]. Université de Bretagne occidentale - Brest, 2017. English. ⟨NNT : 2017BRES0006⟩