1. Search
7047 results  save search
hal-01251377v1  Conference papers
Peter Baumgartner, Joshua Bax, Uwe Waldmann. 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
Jilles Steeve Dibangoye, Olivier Buffet. 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
Renate Schmidt, Uwe Waldmann. 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
Myrto Arapinis, Véronique Cortier, Steve Kremer. When are three voters enough for privacy properties?
21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece
hal-00801618v1  Book sections
Martine Cadot. 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
Maxime Compastié, Rémi Badonnel, Olivier Festor, Ruan He, Mohamed Kassi-Lahlou. 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
Maxime Compastié, Rémi Badonnel, Olivier Festor, Ruan He. 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-00751739v1  Conference papers
Boyi Ni, Marion Gilson, Qinghua Zhang, Hugues Garnier. A Kalman pre-filtered IV-based approach to continuous-time Hammerstein-Wiener system identification
16th IFAC Symposium on System Identification, SYSID'2012, Jul 2012, Bruxelles, Belgium. pp.828-833, ⟨10.3182/20120711-3-BE-2027.00250⟩
...
hal-01651668v1  Conference papers
Clement Beysson, Sarah Blind, Philippe de Groote, Bruno Guillaume. Generalized Quantifiers and Dynamicity — preliminary results —
QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France
...
hal-00851959v1  Conference papers
Motaz Saad, David Langlois, Kamel Smaïli. 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
inria-00601751v1  Journal articles
Abdelhakim Khatab, Nidhal Rezg, Daoud Ait-Kadi. Optimal replacement with minimal repair policy for a system operating over a random time horizon
Journal of Quality and Maintenance in Engineering, Emerald Insight, 2011
inria-00601750v1  Conference papers
Mohamed Ali Kammoun, Alexandre Sava, Nidhal Rezg. Modélisation symbolique des réseaux de Petri temporels basée sur les Diagrammes des Décisions Binaires Ordonnés Temporels
4èmes Journées Doctorales Journées Nationales MACS JDMACS 2011, Jun 2011, Marseille, France
...
hal-00601621v1  Conference papers
Maxime Amblard. 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
Sébastien da Silva. Fouille de données spatiales et modélisation de linéaires de paysages agricoles
Informatique [cs]. Université de Lorraine, 2014. Français
...
inria-00551871v1  Journal articles
Diène Ngom, Abderrahman Iggidr, Aboudramane Guiro, Abderrahim Ouahbi. An observer for a nonlinear age-structured model of a harvested fish population.
Mathematical Biosciences and Engineering, AIMS Press, 2008, 5 (2), pp.337-354
...
hal-00801813v1  Conference papers
Elias Egho, Chedy Raïssi, Dino Ienco, Nicolas Jay, Amedeo Napoli et al.  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
Maxime Amblard, Michel Musiol, Manuel Rebuschi. 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
Sai Qian, Maxime Amblard. 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
Clement Beysson. 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
Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella. Algebraic Semantics of Refinement Modal Logic
Advances in Modal Logic, Aug 2016, Budapest, Hungary
...
hal-01251305v1  Conference papers
Laurent Ciarletta, Loïc Fejoz, Adrien Guenard, Nicolas Navet. 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
Laurent Ciarletta, Thomas Gurriet. 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
Kahina Bessai, François Charoy. Business process tasks-assignment and resource allocation in Crowdsourcing context
IEEE International Conference on Collaboration and Internet Computing, Nov 2016, Pittsburgh, United States
hal-01401140v1  Journal articles
Mireille Bossy, Jose Espina, Jacques Morice, Cristian Paris, Antoine Rousseau. Modeling the wind circulation around mills with a Lagrangian stochastic approach
SMAI Journal of Computational Mathematics, Société de Mathématiques Appliquées et Industrielles (SMAI), 2016, 2, pp.177-214 ⟨10.5802/smai-jcm.13⟩
hal-01201533v1  Conference papers
Irina Illina, Dominique Fohr. 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
Lhassane Idoumghar, Mahmoud Melkemi, René Schott, Maha Idrissi Aouad. 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
Samuel Hornus, Sylvain Lefebvre. Iterative carving for self-supporting 3D printed cavities
[Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19

Contact

Informations

CCSD