Accéder directement au contenu Accéder directement à la navigation
  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-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-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-02122926v1  Article dans une revue
Dorian Cazau, Julien Bonnel, Mark Baumgartner. Wind Speed Estimation Using Acoustic Underwater Glider in a Near-Shore Marine Environment
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2019, 57 (4), pp.2097-2106. ⟨10.1109/TGRS.2018.2871422⟩
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, D. Le Jeune, A. Mansour, F. Le Roy, Mohamad-Raafat Lababidi. Wideband High Dynamic Range Surveillance
EUSIPCO 2015, Université de Sophia Antipolis, Aug 2015, Nice, France
...
hal-00444394v1  Communication dans un congrès
Nicolas Josso, Jun Zhang, Antonia Papandreou-Suppappola, Cornel Ioana, Jerome Mars et al.  Wideband discrete transformation of acoustic signals in underwater environments
43th Annual Asilomar Conference on Signals, Systems, and Computers (ASILOMAR 2009), Nov 2009, Pacific Grove, Californie, United States. pp.118 - 122, ⟨10.1109/ACSSC.2009.5470155⟩
hal-02052738v1  Communication dans un congrès
Saadou 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-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, Acoustical Society of America, 2017, 141 (3), pp.2243-2255. ⟨10.1121/1.4979057⟩
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, 2020, 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 Mars, Cedric Gervaise. Warping based lag-Doppler filtering applied to motion effect compensation in acoustical multipath propagation.
155th Meeting of The Acoustical Society of America (Acoustics 08), 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-01058237v1  Direction d'ouvrage, Proceedings, Dossier
Renaud Bellais. Volume 23: The Evolving Boundaries of Defence: An Assessment of Recent Shifts in Defence Activities
Emerald Group Publishing Limited, 2014, 978-1-78350-974-4
hal-00702849v1  Article dans une revue
Nicolas Jacques, Sébastien 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 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-01713939v1  Communication dans un congrès
Morgane Broudin, Vincent 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-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, Nature Publishing Group, 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-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-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, MDPI 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, S. Chakraverty, Luc Jaulin, 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-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-01656384v1  Article dans une revue
Aaron Thode, Julien Bonnel, Margaux Thieury, Aileen Fagan, Chris Verlinden et al.  Using nonlinear time warping to estimate North Pacific right whale calling depths in the Bering Sea
Journal of the Acoustical Society of America, Acoustical Society of America, 2017, 141 (5), pp.3059-3069. ⟨10.1121/1.4982200⟩
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-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-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-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  Direction d'ouvrage, Proceedings, Dossier
Denis Lemaître, Maud Hatano. Usages de la notion de compétence en éducation et en formation
France. L'Harmattan, Coll. Action et savoir, 190 p., 2007, 978-2-296-03902-5
hal-02556785v1  Communication dans un congrès
T. Berthomier, A. Mansour, L. Bressollettey, D. Mottier, Frédéric Le Roy et al.  Unsupervised clustering of DVT Ultrasound Images using High Order Statistics
2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Dec 2018, Madrid, Spain. pp.2495-2501, ⟨10.1109/BIBM.2018.8621187⟩
hal-01887948v1  Communication dans un congrès
Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
hal-00517470v1  Communication dans un congrès
Ali Koudri, Joël Champeau, Denis Aulagnier. Une sémantiques opérationelle pour une meilleure métamodélisation
Atelier SéMo'07, 2007, France. pp.Non renseigne
...
hal-00286545v1  Article dans une revue
Arnaud Martin, Christophe Osswald. Une nouvelle règle de combinaison répartissant le conflit - Applications en imagerie Sonar et classification de cibles Radar
Traitement du Signal, Lavoisier, 2007, 24 (2), pp.71-82
hal-00518647v1  Communication dans un congrès
Hicham Laanaya, A. Martin, Ali Khenchaf, D. Aboutajdine. Une nouvelle méthode pour l`extraction de paramètres : l`analyse en composante curvilinéaire supervisée
Atelier Fouille de données complexes dans un processus d`extraction de connaissance, Extraction et Gestion des Connaissances (EGC), pages = 21-32, address = Namur, Belgique, year = 2007, month = 24-26 January, pdf = 1, nat = 1, keyword = FAD; ACC ; extraction,, 2007, France. pp.Non renseigne
...
tel-00541784v1  Thèse
Theurer Wolfgang. Une méthodologie de modélisation multi-modèles distribués par métier pour les systèmes embarqués
Modélisation et simulation. ENSAE, 2006. Français
...
hal-00802721v1  Communication dans un congrès
Duc-Manh Nguyen, Frédéric Dambreville, Abdelmalk Toumi, Jean-Christophe Cexus, Ali Khenchaf. Une méthode de génération de colonnes pour la planification des capteurs dans un processus de collecte d'informations
Conférence ROADEF 2013, Feb 2013, Troyes, France. 2 p
hal-01016971v1  Article dans une revue
Renaud Bellais. Une irrésistible ascension des entreprises des pays émergents ? Crise économique et nouveau paysage industriel mondial
La revue internationale et stratégique, Paris : A. Colin : Institut des relations internationales et stratégiques, 2012, pp.67-76. ⟨10.3917/ris.086.0067⟩
hal-02078592v1  Article dans une revue
Jean-Pierre Maulny, Renaud Bellais. Une impulsion franco-allemande pour la défense européenne
La Croix, Bayard Presse, 2017, pp.29