Skip to Main content Skip to Navigation

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-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-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⟩
tel-01607782v1  Theses
Eddie Aamari. Convergence Rates for Geometric Inference
Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩
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⟩
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⟩
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-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-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-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⟩
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-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-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
inria-00537591v1  Conference papers
Alexandre AbadieRomain CarpentierPierre HellierJannin PierreJean-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-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⟩
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
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-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-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-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
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-03005932v1  Conference papers
Pietro AbateRoberto Di CosmoGeorgios GousiosStefano Zacchiroli. Dependency Solving Is Still Hard, but We Are Getting Better at It
2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), Feb 2020, London, Canada. pp.547-551, ⟨10.1109/SANER48275.2020.9054837⟩
hal-00670669v1  Conference papers
Katia AbbaciAllel HadjaliLudovic LiétardDaniel Rocacher. Une Approche Skyline pour l'Interrogation de Bases de Données de Graphes
Atelier Graphes et Appariement d'Objets Complexes (GAOC) organisé conjointement avec la avec 11ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Jan 2011, France. pp.14-25
hal-00670672v1  Conference papers
Katia AbbaciAllel HadjaliLudovic LiétardDaniel Rocacher. Interrogation de bases de données de graphes : Une approche basée sur un skyline par similarité
Conférence Maghrébine sur l'Extraction et la Gestion des Connaissances (EGC-M), Dec 2010, Algeria. pp.46-57
hal-00672480v1  Conference papers
Katia AbbaciFernando LemosAllel HadjaliDaniela GrigoriLudovic Lietard et al.  An Approach Based on Fuzzy Sets to Handle Preferences in Service Retrieval
IEEE Conference on Commerce and Enterprise Computing, Sep 2011, Luxembourg. pp.213-218
hal-00670641v1  Conference papers
Katia AbbaciAllel HadjaliLudovic LiétardDaniel Rocacher. A Similarity Skyline Approach for Handling Graph Queries - A Preliminary Report
International Workshop on Graph Data Management Techniques and Applications (GDM'11), in Conjunction with The IEEE International Conference on Data Engineering (ICDE),, Apr 2011, Germany. pp.112-117
hal-00664237v1  Conference papers
Katia AbbaciMokrane BouzeghoubDaniela GrigoriAllel HadjaliFernando Lemos et al.  A Fuzzy Set Approach to Handle Preferences in Service Retrieval
27èmes journées Bases de Données Avancées, BDA 2011, Oct 2011, Rabat, Morocco
hal-00670615v1  Conference papers
Katia AbbaciFernando LemosAllel HadjaliDaniela GrigoriLudovic Liétard et al.  Selecting and Ranking Business Process with Preferences: An Approach Based on Fuzzy Set
International Conference on Cooperative Information Systems, Oct 2011, Greece. pp.38-55
hal-00663467v1  Conference papers
Katia AbbaciFernando LemosAllel HadjaliDaniela GrigoriLudovic Liétard et al.  Selecting and Ranking Business Processes with Preferences: An Approach Based on Fuzzy Sets
On the Move to Meaningful Internet Systems: OTM 2011, Oct 2011, Hersonissos, Greece. pp.38-55, ⟨10.1007/978-3-642-25109-2_4⟩
hal-00663438v1  Conference papers
Katia AbbaciFernando LemosAllel HadjaliDaniela GrigoriLudovic Liétard et al.  An Approach Based on Fuzzy Sets to Selecting and Ranking Business Processes
IEEE 13th Conference on Commerce and Enterprise, Sep 2011, Luxembourg, Luxembourg. pp.213-218
hal-00784059v1  Journal articles
Th. AbballeGrégoire AllaireE. LaucoinPh. Montarnal. Application of a coupled FV/FE multiscale method to cement media
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2010, 5 (3), pp.603-615
pastel-00842327v1  Theses
Mamdouh Abbara. Turbo-codes quantiques
Théorie de l'information [cs.IT]. Ecole Polytechnique X, 2013. Français
hal-01768411v4  Journal articles
Mickaël AbbasAlexandre ErnNicolas Pignet. A Hybrid High-Order method for incremental associative plasticity with small deformations
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2019, 346, pp.891-912. ⟨10.1016/j.cma.2018.08.037⟩
hal-01558062v1  Book sections
Nassim AbbasYoucef ChibaniArnaud MartinFlorentin Smarandache. The effective use of the DSmT for multi-class classification
Advances and Applications of DSmT for Information Fusion, 4, 2015
tel-00847076v1  Theses
Naeem Abbas. Acceleration of a bioinformatics application using high-level synthesis
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0019⟩
inria-00554191v1  Conference papers
Naeem AbbasSteven DerrienPatrice QuintonSanjay Rajopadhye. Accelerating HMMER on FPGA using Parallel Prefixes and Reductions
Proc. of the IEEE International Conference on Field-Programmable Technology (FPT'10), Dec 2010, Beijing, China, China. x-proceedings = yes, x-international-audience = yes, x-editorial-board = yes, x-invited-conference
hal-01586544v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. Evaluation of Topic Identification Methods on Arabic Corpora
Journal of Digital Information Management, Digital Information Research Foundation, 2011, 9 (5), pp.8 double column
hal-01673067v1  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. Optimising SPARQL Query Evaluation in the Presence of ShEx Constraints
BDA 2017 - 33ème conférence sur la « Gestion de Données — Principes, Technologies et Applications », Nov 2017, Nancy, France. pp.1-12
hal-01414509v2  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. SPARQL Query Containment with ShEx Constraints
ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus
hal-02168775v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Linkex: A Tool for Link Key Discovery Based on Pattern Structures
ICFCA 2019 - workshop on Applications and tools of formal concept analysis, Jun 2019, Frankfurt, Germany. pp.33-38
hal-01673013v1  Conference papers
Abdullah AbbasPierre GenevèsCécile RoisinNabil Layaïda. Selectivity Estimation for SPARQL Triple Patterns with Shape Expressions
ICWE'18 - 18th International Conference on Web Engineering, Jun 2018, Cáceres, Spain. pp.195-209, ⟨10.1007/978-3-319-91662-0_15⟩
hal-02914569v1  Conference papers
Mostafa AbbasRasha OmarAhmed El-MahdyErven Rohou. Approximate Data Dependence Profiling based on Abstract Interval and Congruent Domains
ARCS 2020 - 33rd International Conference on Architecture of Computing Systems, May 2020, Aachen (virtual), Germany. pp.3-16, ⟨10.1007/978-3-030-52794-5_1⟩
hal-01235328v1  Journal articles
Naeem AbbasSteven DerrienSanjay RajopadhyePatrice QuintonAlexandre Cornu et al.  Combining execution pipelines to improve parallel implementation of HMMER on FPGA
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2015, 39, pp.457-470. ⟨10.1016/j.micpro.2015.06.006⟩
hal-02921643v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
hal-01342029v1  Conference papers
Nivine AbbasThomas BonaldBerna Sayrac. Mobility-aware Scheduler in CoMP Systems
PIMRC, Sep 2016, Valencia, Spain
hal-01586533v1  Conference papers
Mourad AbbasKamel SmaïliD Berkani. Comparing TR-Classifier and KNN by using Reduced Sizes of Vocabularies
3rd International Conference on Arabic Language Processing, May 2009, Rabat, Morocco
hal-01586549v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. TR-Classifier and kNN Evaluation for Topic Identification tasks
International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10
inria-00000448v1  Conference papers
Mourad AbbasKamel Smaïli. Comparison of Topic Identification methods for Arabic Language
International Conference on Recent Advances in Natural Language Processing - RANLP 2005, Sep 2005, Borovets, Bulgaria
inria-00403102v1  Conference papers
Mourad AbbasKamel SmaïliDaoud Berkani. Multi-Category Support Vector Machines for Identifying Arabic Topics
10th International Conference on Intelligent Text Processing and Computational Linguistics - CICLing 2009, Mar 2009, Mexico, Mexico
hal-01666862v1  Journal articles
L. Abbas-TurkiBernard Lapeyre. American options by Malliavin calculus and nonparametric variance and bias reduction methods
SIAM Journal on Financial Mathematics, Society for Industrial and Applied Mathematics 2012, 3 (1), pp.479 - 510. ⟨10.1137/11083890X⟩
hal-00867887v1  Journal articles
Lokman Abbas-TurkiDamien Lamberton. European Options Sensitivity with Respect to the Correlation for Multidimensional Heston Models
International Journal of Theoretical and Applied Finance, World Scientific Publishing, 2014, 17 (03), pp.DOI: 10.1142/S0219024914500150
hal-00773740v1  Journal articles
Lokman A. Abbas-TurkiStéphane VialleBernard LapeyrePatrick Mercier. Pricing derivatives on graphics processing units using Monte Carlo simulation
Concurrency and Computation: Practice and Experience, Wiley, 2014, 26 (9), pp.1679-1697. ⟨10.1002/cpe.2862⟩
hal-00390289v1  Conference papers
Lokman Abbas-TurkiStéphane VialleBernard LapeyrePatrick Mercier. High Dimensional Pricing of Exotic European Contracts on a GPU Cluster, and Comparison to a CPU Cluster
Second International Workshop on Parallel and Distributed Computing in Finance - PDCoF 2009, May 2009, Rome, Italy. Proceedings on CD-ROM (8 p.), ⟨10.1109/IPDPS.2009.5161143⟩
hal-00913139v1  Conference papers
Ebrahim Khalil AbbasiMathieu AcherPatrick HeymansAnthony Cleve. Reverse Engineering Web Configurators
17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium