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

hal-01090466v1  Chapitre d'ouvrage
Nader KhammassiJean-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 AyazMohammad Ammad-UddinImran BaigEl-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 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-01651643v1  Communication dans un congrès
Kahina BensafiaAli MansourGilles Le MaillotBenoit ClementOlivier 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 CazauJulien BonnelMark 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 KhenchafCarole NahumFabrice CombletTran 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 FagundesD. Le JeuneA. MansourF. Le RoyMohamad-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 JossoJun ZhangAntonia Papandreou-SuppappolaCornel IoanaJerome 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 MokdadRaafat LababidiMarc Le RoySawsan SadekAndré 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 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-01184331v1  Communication dans un congrès
Christophe MoraceAlison 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 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-01006086v1  Communication dans un congrès
IEEE International Conference on Acoustic, Speech and Signal Processing - ICASSP 2014, May 2014, Florence, Italy
hal-00518870v1  Communication dans un congrès
Felix TotirEmanuel RadoiCornel IoanaAndré 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 IoanaAndré 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 BonnelSalvatore CaporaleAaron 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 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, 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 ScolanA. 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 JossoCornel IoanaJerome MarsCedric 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 CoulombRenaud 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
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 JacquesSébastien MercierAlain 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 NguyenHuy PhanAli MansourArnaud 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 DibAli TourabiGuilhem 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 BroudinVincent Le SauxYann MarcoPierre-Yves Le GacW. 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 DrevelleJé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 MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien 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 PlaudBéatrice Sommier. Veuvage et sexualité chez les femmes après 60 ans
Vieillir aujourd'hui. Des mo(n)des recomposés?, 2018
hal-00518600v1  Communication dans un congrès
Brigitte HoeltzenerN. LescaM. 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. ArchauxAli 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 WolfgangFrançois MekerkeJoël ChampeauPhilippe 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 DumasClaire PagettiLaurent SagaspePierre BieberPhilippe 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 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-00940092v1  Communication dans un congrès
Mohamad-Raafat LababidiSylvain BourdelJean GaubertAli LouzirJ.L. Robert et al.  Varactor tuned active miniature notch filter
10th IEEE NEWCAS, Jun 2012, Montreal, Canada. pp.69-72
hal-00518738v1  Communication dans un congrès
Felix TotirEmanuel RadoiAndré 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 FadiPhilippe 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 MahatoS. ChakravertyLuc JaulinJean 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 MenageAymeric BethencourtPatrick RousseauxSè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 FawalAli MansourMohamad 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 ToumiBrigitte HoeltzenerAli 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 ConanJulien BonnelBarbara NicolasThierry 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 AllalGhalem BelalemPhilippe DhaussyCiprian 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 ThodeJulien BonnelMargaux ThieuryAileen FaganChris 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 AaronJulien 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 KoudriDidier VojtsiekPhilippe SoulardChristophe MoyJoë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 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-00518511v1  Communication dans un congrès
Abdelmalek ToumiAli 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 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-00518770v1  Article dans une revue
Nicolas DelanoueLuc JaulinB. Cottenceau. Using interval arithmetic to prove that a set is path-connected
Theoretical Computer Science, Elsevier, 2004, pp.Non renseigne
hal-00517276v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolStephane de BelloyJulien AuvrayEric 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
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe 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 LeblondMichel LegrisBasel 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 RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-00521434v1  Direction d'ouvrage, Proceedings, Dossier
Denis LemaîtreMaud 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. BerthomierA. MansourL. BressolletteyD. MottierFré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 BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe 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 KoudriJoël ChampeauDenis Aulagnier. Une sémantiques opérationelle pour une meilleure métamodélisation
Atelier SéMo'07, 2007, France. pp.Non renseigne
hal-00518647v1  Communication dans un congrès
Hicham LaanayaA. MartinAli KhenchafD. 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
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 MaulnyRenaud Bellais. Une impulsion franco-allemande pour la défense européenne
La Croix, Bayard Presse, 2017, pp.29