 |
 |
 |
|
|
||
|---|---|---|
| hal-01110386v1
Journal articles
Zero-Knowledge Sets With Short Proofs IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.2488-2502. ⟨10.1109/TIT.2011.2112150⟩  |
||
| 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-00814448v1
Journal articles
Zebu: A Language-Based Approach for Network Protocol Message Processing IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (4), pp.575-591 |
||
| hal-02425985v1
Conference papers
Zap Q-Learning With Nonlinear Function Approximation NeurIPS 2020: Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada  |
||
|
|
||
| hal-03094388v1
Conference papers
Zap Q-Learning for Optimal Stopping ACC 2020 - American Control Conference, Jul 2020, Denver / Virtual, United States. pp.3920-3925, ⟨10.23919/ACC45564.2020.9147481⟩ |
||
| hal-02429733v1
Conference papers
Zap Q-Learning - A User's Guide ICC 2019 - Fifth Indian Control Conference, Jan 2019, New Delhi, India. pp.10-15, ⟨10.1109/INDIANCC.2019.8715554⟩ |
||
| halshs-01562486v1
Book sections
Zahlenwahn oder Textliebe? Digitale Philologie als Disziplin und als Weltanschauung Johannes Dahm; Ruth Lambertz-Pollan; Maïwenn Roudaut; Bénédicte Terrisse. Machines/Maschinen. Les machines dans l'espace germanique: de l'automate de Kempelen à Kraftwerk, Presses Universitaires de Rennes, 2020, 978-2-7535-8002-2 |
||
| hal-00863378v1
Conference papers
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM Revised Selected Papers of the 8th Workshop on Security and Trust Management (STM'12), 2012, Pisa, Italy. pp.257-272, ⟨10.1007/978-3-642-38004-4_17⟩  |
||
| 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 |
||
| inria-00504820v1
Reports
Yet Another Autoconf Proposal (YAAP) for Mobile Ad hoc NETworks [Research Report] RR-7341, INRIA. 2010, pp.23 |
||
| 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 |
||
| hal-02388974v1
Conference papers
xMUDA: Cross-Modal Unsupervised Domain Adaptation for 3D Semantic Segmentation Conference on Computer Vision and Pattern Recognition (CVPR), Jun 2020, Virtual, United States |
||
| hal-01827563v1
Conference papers
XML-TEI-URS: using a TEI format for annotated linguistic resources CLARIN Annual Conference 2018, Oct 2018, Pisa, Italy |
||
| hal-00616613v1
Journal articles
XML content warehousing: Improving sociological studies of mailing lists and web data Bulletin de Méthodologie Sociologique / Bulletin of Sociological Methodology, SAGE Publications, 2011, 112 (1), pp.5-31. ⟨10.1177/0759106311417540⟩ |
||
| hal-00768224v1
Journal articles
XMG : eXtensible MetaGrammar Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), 2013, 39 (3), pp.591-629 |
||
| hal-00450235v2
Journal articles
X-Armed Bandits Journal of Machine Learning Research, Microtome Publishing, 2011, 12, pp.1655-1695 |
||
| hal-00940320v1
Journal articles
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process Software: Practice and Experience, Wiley, 2013, 43 (1), pp.67-92. ⟨10.1002/spe.2102⟩ |
||
| hal-00941142v1
Conference papers
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩ |
||
| inria-00627507v1
Journal articles
WTR: a reputation metric for distributed hash tables based on a risk and credibility factor Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2009, 24 (5), ⟨10.1007/s11390-009-9276-6⟩ |
||
| hal-01248194v1
Conference papers
Write Fast, Read in the Past: Causal Consistency for Client-side Applications Int. Conf. on Middleware (MIDDLEWARE), Dec 2015, Vancouver, BC, Canada. pp.75-87, ⟨10.1145/2814576.2814733⟩ |
||
| hal-01158370v2
Reports
Write Fast, Read in the Past: Causal Consistency for Client-side Applications [Research Report] RR-8729, Inria – Centre Paris-Rocquencourt; INRIA. 2015 |
||
| hal-00733994v1
Journal articles
Wrinkle development analysis in thin sail-like structures using MITC shell finite elements Finite Elements in Analysis and Design, Elsevier, 2013, 64, pp.48-64. ⟨10.1016/j.finel.2012.09.005⟩ |
||
| hal-01293852v1
Directions of work or proceedings
WRAS '10: Proceedings of the Third International Workshop on Reliability, Availability, and Security ACM, 2010, 978-1-4503-0642-3 |
||
|
|
||
| hal-02407007v1
Conference papers
Worst-case response time analysis for partitioned fixed-priority DAG tasks on identical processors ETFA 2019 - 24th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2019, Zaragoza, Spain. pp.1423-1426, ⟨10.1109/ETFA.2019.8869147⟩ |
||
| hal-02956367v1
Journal articles
Worst-Case Convergence Analysis of Inexact Gradient and Newton Methods Through Semidefinite Programming Performance Estimation SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2020, 30 (3), pp.2053-2082. ⟨10.1137/19M1281368⟩ |
||
| hal-01272090v1
Book sections
Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus Bruneo; Distefano. Quantitative Assessments of Distributed Systems, 2015, ⟨10.1002/9781119131151.ch6⟩ |
||
| hal-01408633v1
Conference papers
Worst case QC-MDPC decoder for McEliece cryptosystem IEEE International Symposium on Information Theory, ISIT 2016, Jul 2016, Barcelone, Spain. pp.5, ⟨10.1109/ISIT.2016.7541522⟩ |
||
| inria-00070588v1
Reports
Worst case end-to-end response times for non-preemptive FP/DP* scheduling [Research Report] RR-5418, INRIA. 2004, pp.26 |
||
| hal-01796066v1
Journal articles
Workspace, Joint space and Singularities of a family of Delta-Like Robot Mechanism and Machine Theory, Elsevier, 2018, 127, pp.73-95. ⟨10.1016/j.mechmachtheory.2018.05.004⟩ |
||
| hal-01142465v1
Conference papers
Workspace and Singularity analysis of a Delta like family robot 4th IFTOMM International Symposium on Robotics and Mechatronics, Jun 2015, Poitiers, France |
||
| hal-01006614v1
Conference papers
Workspace and joint space analysis of the 3-RPS parallel robot ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2014, Buffalo, United States. pp.1-10 |
||
| hal-00786830v1
Conference papers
Work-Streaming Compilation of Futures PLACES'12 - 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2012, Tallin, Estonia |
||
| hal-02421157v1
Conference papers
Work-in-Progress: System-wide DVFS for real-time systems with probabilistic parameters 2019 IEEE Real-Time Systems Symposium (RTSS), Dec 2019, Hong Kong, Hong Kong SAR China. pp.508-511 |
||
| hal-03124588v1
Conference papers
Work in Progress Lessons learnt from creating Extreme Value Libraries in Python RTSS 2020 - 41st IEEE Real Time Systems Symposium, Dec 2020, Dallas / Virtual, United States |
||
| hal-03124586v1
Conference papers
Work in Progress : Towards representative measurement protocols RTSS 2020 - 41st IEEE Real Time Systems Symposium, Dec 2020, Dallas / Virtual, United States |
||
| hal-02274072v1
Journal articles
WordSeg: Standardizing unsupervised word form segmentation from text Behavior Research Methods, Psychonomic Society, Inc, 2019, ⟨10.3758/s13428-019-01223-3⟩ |
||
| hal-02274157v1
Conference papers
Word-order biases in deep-agent emergent communication ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Jul 2019, Florence, Italy |
||
|
|
||
|
|
||
| hal-01251971v1
Journal articles
WLAN Planning: Separate and Joint Optimization of Both Access Point Placement and Channel Assignment Annals of Telecommunications - annales des télécommunications, Springer, 2015, 70 (5-6), pp.263-274. ⟨10.1007/s12243-014-0447-2⟩ |
||
| tel-02274361v1
Theses
Wireless sensor networks for indoor mapping and accurate localization for low speed navigation in smart cities Robotics [cs.RO]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEM029⟩ |
||
| hal-01064378v2
Journal articles
Wireless networks appear Poissonian due to strong shadowing IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2015, 14 (8), pp.4379 - 4390. ⟨10.1109/TWC.2015.2420099⟩ |
||
| hal-02432805v1
Conference papers
Wireless Link Quality Prediction in IoT Networks PEMWN 2019 - 8th IFIP/IEEE International Conference on Performance Evaluation and Modeling inWired andWireless Networks, Nov 2019, Paris, France |
||
| tel-00702798v1
Theses
Wireless Link Quality Modelling and Mobility Management for Cellular Networks Probability [math.PR]. Telecom ParisTech, 2011. English |
||
| inria-00070358v1
Reports
Wireless Channel Parameters Maximizing TCP Throughput [Research Report] RR-5652, INRIA. 2005, pp.43 |
||
| |
||
| inria-00408657v1
Reports
Wireless Broadcast with Network Coding: Energy Efficiency, Optimality and Coding Gain in Lossless Wireless Networks [Research Report] RR-7011, INRIA. 2009 |
||
| inria-00284317v2
Reports
Wireless Broadcast with Network Coding: A Connected Dominating Sets Approach [Research Report] RR-6547, INRIA. 2008 |
||
| inria-00292867v1
Reports
Wireless Broadcast with Network Coding in Mobile Ad-Hoc Networks: DRAGONCAST [Research Report] RR-6569, INRIA. 2008 |
||
| hal-00651600v1
Book sections
Wired/Wireless Compound Networking Mobile Ad-Hoc Networks: Applications, InTech, pp.349 - 375, 2011 |
||
| inria-00514828v1
Reports
Will person detection help bag-of-features action recognition? [Research Report] RR-7373, INRIA. 2010 |
||
| hal-00915848v1
Journal articles
Wildcarded Identity-Based Encryption Journal of Cryptology, Springer Verlag, 2011, 24 (1), pp.42-82. ⟨10.1007/s00145-010-9060-3⟩ |
||
| hal-01256368v1
Journal articles
Wild oscillations in a nonlinear neuron model with resets: (II) Mixed-mode oscillations Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.4003-4039 |
||
| hal-01416002v1
Journal articles
Wild oscillations in a nonlinear neuron model with resets: (I) Bursting, spike adding and chaos Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.3967-4002. ⟨10.3934/dcdsb.2017204⟩ |
||
| hal-01389581v1
Conference papers
WiFi-Direct Simulation for INET in OMNeT++ The 3rd OMNeT++ Community Summit, Sep 2016, Brno, Czech Republic |
||
| hal-01851504v1
Conference papers
WiFi Fingerprinting Localization for Intelligent Vehicles in Car Park IPIN 2018 : Ninth International Conference on Indoor Positioning and Indoor Navigation, Sep 2018, Nantes, France |
||
| hal-02396308v1
Conference papers
WI Is Not Enough: Zero-Knowledge Contingent (Service) Payments Revisited ACM CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.49-62, ⟨10.1145/3319535.3354234⟩ |
||
| hal-01618357v2
Book sections
Why Is Evolution Important in Cancer and What Mathematics Should Be Used to Treat Cancer? Focus on Drug Resistance Trends in Biomathematics: Modeling, Optimization and Computational Problems: Selected works from the BIOMAT Consortium Lectures, Moscow 2017, Springer International Publishing, pp.107-120, 2018 |
||
| inria-00528582v1
Journal articles
Why does Astrée scale up? Formal Methods in System Design, Springer Verlag, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. ⟨10.1007/s10703-009-0089-6⟩ |
||
| hal-01756523v1
Conference papers
Why Channel Hopping Makes Sense, even with IEEE802.15.4 OFDM at 2.4 GHz Global IoT Summit (GIoTS), Jun 2018, Bilbao, Spain |
||
| hal-01064766v1
Conference papers
Whole is Greater than Sum of Parts: Recognizing Scene Text Words International Conference on Document Analysis and Recognition, Aug 2013, Washington DC, United States |
||
| hal-00907446v1
Conference papers
Whole genome re-sequencing : lessons from unmapped reads Journées Ouvertes Biologie Informatique Mathématiques, Jul 2013, Toulouse, France |
||
| hal-01257258v1
Conference papers
Who wants to adopt a polyhedral compiler? 3rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Jan 2013, Berlin, Germany |
||
| hal-02166432v2
Conference papers
Who started this rumor? Quantifying the natural differential privacy guarantees of gossip protocols DISC 2020 - 34th International Symposium on Distributed Computing, Oct 2020, Freiburg / Virtual, Germany |
||
| hal-00872841v1
Conference papers
White-Box Security Notions for Symmetric Encryption Schemes SAC 2013 - Conference Selected Areas in Cryptography, Aug 2013, Burnaby, British Columbia, Canada |
||
| hal-01266596v1
Journal articles
White matter lesions in FTLD: distinct phenotypes characterize GRN and C9ORF72 mutations Neurology Genetics, American Academy of Neurology, 2016, 2 (1), ⟨10.1212/NXG.0000000000000047⟩ |
||
| hal-01589649v1
Conference papers
White Matter Fiber Segmentation Using Functional Varifolds MFCA 2017 - 6th MICCAI workshop on Mathematical Foundations of Computational Anatomy, Sep 2017, Québec, Canada. pp.92-100 |
||
| hal-01251663v1
Journal articles
White matter changes in comatose survivors of anoxic ischemic encephalopathy and traumatic brain injury: comparative diffusion-tensor imaging study Radiology, Radiological Society of North America, 2014, 270 (2), pp.506-16. ⟨10.1148/radiol.13122720⟩ |
||
| hal-00416485v1
Journal articles
Which wireless technology for Industrial Wireless Sensors Network? The development of OCARI technology IEEE Transactions on Industrial Electronics, Institute of Electrical and Electronics Engineers, 2009, 56 (10), pp.13 |
||
| hal-01238059v1
Conference papers
Which patients may benefit from the use of a decision support system to improve compliance of physician decisions with clinical practice guidelines: a case study with breast cancer involving data mining. The 14th World Congress on Medical and Health Informatics (MEDINFO2013), Aug 2013, Copenhagen, Denmark. pp.534-538, ⟨10.3233/978-1-61499-289-9-534⟩ |
||
| hal-01687489v1
Journal articles
Which epenthetic vowel? Phonetic categories versus acoustic detail in perceptual vowel epenthesis Journal of the Acoustical Society of America, Acoustical Society of America, 2017, 142 (2), pp.EL211 - EL217. ⟨10.1121/1.4998138⟩ |
||
| hal-00988830v1
Conference papers
Where was this picture painted ? - Localizing paintings by alignment to 3D models Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, Rouen, France. 6 p |
||
| hal-01895955v1
Conference papers
Where the dead blogs are. A Disaggregated Exploration of Web Archives to Reveal Extinct Online Collectives ICADL 2018 - 20th International Conference on Asia-Pacific Digital Libraries, Nov 2018, Hamilton, New Zealand. pp.1-12 |
||
| hal-02238256v1
Journal articles
When the Power of the Crowd Meets the Intelligence of the Middleware : The Mobile Phone Sensing Case Operating Systems Review, Association for Computing Machinery, 2019, 53 (1), pp.85-90. ⟨10.1145/3352020.3352033⟩ |
||
| hal-01871515v1
Conference papers
When Service-oriented Computing Meets the IoT: A Use Case in the Context of Urban Mobile Crowdsensing ESOCC 2018 : 7th European Conference on Service-oriented and Cloud Computing, Sep 2018, Como, Italy. ⟨10.1007/978-3-319-99819-0_1⟩ |
||
| hal-01416010v1
Journal articles
When Patrolmen Become Corrupted: Monitoring a Graph Using Faulty Mobile Robots Algorithmica, Springer Verlag, 2017, 79 (3), pp.925-940. ⟨10.1007/s00453-016-0233-9⟩ |
||
| emse-01222610v1
Journal articles
When organized crime applies academic results: a forensic analysis of an in-card listening device Journal of Cryptographic Engineering, Springer, 2015, pp 1-11. ⟨10.1007/s13389-015-0112-3⟩ |
||
| hal-01677427v1
Conference papers
When is multitask learning effective? Semantic sequence prediction under varying data conditions EACL 2017 - 15th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2017, Valencia, Spain. pp.1-10 |
||
| 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-02333640v2
Conference papers
When eXtended Para-Virtualization (XPV) meets NUMA EUROSYS 2019: 14th European Conference on Computer Systems, Mar 2019, Dresde, Germany. pp.7, ⟨10.1145/3302424.3303960⟩ |
||
| hal-01340283v1
Conference papers
When Expanders Help Self-Healing Distributed R-Tree Overlays IEEE ISPDC 2013, IEEE 12th International Symposium on Parallel and Distributed Computing, Jun 2013, Bucarest, Romania. pp.143-150 |
||
| hal-01634630v1
Conference papers
When Does Memory Speed-up Mixing? IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia |
||
| hal-00940552v1
Conference papers
When does CSMA become ALOHA? Allerton 2012 - 50th Annual Allerton Conference on Communication, Control, and Computing, Oct 2012, Monticello, IL, United States. pp.1634-1636, ⟨10.1109/Allerton.2012.6483416⟩ |
||
| hal-01678548v1
Journal articles
When Dijkstra meets vanishing point: a stereo vision approach for road detection IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-12 |
||
| hal-03021720v1
Conference papers
When Collaborative Treebank Curation Meets Graph Grammars LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France |
||
| hal-03109106v1
Preprints, Working Papers, ...
When Being Unseen from mBERT is just the Beginning: Handling New Languages With Multilingual Language Models 2020 |
||
| hal-02423707v1
Journal articles
When an optimal dominating set with given constraints exists Theoretical Computer Science, Elsevier, 2019, ⟨10.1016/j.tcs.2019.02.012⟩ |
||
| inria-00444782v1
Journal articles
What's wrong with us? Distributed Systems Online, IEEE, 2006, 7 (5), pp.ONLINE. ⟨10.1109/MDSO.2006.34⟩ |
||
| hal-01286584v1
Conference papers
What model and what conditions to implement unreliable failure detectors in dynamic networks? The 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems, Sep 2011, Rome, Italy. pp.13-17, ⟨10.1145/2034640.2034645⟩ |
||
| hal-01053876v1
Journal articles
What Makes Paris Look like Paris? ACM Transactions on Graphics, Association for Computing Machinery, 2012, 31 (4) |
||
| hal-01248528v1
Journal articles
What Makes Paris Look Like Paris? Communications of the ACM, Association for Computing Machinery, 2015, 58 (12), pp.103-110. ⟨10.1145/2830541⟩ |
||
| hal-01415090v1
Conference papers
What Makes a Distributed Problem Truly Local? SIROCCO 2016 - 23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland. pp.3, ⟨10.1007/978-3-319-48314-6⟩ |
||
| hal-01070210v2
Conference papers
What frequency bandwidth to run cellular network in a given country? - a downlink dimensioning problem WiOpt/SpaSWiN, May 2015, Bombay, India. ⟨10.1109/WIOPT.2015.7151119⟩ |
||
|
|
||