Skip to Main content Skip to Navigation


...
hal-02307048v1  Conference papers
Manel ZoghlamiSabeur AridhiMondher MaddouriEngelbert Mephu Nguifo. A Structure Based Multiple Instance Learning Approach for Bacterial Ionizing Radiation Resistance Prediction
KES 2019 - 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep 2019, Budapest, Hungary
...
hal-02177496v1  Conference papers
Imene ZangarZied MnasriVincent ColotteDenis Jouvet. F0 modeling using DNN for Arabic parametric speech synthesis
INNSBDDL 2019 - INNS Big Data and Deep Learning, Apr 2019, Sestri Levante, Italy
hal-03018473v1  Conference papers
Vladimir Zamdzhiev. Reflecting Algebraically Compact Functors
Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩
...
hal-02370231v1  Conference papers
Weihai YuVictorien ElvingerClaudia-Lavinia Ignat. A Generic Undo Support for State-Based CRDTs
OPODIS 2019 - Proceedings of 23rd International Conference on Principles of Distributed Systems, Dec 2019, Neuchâtel, Switzerland. ⟨10.4230/LIPIcs.OPODIS.2019.14⟩
...
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
hal-02402950v1  Conference papers
Alexandru VulpeAli PaikanRazvan CraciunescuPouyan ZiafatiSofoklis Kyriazakos et al.  IoT Security Approaches in Social Robots for Ambient Assisted Living Scenarios
The 22nd International Symposium on Wireless Personal Multimedia Communications, Nov 2019, Lisbon, Portugal
...
hal-02178274v1  Conference papers
Petar VukmirovićJasmin Christian BlanchetteSimon CruanesStephan Schulz. Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.192-210
hal-02377051v1  Conference papers
Emmanuel Vincent. COMPRISE
META-FORUM 2019 - Cost-effective, Multilingual, Privacy-driven voice-enabled Services, Oct 2019, Bruxelles, Belgium
hal-02090623v1  Conference papers
Emmanuel Vincent. Parole & deep learning : succès et grands défis
Journée IA, Langage et Citoyens, Mar 2019, Nancy, France
...
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
...
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-02407443v1  Conference papers
Athénaïs VaginayMalika Smaïl-TabboneTaha Boukhobza. Towards an automatic conversion from SBML core to SBML qual
JOBIM 2019 - Journées Ouvertes Biologie, Informatique et Mathématiques, Jul 2019, Nantes, France
...
hal-02160855v2  Conference papers
Nicolas TurpaultRomain SerizelAnkit Parag ShahJustin Salamon. Sound event detection in domestic environments with weakly labeled data and soundscape synthesis
Workshop on Detection and Classification of Acoustic Scenes and Events, Oct 2019, New York City, United States
...
hal-02172099v1  Conference papers
Massimiliano TodiscoXin WangVille VestmanMd SahidullahHéctor Delgado et al.  ASVspoof 2019: Future Horizons in Spoofed and Fake Audio Detection
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02350573v1  Conference papers
Vincent ThomasGérémy HutinOlivier Buffet. Planification Monte Carlo orientée information
JFPDA 2019 - Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, Jul 2019, Toulouse, France
...
hal-02406605v1  Conference papers
Andreas TeuckeMarco VoigtChristoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms
FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩
hal-02374286v1  Conference papers
Deng TangBimal MandalSubhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction
INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
...
hal-01925653v2  Conference papers
Ilina StoilkovskaIgor KonnovJosef WidderFlorian Zuleger. Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
TACAS 2019 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17465-1_20⟩
...
hal-02166434v1  Conference papers
Brij Mohan Lal SrivastavaAurélien BelletMarc TommasiEmmanuel Vincent. Privacy-Preserving Adversarial Representation Learning in ASR: Reality or Illusion?
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02403717v1  Conference papers
Wazen ShbairMathis SteichenJérôme FrançoisRadu State. BlockZoom: Large-Scale Blockchain Testbed
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩
...
hal-02309658v1  Conference papers
Andrii ShachykovOleksandr ShuliakPatrick Henaff. Closed-loop Central Pattern Generator Control of Human Gaits in OpenSim Simulator
IJCNN 2019 - International Joint Conference on Neural Networks, Jul 2019, Budapest, Hungary
...
hal-02114652v2  Conference papers
Romain SerizelNicolas Turpault. Sound Event Detection from Partially Annotated Data: Trends and Challenges
IcETRAN conference, Jun 2019, Srebrno Jezero, Serbia
...
hal-02111656v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
inria-00270922v1  Conference papers
Sylvain SchmitzJoseph Le Roux. Calculs d'unification sur les arbres de dérivation TAG
TALN'08, 15ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. p. 320--329
hal-00276326v1  Conference papers
Sylvain SchmitzJoseph Le Roux. Feature Unification in TAG Derivation Trees
Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Jun 2008, Tübingen, Germany. p. 141-148
...
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩