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-02942060v1  Books
Serge ChaumetteJin Hyun KimKamesh NamuduriJames P.G. Sterbenz. 无人机网络与通信
China Machine Press (for Cambridge University Press), 2019
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-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-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-03118264v1  Conference papers
Adel JaouenErwan Le Merrer. zoNNscan: a boundary-entropy index for zone inspection of neural models
Monte Carlo Search workshop (MCS), Jan 2021, Virtual, Japan
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-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