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
René SchottStacey Staples. ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY
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⟩