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

hal-00822693v1  Communication dans un congrès
Mohamed AbazaMesleh RaedAli MansourAyman Alfalou. MIMO Techniques for High Data Rate Free Space Optical Communication System in Log-Normal Channel
The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering, May 2013, Konya, Turkey
hal-00773530v1  Article dans une revue
Clément AubryRozenn DesmareLuc Jaulin. Loop detection of mobile robots using interval analysis
Automatica, Elsevier, 2013, 49 (2), pp.463-470
hal-00847259v1  Article dans une revue
Charles AudetJordan Ninin. Maximal perimeter, diameter and area of equilateral unit-width convex polygons
Journal of Global Optimization, Springer Verlag, 2013, 56 (3), pp.1007-1016. ⟨10.1007/s10898-011-9780-4⟩
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-01171207v1  Communication dans un congrès
Alexandre BaussardArnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
hal-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
hal-00989590v1  Article dans une revue
Aymeric BethencourtLuc Jaulin. Cooperative localization of underwater robots with unsynchronized clocks
Paladyn: Journal of Behavioral Robotics, De Gruyter, 2013, 4 (4), pp.233-244. ⟨10.2478/pjbr-2013-0023⟩
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00844467v1  Article dans une revue
Julien BonnelStan E. DossoN. Ross Chapman. Bayesian geoacoustic inversion of single hydrophone light bulb data using warping dispersion analysis
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134 (1), pp.120-130. ⟨10.1121/1.4809678⟩
hal-00875381v1  Article dans une revue
Julien BonnelGrégoire Le TouzéBarbara NicolasJerome Mars. Physics-Based Time-Frequency Representations for Underwater Acoustics
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2013, 30 (6), pp.120-129. ⟨10.1109/MSP.2013.2267651⟩
hal-00914367v1  Communication dans un congrès
Joël ChampeauVincent LeildePapa Issa Diallo. Model Federation in toolchains
MODELS 2013, Sep 2013, Miami, United States
hal-00914238v1  Communication dans un congrès
Benoit Clement. A Marine Robotics point of view for Coastal Oceanography
Innovation & Blue Growth symposium, Oct 2013, Qingdao, China
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-00780378v1  Communication dans un congrès
Youenn CorreJean-Philippe DiguetLoïc LagadecDominique HellerDominique Blouin. Fast Template-based Heterogeneous MPSoC Synthesis on FPGA
9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-00821955v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00873841v1  Communication dans un congrès
Zoé DreyJosé MoralesManuel HermenegildoManuel Carro. Reversible languages and their application to debugging
Fifteenth International Symposium on Practical Aspects of Declarative Languages(PADL 2013), Jan 2013, Rome, Italy. pp.206-221, ⟨10.1007/978-3-642-45284-0⟩
hal-00912587v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauLoïc Lagadec. Enhance the reusability of Models and their Behavioral correctness
MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
hal-00912574v1  Communication dans un congrès
Papa Issa DialloJoël ChampeauLoïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
hal-00914040v1  Communication dans un congrès
Luc JaulinFabrice Le Bars. Sailboat as a windmill
IRSC 2013 - 6th International Robotic Sailing Conference, Sep 2013, Brest, France. pp.81-91
hal-00840647v1  Communication dans un congrès
Bruget KevinBenoit ClementOlivier ReynetBernt Weber. An Arduino compatible CAN Bus architecture for sailing applications
International Robotic Sailing Conference, Sep 2013, France. pp.37, ⟨10.1007/978-3-319-02276-5⟩
hal-01089879v1  Article dans une revue
Refzul KhairiArnaud CoatanhayAli KhenchafYves-Marie Scolan. Numerical modeling of electromagnetic waves scattering from 2D coastal breaking sea waves
European Physical Journal: Applied Physics, EDP Sciences, 2013, 64 (2), pp.245-05
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-00940393v1  Thèse
Bazile Kinda. Acoustic remote sensing of Arctic Sea Ice from long term soundscape measurements
Signal and Image processing. Université de Grenoble, 2013. English
hal-00904277v1  Article dans une revue
Mohamad-Raafat LababidiJulien LintignatB. JarryBruno BarelaudAli Louzir et al.  Highly compact tunable stop-band active filter for advanced communication systems
Analog Integrated Circuits and Signal Processing, Springer Verlag, 2013, 77 (1), pp.207-219. ⟨10.1007/s10470-013-0142-7⟩
hal-00843208v1  Communication dans un congrès
Olivier Le BotJulien BonnelJerome MarsCedric Gervaise. Odontocete click train deinterleaving using a single hydrophone and rhythm analysis
ICA 2013 - Acoustics 2013 - 21st International Congress on Acoustics - 165th Meeting of the Acoustical Society of America, Jun 2013, Montreal, Canada. ⟨10.1121/1.4800655⟩
hal-00847227v1  Article dans une revue
Yann Le GallJulien Bonnel. Passive estimation of the waveguide invariant per pair of modes
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134 (2), pp.230-236. ⟨10.1121/1.4813846⟩
hal-01508692v1  Communication dans un congrès
Guillaume LuciusFrédéric Le RoyDenis AulagnierStéphane Azou. An algorithm for extremal eigenvectors computation of Hermitian matrices and its FPGA implementation
IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2013), Aug 2013, Columbus, OH, United States. ⟨10.1109/MWSCAS.2013.6674920⟩
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-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-00941496v1  Communication dans un congrès
Delphine MathiasAaron ThodeJan StraleyRuss AndrewsOlivier Le Bot et al.  Range-depths tracking of multiple sperm whales over large distances using a two-element vertical array and rhythmic properties of clicks-trains
Workshop: Neural Information Processing Scaled for Bioacoustics : NIPS4B, Dec 2013, Lake Tahoe, NE, United States
hal-00955093v1  Communication dans un congrès
Frederic MaussangSarab TayArnaud CoatanhayRené Garello. GPS Sea Surface Observation using Extended Kalman Filtering
Space Reflecto 2013 : 3rd Conference on passive reflectometry using radiocom space signals, Nov 2013, Brest, France
hal-00912857v1  Communication dans un congrès
Nadia MenadPhilippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30
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-00865381v1  Article dans une revue
Julien MercadalZoé DreyCharles Consel. Denotational Semantics of A User-Oriented, Domain-Specific Language
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
hal-00904132v1  Communication dans un congrès
UAC 2013 - 1st International Conference and Exhibition on Underwater Acoustics, Jun 2013, Corfu, Greece. pp.1609
hal-00904114v1  Communication dans un congrès
UAC 2013 - 1st international conference and exhibition on Underwater Acoustics, Jun 2013, Corfu, Greece. pp.613
hal-00904124v1  Communication dans un congrès
UAC 2013 - 1st International Conference and Exhibition on Underwater Acoustics, Jun 2013, Corfu, Greece. pp.1451
hal-00828334v1  Chapitre d'ouvrage
Duc-Manh NguyenFrédéric DambrevilleAbdelmalek 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⟩
hal-00802089v1  Article dans une revue
Jean-Michel PasserieuxFrançois-Xavier SocheleauChristophe Laot. Achievable Rates over Doubly Selective Rician-Fading Channels under Peak-Power Constraint
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2013, 12 (2), pp.586-594. ⟨10.1109/TWC.2012.122212.111812⟩
hal-00913335v1  Communication dans un congrès
Jean-Philippe SchneiderZoé DreyJean-Christophe Le Lann. Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
hal-00802090v1  Article dans une revue
François-Xavier SocheleauDominique PastorMathieu Duret. On Symmetric Alpha-Stable Noise After Short-Time Fourier Transformation
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2013, 20 (5), pp.455-458
hal-00782814v1  Article dans une revue
Ciprian TeodorovLoïc Lagadec. Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
Software: Practice and Experience, Wiley, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
hal-00846769v1  Communication dans un congrès
Ion George TodoranLaurent LecornuAli KhenchafJean-Marc Le Caillec. Information quality evaluation in fusion systems
FUSION 2013 : The Sixteen International Conference on Information Fusion, Jul 2013, Istanbul, Turkey
hal-00917013v1  Communication dans un congrès
Rui YangJ.G. WangBenoit ClementAli Mansour. FPGA Implementation of a Parameterized Fourier Synthesizer
IEEE International Conference on Electronics, Circuits, and Systems, Dec 2013, Abu Dhabi, United Arab Emirates
hal-01006073v1  Article dans une revue
Juan ZengN. Ross ChapmanJulien Bonnel. Inversion of seabed attenuation using time-warping of close range data
Journal of the Acoustical Society of America, Acoustical Society of America, 2013, 134 (EL394)