7047 results  save search

hal-01251377v1  Conference papers
Peter BaumgartnerJoshua BaxUwe 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 DibangoyeOlivier 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 SchmidtUwe 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 ArapinisVéronique CortierSteve 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-00751739v1  Conference papers
Boyi NiMarion GilsonQinghua ZhangHugues 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 BeyssonSarah BlindPhilippe de GrooteBruno 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 SaadDavid LangloisKamel 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 KhatabNidhal RezgDaoud 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 KammounAlexandre SavaNidhal 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⟩
inria-00551871v1  Journal articles
Diène NgomAbderrahman IggidrAboudramane GuiroAbderrahim 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 EghoChedy RaïssiDino IencoNicolas JayAmedeo 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 AmblardMichel MusiolManuel 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 QianMaxime 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 BakhtiariHans van DitmarschSabine Frittella. Algebraic Semantics of Refinement Modal Logic
Advances in Modal Logic, Aug 2016, Budapest, Hungary
hal-01251305v1  Conference papers
Laurent CiarlettaLoïc FejozAdrien GuenardNicolas 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 CiarlettaThomas 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 BessaiFranç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 BossyJose EspinaJacques MoriceCristian ParisAntoine 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 IllinaDominique 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-01570330v3  Reports
Samuel HornusSylvain Lefebvre. Iterative carving for self-supporting 3D printed cavities
[Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19