Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
  1. Recherche


hal-01090466v1  Chapitre d'ouvrage
Nader Khammassi, Jean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
hal-03791517v1  Communication dans un congrès
Brad Tabas. Words and Things in Outer Space
Ethnologies in Outer Space, Sep 2022, Turin, Italy
hal-01707323v1  Article dans une revue
Muhammad Ayaz, Mohammad Ammad-Uddin, Imran Baig, El-Hadi M. Aggoune. Wireless Sensor’s Civil Applications, Prototypes, and Future Integration Possibilities: A Review
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2018, 18 (1), pp.4 - 30. ⟨10.1109/JSEN.2017.2766364⟩
...
hal-00926183v1  Communication dans un congrès
Ali Mansour, Isabelle Leblond, Denis Hamad, Luis 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-03772364v1  Communication dans un congrès
Batoul Achaal, Mohamad Rida Mortada, Ali Mansour, Abbass Nasser. Wireless Communication Attack Using SDR and Low-Cost Devices
14th International KES Conference on Intelligent Decision Technologies, KES-IDT 2022, Jun 2022, Rhodes, Greece. pp.417-428, ⟨10.1007/978-981-19-3444-5_36⟩
hal-01651643v1  Communication dans un congrès
Kahina Bensafia, Ali Mansour, Gilles Le Maillot, Benoit Clement, Olivier Reynet et al.  Wireless Based System for Continuous Electrocardiography Monitoring during Surgery
ICBSAT 2017 : 19th International Conference on Biomedical Signal Analysis Technology, Oct 2017, Paris, France
hal-01653476v1  Communication dans un congrès
Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Wind Field Extractions From SAR Sentinel-1 Images Using Electromagnetic Models
Living Planet Symposium, May 2016, Prague, Czech Republic
hal-01236692v1  Communication dans un congrès
R. dos Santos Fagundes, Denis Le Jeune, F. Le Roy, Mohamad-Raafat Lababidi, Ali Mansour. Wideband High Dynamic Range Surveillance
EUSIPCO 2015, Université de Sophia Antipolis, Aug 2015, Nice, France
...
hal-03428804v1  Communication dans un congrès
Hadi Hijazi, Marc Le Roy, Raafat Lababidi, Denis Le Jeune, André Pérennec. Wideband Dual-Polarized Full-Duplex Antenna Array
International Conference on Advanced Technologies for Communications (ATC'21), Oct 2021, Ho Chi Minh city, Vietnam. pp.1-6
...
hal-00444394v1  Communication dans un congrès
Nicolas Josso, Jun J. Zhang, Antonia Papandreou-Suppappola, Cornel Ioana, Jerome I. 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-02052738v1  Communication dans un congrès
Saadou Ali Al Mokdad, Raafat Lababidi, Marc Le Roy, Sawsan Sadek, André Pérennec et al.  Wide-band Active Tunable Phase Shifter Using Improved Non-Foster circuit
2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Dec 2018, Bordeaux, France. pp.449-452, ⟨10.1109/ICECS.2018.8618011⟩
...
hal-01841830v1  Communication dans un congrès
Cécile Plaud, Vincent 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-01184331v1  Communication dans un congrès
Christophe Morace, Alison Gourvès-Hayward. When is an Engineer not an Engineer? An Interdisciplinary Approach to Intercultural Management for Engineers
SEFI 2015. 43rd Annual Conference of the European Society for Engineering Education, Jun 2015, Orléans, France. pp. 29-31
hal-03703516v1  Communication dans un congrès
Lydia Ait-Oucheggou, Mohammed Islam Naas, Yassine Hadjadj-Aoul, Jalil Boukhobza. When IoT Data Meets Streaming in the Fog
ICFEC 2022 - IEEE 6th International Conference on Fog and Edge Computing (ICFEC), May 2022, Messina, Italy. pp.50-57, ⟨10.1109/ICFEC54809.2022.00014⟩
hal-03791547v1  Communication dans un congrès
Brad Tabas. What is Astrocriticism?
Dark Skies Meeting, Mar 2022, Oxford, United Kingdom
...
hal-03020263v1  Communication dans un congrès
Stéphane Flament, Klara 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-01006086v1  Communication dans un congrès
Florent Le Courtois, Julien Bonnel. WAVENUMBER TRACKING IN A LOWRESOLUTION FREQUENCY-WAVENUMBER REPRESENTATION USING PARTICLE FILTERING
IEEE International Conference on Acoustic, Speech and Signal Processing - ICASSP 2014, May 2014, Florence, Italy
hal-00518870v1  Communication dans un congrès
Felix Totir, Emanuel Radoi, Cornel Ioana, André Quinquis. Wavelet Decomposition Based Discriminant Parameters for Image Classification
IEEE International Conference Communications, 2002, Bucarest, Romania. pp.Non renseigne
hal-00518888v1  Communication dans un congrès
Cornel Ioana, André Quinquis. Wavelet Based Compression of 3D Oceanographic Data
International Conference of METRA, address = Bucharest, Romania, year = 2002, month = May, nat = 0,, 2002, France. pp.Non renseigne
hal-01561248v1  Article dans une revue
Julien Bonnel, Salvatore Caporale, Aaron Thode. Waveguide mode amplitude estimation using warping and phase compensation.
Journal of the Acoustical Society of America, 2017, 141 (3), pp.2243-2255. ⟨10.1121/1.4979057⟩
...
hal-02304691v1  Article dans une revue
Yves-Marie Scolan, Pierre-Michel Guilcher. Wave Kinematics in a Two-Dimensional Plunging Breaker
Water Waves, 2019, 2 (2), pp.185-206. ⟨10.1007/s42286-019-00013-w⟩
...
hal-03028604v1  Chapitre d'ouvrage
William Otto, Olaf Waals, Tim Bunnik, Coline 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-01143429v1  Article dans une revue
Yves-Marie Scolan, A. A. Korobkin. Water entry of a body which moves in more than six degrees of freedom
Proceedings of the Royal Society of London, Royal Society, The, 2015, 471 (2177), 10.1098/rspa.2015.0058
hal-00386482v1  Communication dans un congrès
Nicolas Josso, Cornel Ioana, Jerome I. Mars, Cedric Gervaise. Warping based lag-Doppler filtering applied to motion effect compensation in acoustical multipath propagation.
Acoustics 2009 - 157th Meeting of The Acoustical Society of America, May 2009, Portland, United States. pp.2541-2541
hal-01053854v1  Article dans une revue
Fanny Coulomb, Renaud Bellais. War and Peace Issues in the History of Economic Thought
Defence and Peace Economics, Taylor & Francis (Routledge), 2008, War and Peace Issues in the History of Economic Thought, 19 (5), pp.317-319. ⟨10.1080/10242690802354246⟩
...
hal-02330138v1  Communication dans un congrès
Guillaume Beaumont, Angélique Drémeau, Ronan Fablet. VON MISES PRIOR FOR PHASE-NOISY DOA ESTIMATION: THE VITAMIN ALGORITHM
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
hal-00702849v1  Article dans une revue
Nicolas Jacques, Sebastien Mercier, Alain Molinari. Void coalescence in a porous solid under dynamic loading conditions
International Journal of Fracture, Springer Verlag, 2012, 2 (173), pp.203-213. ⟨10.1007/s10704-012-9683-5⟩
hal-02924177v1  Communication dans un congrès
Viet Dung Nguyen, Huy Phan, Ali Mansour, Arnaud Coatanhay. VoglerNet: multiple knife-edge diffraction using deep neural network
2020 14th European Conference on Antennas and Propagation (EuCAP), Mar 2020, Copenhagen, France. pp.1-5, ⟨10.23919/EuCAP48036.2020.9135548⟩
...
hal-00566216v1  Communication dans un congrès
Wassim Dib, Ali Tourabi, Guilhem Blès. Viscoelastoplastic cyclic behaviour of sail materials
2nd International Conference on Innovation in High Performance Sailing Yachts (InnovSail), Jun 2010, Lorient, France. pp227-233
hal-01713939v1  Communication dans un congrès
Morgane Broudin, V. Le Saux, Yann Marco, Pierre-Yves Le Gac, W. Hervouet et al.  Vieillissement thermo-oxydatif d’un élastomère industriel à application automobile antivibratoire : caractérisations et compréhension
27e édition DEformation des POlymères Solides (DEPOS27) , IFP Energies nouvelles, Mar 2017, Dourdan, France
hal-01090043v1  Article dans une revue
Vincent Drevelle, Jérémy Nicola. VIBes: A Visualizer for Intervals and Boxes
Mathematics in Computer Science, Springer, 2014, Mathematics in Computer Science, 8 (3-4), pp.563-572. ⟨10.1007/s11786-014-0202-0⟩
hal-01371484v1  Communication dans un congrès
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-01828077v1  Chapitre d'ouvrage
Cécile Plaud, Béatrice Sommier. Veuvage et sexualité chez les femmes après 60 ans
Vieillir aujourd'hui. Des mo(n)des recomposés?, 2018
...
hal-03533788v1  Article dans une revue
Alyson Le Quilleuc, Antoine Collin, Michael Jasinski, Rodolphe Devillers. Very High-Resolution Satellite-Derived Bathymetry and Habitat Mapping Using Pleiades-1 and ICESat-2
Remote Sensing, 2022, 14 (1), pp.133. ⟨10.3390/rs14010133⟩
...
hal-02924027v1  Article dans une revue
Morgane Guillam, Claire Bessin, Aline Blanchet-Aurigny, Philippe Cugier, Amandine Nicolle et al.  Vertical distribution of brittle star larvae in two contrasting coastal embayments: implications for larval transport
Scientific Reports, 2020, 10 (12033), ⟨10.1038/s41598-020-68750-4⟩
hal-00518600v1  Communication dans un congrès
Brigitte Hoeltzener, N. Lesca, M. Berthelot. Vers une anticipation des risques systèmes par la complexité
SCIGRAD, address = Brest, France, year = 2008, month = 24-25 November, pdf = 0, nat = 1, keyword = FAD,, 2008, France. pp.Non renseigne
hal-00518821v1  Communication dans un congrès
C. Archaux, Ali Khenchaf. Vers un Systéme d`Information Stratégique en Téphonie Mobile Prépayé
VSST`2004, Veille Stratégique Scientifique & Technologique, address = Toulouse, France, year = 2004, month = 25-29 October, pdf = 1, nat = 1,, 2004, France. pp.Non renseigne
hal-00517292v1  Communication dans un congrès
Theurer Wolfgang, François Mekerke, Joël Champeau, Philippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
hal-00517274v1  Communication dans un congrès
Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. Vers la génération de modèles de sûreté de fonctionnement
conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
...
hal-03670858v1  Article dans une revue
Andreas Rauh, Auguste Bourgois, Luc Jaulin. Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures
Acta Cybernetica, 2022, ⟨10.14232/actacyb.293871⟩
...
hal-02433749v1  Communication dans un congrès
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe 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-01006676v1  Article dans une revue
Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov. Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
...
hal-03148619v1  Article dans une revue
Andreas Rauh, Julia Kersten. Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis
Electronic Proceedings in Theoretical Computer Science, 2021, 331, pp.18-32. ⟨10.4204/EPTCS.331.2⟩
hal-00940092v1  Communication dans un congrès
Mohamad-Raafat Lababidi, Sylvain Bourdel, Jean Gaubert, Ali Louzir, J.L. Robert et al.  Varactor tuned active miniature notch filter
10th IEEE NEWCAS, Jun 2012, Montreal, Canada. pp.69-72
...
insu-02373121v1  Article dans une revue
Hélène Vérèmes, Guillaume Payen, Philippe Keckhut, Valentin Duflot, Jean-Luc Baray et al.  Validation of the Water Vapor Profiles of the Raman Lidar at the Maïdo Observatory (Reunion Island) Calibrated with Global Navigation Satellite System Integrated Water Vapor
Atmosphere, 2019, 10, pp.713. ⟨10.3390/atmos10110713⟩
hal-00518738v1  Communication dans un congrès
Felix Totir, Emanuel Radoi, André Quinquis. Validation of complex naval target models using superresolution imagery methods
IEEE OCEANS`05 EUROPE, 2005, Brest, France. pp.Non renseigne
hal-01864805v1  Communication dans un congrès
Obeid Fadi, Philippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
...
tel-02319224v1  Thèse
Fadi Obeid. Validation formelle d'implantation de patrons de sécurité
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0002⟩
...
hal-02431973v1  Communication dans un congrès
Nisha Rani Mahato, Luc Jaulin, S. Chakraverty, Jean 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-00914017v1  Communication dans un congrès
Olivier Menage, Aymeric Bethencourt, Patrick Rousseaux, Sèbastien Prigent.. VAIMOS : Realization of an autonomous robotic sailboat
IRSC 2013 - International Robotic Sailing Conference, Sep 2013, Brest, France. pp.25-36, ⟨10.1007/978-3-319-02276-5⟩
hal-02304760v1  Chapitre d'ouvrage
Ahmad Hani El Fawal, Ali Mansour, Mohamad Najem. V2V Influence on M2M and H2H Traffics During Emergency Scenarios
Global Advancements in Connected and Intelligent Mobility: Emerging Research and Opportunities, IGI Global, pp.93-134, 2019, 9781522590194. ⟨10.4018/978-1-5225-9019-4.ch003⟩
...
hal-00750767v1  Article dans une revue
Martin Poncelet, Cédric Doudard, Sylvain Calloch, François Hild, Bastien Weber. Utilisation de l'imagerie IR pour l'étude de la fatigue des aciers : Premières observations d'effets de surface
Instrumentation, Mesure, Métrologie, Lavoisier, 2012, 12 (1-2), pp.107-129. ⟨10.3166/i2m.12.1-2.107-129⟩
hal-00518620v1  Communication dans un congrès
Abdelmalek Toumi, Brigitte Hoeltzener, Ali Khenchaf. Using Watersheds segmentation on ISAR image for automatic target recognition
International Conference on Digital Information Management, address = Lyon, France, pages = 285-290, year = 2007, month = 28-31 October, pdf = 1, nat = 0, keyword = FAD,, 2007, France. pp.Non renseigne
hal-01656403v1  Article dans une revue
Ewen Conan, Julien Bonnel, Barbara Nicolas, Thierry Chonavel. Using the trapped energy ratio for source depth discrimination with a horizontal line array: Theory and experimental results
Journal of the Acoustical Society of America, Acoustical Society of America, 2017, 142 (5), pp.2776-2786. ⟨10.1121/1.5009449⟩
hal-01780556v1  Communication dans un congrès
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-01006108v1  Communication dans un congrès
Thode Aaron, Julien Bonnel. Using Nonlinear Time Sampling Of Bowhead Whale Calls To Extract Acoustic Mode Shape And Array Tilt
Alaska Marine Science Symposium, Jan 2014, Anchorage, United States
hal-00517468v1  Communication dans un congrès
Ali Koudri, Didier Vojtsiek, Philippe Soulard, Christophe Moy, Joël Champeau et al.  Using MARTE in the MOPCOM SoC/SoPC Methodology
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
...
hal-00354356v1  Communication dans un congrès
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe 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-00518511v1  Communication dans un congrès
Abdelmalek Toumi, Ali Khenchaf. Using ISAR images for aircraft recognition
SET-160 Symposium on "NCI/ATR in Air-Ground and Maritime Applications based on Radar and Acoustics", address = Greece, year = 2010, month = october, pdf = 0, nat = 0, keyword = signal processing,, 2010, France. pp.Non renseigne
...
hal-00583049v1  Communication dans un congrès
Jan Sliwka, Fabrice Le Bars, Olivier Reynet, Luc Jaulin. Using interval methods in the context of robust localization of underwater robots
NAFIPS'11, Mar 2011, El Paso, Texas, United States
hal-00518770v1  Article dans une revue
Nicolas Delanoue, Luc Jaulin, B. Cottenceau. Using interval arithmetic to prove that a set is path-connected
Theoretical Computer Science, Elsevier, 2004, pp.Non renseigne
...
hal-00801133v1  Article dans une revue
Michel Grediac, Frédéric Sur, Claudiu Badulescu, Jean-Denis Mathias. Using deconvolution to improve the metrological performance of the grid method
Optics and Lasers in Engineering, Elsevier, 2013, 51 (6), pp.716-734. ⟨10.1016/j.optlaseng.2013.01.009⟩
hal-00517276v1  Communication dans un congrès
Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
...
hal-01701211v1  Article dans une revue
Bruno Levieil, F. Bridier, Cédric Doudard, David Thevenet, Sylvain Calloch. User Influence on Two Complementary Residual Stress Determination Methods: Contour Method and Incremental X-Ray Diffraction
Experimental Mechanics, Society for Experimental Mechanics, 2016, 56 (9), pp.1641-1652. ⟨10.1007/s11340-016-0189-3⟩
hal-00635904v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
...
hal-00471931v1  Communication dans un congrès
Amine Raji, Philippe 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-01701138v1  Article dans une revue
Leonardo Alfonso, Claudiu Badulescu, Nicolas Carrère. Use of the modified Arcan fixture to study the strength of bonded assemblies for automotive applications
International Journal of Adhesion and Adhesives, 2018, 80, pp.104-114. ⟨10.1016/j.ijadhadh.2017.09.014⟩
...
hal-03167382v1  Article dans une revue
Paul Nguyen Hong Duc, Dorian Cazau, Paul R White, Odile Gérard, Joël Detcheverry et al.  Use of Ecoacoustics to Characterize the Marine Acoustic Environment off the North Atlantic French Saint-Pierre-et-Miquelon Archipelago
Journal of Marine Science and Engineering, 2021, 9 (2), pp.177. ⟨10.3390/jmse9020177⟩
hal-00518736v1  Communication dans un congrès
Isabelle Leblond, Michel Legris, Basel Solaiman. Use of Classification and Segmentation of Sidescan Sonar Images for Long Term Registration
IEEE OCEANS`05 EUROPE, address = Brest, France, year = 2005, month = 20-23 June, keyword = image sonar; sonar image; TVG; speckle; segmentation; classification; filtres de Gabor; Gabor; recalage; registration, pdf = 1, nat = 0,, 2005, France. pp.Non renseigne
hal-00636875v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-00521434v1  Ouvrages
Denis Lemaître, Maud Hatano. Usages de la notion de compétence en éducation et en formation
L'Harmattan, Coll. Action et savoir, 190 p., 2007, 978-2-296-03902-5