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

hal-03011568v1  Conference papers
Puviyarasu .S.AFarouk BelkadiCatherine da CunhaAbdelhamid ChrietteAlain 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 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-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
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
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⟩
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 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⟩
inria-00172999v3  Reports
Mridul AanjaneyaMonique Teillaud. Triangulating the Real Projective Plane
[Research Report] RR-6296, INRIA. 2007, pp.11
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⟩
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⟩
hal-00906576v1  Journal articles
J. AasiJ. AbadieB. P. AbbottR. AbbottT. 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 AastromLuce Morin. Random Cross Ratios
[Technical Report] IMAG-RT - 92-088 ; LIFIA - 92-014, 1992, pp.8
hal-03649665v1  Conference papers
Georges AazanAntoine GirardPaolo MasonLuca 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 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
CSFW 2005 - 18th IEEE Computer Security Foundations Workshop, Jun 2005, Aix-en-Provence, France. pp.62-76, ⟨10.1109/CSFW.2005.14⟩
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
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 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
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⟩
hal-03301590v1  Conference papers
Julien AbadjiPedro Ortiz SuarezLaurent RomaryBenoî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⟩
hal-03494281v1  Journal articles
Amar AbanePaul MühlethalerSamia 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 AbaneMehammed DaouiPaul MühlethalerHossam 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⟩