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-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-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-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-02330138v1  Communication dans un congrès
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
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-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-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
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-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-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-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-01119676v1  Communication dans un congrès
Rui YangIrvin ProbstAli MansourLi MingBenoit Clement. Underwater Vehicle Modeling and Control Application to Ciscrea Robot
MOQESM'14, ENSTA Bretagne, Oct 2014, Brest, France
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-00844358v1  Article dans une revue
G. Bazile KindaYvan SimardCedric GervaiseJerome MarsLouis Fortier. Under-ice ambient noise in Eastern Beaufort Sea, Canadian Arctic, and its relation to environmental forcing
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134 (1), pp.77-87. ⟨10.1121/1.4808330⟩
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-03127356v1  Communication dans un congrès
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi. Two Stages Parallel LMS Structure: A Pipelined Hardware Architecture
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.2363-2367, ⟨10.23919/Eusipco47968.2020.9287770⟩
hal-00518842v1  Communication dans un congrès
Emanuel RadoiAndré QuinquisP. Saulais. Two Methods for Simulating Non-Gaussian Highly Correlated Sea Clutter Maps
OCEANS 2003, 2003, San Diego, United States. pp.Non renseigne
hal-01936687v1  Communication dans un congrès
G. AkkadAli MansourElhassan BoudaiaMohamad Najem. Twiddle Factor Generation Using Chebyshev Polynomials and HDL for Frequency Domain Beamforming
Applications in Electronics Pervading Industry, Environment and Society, (Applepies, 2018), Sep 2018, Pisa, Italy
hal-00940091v1  Communication dans un congrès
Mohamad-Raafat LababidiDominique Lo Hine TongAli LouzirJean-Luc RobertJ.Y. Le Naour et al.  Tunable low-pass active filter using active capacitor for multimode standards
IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622
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 LannPhilippe 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-03109596v1  Communication dans un congrès
Abdelmalek ToumiJean-Christophe CexusKhenchaf AliAntoine Tartivel. Transfer learning on CNN architectures for ship classification on SAR images
Sea Tech Week - Session Remote Sensing, Oct 2020, Brest, France
hal-01727779v1  Article dans une revue
Naima AmroucheAli KhenchafDaoud Berkani. Tracking and Detecting moving weak Targets
Advances in Science, Technology and Engineering Systems Journal, Advances in Science Technology and Engineering Systems Journal (ASTESJ), 2018, 3 (1), pp.467-471. ⟨10.25046/aj030157⟩
hal-01867294v1  Article dans une revue
Naima AmroucheAli KhenchafDaoud Berkani. Tracking and detecting highs maneuvering weak targets
Journal of applied remote sensing, Bellingham, WA : SPIE, 2018, 12 (3), pp.035001. ⟨10.1117/1.JRS.12.035001⟩
hal-01472914v1  Communication dans un congrès
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩
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-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-01196433v1  Article dans une revue
Quentin BrefortLuc JaulinMartine CeberioVladik Kreinovich. Towards Fast and Reliable Localization of an Underwater Object: An Interval Approach
Journal of Uncertain Systems, World Academic Press, 2015, Journal of Uncertain Systems, 9 (2), pp.95-102
hal-01326351v1  Article dans une revue
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
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-01056516v1  Communication dans un congrès
Ion George TodoranLaurent LecornuAli KhenchafJean-Marc Le Caillec. Toward the quality evaluation of complex information systems
Signal Processing, Sensor/Information Fusion, and Target Recognition XXIII : proceedings of SPIE, May 2014, Baltimore, United States. pp.1 - 13, ⟨10.1117/12.2052829⟩
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-01255420v1  Article dans une revue
Frederic SturmJulien Bonnel. Time-Frequency Features of 3-D Sound Propagation in Wedge-Shaped Oceanic Waveguides
IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2015, 41 (3), pp.731 - 739. ⟨10.1109/JOE.2015.2461711⟩
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, 2021, 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-03126988v1  Article dans une revue
Honglei ZhengJie ZhangYanmin ZhangAli KhenchafYunhua Wang. Theoretical Study on Microwave Scattering Mechanisms of Sea Surfaces Covered With and Without Oil Film for Incidence Angle Smaller Than 30°
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2021, 59 (1), pp.37-46. ⟨10.1109/TGRS.2020.2993861⟩
hal-01759071v1  Article dans une revue
Jean-Marc Le CaillecTomasz GorskiGuillaume SicotAdam Kawalec. Theoretical Performance of Space-Time Adaptive Processing for Ship Detection by High-Frequency Surface Wave Radars
IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2018, 43 (1), pp.238-257. ⟨10.1109/JOE.2017.2758858⟩
hal-00847250v1  Article dans une revue
Charles AudetPierre HansenFrédéric MessineJordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
hal-01147593v1  Communication dans un congrès
Mohamed AbazaRaed MeslehEl-Hadi AggouneAli Mansour. The performance of space shift keying for free-space optical communications over turbulent channels
Proceedings of SPIE 9387, Feb 2015, San Francisco, United States
hal-01396694v1  Article dans une revue
Papa Ousmane LeyeAli KhenchafPhilippe Pouliguen. The Gaussian Beam Summation and the Gaussian Launching Methods in Scattering Problem
Journal of Electromagnetic Analysis and Applications, Scientific Research Publishing, 2016, Journal of Electromagnetic Analysis and Applications, 8 (10), pp.219-225. ⟨10.4236/jemaa.2016.810020⟩
hal-01069935v1  Article dans une revue
Kevin BrugetBenoit ClementOlivier ReynetBernt Weber. The disabled set sail
CAN Newsletter, 2014, pp.8-13
hal-01004806v1  Article dans une revue
François-Xavier SocheleauDominique Pastor. Testing the Energy of Random Signals in a Known Subspace: An Optimal Invariant Approach
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2014, 21 (10), pp.1182-1186
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-00518857v1  Communication dans un congrès
Emanuel RadoiAndré QuinquisP. Saulais. Technique neuronale pour la détection CFAR optimal dans du fouillis de mer non-Gaussien
GRETSI, address = Toulouse, France, year = 2003, month = September, nat = 1,, 2003, France. pp.Non renseigne