Skip to Main content Skip to Navigation


...
hal-01807944v1  Book sections
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. An Overview of in Silico Methods for the Prediction of Ionizing Radiation Resistance in Bacteria
Tamar Reeve. Ionizing Radiation: Advances in Research and Applications, Nova science publishers, pp.241-256, 2018, Physics Research and Technology Series, 978-1-53613-539-8
...
hal-01942528v1  Book sections
Michel ZittAlain LeluMartine CadotGuillaume Cabanac. Bibliometric delineation of scientific fields
Wolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Mike Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, pp.25-68, 2019, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3⟩
hal-01239428v1  Book sections
Christoph Weidenbach. Automated Reasoning Building Blocks
Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, ⟨10.1007/978-3-319-23506-6_12⟩
...
hal-01881426v1  Book sections
Tuomas VirtanenEmmanuel VincentSharon Gannot. Time-frequency processing - Spectral properties
Emmanuel Vincent; Tuomas Virtanen; Sharon Gannot. Audio source separation and speech enhancement, Wiley, 2018, 978-1-119-27989-1
...
hal-01881423v1  Book sections
Emmanuel VincentSharon GannotTuomas Virtanen. Acoustics - Spatial properties
Emmanuel Vincent; Tuomas Virtanen; Sharon Gannot. Audio source separation and speech enhancement, Wiley, 2018, 978-1-119-27989-1
...
hal-01881424v1  Book sections
Emmanuel VincentTuomas VirtanenSharon Gannot. Perspectives
Emmanuel Vincent; Tuomas Virtanen; Sharon Gannot. Audio source separation and speech enhancement, Wiley, 2018, 978-1-119-27989-1
...
hal-01881422v1  Book sections
Emmanuel VincentSharon GannotTuomas Virtanen. Introduction
Emmanuel Vincent; Tuomas Virtanen; Sharon Gannot. Audio source separation and speech enhancement, Wiley, 2018, 978-1-119-27989-1
hal-01101225v1  Book sections
Stéphane VialleSylvain Contassot-Vivier. Optimization methodology for Parallel Programming of Homogeneous or Hybrid Clusters
F. Magoules. Patterns for parallel programming on GPUs, Saxe-Coburg Publications, 2014, 978-1-874672-57-9
...
hal-01937950v1  Book sections
Anastasiia TsukanovaBenjamin ElieYves Laprie. Articulatory Speech Synthesis from Static Context-Aware Articulatory Targets
Qiang Fang; Jianwu Dang; Pascal Perrier; Jianguo Wei; Longbiao Wang; Nan Yan. Studies on Speech Production, Springer, pp.37-47, 2018, Lecture Notes in Computer Science, 978-3-030-00125-4. ⟨10.1007/978-3-030-00126-1_4⟩
...
hal-01293351v1  Book sections
Emmanuel Thomé. A modified block Lanczos algorithm with fewer vectors
Joppe W. Bos; Arjen K. Lenstra. Topics in Computational Number Theory inspired by Peter L. Montgomery, Cambridge University Press, pp.175-188, 2017, 978-1-107-10935-3. ⟨10.1017/9781316271575.008⟩
hal-00942002v1  Book sections
Emmanuel Thomé. Function Field Sieve
Henk C. A. van Tilborg and Sushil Jajodia. Encyclopedia of Cryptography and Security, Springer, pp.501-502, 2011, 978-1-4419-5905-8. ⟨10.1007/978-1-4419-5906-5_450⟩
hal-00942003v1  Book sections
Emmanuel Thomé. Sieving in Function Fields
Henk C. A. van Tilborg and Sushil Jajodia. Encyclopedia of Cryptography and Security, Springer, pp.1205-1206, 2011, 978-1-4419-5905-8. ⟨10.1007/978-1-4419-5906-5_476⟩
inria-00636517v1  Book sections
Wahiba TaoualiNicolas P. RougierFrédéric Alexandre. Visual Target Selection Emerges from a Bio-inspired Network Topology
J. Kacprzyk. Studies in Computational Intelligence, Springer Verlag, 2012
...
hal-01099795v1  Reports
Frédéric SurMichel Grediac. An automated approach to quasi-periodic noise removal in natural images
[Research Report] RR-8660, INRIA Nancy, équipe Magrit; Institut Pascal, Université Blaise Pascal; INRIA. 2015
...
hal-01104124v1  Reports
Frédéric SurMichel Grediac. Measuring the noise of imaging sensors in the presence of vibrations and illumination flickering: modeling, algorithm, and experiments
[Research Report] RR-8672, Inria Nancy - Grand Est (Villers-lès-Nancy, France); Université Blaise Pascal; INRIA. 2015
...
hal-02862808v1  Reports
Frédéric SurBenoît BlaysatMichel Grédiac. On biases in displacement estimation for image registration, with a focus on photomechanics - Extended version
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA); Institut Pascal (Université Clermont-Auvergne, SIGMA, CNRS). 2020
hal-01093667v1  Book sections
Ye-Qiong Song. Scheduling in Networks
Real-time Systems Scheduling 2 : Focuses, 2, ISTE, 2014, Real-time Systems Scheduling 2 : Focuses, 9781848217898
hal-01216779v1  Book sections
Neeraj Kumar SinghDominique Méry. Event B (english version)
Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩
lirmm-01067487v1  Book sections
Daniel SimonYe-Qiong SongOlivier Sename. Control and Scheduling Joint Design
Maryline Chetto. Real-time Systems Scheduling, 2 "Focuses", ISTE Editions, pp.53-96, 2014, 9781848217898
...
hal-01575619v1  Book sections
Romain SerizelVictor BisotSlim EssidGael Richard. Acoustic Features for Environmental Sound Analysis
Tuomas Virtanen; Mark D. Plumbley; Dan Ellis. Computational Analysis of Sound Scenes and Events, Springer International Publishing AG, pp.71-101, 2017, 978-3-319-63449-4. ⟨10.1007/978-3-319-63450-0_4⟩
hal-01245221v1  Reports
Savita Seetaraman. Benchmarking of Network Virtualization Functions
[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2015
...
hal-01368683v1  Reports
Gabriel SargentFrédéric BimbotEmmanuel Vincent. Supplementary material to the article: Estimating the structural segmentation of popular music pieces under regularity constraints
[Research Report] IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex; INRIA Nancy, équipe Multispeech. 2016
...
hal-01974528v1  Book sections
Md SahidullahHéctor DelgadoMassimiliano TodiscoTomi KinnunenNicholas Evans et al.  Introduction to Voice Presentation Attack Detection and Recent Advances
Sébastien Marcel; Mark S. Nixon; Julian Fierrez; Nicholas Evans. Handbook of Biometric Anti-Spoofing: Presentation Attack Detection, Springer, pp.321-361, 2019, Advances in Computer Vision and Pattern Recognition, 978-3-319-92626-1. ⟨10.1007/978-3-319-92627-8_15⟩
...
hal-02907037v1  Reports
Md SahidullahAchintya Kumar SarkarVille VestmanXuechen LiuRomain Serizel et al.  UIAI System for Short-Duration Speaker Verification Challenge 2020
[Research Report] Short-duration Speaker Verification Challenge 2020. 2020
...
hal-02282908v1  Book sections
Igor RyadchikovSemyon SechenevNikita MikhalkovAndrey BiryukAlexander Svidlov et al.  Feedback Control with Equilibrium Revision for CMG-Actuated Inverted Pendulum
Proceedings of 14th International Conference on Electromechanics and Robotics "Zavalishin's Readings", pp.431-440, 2020, ⟨10.1007/978-981-13-9267-2_35⟩
hal-00880352v1  Book sections
David RitchieVioleta Pérez-Nueno. ParaFit
Nathan Brown. Scaffold Hopping in Medicinal Chemistry, 58, Wiley, 2013, Methods and Principles in Medicinal Chemistry, 978-3-527-33364-6
hal-00666809v1  Book sections
David Ritchie. Modeling Protein-Protein Interactions by Rigid-Body Docking
Timothy Clark and Lee Banting. Drug Design Strategies: Computational Techniques and Applications, RSC Publishing, pp.56-86, 2012, RSC Drug Discovery Series, 978-1-84973-167-6. ⟨10.1039/9781849733403⟩
...
hal-02187244v1  Book sections
Christophe Ringeissen. Building and Combining Matching Algorithms
Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.523-541, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-22102-7_24⟩