HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
hal-03011568v1  Conference papers
Puviyarasu .S.A, Farouk Belkadi, Catherine da Cunha, Abdelhamid Chriette, Alain Bernard. A semantic interface model to support the integration of drones in a cyber-physical factory
International conference on Interoperability for Enterprise Systems and Applications, Nov 2020, Tarbes, France
inria-00504557v1  Conference papers
Imed {hadj Kacem}, Noura Sellami, Inbar Fijalkow, Aline Roumy. {Joint training interval length and power allocation optimization for MIMO flat fading channels}
IEEE International Symposium on Wireless Communication Systems 2009 (ISWCS'09), 2009, Sienna, Italy
inria-00504558v1  Conference papers
Imed {hadj Kacem}, Noura Sellami, Inbar Fijalkow, Aline Roumy. {Training interval length optimization for MIMO flat fading channels using decision-directed channel estimation}
IEEE International Conference on Wireless and Mobile Computing (WiMob'09), 2009, Casablanca, Macau SAR China
inria-00504559v1  Conference papers
Imed {hadj Kacem}, Noura Sellami, Aline Roumy, Inbar Fijalkow. {Training sequence optimization for frequency selective channels with MAP equalization}
Proc. of IEEE International Symposium on Communications, Control and Signal Processing ISCCSP, 2008, La Valette, Malta. pp.532-537
...
inria-00596236v1  Journal articles
A. A. Fall, Abderrahman Iggidr, Gauthier Sallet, Jean-Jules Tewa. Epidemiological models and Lyapunov functions
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2007, 2 (1), pp.62 - 83. ⟨10.1051/mmnp:2008011⟩
...
hal-02931170v2  Preprints, Working Papers, ...
Antônio Tadeu A. Gomes, Weslley S. Pereira, Frédéric Valentin. The MHM Method for Elasticity on Polytopal Meshes
2020
inria-00638560v1  Book sections
Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José Luis Risco Martin et al.  Chapter 17: Standardizing DEVS model representation
Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.427--458, 2011, 978-1-4200-7233-4
inria-00638559v1  Book sections
Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José L. Risco Martin et al.  Chapter 18: Standardizing DEVS Simulation Middleware
Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.459--494, 2011, 978-1-4200-7233-4
...
tel-00406507v1  Theses
Imad Aad. Quality of service in wireless local area networks
Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2002. English
...
inria-00071704v1  Reports
Imad Aad, Qiang Ni, Chadi Barakat, Thierry Turletti. Enhancing IEEE 802.11 MAC in congested environments
[Research Report] RR-4879, INRIA. 2003
...
hal-01370430v1  Journal articles
Atte Aalto. Iterative observer-based state and parameter estimation for linear systems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2018, 24 (1), pp.265-288. ⟨10.1051/cocv/2017005⟩
...
hal-01216075v2  Journal articles
Atte Aalto. Output error minimizing back and forth nudging method for initial state recovery
Systems and Control Letters, Elsevier, 2016, 94, pp.111-117. ⟨10.1016/j.sysconle.2016.06.002⟩
...
inria-00070775v1  Reports
Samuli Aalto, Urtzi Ayesta, Eeva Nyberg-Oksanen. M/G/1/MLPS compared to M/G/1/PS
RR-5219, INRIA. 2004, pp.11
...
hal-01236950v1  Journal articles
Atte Aalto. Convergence of discrete-time Kalman filter estimate to continuous-time estimate for systems with unbounded observation
Mathematics of Control, Signals, and Systems, Springer Verlag, 2018, 30 (3), pp.9. ⟨10.1007/s0049⟩
...
tel-01607782v1  Theses
Eddie Aamari. Convergence Rates for Geometric Inference
Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩
...
hal-01521955v3  Journal articles
Eddie Aamari, Jisu Kim, Frédéric Chazal, Bertrand Michel, Alessandro Rinaldo et al.  Estimating the Reach of a Manifold
Electronic Journal of Statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2019, ⟨10.1214/19-EJS1551⟩
...
hal-01245479v3  Journal articles
Eddie Aamari, Clément Levrard. Stability and Minimax Optimality of Tangential Delaunay Complexes for Manifold Reconstruction
Discrete and Computational Geometry, Springer Verlag, 2018
...
hal-01516032v3  Journal articles
Eddie Aamari, Clément Levrard. Non-Asymptotic Rates for Manifold, Tangent Space, and Curvature Estimation
Annals of Statistics, Institute of Mathematical Statistics, 2019, 47 (1), ⟨10.1214/18-AOS1685⟩
...
inria-00172999v3  Reports
Mridul Aanjaneya, Monique Teillaud. Triangulating the Real Projective Plane
[Research Report] RR-6296, INRIA. 2007, pp.11
...
inria-00630774v1  Conference papers
Mridul Aanjaneya, Frédéric Chazal, Daniel Chen, Marc Glisse, Leonidas J. Guibas et al.  Metric graph reconstruction from noisy data
27th Annual Symposium on Computational Geometry, 2011, Paris, France. pp.37-46, ⟨10.1145/1998196.1998203⟩
hal-01094867v1  Journal articles
Mridul Aanjaneya, Frédéric Chazal, Daniel Chen, Marc Glisse, Leonidas J. Guibas et al.  Metric Graph Reconstruction From Noisy Data
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2012, 22 (4), pp.305-325. ⟨10.1142/S0218195912600072⟩
hal-00906576v1  Journal articles
J. Aasi, J. Abadie, B. P. Abbott, R. Abbott, T. Abbott et al.  A directed search for continuous Gravitational Waves from the Galactic Center
Physical Review D, American Physical Society, 2013, 88, 102002 [13 p.]. ⟨10.1103/PhysRevD.88.102002⟩
...
inria-00590012v1  Reports
Kale Aastrom, Luce Morin. Random Cross Ratios
[Technical Report] IMAG-RT - 92-088 ; LIFIA - 92-014, 1992, pp.8
...
hal-03257026v3  Journal articles
Georges Aazan, Antoine Girard, Luca Greco, Paolo Mason. Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach
Automatica, Elsevier, In press
...
hal-03649665v1  Conference papers
Georges Aazan, Antoine Girard, Paolo Mason, Luca Greco. Stability of discrete-time switched linear systems with ω-regular switching sequences
25th ACM International Conference on Hybrid Systems: Computation and Control, May 2022, Milan, Italy. ⟨10.1145/3501710.3519543⟩
...
hal-02141622v1  Conference papers
Massinissa Aba, Alix Munier-Kordon, Guillaume Aupy. Scheduling on Two Unbounded Resources with Communication Costs
Euro-Par - European Conference on Parallel Processing, Aug 2019, Gottingen, Germany
...
hal-01636616v1  Journal articles
Martín Abadi, Bruno Blanchet, Cédric Fournet. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 65 (1), pp.1 - 103. ⟨10.1145/3127586⟩
inria-00000554v1  Conference papers
Martin Abadi, Véronique Cortier. Deciding knowledge in security protocols under (many more) equational theories
CSFW 2005 - 18th IEEE Computer Security Foundations Workshop, Jun 2005, Aix-en-Provence, France. pp.62-76, ⟨10.1109/CSFW.2005.14⟩
...
inria-00071420v1  Reports
Martin Abadi, Véronique Cortier. Deciding knowledge in security protocols under equational theories
[Research Report] RR-5169, INRIA. 2004, pp.22
...
hal-01423924v1  Reports
Martín Abadi, Bruno Blanchet, Cédric Fournet. The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
[Research Report] ArXiv. 2016, pp.110
...
inria-00075382v1  Reports
Martin Abadi, Luca Cardelli, P.L. Curien, Jean-Jacques Levy. Explicit substitutions
RR-1176, INRIA. 1990
hal-01090879v1  Directions of work or proceedings
Martin Abadi, Steve Kremer. Principles of Security and Trust
Martín Abadi and Steve Kremer. 3rd International Conference on Principles of Security and Trust (POST'14), France. 8414, Springer, 2014, Lecture Notes in Computer Science, 978-3-642-54791-1. ⟨10.1007/978-3-642-54792-8⟩
inria-00099982v1  Conference papers
Martin Abadi, Véronique Cortier. Deciding knowledge in security protocols under equational theories
ICALP 2004 - The 31st International Colloquium on Automata, Languages and Programming, Jul 2004, Turku, Finland. pp.148-164, ⟨10.1007/978-3-540-27836-8_7⟩
...
inria-00626270v1  Conference papers
Alexandre Abadie, Benoît Combès, Claire Haegelen, Sylvain Prima. CLARCS, a C++ Library for Automated Registration and Comparison of Surfaces: Medical Applications
MICCAI Workshop on Mesh Processing in Medical Image Analysis (MeshMed'2011), Sep 2011, Toronto, Canada. pp.117-126
inria-00537591v1  Conference papers
Alexandre Abadie, Romain Carpentier, Pierre Hellier, Pierre Jannin, Jean-Yves Gauvrit et al.  Une plateforme logicielle de neurochirurgie assistée par l'image
Congrès de la Société de Neurochirurgie de Langue Française, Dec 2010, Paris, France. ⟨10.1016/j.neuchi.2010.10.019⟩
...
hal-03301590v1  Conference papers
Julien Abadji, Pedro Ortiz Suarez, Laurent Romary, Benoît Sagot. Ungoliant: An Optimized Pipeline for the Generation of a Very Large-Scale Multilingual Web Corpus
CMLC 2021 - 9th Workshop on Challenges in the Management of Large Corpora, Jul 2021, Limerick / Virtual, Ireland. ⟨10.14618/ids-pub-10468⟩
...
inria-00072558v1  Reports
Ilya Abalakin, Bruno Koobus. The Behavior of Two Near-Wall Models for k-\varepsilon Prediction of Stall
RR-4075, INRIA. 2000
...
inria-00072129v1  Reports
Ilya Abalakin, Alain Dervieux, T.Atiana Kozubskaya. A vertex centered high order MUSCL scheme applying to linearised Euler acoustics
[Research Report] RR-4459, INRIA. 2002
...
inria-00072598v1  Reports
Ilya Abalakin, Alain Dervieux. On time averaging in Organised Eddy Simulation Modelling
RR-4040, INRIA. 2000
...
inria-00072556v1  Reports
Ilya Abalakin, Marianna Braza, Simone Camarri, Alain Dervieux, Bruno Koobus et al.  Unstable and Unsteady Aerodynamics : Compared Information from Different Numerical Models
[Research Report] RR-4077, INRIA. 2000
...
hal-02411296v1  Journal articles
Amar Abane, Mehammed Daoui, Samia Bouzefrane, Paul Mühlethaler. NDN-over-ZigBee: A ZigBee support for Named Data Networking
Future Generation Computer Systems, Elsevier, 2019, 93, pp.792-798. ⟨10.1016/j.future.2017.09.053⟩
...
hal-03494281v1  Journal articles
Amar Abane, Paul Mühlethaler, Samia Bouzefrane. Modeling and Improving Named Data Networking over IEEE 802.15.4
Annals of Telecommunications - annales des télécommunications, Springer, 2021
...
hal-02333719v1  Conference papers
Amar Abane, Mehammed Daoui, Paul Mühlethaler, Hossam Afifi. A down-to-earth integration of Named Data Networking in the real-world IoT
FiCloudW 2018 : 6th International Conference on Future Internet of Things and Cloud Workshops, Aug 2018, Barcelona, Spain. pp.243-249, ⟨10.1109/W-FiCloud.2018.00046⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/