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


...
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-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-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)
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-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-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-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-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-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-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-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-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-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-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-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-00904114v1  Communication dans un congrès
Vincent MyersIsabelle QuiduTorstein SæbøRoy Hansen. RESULTS AND ANALYSIS OF COHERENT CHANGE DETECTION EXPERIMENTS USING REPEAT-PASS SYNTHETIC APERTURE SONAR IMAGES
UAC 2013 - 1st international conference and exhibition on Underwater Acoustics, Jun 2013, Corfu, Greece. pp.613
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-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-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-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-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-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-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-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-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-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-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-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-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-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-00904124v1  Communication dans un congrès
Ahmed Nait-ChabaneBenoit ZerrGilles Le Chenadec. SPECTRAL DIRECTIONAL FILTER BANK FOR SIDESCAN SONAR SEGMENTATION WITH UNSUPERVISED NEURAL NETWORK APPROACH
UAC 2013 - 1st International Conference and Exhibition on Underwater Acoustics, Jun 2013, Corfu, Greece. pp.1451
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⟩