Skip to Main content Skip to Navigation

inria-00610934v1  Journal articles
Jianneng CaoPanagiotis KarrasChedy RaïssiKian-Lee Tan. ρ-uncertainty: Inference-Proof Transaction Anonymization
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044
hal-01903685v2  Conference papers
Mathieu FehrOlivier BuffetVincent ThomasJilles Steeve Dibangoye. ρ-POMDPs have Lipschitz-Continuous ϵ-Optimal Value Functions
NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-27
hal-01218958v1  Conference papers
Matteo GuerraCarlos VázquezDenis EfimovGang ZhengLeonid Freidovich et al.  ε-Invariant Output Stabilization: Homogeneous Approach and Dead Zone Compensation
54th IEEE Conference on Decision and Control (CDC), 2015, Dec 2015, Osaka, Japan
hal-00992784v1  Conference papers
David BonninCorentin Travers. α-Register
OPODIS, 2013, Unknown, pp.53-67
hal-01804927v1  Conference papers
Antoine CourtayMickaël Le GentilOlivier BerderArnaud CarerPascal Scalart et al.  Zyggie: A Wireless Body Area Network platform for indoor positioning and motion tracking
ISCAS 2018 - IEEE International Symposium on Circuits and Systems, May 2018, Florence, Italy. pp.1-5, ⟨10.1109/ISCAS.2018.8351278⟩
hal-01445707v2  Conference papers
Emmanuel JeandelSimon PerdrixRenaud VilmartQuanlong Wang. ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.15
tel-02395443v1  Theses
Renaud Vilmart. ZX-Calculi for Quantum Computing and their Completeness
Logic in Computer Science [cs.LO]. Université de Lorraine, 2019. English. ⟨NNT : 2019LORR0130⟩
hal-00931028v1  Journal articles
Lars GrüneHasnaa Zidani. Zubov's equation for state-constrained perturbed nonlinear systems
Mathematical Control and Related Fields, AIMS, 2015, 5 (1), pp.55-71. ⟨10.3934/mcrf.2015.5.55⟩
inria-00510159v1  Conference papers
Samuel HornusJared HoberockSylvain LefebvreJohn C. Hart. ZP+: correct Z-pass stencil shadows
Symposium on Interactive 3D Graphics and Games, ACM, 2005, Washington, United States
hal-01391281v1  Conference papers
Mathieu Le GocLawrence KimAli ParsaeiJean-Daniel FeketePierre Dragicevic et al.  Zooids: Building Blocks for Swarm User Interfaces
Proceedings of the 29th Annual Symposium on User Interface Software and Technology (UIST), Oct 2016, Tokyo, Japan. ⟨10.1145/2984511.2984547⟩
hal-01931311v1  Conference papers
Zhenhua WangWentao TangQinghua ZhangVicenc PuigYi Shen. Zonotopic state estimation and fault detection for systems with time-invariant uncertainties
SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Diagnosis and Safety of Technical Processes, Aug 2018, Warsaw, Poland. pp.494-499, ⟨10.1016/j.ifacol.2018.09.622⟩
hal-01526577v2  Conference papers
Guillaume GautierR. BardenetMichal Valko. Zonotope hit-and-run for efficient sampling from projection DPPs
International Conference on Machine Learning, 2017, Sydney, Australia
hal-00995875v2  Conference papers
Henrik ZimmerFlorent LafargePierre AlliezLeif Kobbelt. Zometool Shape Approximation
Geometric Modeling and Processing, Jun 2014, Singapore, Singapore
hal-00755280v1  Reports
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
[Research Report] RR-8141, INRIA. 2012, pp.48
hal-01094600v1  Journal articles
Steve Y. OudotDonald R. Sheehy. Zigzag zoology: Rips zigzags for homology inference
Foundations of Computational Mathematics, Springer Verlag, 2014, pp.31. ⟨10.1145/2493132.2462371⟩
hal-00923877v1  Conference papers
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil
hal-01091949v1  Conference papers
Clément MariaSteve Oudot. Zigzag Persistence via Reflections and Transpositions
ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States
hal-00449421v1  Conference papers
Alain KibangouCyrille SicletLaurent Ros. ZF OFDM Receiver for Underwater Communications
4th International Symposium on Communications, Control and Signal Processing (ISCCSP 2010), Mar 2010, Limassol, Cyprus. pp.n.c
hal-02428382v1  Conference papers
Gabriel AntoniuAlexandru CostanOvidiu-Cristian Marcu. ZettaFlow: Towards High-Performance ML-based Analytics across the Digital Continuum
BDEC2 2019 - Workshop on Big Data and Extreme-scale Computing, San Diego Supercomputing Center, Oct 2019, San Diego, United States. pp.4
hal-00738200v1  Conference papers
Christina BouraAnne Canteaut. Zero-Sum Distinguishers for Iterated Permutations and Application to Keccak-f and Hamsi-256
Selected Areas in Cryptography - 17th International Workshop, SAC 2010,, Aug 2010, Waterloo, Ontario,, Canada. pp.1-17
inria-00597907v1  Conference papers
Armando MuscarielloGuillaume GravierFrédéric Bimbot. Zero-resource audio-only spoken term detection based on a combination of template matching techniques
INTERSPEECH 2011: 12th Annual Conference of the International Speech Communication Association, Aug 2011, Florence, Italy
hal-01141135v1  Conference papers
Stefan MarrChris SeatonStéphane Ducasse. Zero-Overhead Metaprogramming
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2015, Portland, OR, USA, France. ⟨10.1145/2737924.2737963⟩
tel-01668125v2  Theses
Geoffroy Couteau. Zero-knowledge proofs for secure computation
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE065⟩
hal-02151645v1  Conference papers
Benoît LibertKhoa NguyenBenjamin TanHuaxiong Wang. Zero-Knowledge Elementary Databases with More Expressive Queries
PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Apr 2019, Beijing, China. pp.255-285, ⟨10.1007/978-3-030-17253-4_9⟩
inria-00374524v1  Conference papers
Julien DusserThomas PiquetAndré Seznec. Zero-Content Augmented Caches
ICS 2009 : 23rd International Conference on Supercomputing, Jun 2009, New York, United States. ⟨10.1145/1542275.1542288⟩
inria-00337742v1  Reports
Julien DusserThomas PiquetAndré Seznec. Zero-Content Augmented Caches
[Research Report] RR-6705, INRIA. 2008
hal-01878015v1  Conference papers
Federica TuriNathalie GayraudMaureen Clerc. Zero-calibration cVEP BCI using word prediction: a proof of concept
BCI 2018 - 7th International BCI Meeting, May 2018, Pacific Grove, California, United States
inria-00069913v1  Reports
Sara BouchenakDaniel Hagimont. Zero Overhead Java Thread Migration
[Research Report] RT-0261, INRIA. 2002, pp.33
hal-00462453v1  Journal articles
communications in stochastic analysis, 2010, 4 (3), pp.00-00
hal-01888802v1  Conference papers
Jeronimo BarbosaMarcelo WanderleyStéphane Huot. ZenStates: Easy-to-Understand Yet Expressive Specifications for Creative Interactive Environments
VL/HCC 2018 - IEEE Symposium on Visual Languages and Human-Centric Computing, Oct 2018, Lisbon, Portugal
inria-00315920v1  Conference papers
Richard BonichonDavid DelahayeDamien Doligez. Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
hal-00909784v1  Conference papers
David DelahayeDamien DoligezFrédéric GilbertPierre HalmagrandOlivier Hermant. Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
hal-00909029v1  Conference papers
Timothy BourkeMarc Pouzet. Zélus: A Synchronous Language with ODEs
HSCC - 16th International Conference on Hybrid systems: computation and control, Calin Belta and Franjo Ivančić, Apr 2013, Philadelphia, United States. pp.113-118, ⟨10.1145/2461328.2461348⟩
hal-00730930v1  Journal articles
Julien MercadalLaurent RéveillèreYérom-David BrombergBertrand Le GalTegawendé F. Bissyandé et al.  Zebra : Building Efficient Network Message Parsers for Embedded Systems
IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers, 2012, PP (99), pp.1-4. ⟨10.1109/LES.2012.2208617⟩
inria-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei O. Kuznetsov. ZART: A Multifunctional Itemset Mining Algorithm
5th International Conference on Concept Lattices and Their Applications (CLA '07), Oct 2007, Montpellier, France. pp.26--37
hal-00784421v1  Journal articles
Paulo Roberto JuniorMauro FonsecaAnelise MunarettoAline VianaArtur Ziviani. ZAP: a distributed channel assignment algorithm for cognitive radio networks
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2011, 2011 (1), pp.27
hal-01258718v1  Conference papers
Francesco de Comite. Yvon-Villarceau Circle Equivalents on Dupin Cyclides
Bridges 2015: Mathematics, Music, Art, Architecture, Culture , Jul 2015, Baltimore, United States
inria-00070429v1  Reports
Arnaud de la Fortelle. Yule process sample path asymptotics
[Research Report] RR-5577, INRIA. 2005, pp.14
hal-01185075v1  Conference papers
Karine PiresGwendal Simon. YouTube Live and Twitch: A Tour of User-Generated Live Streaming Systems
MMSys 2015 : 6th ACM Multimedia Systems Conference, Mar 2015, Portland, United States. pp.225 - 230
inria-00092425v1  Journal articles
Massimiliano GubinelliAntoine LejaySamy Tindel. Young integrals and SPDEs
Potential Analysis, Springer Verlag, 2006, 25 (4), pp.307-326
hal-01801224v1  Conference papers
Francisco NavasImane MahtoutVicente MilanésFawzi Nashashibi. Youla-Kucera control structures for switching
CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark
hal-01591705v1  Conference papers
Francisco NavasVicente MilanésFawzi Nashashibi. Youla-Kucera Based Online Closed-Loop Identification For Longitudinal Vehicle Dynamics
21st International Conference on System Theory, Control and Computing, Oct 2017, Sinaia, Romania
hal-01906268v1  Conference papers
Imane MahtoutFrancisco NavasDavid GonzalezVicente MilanésFawzi Nashashibi. Youla-Kucera Based Lateral Controller for Autonomous Vehicle
​ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, Hawaii, U.S. Outlying Islands
hal-00523653v1  Conference papers
Yliès Falcone. You Should Better Enforce than Verify
International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108
hal-02974078v1  Conference papers
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. You are what emojis say about your pictures
SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩
hal-02172288v1  Conference papers
Thuy Linh NguyenRamon NouAdrien Lebre. YOLO: Speeding up VM and Docker Boot Time by reducing I/O operations
EURO-PAR 2019 - European Conference on Parallel Processing, Aug 2019, Göttingen, Germany. pp.273-287, ⟨10.1007/978-3-030-29400-7_20⟩
hal-02884735v1  Master thesis
Manuel Alejandro Diaz-Zapata. YOLO-Based Panoptic Segmentation
Computer Vision and Pattern Recognition [cs.CV]. 2020
hal-01468084v1  Conference papers
Axel HalinAlexandre NuttinckMathieu AcherXavier DevroeyGilles Perrouin et al.  Yo Variability! JHipster: A Playground for Web-Apps Analyses
11th International Workshop on Variability Modelling of Software-intensive Systems, Feb 2017, Eindhoven, Netherlands. pp.44 - 51, ⟨10.1145/3023956.3023963⟩
hal-00519072v1  Journal articles
Ivan Nourdin. Yet another proof of the Nualart-Peccati criterion
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011
hal-00519072v2  Journal articles
Ivan Nourdin. Yet another proof of the Nualart-Peccati criterion
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011, 16, pp.467-481. ⟨10.1214/ECP.v16-1642⟩
inria-00078318v2  Reports
Mathieu LacageThomas Henderson. Yet Another Network Simulator
[Research Report] RR-5927, INRIA. 2006, pp.16
inria-00107460v3  Journal articles
Antoine Lejay. Yet another introduction to rough paths
Séminaire de Probabilités, Springer-Verlag, 2009, Séminaire de Probabilités XLII / Lecture Notes in Mathematics, 1979, pp.1-101. ⟨10.1007/978-3-642-01763-6_1⟩
hal-01354248v1  Journal articles
Somayeh SardashtiAndré SeznecDavid A. Wood. Yet Another Compressed Cache: a Low Cost Yet Effective Compressed Cache
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 13, pp.1-25. ⟨10.1145/2976740⟩
inria-00000804v1  Reports
Vincent CridligRadu State. YencaP Documentation
[Technical Report] 2005, pp.25
inria-00071731v1  Reports
Laurent NoéGregory Kucherov. YASS: Similarity search in DNA sequences
[Research Report] RR-4852, INRIA. 2003, pp.20
hal-00723794v1  Conference papers
Alessandra ToninelliAnimesh PathakValérie Issarny. Yarta: A Middleware for Managing Mobile Social Ecosystems
GPC 2011 : International Conference on Grid and Pervasive Computing, May 2011, Oulu, Finland. pp.209-220, ⟨10.1007/978-3-642-20754-9_22⟩
inria-00595825v1  Conference papers
Abdelkader LahmadiEmmanuel NatafOlivier Festor. YANG-Based Configuration Modeling - The SecSIP IPS Case Study
IFIP/IEEE International Symposium on Integrated Network Management, May 2011, Dublin, Ireland
hal-01022306v1  Conference papers
Valérie HanokaBenoît Sagot. YaMTG: An Open-Source Heavily Multilingual Translation Graph Extracted from Wiktionaries and Parallel Corpora
Language Resources and Evaluation Conference, European Language Resources Association, May 2014, Reykjavik, Iceland
lirmm-00720639v1  Conference papers
Duy Hoa NgoZohra Bellahsene. YAM++ : A multi-strategy based approach for Ontology matching task
Knowledge Engineering and Knowledge Management, Oct 2012, Galway City, Ireland. pp.5
lirmm-00720648v1  Conference papers
Duy Hoa NgoZohra Bellahsene. YAM++ : (not) Yet Another Matcher for Ontology Matching Task
BDA: Bases de Données Avancées, Oct 2012, Clermont-Ferrand, France
lirmm-00649320v1  Conference papers
Duy Hoa NgoZohra BellahseneRemi Coletta. YAM++ -- Results for OAEI 2011
ISWC'11: The 6th International Workshop on Ontology Matching, Oct 2011, Bonn, Germany. pp.228-235
lirmm-00758720v1  Conference papers
Duy Hoa NgoZohra Bellahsene. YAM++ - Results for OAEI 2012
International Semantic Web Conference, Nov 2012, United States
hal-01445948v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus
International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands
inria-00432813v1  Conference papers
Gérôme CanalsPascal MolliJulien MaireStéphane LaurièreEsther Pacitti et al.  XWiki Concerto: A P2P Wiki System Supporting Disconnected Work
5th International Conference, Cooperative Design, Visualization, and Engineering CDVE08, Sep 2008, Mallorca, Spain. pp.98-106, ⟨10.1007/978-3-540-88011-0_13⟩
hal-00762954v1  Book sections
Thilo KielmannGuillaume PierreChristine Morin. XtreemOS: a Sound Foundation for Cloud Infrastructure and Federations
Desprez, F. and Getov, V. and Priol, T. and Yahyapour, R. Grids, P2P and Services Computing, Springer, 2010, 978-1-4419-6793-0. ⟨10.1007/978-1-4419-6794-7_1⟩