• Filters
• Structure/laboratory: Name  ×
• All  ×

5821 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• Journals (multi-criteria)
• Journal: Publisher
• Journal: Abbreviated title
• Journal: Title
• Journal: Internal identifier
• Journal: beginning publication date
• Journal: online ISSN
• Journal: ISSN
• Journal: Publisher
• Journal: SHERPA/RoMEO color
• Journal: referential status
• Conference (multi-criteria)
• Conference: Title
• Conference: Organiser
• Conference: beginning date (Year)
• Conference: end date (Year)
• Invited communication (yes/no)
• ANR project (multi-criteria)
• ANR project: Acronym
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: Reference
• ANR project: Name
• ANR project: Internal identifier
• ANR project: Referential Status
• European project (multi-criteria)
• European project: Acronym
• European project: Call identifier
• European project: Reference
• European project: Name
• European project: end date
• European project: Funding
• European project: beginning date
• European project: Referential status
• European project: Internal identifier
• Structure (multi-criteria)
• Structure: Acronym
• Structure: Name
• Structure: Code
• Structure: Country
• Structure: Type
• Structure: Referential status
• Structure: Internal structure identifier
• Structure/research team: Country
• Structure/department: Country
• Structure/laboratory: Country
• Structure/group of departments: State
• Structure/institution: Country
• Structure/group of institutions: Country
• Publication date: year
• Release date: year
• Writing date: year
• Date modified: year
• Submission Date: year
• Online Publication date: year
• HAL Collection (multi-criteria)
• HAL Collection: category
• HAL Collection: Code
• HAL Collection: Name
• HAL Collection: Internal identifier
• Contributor/author Internal identifier
• Contributor/author Full name
• Domains
• Primary domain
• Root domain
• Sub-domain level 1
• Sub-domain level 2
• Sub-domain level 3
• Status of document
• Document version
• Submission type
• Document type
• ISBN
• Number - reference
• Identifier: DOI
• Classification
• Audience
• Vulgarization
• Peer reviewing - text (yes or no)
• Conference proceedings
• Internal reference
• Funding
• Collaborations

 

	1 2 3 4 5 6 7 8 9 10	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	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⟩
	inria-00601378v1  Conference papers David Joseph Cadet, Alexandre Sava, Nathalie 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 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
	inria-00601373v1  Conference papers Ali Gorine, Nathalie 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 Ayed, Sofiene Dellagi, Nidhal 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-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-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-00751746v1  Conference papers Simona Dobre, Jean-Baptiste Tylcz, Thierry Bastogne, Muriel Barberi-Heyob. Global sensitivity analysis and estimation of photophysical parameters from in vivo data in photodynamic therapy 16th IFAC Symposium on System Identification, SYSID'2012, Jul 2012, Bruxelles, Belgium. pp.1731-1736, ⟨10.3182/20120711-3-BE-2027.00268⟩
	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-00601696v1  Conference papers Hajej Zied, Sofiene Dellagi, Nidhal 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 Benyoucef, Ritesh 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 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-00601671v1  Conference papers Soumaya Bouguerra, Nidhal Rezg, Chelbi 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 Jain, Lyes 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 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
	inria-00601434v1  Conference papers Souheil Ayed, Sofiene Dellagi, Nidhal 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 Ayed, Sofiene Dellagi, Nidhal 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 Schutz, Nidhal 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 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
	1 2 3 4 5 6 7 8 9 10	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM