 |
 |
 |
|
|
||
|---|---|---|
|
hal-01251377v1
Conference papers
Beagle – A Hierarchic Superposition Prover 25th International Conference on Automated Deduction (CADE-25), Aug 2015, Berlin, Germany. pp.367-377, ⟨10.1007/978-3-319-21401-6_25⟩  |
||
|
hal-01851806v1
Conference papers
Learning to Act in Decentralized Partially Observable MDPs ICML 2018 - 35th International Conference on Machine Learning, Jul 2018, Stockholm, Sweden. pp.1233-1242 |
||
|
hal-01251380v1
Conference papers
Modal Tableau Systems with Blocking and Congruence Closure 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wroclaw, Poland. pp.38-53, ⟨10.1007/978-3-319-24312-2_4⟩ |
||
|
hal-01351398v1
Conference papers
When are three voters enough for privacy properties? 21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece |
||
|
hal-00801618v1
Book sections
Modèle des données à base de règles : de la construction au pilotage Régis Gras; Jean-Claude Régnier; Claudia Marinica; Fabrice Guillet. L'analyse statistique implicative - Méthode exploratoire et confirmatoire à la recherche de causalités - 2e édition, Cépaduès, pp.299-312, 2013, 9782364930568 |
||
|
hal-01798793v1
Conference papers
Unikernel-based Approach for Software-Defined Security in Cloud Infrastructures NOMS 2018 - IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. ⟨10.1109/NOMS.2018.8406155⟩ |
||
|
hal-01798799v1
Conference papers
Demo: On-The-Fly Generation of Unikernels for Software-Defined Security in Cloud Infrastructures NOMS 2018 - IEEE/IFIP Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. ⟨10.1109/NOMS.2018.8406131⟩ |
||
|
hal-01651668v1
Conference papers
Generalized Quantifiers and Dynamicity — preliminary results — QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France |
||
|
hal-00851959v1
Conference papers
Comparing Multilingual Comparable Articles Based On Opinions Proceedings of the 6th Workshop on Building and Using Comparable Corpora, Association for Computational Linguistics ACL, Aug 2013, Sofia, Bulgaria. pp.105-111 |
||
|
hal-00601621v1
Conference papers
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.1--16, ⟨10.1007/978-3-642-22221-4_1⟩ |
||
|
tel-01101424v1
Theses
Fouille de données spatiales et modélisation de linéaires de paysages agricoles Informatique [cs]. Université de Lorraine, 2014. Français |
||
|
hal-00801813v1
Conference papers
Healthcare trajectory mining by combining multidimensional component and itemsets ECML-PKDD 2012, Sep 2012, Bristol, United Kingdom. p. 116 - p. 127 |
||
|
hal-00601622v1
Conference papers
Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2011, Jun 2011, Montpellier, France. pp.93 - 98 |
||
|
hal-00601620v1
Conference papers
Event in Compositional Dynamic Semantics 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.219--234, ⟨10.1007/978-3-642-22221-4_15⟩ |
||
|
hal-01651749v1
Conference papers
Déterminants et quantificateurs généralisés dynamiques TALN 2017 - Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93 |
||
|
hal-01301276v1
Conference papers
Algebraic Semantics of Refinement Modal Logic Advances in Modal Logic, Aug 2016, Budapest, Hungary |
||
|
hal-01251305v1
Conference papers
Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS ERTS 2016 - 8th European Congress on Embedded Real Time Software and Systems, Jan 2016, Toulous, France. pp.10 |
||
|
hal-01251309v1
Conference papers
Towards a generic model of adaptative geofencing focused on operationnal issues 3rd AETOS International Workshop on Research Challenges for Future RPAS/UAS , May 2015, Atlanta, United States |
||
|
hal-01401246v1
Conference papers
Business process tasks-assignment and resource allocation in Crowdsourcing context IEEE International Conference on Collaboration and Internet Computing, Nov 2016, Pittsburgh, United States |
||
|
hal-01101260v1
Conference papers
Radiative transfer equation for predicting light propagation in biological media: comparison of a modified finite volume method, the Monte Carlo technique, and an exact analytical solution International Conferences on Laser Applications in Life Sciences (LALS), Jun 2014, ULM, Germany |
||
|
hal-01201533v1
Conference papers
Different word representations and their combination for proper name retrieval from diachronic documents IEEE Automatic Speech Recognition and Understanding Workshop (ASRU 2015) , Dec 2015, Scottsdale, United States |
||
|
hal-00601360v1
Journal articles
Hybrid PSO-SA Type Algorithms for Multimodal Function Optimization and Reducing Energy Consumption in Embedded Systems Applied Computational Intelligence and Soft Computing, 2011, 2011, pp.Article ID 138078. ⟨10.1155/2011/138078⟩ |
||
|
hal-01570330v3
Reports
Iterative carving for self-supporting 3D printed cavities [Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19 |
||
|
hal-01101225v1
Book sections
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-02002115v1
Reports
A Complete Normal-Form Bisimilarity for State [Research Report] RR-9251, Inria Nancy - Grand Est. 2019 |
||
|
tel-01251128v1
Theses
Reconnaissance de la parole pour l’aide à la communication pour les sourds et malentendants Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0172⟩ |
||
|
tel-01754477v3
Theses
Interactive Knowledge Discovery over Web of Data Information Retrieval [cs.IR]. Loria & Inria Grand Est, 2015. English. ⟨NNT : 2015LORR0158⟩ |
||
|
hal-01101150v1
Directions of work or proceedings
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014) Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014) at ECAI 2014, 2014, Prague, Czech Republic. 1257, pp.100, 2014, CEUR Proceedings |
||
|
hal-01001869v1
Conference papers
Stabilizing Heteroscedastic Noise With the Generalized Anscombe Transform. Application to Accurate Prediction of the Resolution in Displacement and Strain Maps Obtained With the Grid Method. SEM Annual Conference & Exposition on Experimental and Applied Mechanics - 2014, Jun 2014, Greenville, SC, United States. pp.225-230, ⟨10.1007/978-3-319-06986-9_25⟩ |
||
|
hal-01401470v1
Conference papers
Interactive Modeling of Support-free Shapes for Fabrication EUROGRAPHICS, May 2016, Lisbonne, Portugal |
||
|
|
||
