104828 results  save search


...
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-02133560v1  Journal articles
Shiming ZouHongxin ZhangQian BoleiXavier Granier. 基于着色区间约束的法向纹理编辑方法
Journal of Computer-Aided Design and Computer Graphics, 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 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-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
...
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⟩