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⟩
inria-00598558v1  Conference papers
Yesser YedesAnis ChelbiNidhal Rezg. Integrated inventory production and shipment model for a single vendor single buyer system
International Conference on Information Systems, Logistics and Supply Chain, 2008, Madison, United States. pp.37-48
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⟩
inria-00598738v1  Conference papers
Simon TamayoThibaud MonteiroNathalie Sauer. Modélisation de la dispersion pour son optimisation par un algorithme génétique
7ème Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.950-957
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
inria-00598648v1  Conference papers
Hatem SioudZied AchourAlexandre SavaNidhal Rezg. Deadlock Freeness for Closed-loop Marked Graphs
9th IFAC Workshop on Intelligent Manufacturing Systems - IMS'08, Oct 2008, Szczecin, Poland. pp.207-212
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-00426013v1  Conference papers
Jérémie SchutzNidhal RezgJean-Baptiste Léger. Contribution au développement d'un plan d'exploitation et de maintenance basé sur une loi de dégradation évolutive
Modélisation, Optimisation et Simulation des Systèmes : Communication, Coopération et Coordination, Mar 2008, Paris, France. pp.1841-1850
hal-00426024v1  Conference papers
Jérémie SchutzNidhal RezgJean-Baptiste Léger. Periodic Preventive Maintenance Policy in Finite Horizon With an Adaptive Failure Law
International Conference on Industrial Engineering and Engineering Management, Dec 2008, Singapour, Singapore. pp.2117-2121, ⟨10.1109/IEEM.2008.4738245⟩
hal-02276130v1  Conference papers
Nava SchulmannStéphane CotinIgor Peterlik. The effect of discretization on parameter identification. Application to patient-specific simulations
CMBBE 2019 - 16th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, Aug 2019, New York (NY), United States
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-02456534v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Think Unlimited and Compress Data Automatically
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
hal-02072737v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Automatic adaptive approximation for stencil computations
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
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⟩
inria-00598642v1  Conference papers
Alexandre SavaZied AchourNidhal RezgNourredinne Malki. Synthèse d'une structure de controle tolérante aux fautes basée sur les réseaux de Petri
5ème Conférence Internationale Francophone d'Automatique - CIFA'08, Sep 2008, Bucarest, Romania
hal-00844039v1  Conference papers
Guillaume SaupinChristian DuriezStéphane CotinLaurent Grisoni. Efficient Contact Modeling using Compliance Warping
computer graphics international, 2008, Istambul, Turkey
hal-02283430v1  Conference papers
Bishnu SarkerDavid RitchieSabeur Aridhi. Functional Annotation of Proteins using Domain Embedding based Sequence Classification
KDIR 2019 - 11th International Conference on Knowledge Discovery and Information Retrieval, Sep 2019, Vienna, Austria. pp.163-170, ⟨10.5220/0008353401630170⟩
hal-02437374v1  Conference papers
Maria SanchezSatoru MishimaMasayuki FujiwaraGuangyi AiMelanie Jouaiti et al.  Methodological Design for Integration of Human EEG Data with Behavioral Analyses into Human-Human/Robot Interactions in a Real-World Context
ICICIC2019 - The 14th International Conference on Innovative Computing, Information and Control, Aug 2019, Seoul, South Korea. pp.8
hal-02078301v1  Conference papers
Abdulqawi SaifAlexandre MerlinOlivier DautricourtMaël HoubreLucas Nussbaum et al.  Emulation of Storage Performance in Testbed Experiments with Distem
CNERT 2019 - IEEE INFOCOM International Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France. pp.6
hal-02289501v1  Conference papers
Nassim SahkiAnne Gégout-PetitSophie Wantz-Mézières. New detection thresholds and stop rules for CUSUM online detection
ENBIS 2019 - 19th Annual Conference of the European Network for Business and Industrial Statistics., Sep 2019, Budapest, Hungary
hal-02289680v1  Conference papers
Nassim SahkiAnne Gégout-PetitSophie Wantz-Mézières. Détection statistique de rupture dans le cadre online
JdS 2019 - 51èmes Journées de Statistique, Jun 2019, Nancy, France
hal-00336294v1  Conference papers
Benoît SagotKarën FortFabienne Venant. Extension et couplage de ressources syntaxiques et sémantiques sur les adverbes
27e Colloque international sur le lexique et la grammaire 2008, Sep 2008, L'Aquila, Italie. pp.0
hal-02391973v1  Conference papers
Maria-Elisa Ruiz-EcharteaIsaure Chauvot de BeauchêneDavid Ritchie. EROS-DOCK for Pairwise and Multi-body Protein-Protein Docking
Journée MASIM2019 (Méthodes Algorithmiques pour les Structures et Interactions Macromoléculaires), Nov 2019, Paris, France
inria-00598486v1  Conference papers
Daniel RoyAnbo Meng. Une Architecture D'E-Learning Multi-Agents Adaptative
7éme Conférence Internationale de Modélisation et Simulation - MOSIM'08, Mar 2008, Paris, France. pp.678-687