|
||
---|---|---|
tel-00329849v1
Theses
Combination Methods for Verification Problems Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English |
||
hal-01835432v1
Conference papers
ABClass : Une approche d'apprentissage multi-instances pour les séquences RJCIA 2018 - 16èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jul 2018, Nancy, France. pp.1-9 |
||
hal-01807944v1
Book sections
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-01744426v1
Journal articles
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-03214192v1
Journal articles
Computing a high-dimensional euclidean embedding from an arbitrary smooth riemannian metric ACM Transactions on Graphics, Association for Computing Machinery, 2018, 37 (4), pp.1-16. ⟨10.1145/3197517.3201369⟩ |
||
hal-01792866v1
Conference papers
HCSG: Hashing for real-time CSG modeling Proceedings of the ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, May 2018, Montreal, Canada. ⟨10.1145/3203198⟩ |
||
hal-01889917v1
Conference papers
Duration modeling using DNN for Arabic speech synthesis 9th International Conference on Speech Prosody, Jun 2018, Poznań, Poland |
||
hal-01947984v1
Conference papers
Exploratory Data Analysis of a Network Telescope Traffic and Prediction of Port Probing Rates ISI 2018 - IEEE Intelligence and Security Informatics, Nov 2018, Miami, United States |
||
hal-01634449v1
Journal articles
Rank-1 Constrained Multichannel Wiener Filter for Speech Recognition in Noisy Environments Computer Speech and Language, Elsevier, 2018, 49, pp.37-51. ⟨10.1016/j.csl.2017.11.003⟩ |
||
hal-01797886v1
Conference papers
Semi-supervised learning with deep neural networks for relative transfer function inverse regression ICASSP 2018 – IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Canada |
||
hal-01757771v1
Journal articles
The pATM Immunofluorescence assay: a high-performance radiosensitivity assay to predict post radiotherapy overreactions. International Journal of Radiation Oncology - Biology - Physics, Elsevier, 2018, 101 (3), pp.690-693. ⟨10.1016/j.ijrobp.2018.03.047⟩ |
||
hal-01881426v1
Book sections
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
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
Perspectives Emmanuel Vincent; Tuomas Virtanen; Sharon Gannot. Audio source separation and speech enhancement, Wiley, 2018, 978-1-119-27989-1 |
||
hal-01881422v1
Book sections
Introduction Emmanuel Vincent; Tuomas Virtanen; Sharon Gannot. Audio source separation and speech enhancement, Wiley, 2018, 978-1-119-27989-1 |
||
hal-01762264v1
Conference papers
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond QPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩ |
||
inria-00553519v1
Conference papers
Large scale production of syntactic annotations for French First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China |
||
hal-01643868v1
Journal articles
Fast Image-Based Mitral Valve Simulation from Individualized Geometry The International Journal of Medical Robotics and Computer Assisted Surgery, John Wiley & Sons, Inc., 2018, 14 (2), pp.e1880. ⟨10.1002/rcs.1880⟩ |
||
|
||
hal-00348716v1
Journal articles
Représentation géométrique et calcul dynamique du sens lexical : application à la polysémie de livre Langages, Armand Colin (Larousse jusqu'en 2003), 2008, 172, pp.30-54 |
||
hal-00336409v1
Book sections
Calcul dynamique du sens d'un adjectif : de l'ante à la postposition, un méchant changement de sens Autour des langues et du langage : perspective pluridisciplinaire, Presse Universitaire de Grenoble, pp.xx-xx, 2008 |
||
hal-01764739v1
Conference papers
Discovering the Elite Hypervolume by Leveraging Interspecies Correlation GECCO 2018 - Genetic and Evolutionary Computation Conference, Jul 2018, Kyoto, Japan. ⟨10.1145/3205455.3205602⟩ |
||
hal-01830217v2
Conference papers
The VocADom Project: Speech Interaction for Well-being and Reliance Improvement MobileHCI 2018 - 20th International Conference on Human-Computer Interaction with Mobile Devices and Services, Sep 2018, Barcelona, Spain |
||
hal-01937950v1
Book sections
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⟩ |
||
inria-00331479v1
Reports
Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation [Research Report] RR-6688, INRIA. 2008, pp.34 |
||
hal-01889934v1
Conference papers
Integrated Presentation Attack Detection and Automatic Speaker Verification: Common Features and Gaussian Back-end Fusion Interspeech 2018 - 19th Annual Conference of the International Speech Communication Association, Sep 2018, Hyderabad, India. ⟨10.21437/Interspeech.2018-2289⟩ |
||
hal-01862585v1
Conference papers
A French-Spanish Multimodal Speech Communication Corpus Incorporating Acoustic Data, Facial, Hands and Arms Gestures Information Interspeech 2018 - 19th Annual Conference of the International Speech Communication Association, Sep 2018, Hyderabad, India |
||
tel-00590675v1
Habilitation à diriger des recherches
Analyse théorique, analyse numérique et contrôle de systèmes d'interaction fluide-structure et de systèmes de type ondes Mathématiques [math]. Université Henri Poincaré - Nancy I, 2008 |
||
hal-01664997v1
Journal articles
Rendering Deformed Speckle Images with a Boolean Model Journal of Mathematical Imaging and Vision, Springer Verlag, 2018, 60 (5), pp.634-650. ⟨10.1007/s10851-017-0779-4⟩ |
||
hal-01889817v1
Conference papers
Thirty Years of Virtual Substitution ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209030⟩ |
||
hal-01854878v1
Conference papers
DREGON: Dataset and Methods for UAV-Embedded Sound Source Localization IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.5735-5742, ⟨10.1109/IROS.2018.8593581⟩ |
||
hal-01883826v1
Conference papers
Validating Back-links of FOLID Cyclic Pre-proofs CL&C'18 - Seventh International Workshop on Classical Logic and Computation, Jul 2018, Oxford, United Kingdom. pp.39--53 |
||
hal-01821338v1
Journal articles
FiloGen: A Model-Based Generator of Synthetic 3D Time-Lapse Sequences of Single Motile Cells with Growing and Branching Filopodia IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2018, pp.1-12. ⟨10.1109/TMI.2018.2845884⟩ |
||
hal-01819720v1
Conference papers
A First Summarization System of a Video in a Target Language MISSI 2018 - 11th edition of the International Conference on Multimedia and Network Information Systems, Sep 2018, Wrocław, Poland. pp.1-12 |
||
hal-01800466v1
Conference papers
Phone Merging for Code-switched Speech Recognition Third Workshop on Computational Approaches to Linguistic Code-switching, collocated with ACL 2018 Jul 2018, Melbourne, Australia |
||
hal-01817519v1
Conference papers
Keyword-based speaker localization: Localizing a target speaker in a multi-speaker environment Interspeech 2018 - 19th Annual Conference of the International Speech Communication Association, Sep 2018, Hyderabad, India |
||
hal-02394529v1
Conference papers
A hybrid combinatorial method for docking single stranded RNAs in a protein pockect at the thermodynamic equilibrium JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques), Jul 2018, Marseille, France |
||
hal-01925083v1
Poster communications
A hybrid combinatorial method for docking single stranded RNA on proteins at the thermodynamic equilibrium RECOMB 2018 - 22nd Annual International Conference on Research in Computational Molecular Biology, Apr 2018, Paris, France |
||
hal-02353400v1
Conference papers
Formal Ontology Driven Model Refactoring 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩ |
||
hal-01865251v1
Conference papers
A-Contrario Horizon-First Vanishing Point Detection Using Second-Order Grouping Laws ECCV 2018 - European Conference on Computer Vision, Sep 2018, Munich, Germany. pp.323-338 |
||
tel-01883287v1
Theses
A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0109⟩ |
||
hal-01889918v1
Conference papers
Audiovisual Synchrony Detection with Optimized Audio Features ICSIP 2018 - 3rd International Conference on Signal and Image Processing, Jul 2018, Shenzhen, China |
||
hal-01939865v1
Conference papers
Blockchain orchestration and experimentation framework: A case study of KYC IEEE/IFIP Man2Block 2018 - IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan |
||
hal-01798576v1
Journal articles
Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека 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-02006019v1
Conference papers
Modeling of human gait control using CPGs JNRH 2018 - Journées Nationales de la Robotique Humanoïde, Jun 2018, Nancy, France |
||
hal-01850270v1
Conference papers
Large-Scale Weakly Labeled Semi-Supervised Sound Event Detection in Domestic Environments Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2018, Woking, United Kingdom |
||
hal-02472413v1
Conference papers
Polyhedral Optimization For JavaScript: The Challenges IMPACT 2018 - 8th International Workshop on Polyhedral Compilation Techniques, Jan 2018, Manchester, United Kingdom |
||
hal-01875361v1
Conference papers
A New Family of Pairing-Friendly elliptic curves International Workshop on the Arithmetic of Finite Fields - WAIFI, Lilya Budaghyan and Tor Helleseth, Jun 2018, Bergen, Norway. pp.43-57, ⟨10.1007/978-3-030-05153-2_2⟩ |
||
hal-01892390v1
Conference papers
Generation of SDN policies for protecting Android environments based on automata learning NOMS 2018 - IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. ⟨10.1109/NOMS.2018.8406153⟩ |
||
hal-01892423v1
Conference papers
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks AVOCS 2018 - 18th International Workshop on Automated Verification of Critical Systems, Jul 2018, Oxford, United Kingdom |
||
|