HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-01644290v1  Journal articles
Kai HuTeng ZhangLihong ShangZhibing YangJean-Pierre Talpin. 面向同步规范的并行代码自动生成
Journal of Software, Science in China Press, 2017, 28, pp.1-15. ⟨10.13328/j.cnki.jos.005056⟩
hal-03268864v1  Journal articles
Frédérick DouzetStéphane Grumbach. 应对网络空间系统性风险需要全球性策略
网络传播 = New Media, Cyberspace Administration of China, 2021
...
hal-02133560v1  Journal articles
Shiming ZouHongxin ZhangQian BoleiXavier Granier. 基于着色区间约束的法向纹理编辑方法
Jisuanji-fuzhu-sheji-yu-tuxingxue-xuebao / Journal of computer-aided design & computer graphics, Beijing, 2011, 23 (12), pp.2067-2073
...
hal-01798576v1  Journal articles
Andrii ShachykovPatrick HenaffOlexandr Shulyak. Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека
Bulletin of National Technical University of Ukraine "KPI". Series Instrument Making, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018, 55(1), pp.118-125. ⟨10.20535/1970.55(1).2018.135832⟩
hal-02379302v1  Journal articles
Emmanuelle LeratH. Ochman. Ψ-Φ: Exploring the outer limits of bacterial pseudogenes
Genome Research, Cold Spring Harbor Laboratory Press, 2004, 14, pp.2273--2278
hal-01904081v1  Journal articles
Nicolas TrotignonLan Anh Pham. χ-bounds, operations, and chords
Journal of Graph Theory, Wiley, 2018, 88 (2), pp.312 - 336. ⟨10.1002/jgt.22214⟩
...
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 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-01433127v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark
hal-01433093v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
...
hal-01906996v1  Conference papers
Xavier MarchalThibault CholezOlivier Festor. μNDN: an Orchestrated Microservice Architecture for Named Data Networking
ACM-ICN'18 - 5th ACM Conference on Information-Centric Networking, Sep 2018, Boston, United States. pp.12, ⟨10.1145/3267955.3267961⟩
...
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-01423494v1  Conference papers
Oumayma BahriEl-Ghazali TalbiNahla Benamor. β-Robustness approach for fuzzy multi-objective problems
IPMU‘2016 - 16th Int. Conference On Information Processing and Management on Uncertainty in Knowledge-based Systems, 2016, Eindhoeven, Netherlands. pp.225-237, ⟨10.1007/978-3-319-40581-0_19⟩
hal-03462802v1  Book sections
Francesco de PascaliPauline RaynaudFrédéric Jean-AlphonseShifa TahirVéronique Bozon et al.  β-arrestins and endocrine-related GPCRs
Cellular Endocrinology in Health and Disease, Elsevier, pp.445-458, 2021, 978-0-12-819801-8. ⟨10.1016/B978-0-12-819801-8.00021-1⟩
...
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, Varsovie, 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-03118264v1  Conference papers
Adel JaouenErwan Le Merrer. zoNNscan: a boundary-entropy index for zone inspection of neural models
MCS 2020 - Monte Carlo Search workshop, Jan 2021, Virtual, Japan. pp.1-8
hal-01141841v1  Journal articles
Ronan BoitardRémi CozotDominique ThoreauKadi Bouatouch. Zonal brightness coherency for video tone mapping
Signal Processing: Image Communication, Elsevier, 2014, 29 (2), pp.229-246. ⟨10.1016/j.image.2013.10.001⟩
...
hal-00995875v2  Conference papers
Henrik ZimmerFlorent LafargePierre AlliezLeif Kobbelt. Zometool Shape Approximation
Geometric Modeling and Processing, Jun 2014, Singapore, Singapore
...
hal-01054395v1  Conference papers
Karën FortBruno GuillaumeValentin Stern. ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16
...
hal-03155694v1  Conference papers
Aurélie BoisbunonCarlo FanaraIngrid GrenetJonathan DaedenAlexis Vighi et al.  Zoetrope Genetic Programming for Regression
GECCO 2021, ACM, Jul 2021, Lille, France. pp.776-784
...
hal-00923877v1  Conference papers
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
Symposium on Computational Geometry, 2013, Rio de Janeiro, Brazil
...
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-00755280v1  Reports
Steve OudotDonald Sheehy. Zigzag Zoology: Rips Zigzags for Homology Inference
[Research Report] RR-8141, INRIA. 2012, pp.48
...
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
ISCCSP 2008 - 4th International Symposium on Communications, Control and Signal Processing, Mar 2010, Limassol, Cyprus. pp.n.c
...
hal-00413217v1  Journal articles
Lionel Clément. Zeugme sémantique
Revue de Sémantique et Pragmatique, Presses de l'Université d'Orléans, 2010, pp.231-247
...
hal-02428382v1  Conference papers
Gabriel AntoniuAlexandru CostanOvidiu-Cristian Marcu. ZettaFlow: Towards High-Performance ML-based Analytics across the Digital Continuum
BDEC2 San Diego: Big Data and Extreme-scale Computing, San Diego Supercomputing Center, Oct 2019, San Diego, California, United States. pp.4
...
hal-03341912v1  Conference papers
Amélie HéliouMatthieu MartinThibaud RahierPanayotis Mertikopoulos. Zeroth-order non-convex learning via hierarchical dual averaging
ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Vienna, Austria. pp.1-34
hal-01424094v1  Conference papers
Gerardo Rubino. Zero-variance Approaches in Static Reliability Problems
SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland
hal-01428997v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China
hal-01428994v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
Workshop: Advances in Convex Analysis and Optimization, Jul 2016, Erice, Italy
...
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⟩
hal-01110386v1  Journal articles
Dario CatalanoMario Di RaimondoDario FioreMariagrazia Messina. 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⟩
...
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⟩
...
hal-03290860v2  Conference papers
Nicolas CharpenayMaël Le TreustAline Roumy. Zero-error source coding when side information may be present
IZS 2022 - International Zurich Seminar on Information and Communication, Mar 2022, Zurich, Switzerland. pp.1-5
...
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-03464840v1  Poster communications
César SabaterJan Ramon. Zero Knowledge Arguments for Verifiable Sampling
NeurIPS 2021 Workshop Privacy in Machine Learning, Dec 2021, Sydney (Virtual), Australia
...
hal-03211710v3  Conference papers
Ludovic SacchelliJean-Baptiste CaillauThierry CombotJean-Baptiste Pomet. Zermelo-Markov-Dubins with two trailers
LHMNC 2021 - 7th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Oct 2021, Berlin, Germany. pp.249-245, ⟨10.1016/j.ifacol.2021.11.086⟩
...
hal-03656974v1  Conference papers
Matthieu GouelKevin VermeulenMaxime MouchetJustin RohrerOlivier Fourmaux et al.  Zeph & Iris cartographient l'internet
CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France
...
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⟩
lirmm-00748563v1  Journal articles
Esther PacittiPatrick Valduriez. Zenith: Scientific Data Management on a Large Scale
ERCIM News, ERCIM, 2012, 2012 (89), pp.2
hal-01279011v1  Conference papers
Diana JoumblattFrançois EspinetD. Rossi. Zen and the art of network troubleshooting: a hands on experimental study
Traffic Monitoring and Analysis (TMA'15), Apr 2015, Barcellona, Spain
...
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⟩