|
||
---|---|---|
hal-03011568v1
Conference papers
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
{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-00504556v1
Conference papers
{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-00504558v1
Conference papers
{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
{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
DEVICE AND METHOD FOR DETERMINING THE THERMAL CONDUCTIVITY AND/OR HEAT CAPACITY OF A WALL France, Patent n° : EP2627996. 2013 |
||
inria-00637571v1
Journal articles
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
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
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
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
Quality of service in wireless local area networks Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2002. English |
||
inria-00071704v1
Reports
Enhancing IEEE 802.11 MAC in congested environments [Research Report] RR-4879, INRIA. 2003 |
||
hal-01370430v1
Journal articles
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
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
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
Convergence Rates for Geometric Inference Statistics [math.ST]. Université Paris-Saclay, 2017. English. ⟨NNT : 2017SACLS203⟩ |
||
hal-01521955v3
Journal articles
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
Stability and Minimax Optimality of Tangential Delaunay Complexes for Manifold Reconstruction Discrete and Computational Geometry, Springer Verlag, 2018 |
||
hal-01516032v3
Journal articles
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
Triangulating the Real Projective Plane [Research Report] RR-6296, INRIA. 2007, pp.11 |
||
inria-00630774v1
Conference papers
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
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
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⟩ ![]() |
||
hal-00919901v1
Journal articles
Search for long-lived gravitational-wave transients coincident with long gamma-ray bursts Physical Review D, American Physical Society, 2013, 88 (12), pp.122004. ⟨10.1103/PhysRevD.88.122004⟩ ![]() |
||
inria-00590012v1
Reports
Random Cross Ratios [Technical Report] IMAG-RT - 92-088 ; LIFIA - 92-014, 1992, pp.8 |
||
hal-03257026v3
Journal articles
Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach Automatica, Elsevier, In press |
||
hal-03649665v1
Conference papers
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
Scheduling on Two Unbounded Resources with Communication Costs Euro-Par - European Conference on Parallel Processing, Aug 2019, Gottingen, Germany |
||
hal-01636616v1
Journal articles
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
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
Deciding knowledge in security protocols under equational theories [Research Report] RR-5169, INRIA. 2004, pp.22 |
||
hal-01423924v1
Reports
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication [Research Report] ArXiv. 2016, pp.110 |
||
|
||
|
||
hal-01090879v1
Directions of work or proceedings
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
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
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
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-00610630v1
Journal articles
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⟩ ![]() |
||
hal-03536361v1
Preprints, Working Papers, ...
Towards a Cleaner Document-Oriented Multilingual Crawled Corpus 2022 ![]() |
||
hal-03301590v1
Conference papers
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
The Behavior of Two Near-Wall Models for k-\varepsilon Prediction of Stall RR-4075, INRIA. 2000 |
||
inria-00072129v1
Reports
A vertex centered high order MUSCL scheme applying to linearised Euler acoustics [Research Report] RR-4459, INRIA. 2002 |
||
inria-00072598v1
Reports
On time averaging in Organised Eddy Simulation Modelling RR-4040, INRIA. 2000 |
||
inria-00072556v1
Reports
Unstable and Unsteady Aerodynamics : Compared Information from Different Numerical Models [Research Report] RR-4077, INRIA. 2000 |
||
hal-02411296v1
Journal articles
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
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
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-02334088v1
Journal articles
A lightweight forwarding strategy for Named Data Networking in low-end IoT Journal of Network and Computer Applications (JNCA), Elsevier, 2019, 148, pp.102445. ⟨10.1016/j.jnca.2019.102445⟩ |
||
hal-01864541v1
Conference papers
Towards evaluating Named Data Networking for the IoT: A framework for OMNeT++ OMNeT Community Summit 2018, Sep 2018, Pise, Italy |
||
hal-02333795v1
Conference papers
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-02920555v1
Journal articles
A Realistic Deployment of Named Data Networking in the Internet of Things Journal of Cyber Security and Mobility, River Publishers, 2020, 9 (1), ⟨10.13052/jcsm2245-1439.911⟩ |
||
inria-00578884v1
Conference papers
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-01662076v1
Directions of work or proceedings
10th International Workshop on Numerical Software Verification 10th International Workshop on Numerical Software Verification, France. Springer, 2017 |
||
hal-01776283v1
Conference papers
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
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-01091177v1
Conference papers
Using Preferences to Tame your Package Manager OCaml 2014, Sep 2014, Goteborg, Sweden |
||
hal-01949202v1
Conference papers
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-03005932v1
Conference papers
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-02568304v1
Conference papers
Cylindrical bounded quaternion control for tracking and surrounding a ground target using UAVs 21st International Federation of Automatic Control World Congress (IFAC WC 2020), Jul 2020, Berlin, Germany |
||
hal-00670669v1
Conference papers
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-00670641v1
Conference papers
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-00663467v1
Conference papers
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-00670672v1
Conference papers
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-00670615v1
Conference papers
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-00672480v1
Conference papers
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-00663438v1
Conference papers
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-00656155v1
Conference papers
A Cooperative Answering Approach to Fuzzy Preferences Queries in Service Discovery Flexible Query Answering Systems, 2011, Belgium. pp.318-329 |
||
hal-00664237v1
Conference papers
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-03206554v1
Journal articles
Traitement des préférences dans le contexte de découverte de services Web : Une Approche Fondée sur les Ensembles Flous Ingénierie des Systèmes d'Information, 2012, 2012 (5), pp.35--56 |
||
hal-00784059v1
Journal articles
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. ⟨10.3934/nhm.2010.5.603⟩ ![]() |
||
pastel-00842327v1
Theses
Turbo-codes quantiques Théorie de l'information [cs.IT]. Ecole Polytechnique X, 2013. Français |
||
hal-01108594v1
Conference papers
Quantum turbo codes with unbounded minimum distance and excellent error-reducing performance. ITW 2011- IEEE Information Theory Workshop, Oct 2011, Paraty, Brazil. pp.252-256, ⟨10.1109/ITW.2011.6089430⟩ |
||
hal-01342029v1
Conference papers
Mobility-aware Scheduler in CoMP Systems PIMRC, Sep 2016, Valencia, Spain |
||
hal-01558062v1
Book sections
The effective use of the DSmT for multi-class classification Advances and Applications of DSmT for Information Fusion, 4, 2015 |
||
tel-01477834v1
Theses
A Unified Approach for Dealing with Ontology Mappings and their Defects Web. Université de Bretagne Sud, 2016. English. ⟨NNT : 2016LORIS423⟩ |
||
hal-01245210v1
Conference papers
Opportunistic gains of mobility in cellular data networks WiOpt, 2015, Bombay, India. ⟨10.1109/WIOPT.2015.7151088⟩ |
||
hal-01245211v1
Conference papers
How Mobility Impacts the Performance of Inter-cell Coordination in Cellular Data Networks Globecom, 2015, San Diego, United States |
||
hal-02914569v1
Conference papers
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⟩ |
||
inria-00403102v1
Conference papers
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-02168775v1
Conference papers
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-01586544v1
Journal articles
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-01586533v1
Conference papers
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
TR-Classifier and kNN Evaluation for Topic Identification tasks International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10 |
||
inria-00515298v2
Reports
Accelerating HMMER on FPGA using Parallel Prefixes and Reductions [Research Report] RR-7370, INRIA. 2010 |
||
hal-03426543v1
Conference papers
Sandwich: An Algorithm for Discovering Relevant Link Keys in an LKPS Concept Lattice ICFCA 2021 - 16th international conference on formal concept analysis, Jun 2021, Strasbourg /Virtuel, France. pp.243-251, ⟨10.1007/978-3-030-77867-5_15⟩ |
||
hal-01414509v2
Conference papers
SPARQL Query Containment with ShEx Constraints ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus |
||
tel-00847076v1
Theses
Acceleration of a bioinformatics application using high-level synthesis Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0019⟩ |
||
hal-01235328v1
Journal articles
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⟩ ![]() |
||
inria-00000448v1
Conference papers
Comparison of Topic Identification methods for Arabic Language International Conference on Recent Advances in Natural Language Processing - RANLP 2005, Sep 2005, Borovets, Bulgaria |
||
inria-00554191v1
Conference papers
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-01673067v1
Conference papers
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 |
||
tel-01673074v1
Theses
Static Analysis of Semantic Web Queries with ShEx Schema Constraints Web. Université Grenoble - Alpes, 2017. English |
||
|
||
hal-02921643v1
Conference papers
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-01673013v1
Conference papers
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-03482955v1
Conference papers
Non-Redundant Link Keys in RDF Data: Preliminary Steps FCA4AI 2021 - 9th Workshop on What can FCA do for Artificial Intelligence?, Aug 2021, Montréal/Online, Canada. pp.1-6 |
||
hal-03512110v1
Conference papers
LKSA : un algorithme de sélection de clés de liage dans des données RDF guidée par des paires de classes EGC 2021 - 21ème édition de la conférence "Extraction et Gestion des Connaissances", Jan 2021, Montpellier, France. pp.205-216 |
||
|