Skip to Main content Skip to Navigation
Help


inria-00504557v1  Conference papers
Imed {hadj Kacem}Noura SellamiInbar FijalkowAline 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 SellamiInbar FijalkowAline 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 SellamiAline RoumyInbar 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. FallAbderrahman IggidrGauthier SalletJean-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. WainerKhaldoon Al-ZoubiOlivier DalleSaurabh MittalJosé 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. WainerKhaldoon Al-ZoubiOlivier DalleSaurabh MittalJosé 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
...
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-01521955v3  Journal articles
Eddie AamariJisu KimFrédéric ChazalBertrand MichelAlessandro 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 AamariClé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 AanjaneyaFrédéric ChazalDaniel ChenMarc GlisseLeonidas 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 AanjaneyaMonique Teillaud. Triangulating the Real Projective Plane
[Research Report] RR-6296, INRIA. 2007, pp.11
hal-01094867v1  Journal articles
Mridul AanjaneyaFrédéric ChazalDaniel ChenMarc GlisseLeonidas 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 AastromLuce Morin. Random Cross Ratios
[Technical Report] IMAG-RT - 92-088 ; LIFIA - 92-014, 1992, pp.8
...
hal-02141622v1  Conference papers
Massinissa AbaAlix Munier-KordonGuillaume 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 AbadiBruno BlanchetCé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 AbadiVé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 AbadiSteve 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 AbadiVé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
inria-00537591v1  Conference papers
Alexandre AbadieRomain CarpentierPierre HellierPierre JanninJean-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 AbadieBenoît CombèsClaire HaegelenSylvain 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
...
hal-02333795v1  Conference papers
Amar AbanePaul MuhlethalerSamia BouzefraneAbdella 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-02333719v1  Conference papers
Amar AbaneMehammed DaouiPaul MuhlethalerHossam 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⟩
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichaël RusinowitchSihem 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 AbateRoberto 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 AbateRoberto BlancoDeepak GargCătălin HriţcuMarco 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 AbateArthur Azevedo de AmorimRoberto BlancoAna Nora EvansGuglielmo 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 AbateSylvie Boldo. 10th International Workshop on Numerical Software Verification
10th International Workshop on Numerical Software Verification, France. Springer, 2017