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-01839277v2  Journal articles
Antoine Zurek. Numerical approximation of a concrete carbonation model: study of the $\sqrt{t}$-law of propagation
Numerical Methods for Partial Differential Equations, Wiley, 2019, 35 (5), pp.1801-1820. ⟨10.1002/num.22377⟩
inria-00123307v1  Journal articles
Nianming ZuoDan XiaYu ZouTianzi JiangXiaochuan Pan. Chord-based image reconstruction in cone-beam CT with a curved detector
Medical Physics, American Association of Physicists in Medicine, 2006, Medical Physics, 33 (10), pp.3743-3757. ⟨10.1118/1.2337270⟩
hal-00784411v1  Journal articles
Marcos ZúñigaFrancois BremondMonique Thonnat. Real-time reliability measure-driven multi-hypothesis tracking using 2D and 3D features
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2011, 2011 (1), pp.142
hal-00864827v1  Journal articles
Julianna Zsidó. Theorem of three circles in Coq
Journal of Automated Reasoning, Springer Verlag, 2013, ⟨10.1007/s10817-013-9299-0⟩
hal-00428381v1  Journal articles
S. ZrioualR. EcochardA. TournadreV. LeniefM.-A. Cazalis et al.  Genome-Wide Comparison between IL-17A- and IL-17F- Induced Effects in Human Rheumatoid Arthritis Synoviocytes
Journal of Immunology, Publisher : Baltimore : Williams & Wilkins, c1950-. Latest Publisher : Bethesda, MD : American Association of Immunologists, 2009, 182(5), pp.3112-3120
hal-01479704v1  Journal articles
Akram ZouggariLyes Benyoucef. Simulation-based fuzzy TOPSIS approach for group multi-criteria supplier selection problem
Engineering Applications of Artificial Intelligence, Elsevier, 2012, 25 (3), pp.507-519. ⟨10.1016/j.engappai.2011.10.012⟩
inria-00455131v1  Journal articles
Nadia ZoubaFrancois BremondMonique ThonnatAlain AnfossoEric Pascual et al.  A Computer system to monitor older adults at home: Preliminary results
Gerontechnology, ISG International Society for Gerontechnology, 2009, International journal on the fundamental aspects of technology to serve the ageing society, 8 (3), pp.129-139. ⟨10.4017/gt.2009.⟩
inria-00504703v1  Journal articles
Nadia ZoubaFrancois BremondAlain AnfossoMonique ThonnatEric Pascual et al.  Monitoring elderly activities at home
Gerontechnology, ISG International Society for Gerontechnology, 2010, 9 (2)
hal-00732856v1  Journal articles
Rafik ZouariLaurent MevelMichèle Basseville. An Adaptive Statistical Approach To Flutter Detection
Journal of Aircraft, American Institute of Aeronautics and Astronautics, 2012, 49 (3)
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-01243552v1  Journal articles
Wenbin ZouZhi LiuKidiyo KpalmaJoseph RonsinYong Zhao et al.  Unsupervised Joint Salient Region Detection and Object Segmentation
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2015, 24 (11), ⟨10.1109/TIP.2015.2456497⟩
hal-02377106v1  Journal articles
Lucile ZornFlorent NageottePhilippe ZanneAndras LegnerBernard Dallemagne et al.  A Novel Telemanipulated Robotic Assistant for Surgical Endoscopy: Preclinical Application to ESD
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2018, 65 (4), pp.797-808. ⟨10.1109/TBME.2017.2720739⟩
hal-02393742v1  Journal articles
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. Multiple instance learning for sequence data with across bag dependencies
International journal of machine learning and cybernetics, Springer, 2020, 11, pp.629-642. ⟨10.1007/s13042-019-01021-5⟩
hal-01480003v1  Journal articles
Michael ZockGil FrancopouloAbdellatif Laroui. SWIM: a Natural Interface for the Scientifically Minded Language Learner
Computers and the Humanities, Springer Verlag, 1989, 23 (4/5), pp.411-422
hal-02171976v1  Journal articles
Fairouz ZobiriNacim MeslemBrigitte Bidégaray-Fesquet. Self-triggered stabilizing controllers for linear continuous-time systems
International Journal of Robust and Nonlinear Control, Wiley, 2020, 30 (16), pp.6502-6517. ⟨10.1002/rnc.5123⟩
hal-02949581v1  Journal articles
I.C. ZobiJ.P. PascalP. CouteronK.B. Kouadio. Improving the Precision of Forestry Experimentation with Covariance Analysis
Journal of Applied Sciences, Asian Network for Scientific Information, 2008, 8 (5), pp.866-870. ⟨10.3923/jas.2008.866.870⟩
hal-00919031v1  Journal articles
Wassim ZnaidiMarine Minier. Key establishment and management for WSNs
Telecommunication Systems, Springer Verlag (Germany), 2012, 50 (2), pp.113-125
hal-00918969v1  Journal articles
Wassim ZnaidiMarine MinierStéphane Ubéda. Hierarchical Node Replication Attacks Detection in Wireless Sensor Networks
International Journal of Distributed Sensor Networks, Hindawi Publishing Corporation, 2013, 2013, 12 p. ⟨10.1155/2013/745069⟩
hal-00516860v1  Journal articles
Michel ZittAlain LeluElise Bassecoulard. Hybrid citation-word representations in science mapping: portolan charts of research fields?
Journal of the American Society for Information Science and Technology, Association for Information Science and Technology (ASIS&T), 2010, 62 (1), pp.19-39
inria-00099785v1  Journal articles
Imed ZitouniKamel SmaïliJean-Paul Haton. Statistical Language Modeling Based on Variable-Length Sequences
Computer Speech and Language, Elsevier, 2003, 17 (1), pp.27-41
inria-00100648v1  Journal articles
Imed Zitouni. Modélisation du langage pour les systèmes de reconnaissance de la parole : Application à MAUD
In Cognito - Cahiers Romans de Sciences Cognitives, In Cognito, INPG, 46 Avenue Felix Viallet, 38031 Grenoble Cedex, 2001, pp.43-44
inria-00098446v1  Journal articles
Djemel ZiouAntoine Tabbone. Edge Detection Techniques-An Overview
Распознавание образов и анализ изображен / Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications, MAIK Nauka/Interperiodica (МАИК Наука/Интерпериодика), 1998, 8 (4), pp.537-559
hal-01744426v1  Journal articles
Oleksandr ZinenkoStéphane HuotCédric Bastoul. Visual Program Manipulation in the Polyhedral Model
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2018, 15 (1), pp.1 - 25. ⟨10.1145/3177961⟩
hal-00917750v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.3
SAC Newsletter, SAC, 1996
hal-00917747v1  Journal articles
P. Zimmermann. Function Composition and Automatic Average Case Analysis
Discrete Mathematics, Elsevier, 1995, 139, pp.443-453
hal-00917751v1  Journal articles
Paul Zimmermann. Calcul formel : l'embarras du choix
Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43
hal-00917749v1  Journal articles
P. Zimmermann. New features in MuPAD 1.2.2
MathPAD, Paderborn University, 1995, 5 (1), pp.27--38
hal-00917746v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.2.2
Computer Algebra Nederland Nieuwsbrief, CWI, 1995, pp.53--64
hal-00917745v1  Journal articles
Paul Zimmermann. Gaïa: a package for the random generation of combinatorial structures
MapleTech, Waterloo Maple Software, 1994, 1 (1), pp.38-46
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
inria-00100543v1  Journal articles
Paul Zimmermann. Arithmétique en précision arbitraire
Réseaux et systèmes répartis, calculateurs parallèles, Hermès science, 2001, 13 (4-5), 29 p
inria-00000536v1  Journal articles
Paul Zimmermann. MPFR : vers un calcul flottant correct ?
Interstices, INRIA, 2005
hal-01830102v1  Journal articles
Konstantin ZimenkoAndrey PolyakovDenis Efimov. On Finite-Time Robust Stabilization via Nonlinear State Feedback
International Journal of Robust and Nonlinear Control, Wiley, 2018, 28 (16), pp.4951-4965. ⟨10.1002/rnc.4292⟩
hal-03624528v1  Journal articles
Konstantin ZimenkoDenis EfimovAndrey Polyakov. Adaptive Finite-time and Fixed-time Control Design using Output Stability Conditions
International Journal of Robust and Nonlinear Control, Wiley, In press
hal-02614543v1  Journal articles
Konstantin ZimenkoAndrey PolyakovDenis EfimovWilfrid Perruquetti. Robust Feedback Stabilization of Linear MIMO Systems Using Generalized Homogenization
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TAC.2020.2969718⟩
inria-00099720v1  Journal articles
Shlomo ZilbersteinFrançois CharpilletPhilippe Chassaing. Optimal Sequencing of Contract Algorithms
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2003, 39 (1), pp.1-18. ⟨10.1023/A:1024412831598⟩
hal-02951875v1  Journal articles
Katja ZibrekBenjamin NiayAnne-Hélène OlivierLudovic HoyetJulien Pettré et al.  The effect of gender and attractiveness of motion on proximity in virtual reality
ACM Transactions on Applied Perception, Association for Computing Machinery, 2020, 17 (4), pp.1-15. ⟨10.1145/3419985⟩
hal-01242262v1  Journal articles
Shuguo ZhuoYe-Qiong SongZhi WangZhibo WangLuís Almeida. A Traffic Adaptive Multi-channel MAC Protocol with Dynamic Slot Allocation for WSNs
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2015, 15 (7), pp.1600 - 1613. ⟨10.1109/TMC.2015.2473852⟩
hal-00925881v1  Journal articles
Anna ZhukovaDavid James Sherman. Knowledge-based generalization of metabolic models
Journal of Computational Biology, Mary Ann Liebert, 2014, 21 (7), pp.534-47. ⟨10.1089/cmb.2013.0143⟩
hal-00906911v1  Journal articles
Anna ZhukovaDavid James Sherman. Knowledge-based generalization of metabolic networks: a practical study
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2014, 12(2) (1441001), ⟨10.1142/S0219720014410017⟩
hal-01371091v1  Journal articles
Sergiy ZhukAndrey PolyakovOlexander Nakonechnyi. Note on Minimax Sliding Mode Control Design for Linear Systems
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TAC.2016.2612058⟩
hal-01174081v1  Journal articles
Sergiy ZhukFrank JasonIsabelle HerlinRobert Shorten. Data assimilation for linear parabolic equations: minimax projection method
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2015, 37 (3), pp.A1174-A1196. ⟨10.1137/13094709X⟩