Skip to Main content Skip to Navigation

hal-01393327v1  Book sections
Marta ZoppelloAntonio DesimoneFrançois AlougesLaetitia GiraldiPierre Martinon. Optimal control of slender microswimmers
Gerisch, Alf and Penta, Raimondo and Lang, Jens. Multiscale Models in Mechano and Tumor Biology, Springer International Publishing, pp.21, 2017, 978-3-319-73371-5. ⟨10.1007/978-3-319-73371-5_8⟩
hal-01598620v1  Conference papers
Fairouz ZobiriEmmanuel WitrantFrançois Bonne. PDE Observer Design for Counter-Current Heat Flows in a Heat-Exchanger
IFAC WC 2017 - 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7127-7132, ⟨10.1016/j.ifacol.2017.08.548⟩
hal-01514134v1  Conference papers
Fairouz ZobiriNacim MeslemBrigitte Bidégaray-Fesquet. Event-Triggered Stabilizing Controllers Based on an Exponentially Decreasing Threshold
EBCCSP 2017 - 3rd IEEE Conference on Event-Based Control Communication and Signal Processing, May 2017, Funchal, Portugal. pp.1-8, ⟨10.1109/EBCCSP.2017.8022821⟩
lirmm-01620354v1  Conference papers
Mehdi ZitouniReza AkbariniaSadok Ben YahiaFlorent Masseglia. Massively Distributed Environments and Closed Itemset Mining: The DCIM Approach
BDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France. pp.1-15
hal-01588421v2  Conference papers
Jean-Karim ZinzindohouéKarthikeyan BhargavanJonathan ProtzenkoBenjamin Beurdouche. HACL * : A Verified Modern Cryptographic Library
ACM Conference on Computer and Communications Security (CCS), Oct 2017, Dallas, United States
hal-01671994v1  Conference papers
Théo ZimmermannHugo Herbelin. Coq's Prolog and application to defining semi-automatic tactics
Type Theory Based Tools, Jan 2017, Paris, France
hal-01443192v1  Journal articles
Jiamin ZhuEmmanuel TrélatMax Cerf. Geometric Optimal Control and Applications to Aerospace
Pacific Journal of Mathematics for Industry, Springer, 2017, 9 (1), pp.9:8
hal-01567484v1  Conference papers
Kuang ZhouArnaud MartinQuan Pan. Evidence combination for a large number of sources
2017 20th International Conference on Information Fusion (FUSION), Jul 2017, Xi'an, China
hal-01560187v1  Conference papers
Amelie ZhouShadi IbrahimBingsheng He. On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters
ICDCS'17 : IEEE 37th International Conference on Distributed Computing Systems, Jun 2017, Atlanta, United States. ⟨10.1109/ICDCS.2017.98⟩
hal-01576540v1  Reports
Gulzhan Zhassulanbaikyzy. Image processing with learning capabilities for color images
[Research Report] Laboratoire Jean Kuntzmann; Université Grenoble - Alpes; Grenoble INP. 2017
hal-01669918v1  Conference papers
Hui ZhaoLudovic ApvrilleFrédéric Mallet. Multi-View Design for Cyber-Physical Systems
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
hal-01657608v1  Conference papers
Jie ZhaoAlbert Cohen. A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds
IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.1-10
hal-01565560v1  Journal articles
Jian ZhaoMichael GlueckPetra IsenbergFanny ChevalierAzam Khan. Supporting Handoff in Asynchronous Collaborative Sensemaking Using Knowledge-Transfer Graphs
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2017, 24 (1), pp.340-350. ⟨10.1109/TVCG.2017.2745279⟩
hal-01635131v1  Conference papers
Qinghua Zhang. Inverse Scattering for Electrical Cable Soft Fault Diagnosis
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-2
hal-01635108v1  Conference papers
Qinghua Zhang. Adaptive Kalman Filter for Actuator Fault Diagnosis
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1-6