157 résultats  enregistrer la recherche


hal-01111467v1  Communication dans un congrès
Vincent PopieEstelle PiotSébastien TordeuxVuillot FrançoisTheoretical and numerical investigation of acoustic response of a multiperforated plate for combustor liner
ASME Turbo Expo 2015 : Turbine Technical Conference and Exposition, Jun 2015, Montreal, Canada
hal-01278372v1  Communication dans un congrès
Jean-François NouvelXavier DupuisMarc LesturgieNon line of sight signal analysis: Investigation of interferometry modes over urban area
The 5th Asia-Pacific Conference on Synthetic Aperture Radar (APSAR 2015), Sep 2015, SINGAPOUR, Singapore. Synthetic Aperture Radar (APSAR), 2015 IEEE 5th Asia-Pacific Conference on, pp 582-586, 2015, <10.1109/APSAR.2015.7306276>
...
hal-00645119v1  Communication dans un congrès
Marc BoyerJörn MiggeNicolas NavetA simple and efficient class of functions to model arrival curve of packetised flows
First International Workshop on Worst-case Traversal Time (WCTT 2011), Nov 2011, Vienna, Austria. 2011
hal-00863174v1  Communication dans un congrès
Rémy WyssFrédéric BoniolClaire PagettiJulien ForgetEnd-to-end latency computation in a multi-periodic design
28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687, 2013
...
hal-00835003v2  Communication dans un congrès
Mostepha Redouane KhouadjiaMarc SchoenauerVincent VidalJohann DréoPierre SavéantPareto-Based Multiobjective AI Planning
Francesca Rossi. IJCAI 2013, Aug 2013, Beijing, China. IJCAI/AAAI, pp.2321-2327, 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence
...
inria-00551504v1  Communication dans un congrès
Marc BoyerNicolas NavetXavier OliveEric ThierryThe PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece. 2010
hal-01253166v1  Ouvrage (y compris édition critique et traduction)
Gary CohenSebastien PernetFinite Element and Discontinuous Galerkin Methods for Transient Wave Equations
Springer, 2017, 978-94-017-7761-2. <10.1007/978-94-017-7761-2>
hal-01398287v1  Direction d'ouvrage, Proceedings
Gary CohenSebastien PernetFinite Element and Discontinuous Galerkin Methods for Transient Wave Equations
France. Springer, 381 p., 2017, Scientific Computation, 978-94-017-7759-9. <10.1007/978-94-017-7761-2>
...
hal-01109776v1  Communication dans un congrès
Alexandre QuemyMarc SchoenauerVincent VidalJohann DréoPierre SavéantSolving Large MultiZenoTravel Benchmarks with Divide-and-Evolve
Clarisse Dhaenens and Laetitia Jourdan and Marie-Eléonore Marmion. Learning and Intelligent OptimizatioN - LION 9, Jan 2015, Lille, France. LNCS 8994, Springer Verlag, pp.262-267, 2015
hal-00911889v1  Communication dans un congrès
Mélanie BocquelAlexandre LepoutreOlivier RabasteFrançois Le GlandOptimisation d'un filtre particulaire en contexte track-before-detect
Actes du 23ème Colloque sur le Traitement du Signal et des Images, Bordeaux 2011, Sep 2011, Bordeaux, France. 2011
hal-00911892v1  Communication dans un congrès
Christian MussoPaul Bui QuangFrançois Le GlandIntroducing the Laplace approximation in particle filtering
Proceedings of the 14th International Conference on Information Fusion, Chicago 2011, Jul 2011, Chicago, United States. pp.290-297, 2011, <http://ieeexplore.ieee.org/document/5977654/>
hal-00911890v1  Communication dans un congrès
Mathieu ChouchaneSébastien ParisFrançois Le GlandChristian MussoDinh--Tuan PhamOn the probability distribution of a moving target. Asymptotic and non-asymptotic results
Proceedings of the 14th International Conference on Information Fusion, Chicago 2011, Jul 2011, Chicago, United States. pp.99-101, 2011, <http://ieeexplore.ieee.org/document/5977480/>
hal-00912083v1  Communication dans un congrès
François Le GlandNadia OudjaneStability and approximation of nonlinear filters using the Hilbert metric, and applications to particle filters
Proceedings of the 39th Conference on Decision and Control, Sydney 2000, Dec 2000, Sydney, Australia. 2, pp.1585-1590, 2000, <10.1109/CDC.2000.912086>
...
hal-01345472v1  Communication dans un congrès
Marc BoyerNicolas NavetMarc FumeyExperimental assessment of timing verification techniques for AFDX
6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. Proceedings of the 6th European Congress on Embedded Real Time Software and Systems, <http://web1.see.asso.fr/erts2012/index.htm>
...
hal-00904796v1  Communication dans un congrès
Etienne MabilleMarc BoyerLoic FéjozStephan MerzTowards Certifying Network Calculus
Sandrine Blazy and Christine Paulin-Mohring and David Pichardie. ITP - 4th International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.484-489, 2013, Lecture Notes in Computer Science; Interactive Theorem Proving. <10.1007/978-3-642-39634-2_37>
...
hal-00904817v1  Communication dans un congrès
Etienne MabilleMarc BoyerLoic FéjozStephan MerzCertifying Network Calculus in a Proof Assistant
EUCASS - 5th European Conference for Aeronautics and Space Sciences, Jul 2013, Munich, Germany. 2013
...
inria-00463437v1  Communication dans un congrès
Jacques BibaiPierre SavéantMarc SchoenauerVincent VidalOn the Generality of Parameter Tuning in Evolutionary Planning
ACM Genetic and Evolutionary Computation Conference (GECCO-2010), Jul 2010, Portland, Oregon, United States. pp.241-248, 2010
hal-00912466v1  Chapitre d'ouvrage
Christian MussoNadia OudjaneFrançois Le GlandImproving regularized particle filters
Doucet, Arnaud and de Freitas, Nando and Gordon, Neil. Sequential Monte Carlo methods in practice, Springer, pp.247-271, 2001, Statistics for Engineering and Information Science, <10.1007/978-1-4757-3437-9_12>
hal-00911994v1  Communication dans un congrès
Paul Bui QuangChristian MussoFrançois Le GlandAn insight into the issue of dimensionality in particle filtering
Proceedings of the 13th International Conference on Information Fusion, Edinburgh 2010, Jul 2010, Edinburgh, United Kingdom. 2010, <10.1109/ICIF.2010.5712050>
...
inria-00599694v1  Communication dans un congrès
Saadia DhouibNicolas Du LacJean-Loup FargesSébastien GerardMiniar Hemaissia-Jeannin et al.  Control Architecture Concepts and Properties of an Ontology Devoted to Exchanges in Mobile Robotics
6th National Conference on Control Architectures of Robots, May 2011, Grenoble, France. 24 p., 2011
hal-01228536v1  Article dans une revue
C. VergéC. DubarryP. Del MoralE. MoulinesOn parallel implementation of sequential Monte Carlo methods: the island particle model
Statistics and Computing, Springer Verlag (Germany), 2015, 25 (http://link.springer.com/journal/11222), <10.1007/s11222-013-9429-x>
hal-00987363v1  Communication dans un congrès
Ch. PichotJ.-Y. DauvignacCédric DourtheI. AliferisE. Guillanton et al.  Measurement systems and near-flied reconstruction algorithms for microwave tomography of buried objects
5th Workshop on Subsurface Electromagnetic Measurements, Oct 1999, Tokyo, Japan. pp.61-66, 1999
...
hal-00835102v1  Communication dans un congrès
Anne-Marie TouschStéphane HerbinJean-Yves AudibertSemantic lattices for multiple annotation of images
1st ACM international conference on Multimedia information retrieval, Oct 2008, Vancouver, Canada. ACM, pp.342-349, 2008, <10.1145/1460096.1460152>