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


...
hal-02052305v1  Article dans une revue
Brad Tabas. Reading in the chtuhulucene: lovecraft, new materialism and the maeriality of writing
Motifs, la revue HCTI, HCTI-Université de Bretagne occidentale, Brest, 2017
...
hal-00593201v1  Article dans une revue
Pau HerreroLuc JaulinJosep VehiMiguel A. Sainz. Guaranteed set-point computation with application to the control of a sailboat
International Journal of Control, Automation and Systems, Springer, 2010, 8 (1), pp.1-7. ⟨10.1007/s12555-010-0101-3⟩
...
hal-01832197v1  Article dans une revue
Abass NasserAli MansourK. YaoH. AbdallahH. Charara. Cancelation of LNA distortions in in-band full-duplex systems
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2018, 29 (9), pp.E3426. ⟨10.1002/ett.3426⟩
...
hal-02303242v1  Article dans une revue
Ahcène BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
...
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le LannJoël ChampeauPapa Issa DialloPierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
...
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-01864856v1  Communication dans un congrès
Alan TassinThibaut BretonNicolas Jacques. Experiments on the water entry and/or exit of a cone
International Workshop on Water Waves and Floating Bodies (IWWWFB), Apr 2018, Guidel-plage, France
...
hal-01867343v1  Communication dans un congrès
Ghanmi HelmiAli KhenchafPhilippe Pouliguen. Radar Cross Section of Modified Target using Gaussian Beam Methods: Experimental Validation
International conference on Radar 2018, Aug 2018, Brisbane, Australia
...
hal-01867767v1  Communication dans un congrès
Ahmad Hani El FawalAli MansourM. NajemFrederic Le RoyDenis Le Jeune. CTMC modeling for M2M/H2H coexistence in a NB-IoT Adaptive eNodeB
11th IEEE International Conference on Internet of Things (iThings-2018), Jul 2018, Halifax, Canada
...
hal-00517466v1  Communication dans un congrès
Martin MonperrusAntoine BeugnardJoël Champeau. A Definition of Abstraction Level for Metamodels
7th IEEE Workshop on Model-Based Development for Computer Based systems, 2009, San Francisco, United States. ⟨10.1109/ECBS.2009.41⟩
...
tel-00569015v1  Thèse
Alan Tassin. Modélisation tridimensionnelle d'impacts hydrodynamiques pour l'´étude du tossage des bulbes d'´étrave
Dynamique des Fluides [physics.flu-dyn]. Université de Bretagne occidentale - Brest, 2010. Français
...
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⟩
...
tel-01433853v1  Thèse
Bruno Levieil. Prise en compte des contraintes résiduelles dans le dimensionnement en fatigue oligocyclique par des méthodes simplifiées
Mécanique des matériaux [physics.class-ph]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0070⟩
...
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-02420797v1  Communication dans un congrès
Libor NavrátilYann MarcoVincent Le SauxSylvain LeclercqNicolas Carrère. Investigation thermomécanique pour le dimensionnement en fatigue des composites tissés 3D
21ème Journées Nationales sur les Composites, École Nationale Supérieure d'Arts et Métiers (ENSAM) - Bordeaux, Jul 2019, Bordeaux, Talence, France
...
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-00531249v1  Communication dans un congrès
Brice BeltranTarek Ahmed-AliMohamed Benbouzid. Sliding Mode Power Control of Variable Speed Wind Energy Conversion Systems
IEEE IEMDC'07, May 2007, Antalya, Turkey. pp.943-948
...
hal-01710686v1  Communication dans un congrès
Rémy BalzeNedeleg BigiKostia RoncinJean-Baptiste LerouxAlain Nême et al.  An innovative tool to study and optimize racing yacht appendages using fluid structure interactions
VII International Conference on Computational Methods in Marine Engineering, May 2017, Nantes, France. pp.616-624
...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
...
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⟩
...
hal-00733844v1  Article dans une revue
Benoit Clement. Interval analysis and convex optimization to solve a robust constraint feasibility problem
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2012, 46 (4-5), pp.381-395. ⟨10.3166/jesa.46.381-395⟩
...
hal-01699303v1  Article dans une revue
Abbass NasserAli MansourK. YaoH. AbdallahA. Abdul Ghani. Spectrum Sensing and Throughput Analysis for Full-Duplex Cognitive Radio with Hardware Impairments
EAI Endorsed Transactions on Cognitive Communications, EAI Publications, 2017, 3 (11), pp.e4. ⟨10.4108/eai.31-5-2017.152556⟩
...
tel-02360083v1  Thèse
Mohamed Lakrit. Comportement et cinétique de transformation martensitique sous sollicitation multiaxiale des matériaux métastables
Mécanique des matériaux [physics.class-ph]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0021⟩
...
hal-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
...
hal-00914339v1  Article dans une revue
Ali MansourIsabelle Leblond. Ecosystem Monitoring and Port Surveillance Systems
AIAAS - Advances in Applied Acoustics, 2013, 2 (4), pp.91-111
...
hal-00828334v1  Chapitre d'ouvrage
Duc-Manh NguyenFrédéric DambrevilleAbdelmalk ToumiJean-Christophe CexusAli Khenchaf. A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process
Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩
...
tel-01778386v1  HDR
Julien Bonnel. Traitement du signal et acoustique passive pour l'observation des océeans : de la lutte sous-marine à l'écologie
Acoustique [physics.class-ph]. Université de Bretagne Occidentale (UBO), Brest, 2017
...
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-00854812v1  Communication dans un congrès
Nicolas BrochetonKevin BrugetAlban WibauxOlivier ReynetBenoit Clement et al.  Système d'assistance à la navigation handivoile
Handicap 2012, Jun 2012, Paris, France. pp.180
...
hal-00870579v1  Communication dans un congrès
Benoit Clement. Control Algorithms for a Sailboat Robot with a Sea Experiment
Conference on Control Applications in Marine Systems, Sep 2013, Osaka, Japan
...
hal-01714103v1  Chapitre d'ouvrage
Steven KerampranMichel ArrigoniPaul Locking. Blast waves propagation and their mitigation
Greener and safer energetic and ballistic systems, Military Technical Academy Publishing House, pp.205-252, 2016, 978-973-640-252-4
...
hal-01149727v1  Communication dans un congrès
Khaled KhoderMarc Le RoyMohamad-Raafat LababidiAndré Pérennec. Déphaseur 360 ° compact large-bande
19 èmes Journées Nationales Microondes, Juin 2015 - Bordeaux, Jun 2015, Bordeaux, France. pp.1-2
...
hal-00293209v1  Communication dans un congrès
Arnaud Martin. Belief decision support and reject for textured images characterization
International Conference on Information Fusion, Oct 2008, Lens, France. pp.131
...
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
...
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-02569910v1  Thèse
Gaspard Minster. Modélisation du processus de saltation en milieu extrême : application au Raz Blanchard
Mécanique des fluides [physics.class-ph]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2019. Français. ⟨NNT : 2019ENTA0006⟩
...
hal-00486726v1  Communication dans un congrès
Gilles TrombettoniGilles Chabert. Constructive Interval Disjunction
CP'07 - 13th International Conference on Principles and Practice of Constraint Programming, 2007, Providence, United States. pp.635-650, ⟨10.1007/978-3-540-74970-7_45⟩
...
hal-00489457v1  Communication dans un congrès
Ludovic CollinDenis Lemaître. Le robot comme outil pédagogique dans la formation scientifique des ingénieurs
QPES 2007, Jan 2007, Louvain-La-Neuve, Belgique. pp. 651-660
...
hal-00489085v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Detection of the Number of Communication Signals Under Spatially Correlated Noise by ICA and K-S Tests
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2397-2400
...
hal-00489086v1  Communication dans un congrès
Vincent ChoqueuseKoffi Clément YaoLudovic CollinGilles Burel. Blind Recognition of Linear Space Time Block Codes
International Conference on Acoustics, Speech, and Signal Processing, Mar 2008, Las Vegas, United States. pp.2833-2836
...
hal-02542690v1  Communication dans un congrès
Florian NicolasAndreas ArnoldIsabelle QuiduBenoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
...
hal-01804761v1  Chapitre d'ouvrage
Alain de SolminihacAlain NêmeChloé DuportJean-Baptiste LerouxKostia Roncin et al.  Kite as a beam: A fast method to get the flying shape
Airborne Wind Energy: Advances in Technology Development and Research, Springer, pp.79-97, 2018, Green Energy and Technology book series (GREEN), 978-981-10-1946-3. ⟨10.1007/978-981-10-1947-0_4⟩
...
hal-02501870v1  Chapitre d'ouvrage
Ahcène BounceurBezoui MadaniLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩
...
hal-00441929v1  Communication dans un congrès
Romain BénardMatthieu AubryPierre de Loor. Context: An Information Medium for Dynamic and Collaborative Situations
IEEE International Conference on Information Reuse and Integration, Sep 2006, Waikoloa, United States. pp.226-231
...
hal-01904112v1  Article dans une revue
Simon RohouPeter FranekClément AubryLuc Jaulin. Proving the existence of loops in robot trajectories
The International Journal of Robotics Research, SAGE Publications, 2018, 37 (12), pp.1500-1516. ⟨10.1177/0278364918808367⟩
...
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-00807450v1  Article dans une revue
Aymeric BethencourtLuc Jaulin. 3D Reconstruction Using Interval Methods on The Kinect Device Coupled With an IMU
International Journal of Advanced Robotic Systems, InTech, 2012, ⟨10.5772/54656⟩
...
hal-00428952v1  Article dans une revue
Gilles ChabertLuc Jaulin. A Priori Error Analysis and Spring Arithmetic
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2009, 31 (3), pp.2214-2230. ⟨10.1137/070696982⟩
...
tel-01616196v1  Thèse
Laurent Picard. Prise en compte de l'environnement marin dans le processus de reconnaissance automatique de cibles sous-marines
Traitement du signal et de l'image [eess.SP]. Université de Bretagne occidentale - Brest, 2017. Français. ⟨NNT : 2017BRES0038⟩
...
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
...
hal-02153205v1  Communication dans un congrès
Nathalie DebeseJean-José JacqKoen DegrendeleMarc Roche. Osculatory surfaces applied to systematic errors estimation in repeated MBES surveys
MARID VI 2019 : Marine and River Dune Dynamics, Apr 2019, Bremen, Germany
...
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-01312568v1  Communication dans un congrès
Nathalie DebeseJean José JacqKoen DegrendeleMarc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom
...
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-01937501v1  Communication dans un congrès
Clément DorfferAngélique DrémeauCédric Herzet. Efficient atom selection strategy for iterative sparse approximations
iTWIST 2018 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Nov 2018, Marseille, France. pp.1-3
...
hal-02059649v1  Communication dans un congrès
Clément DorfferCédric HerzetAngélique Drémeau. Region-based relaxations to accelerate greedy approaches
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain
...
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-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
...
hal-02482472v1  Communication dans un congrès
Ashwarya AroraBoulc'H JulieCaza CélineGourvil MagaliKarchaoui Ikhlass et al.  6 leçons de robotique pour les sciences
DIDAPRO L'informatique objet d'enseignements, Feb 2020, Lille, France
...
hal-01756186v1  Communication dans un congrès
Vincent LeildeVincent Ribaud. Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
...
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
hal-01933794v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
...
hal-01826018v1  Communication dans un congrès
Cécile PlaudVincent Ribaud. Quand des étudiantes deviennent des ambassadrices du numérique
Valorisation des Initiatives Pédagogiques en Bretagne et Pays de Loire - VIP 2018, Jun 2018, Rennes, France
...
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
...
hal-01707087v1  Communication dans un congrès
Azza MoawadKoffi-Clément YaoAli MansourRoland Gautier. Spectrum Sensing and Channel Estimation in Cognitive Radio
2nd International conference on advanced technology and applied science (ICaTAS), Arab Academy for Science, and Technology and Maritime Transport, Sep 2017, Alexandria, Egypt
...
hal-01707168v1  Communication dans un congrès
Ahmad Hani El FawalAli MansourMohamad NajemFrédéric Le RoyDenis Le Jeune. LTE-M adaptive eNodeB for emergency scenarios
ICTC: Information and Communication Technology Convergence, Oct 2017, Jeju Island, South Korea. ⟨10.1109/ICTC.2017.8191035⟩
...
hal-01710584v1  Communication dans un congrès
Alan TassinThibaut BretonNicolas Jacques. Evolution of the contact line during the water exit of flat plates
32nd International Workshop on Water Waves and Floating Bodies (IWWWFB), Apr 2017, Dalian, China. pp.23 - 26