|
||
---|---|---|
hal-00781236v1
Journal articles
基于GreenLab原理构建油松成年树的结构-功能模型 (A functional-structural model for adults of Pinus tabulaeformis based on GreenLab) Chinese Journal of Plant Ecology, Chinese Academy of Sciences, 2011, 35 (4), pp.422-430. ⟨10.3724/SP.J.1258.2011.00422⟩ |
||
|
||
inria-00610934v1
Journal articles
ρ-uncertainty: Inference-Proof Transaction Anonymization Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044 |
||
hal-01903685v2
Conference papers
ρ-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 |
||
inria-00524942v1
Preprints, Working Papers, ...
λμ-calculus and Λμ-calculus: a Capital Difference 2009 |
||
hal-01218958v1
Conference papers
ε-Invariant Output Stabilization: Homogeneous Approach and Dead Zone Compensation 54th IEEE Conference on Decision and Control (CDC), 2015, Dec 2015, Osaka, Japan |
||
hal-02991811v1
Journal articles
δ18O and δ13C of diagenetic land snail shells from the Pliocene (Zanclean) of Lanzarote, Canary Archipelago: Do they still record some climatic parameters? Journal of African Earth Sciences, Elsevier, 2020, 162, pp.103702. ⟨10.1016/j.jafrearsci.2019.103702⟩ |
||
hal-01604784v1
Journal articles
β-arrestin signalling and bias in hormone-responsive GPCRs Molecular and Cellular Endocrinology, Elsevier, 2017, 449, pp.28-41. ⟨10.1016/j.mce.2017.01.052⟩ |
||
|
||
hal-01804927v1
Conference papers
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
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
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
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⟩ |
||
hal-00654244v1
Conference papers
ZTN OBSERVABILITY FOR PARALLEL MULTI-CELL CHOPPER ELECTRIMACS, Jun 2011, Cergy, France |
||
inria-00510159v1
Conference papers
ZP+: correct Z-pass stencil shadows Symposium on Interactive 3D Graphics and Games, ACM, 2005, Washington, United States |
||
hal-01482165v1
Journal articles
Zooming On All Actors: Automatic Focus+Context Split Screen Video Generation Computer Graphics Forum, Wiley, 2017, 36 (2), pp.455-465. ⟨10.1111/cgf.13140⟩ |
||
hal-01391281v1
Conference papers
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
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
Zonotope hit-and-run for efficient sampling from projection DPPs International Conference on Machine Learning, 2017, Sydney, Australia |
||
hal-03118264v1
Conference papers
zoNNscan: a boundary-entropy index for zone inspection of neural models Monte Carlo Search workshop (MCS), Jan 2021, Virtual, Japan |
||
hal-01981628v1
Conference papers
ZoneMapAlt: An alternative to the ZoneMap metric for zone segmentation and classification Document Analysis Systems, Apr 2018, Vienne, Austria. ⟨10.1109/DAS.2018.84⟩ |
||
hal-00995875v2
Conference papers
Zometool Shape Approximation Geometric Modeling and Processing, Jun 2014, Singapore, Singapore |
||
hal-02302010v1
Journal articles
Zombi: A phylogenetic simulator of trees, genomes and sequences that accounts for dead lineages Bioinformatics, Oxford University Press (OUP), 2019, ⟨10.1093/bioinformatics/btz710⟩ |
||
hal-00755280v1
Reports
Zigzag Zoology: Rips Zigzags for Homology Inference [Research Report] RR-8141, INRIA. 2012, pp.48 |
||
hal-01094600v1
Journal articles
Zigzag zoology: Rips zigzags for homology inference Foundations of Computational Mathematics, Springer Verlag, 2014, pp.31. ⟨10.1145/2493132.2462371⟩ |
||
hal-00923877v1
Conference papers
Zigzag Zoology: Rips Zigzags for Homology Inference Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil |
||
inria-00520171v1
Reports
Zigzag Persistent Homology in Matrix Multiplication Time [Research Report] RR-7393, INRIA. 2010 |
||
hal-01091949v1
Conference papers
Zigzag Persistence via Reflections and Transpositions ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States |
||
hal-00449421v1
Conference papers
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
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-02413402v1
Journal articles
Zero-Sum Stochastic Games over the Field of Real Algebraic Numbers Dynamic Games and Applications, Springer Verlag, 2019, 9 (4), pp.1026-1041. ⟨10.1007/s13235-018-00293-w⟩ |
||
hal-00738200v1
Conference papers
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
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
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
Zero-knowledge proofs for secure computation Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE065⟩ |
||
hal-02151645v1
Conference papers
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⟩ |
||
hal-01394087v1
Conference papers
Zero-Knowledge Arguments for Matrix-Vector Relations and Lattice-Based Group Encryption Asiacrypt 2016, IACR, Dec 2016, Hanoi, Vietnam. pp.101 - 131, ⟨10.1007/978-3-662-53890-6_4⟩ |
||
hal-01621027v1
Conference papers
Zero-Knowledge Arguments for Lattice-Based PRFs and Applications to E-Cash Asiacrypt 2017, Dec 2017, Hong Kong, China |
||
hal-01314642v1
Conference papers
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without Trapdoors Eurocrypt 2016, International Association for Cryptologic Research, May 2016, Vienne, Austria. ⟨10.1007/978-3-662-49896-5_1⟩ |
||
hal-02491316v1
Journal articles
Zero-forcing Oriented Power Minimization for Multi-cell MISO-NOMA Systems: A Joint User Grouping, Beamforming and Power Control Perspective IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2020 |
||
|
||
inria-00374524v1
Conference papers
Zero-Content Augmented Caches ICS 2009 : 23rd International Conference on Supercomputing, Jun 2009, New York, United States. ⟨10.1145/1542275.1542288⟩ |
||
hal-01878015v1
Conference papers
Zero-calibration cVEP BCI using word prediction: a proof of concept BCI 2018 - 7th International BCI Meeting, May 2018, Pacific Grove, California, United States |
||
hal-00872484v1
Conference papers
Zero-calibration BMIs for sequential tasks using error-related potentials IROS 2013 Workshop on Neuroscience and Robotics, Nov 2013, Tokyo, Japan |
||
inria-00069913v1
Reports
Zero Overhead Java Thread Migration [Research Report] RT-0261, INRIA. 2002, pp.33 |
||
|
||
hal-02375015v1
Conference papers
Zermelo-Markov-Dubins problem and extensions in marine navigation CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029293⟩ |
||
hal-00462453v1
Journal articles
ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY communications in stochastic analysis, 2010, 4 (3), pp.00-00 |
||
hal-01888802v1
Conference papers
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
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
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
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
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-00001271v1
Reports
ZART: A Multifunctional Itemset Mining Algorithm [Research Report] 2006, pp.19 |
||
inria-00189423v1
Conference papers
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
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
Yvon-Villarceau Circle Equivalents on Dupin Cyclides Bridges 2015: Mathematics, Music, Art, Architecture, Culture , Jul 2015, Baltimore, United States |
||
inria-00070429v1
Reports
Yule process sample path asymptotics [Research Report] RR-5577, INRIA. 2005, pp.14 |
||
hal-01185075v1
Conference papers
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 |
||
hal-01169592v1
Other publications
Your Paper Is Dead! Bringing Life to Research Articles with Animated Figures 2015, pp.461-470. ⟨10.1145/2702613.2732501⟩ |
||
inria-00092425v1
Journal articles
Young integrals and SPDEs Potential Analysis, Springer Verlag, 2006, 25 (4), pp.307-326 |
||
hal-01801224v1
Conference papers
Youla-Kucera control structures for switching CCTA 2018 - 2nd IEEE Conference on Control Technology and Applications, Aug 2018, Copenhagen, Denmark |
||
hal-01591705v1
Conference papers
Youla-Kucera Based Online Closed-Loop Identification For Longitudinal Vehicle Dynamics 21st International Conference on System Theory, Control and Computing, Oct 2017, Sinaia, Romania |
||
tel-03126748v1
Theses
Youla-Kucera based multi-objective controllers : Application to autonomous vehicles Automatic Control Engineering. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM044⟩ |
||
hal-01906268v1
Conference papers
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-01561441v1
Conference papers
You'll Never Tweet Alone Building Sports Match Timelines from Microblog Posts RANLP17, Jul 2017, Varna, Bulgaria |
||
hal-03002187v1
Conference papers
You-Know-Why: an Early-Stage Prototype of a Key Server Developed using Why3 VerifyThis 2020 - Long-term Challenge, Apr 2020, Dublin, Ireland. pp.4--7 |
||
hal-00523653v1
Conference papers
You Should Better Enforce than Verify International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108 |
||
hal-01520138v1
Journal articles
You see yourself like in a mirror”: The effects of internet-mediated personal networks on body image and eating disorders Health Communication, Taylor & Francis (Routledge), 2018, 33 (9), pp.1166-1176. ⟨10.1080/10410236.2017.1339371⟩ |
||
hal-02974078v1
Conference papers
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-01983626v1
Reports
YOLO: Speeding up VM Boot Time by reducing I/O operations [Research Report] RR-9245, Inria. 2019, pp.1-18 |
||
hal-02172288v1
Conference papers
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-02884735v2
Master thesis
YOLO-Based Panoptic Segmentation Computer Vision and Pattern Recognition [cs.CV]. 2020 |
||
lirmm-01170968v1
Journal articles
YOC, A new strategy for pairwise alignment of collinear genomes BMC Bioinformatics, BioMed Central, 2015, 16 (1), pp.16:111. ⟨10.1186/s12859-015-0530-3⟩ |
||
hal-01468084v1
Conference papers
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-00932560v1
Journal articles
Yield Improvement by the Redundancy Method for Component Calibration Electronics Letters, IET, 2013, 49 (13), pp.824-826. ⟨10.1049/el.2012.4170⟩ |
||
hal-00519072v2
Journal articles
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-00107460v3
Journal articles
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⟩ |
||
inria-00175810v2
Reports
Yet Another Implementation of Attribute Evaluation [Research Report] RR-6315, INRIA. 2007 |
||
inria-00075534v1
Reports
Yet another distributed election and (minimum-weight)spanning tree algorithm RR-1024, INRIA. 1989 |
||
hal-01270792v1
Reports
Yet Another Compressed Cache: a Low Cost Yet Effective Compressed Cache [Research Report] RR-8853, Inria. 2016, pp.23 |
||
hal-01354248v1
Journal articles
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-00504820v1
Reports
Yet Another Autoconf Proposal (YAAP) for Mobile Ad hoc NETworks [Research Report] RR-7341, INRIA. 2010, pp.23 |
||
inria-00072805v1
Reports
Yet Another Approximation of the American Put [Research Report] RR-3851, INRIA. 2000 |
||
hal-01578479v1
Conference papers
Yet Another ADNI Machine Learning Paper? Paving The Way Towards Fully-reproducible Research on Classification of Alzheimer's Disease Machine Learning in Medical Imaging 2017, Sep 2017, Quebec City, Canada. pp.8 |
||
inria-00073964v1
Reports
Yet Another ${\cal O}(n^6)$ Recognition Algorithm for Mildly Context-Sensitive Languages [Research Report] RR-2730, INRIA. 1995 |
||
hal-02194887v1
Conference papers
Yes, we can! Mining Arguments in 50 Years of US Presidential Campaign Debates ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Jul 2019, Florence, Italy. pp.4684-4690 |
||
|
||
inria-00071731v1
Reports
YASS: Similarity search in DNA sequences [Research Report] RR-4852, INRIA. 2003, pp.20 |
||
hal-00723794v1
Conference papers
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
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
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 |
||
inria-00069922v1
Reports
YAMS A fully Automatic Adaptive Isotropic Surface Remeshing Procedure RT-0252, INRIA. 2001, pp.36 |
||
lirmm-00720639v1
Conference papers
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
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
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
YAM++ - Results for OAEI 2012 International Semantic Web Conference, Nov 2012, United States |
||
|
||
|