INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	inria-00504556v1 Conference papers Imed {hadj Kacem}, Noura Sellami, Inbar Fijalkow, Aline Roumy. {Optimisation conjointe du nombre des symboles pilotes et de l'allocation des puissances pour les canaux MIMO non selectifs en frequence} 22th Symposium on Signal and Image Processing, Gretsi, 2009, Dijon, 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
	hal-01431259v1 Patents Nassiopoulou A., Frederic Bourquin. DEVICE AND METHOD FOR DETERMINING THE THERMAL CONDUCTIVITY AND/OR HEAT CAPACITY OF A WALL France, Patent n° : EP2627996. 2013
	inria-00637571v1 Journal articles Dent A. Earl, Keith Bradnam, John St. John, Aaron Darling, Dawei Lin et al. Assemblathon 1: A competitive assessment of de novo short read assembly methods Genome Research, Cold Spring Harbor Laboratory Press, 2011, ⟨10.1101/gr.126599.111⟩
	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⟩
	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
	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
	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
	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-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⟩
	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⟩
	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-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-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⟩
	tel-01607782v1 Theses Eddie Aamari. Convergence Rates for Geometric Inference Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩
	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⟩
	inria-00172999v3 Reports Mridul Aanjaneya, Monique Teillaud. Triangulating the Real Projective Plane [Research Report] RR-6296, INRIA. 2007, pp.11
	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⟩
	inria-00590012v1 Reports Kale Aastrom, Luce Morin. Random Cross Ratios [Technical Report] IMAG-RT - 92-088 ; LIFIA - 92-014, 1992, pp.8
	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
	inria-00075382v1 Reports Martin Abadi, Luca Cardelli, P.L. Curien, Jean-Jacques Levy. Explicit substitutions RR-1176, INRIA. 1990
	hal-01350235v1 Journal articles Martin Abadí, Joanna Jongwane. À propos de la sécurité informatique Interstices, INRIA, 2011
	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-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 18th IEEE Computer Security Foundations Workshop - CSFW'05, Jun 2005, Aix-en-Provence/France, pp.62-76
	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 The 31st International Colloquium on Automata, Languages and Programming - ICALP'2004, 2004, Turku, Finland, pp.148-164
	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-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⟩
	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-00610630v1 Journal articles Ana Karina R. Abadio, Erika S. Kioshima, Marcus M. Teixeira, Natalia F. Martins, Bernard Maigret et al. Comparative genomics allowed the identification of drug targets against human fungal pathogens. BMC Genomics, BioMed Central, 2011, 12, pp.75. ⟨10.1186/1471-2164-12-75⟩
	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-00072558v1 Reports Ilya Abalakin, Bruno Koobus. The Behavior of Two Near-Wall Models for k-\varepsilon Prediction of Stall RR-4075, INRIA. 2000
	inria-00072598v1 Reports Ilya Abalakin, Alain Dervieux. On time averaging in Organised Eddy Simulation Modelling RR-4040, INRIA. 2000
	inria-00072556v1 Reports Ilya Abalakin, Mariana 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-02333795v1 Conference papers Amar Abane, Paul Muhlethaler, Samia Bouzefrane, Abdella Battou. Modeling and Improving Named Data Networking over IEEE 802.15.4 IFIP/IEEE PEMWN 2019 : IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Nov 2019, Paris, France
	hal-01864541v1 Conference papers Amar Abane, Paul Muhlethaler, Samia Bouzefrane, Mehammed Daoui, Abdella Battou. Towards evaluating Named Data Networking for the IoT: A framework for OMNeT++ OMNeT Community Summit 2018, Sep 2018, Pise, Italy
	hal-02334088v1 Journal articles Amar Abane, Mehammed Daoui, Samia Bouzefrane, Paul Muhlethaler. A lightweight forwarding strategy for Named Data Networking in low-end IoT Journal of Network and Computer Applications, Elsevier, 2019, 148, pp.102445. ⟨10.1016/j.jnca.2019.102445⟩
	hal-02333719v1 Conference papers Amar Abane, Mehammed Daoui, Paul Muhlethaler, 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⟩
	hal-02411296v1 Journal articles Amar Abane, Mehammed Daoui, Samia Bouzefrane, Paul Muhlethaler. 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⟩
	inria-00578884v1 Conference papers Ryma Abassi, Florent Jacquemard, Michaël Rusinowitch, Sihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩
	hal-01776283v1 Conference papers Pietro Abate, Roberto Cosmo. Adoption of Academic Tools in Open Source Communities: The Debian Case Study 13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.139-150, ⟨10.1007/978-3-319-57735-7_14⟩
	hal-02398915v1 Conference papers Carmine Abate, Roberto Blanco, Deepak Garg, Cătălin Hriţcu, Marco Patrignani et al. Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation CSF 2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.256-271, ⟨10.1109/CSF.2019.00025⟩
	hal-01949202v1 Conference papers Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini et al. When Good Components Go Bad 25th ACM Conference on Computer and Communications Security (CCS), Oct 2018, Toronto, Canada. pp.1351--1368, ⟨10.1145/3243734.3243745⟩
	hal-01662076v1 Directions of work or proceedings Alessandro Abate, Sylvie Boldo. 10th International Workshop on Numerical Software Verification 10th International Workshop on Numerical Software Verification, France. Springer, 2017
	hal-01091177v1 Conference papers Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Stefano Zacchiroli. Using Preferences to Tame your Package Manager OCaml 2014, Sep 2014, Goteborg, Sweden
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize

Contact

Informations