5821 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⟩
inria-00601378v1  Conference papers
David Joseph CadetAlexandre SavaNathalie Sauer. Flexible manufacturing systems optimization approach based on labor cost minimization
8ème Conférence Internationale de Modélisation et de Simulation - MOSIM 2010, May 2010, Hammamet, Tunisia
...
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
inria-00601373v1  Conference papers
Ali GorineNathalie Sauer. Lower bounds and simulated annealing for job shop scheduling problems with blocking constrains
IEEE Conference on Emerging Technologies and Factory Automation - ETFA'2010, Sep 2010, Bilbao, Spain. pp.1-8, ⟨10.1109/ETFA.2010.5641271⟩
inria-00601392v1  Conference papers
Souheil AyedSofiene DellagiNidhal Rezg. Développement et optimisation d'une stratégie de maintenance dépendante du plan de production et tenant compte de droit rétractation
8ème Conférence Internationale de Modélisation et de Simulation - MOSIM 2010, May 2010, Hammamet, Tunisie
...
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-00601696v1  Conference papers
Hajej ZiedSofiene DellagiNidhal Rezg. An Optimal Maintenance/Production Planning for a Manufacturing System under Random Failure Rate and a Subcontracting Constraint
The 2nd International Conference on Industrial Engineering and Operations Management - IEOM 2011, Jan 2011, Kuala Lumpur, Malaysia
inria-00601659v1  Directions of work or proceedings
Lyes BenyoucefRitesh Kumar Singh. Special Issue on Recent Advances in Service Operations and Logistics
Ritesh Kumar Singh and Lyes Benyoucef. 6, Inderscience, 2011, Journal of Services Operations and Informatics
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-00601671v1  Conference papers
Soumaya BouguerraNidhal RezgChelbi Anis. A decision model for adopting an extended two-dimensional warranty region under different maintenance policies
International Conference on Industrial Engineering and System Management - IESM 2011, May 2011, Metz, France
inria-00601717v1  Journal articles
Vipul JainLyes Benyoucef. A decision-making framework for global supplier selection with order splitting: A fuzzy knowledge based approach
International Journal of Engineering Applications of Artificial Intelligence, Elsevier, 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
inria-00601434v1  Conference papers
Souheil AyedSofiene DellagiNidhal Rezg. Integrated Maintenance Optimization with random demand and subcontracting constraint
International Conference on Industrial Engineering and System Management - IESM 2011, May 2011, Metz, France
inria-00601384v1  Conference papers
Souheil AyedSofiene DellagiNidhal Rezg. Optimisation d'une politique de maintenance intégrée sous une contrainte de sous traitance avec construction de stock
8ème Conférence Internationale de Modélisation et de Simulation - MOSIM 2010, May 2010, Hammamet, Tunisie
inria-00601400v1  Conference papers
Jérémie SchutzNidhal Rezg. Determination of the Optimal Production Plan and Optimal Maintenance Plan following an Integrated Strategy for an Finite Time Horizon
8ème Conférence Internationale de Modélisation et de Simulation - MOSIM 2010, May 2010, Hammamet, Tunisia
...
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