Skip to Main content Skip to Navigation


...
tel-00329849v1  Theses
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
hal-01835432v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. 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
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-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-03214192v1  Journal articles
Zichun ZhongWenping WangBruno LévyJing HuaXiaohu Guo. 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
Cédric ZanniFrédéric ClauxSylvain Lefebvre. 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
Imene ZangarZied MnasriVincent ColotteDenis JouvetAmal Houidhek. Duration modeling using DNN for Arabic speech synthesis
9th International Conference on Speech Prosody, Jun 2018, Poznań, Poland
...
hal-01947984v1  Conference papers
Mehdi ZakroumAbdellah HoumzMounir GhoghoGhita MezzourAbdelkader Lahmadi et al.  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-01797886v1  Conference papers
Ziteng WangJunfeng Liyonghong yanEmmanuel Vincent. 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-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
...
inria-00553519v1  Conference papers
Éric Villemonte de La ClergerieChristelle AyacheGaël de ChalendarGil FrancopouloClaire Gardent et al.  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
Pierre-Frédéric VillardPeter E. HammerDouglas P. PerrinPedro J. del NidoRobert Howe. 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
Fabienne Venant. 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
Fabienne Venant. 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
Vassilis VassiliadesJean-Baptiste Mouret. 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
Michel VacherEmmanuel VincentMarc-Eric Bobillier ChaumonThierry JoubertFrançois Portet et al.  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
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-01889934v1  Conference papers
Massimiliano TodiscoHéctor DelgadoKong Aik LeeMd SahidullahNicholas Evans et al.  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
Lucas TerissiGonzalo SadMauricio CerdaSlim OuniRodrigo Galvez et al.  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
Takéo Takahashi. 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
Frédéric SurBenoît BlaysatMichel Grediac. 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
Thomas Sturm. 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
Martin StraussPol MordelVictor MiguetAntoine Deleforge. 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
Sorin Stratulat. 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-01819720v1  Conference papers
Kamel SmaïliDominique FohrCarlos González-GallardoMichal GregaLucjan Janowski et al.  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
Sunit SivasankaranBrij Mohan Lal SrivastavaSunayana SitaramKalika BaliMonojit Choudhury. 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
Sunit SivasankaranEmmanuel VincentDominique Fohr. 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
Chinmay Singhalyann PontyIsaure Chauvot de Beauchêne. 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
Chinmay Singhalyann PontyIsaure Chauvot de Beauchêne. 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
Neeraj Kumar Singhyamine Aït-AmeurDominique Mery. 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
Gilles SimonAntoine FondMarie-Odile Berger. 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
...
hal-01889918v1  Conference papers
Sami SieranojaMd SahidullahTomi KinnunenJukka KomulainenAbdenour Hadid. 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
Wazen M ShbairMathis SteichenJerome FrancoisRadu State. 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
Andrii Dmytrovych ShachykovPatrick HenaffOlexandr Petrovych 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-02006019v1  Conference papers
Andrii Dmytrovych ShachykovPatrick HenaffAlexander Shulyak. 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
Romain SerizelNicolas TurpaultHamid Eghbal-ZadehAnkit Parag Shah. 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
Manuel SelvaJulien PagèsPhilippe Clauss. Polyhedral Optimization For JavaScript: The Challenges
IMPACT 2018 - 8th International Workshop on Polyhedral Compilation Techniques, Jan 2018, Manchester, United Kingdom
...
hal-01875361v1  Conference papers
Michael ScottAurore Guillevic. 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-01892423v1  Conference papers
Nicolas SchnepfRemi BadonnelAbdelkader LahmadiStephan Merz. 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