• Filtres
• Sous-domaine niveau 1  ×
• collCode_s  ×
• Tous  ×

199 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2 3 4 5 6 7	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 199 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	hal-00350478v1  Communication dans un congrès Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Synthesis of Optimal Strategies Using HyTech Workshop on Games in Design and Verification (GDV'04), 2004, Boston, United States. Elsevier, 119 (1), pp.11-31, 2005, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2004.07.006>
	hal-00350466v1  Communication dans un congrès Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al.  UPPAAL-Tiga: Time for Playing Games! W. Damm, H. Hermanns. 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. Springer, 4590, pp.121-125, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73368-3_14>
	hal-00350470v1  Communication dans un congrès Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al.  UPPAAL-Tiga: Timed Games for Everyone Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland
	hal-00350475v1  Communication dans un congrès Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games Martín Abadi, Luca de Alfaro. 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, United States. Springer, 3653, pp.66-80, 2005, Lecture Notes in Computer Science. <10.1007/11539452>
	hal-00350483v1  Communication dans un congrès Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Optimal Strategies in Priced Timed Game Automata 24th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), 2004, Chennai, India. Springer, 3328, pp.148-160, 2004, Lecture Notes in Computer Science. <10.1007/b104325_13>
	hal-00700515v1  Article dans une revue Pascale Montpied, Véronique Hiolle, Régis Gras, Andrée Tiberghien. Profils d'attitudes et orientations motivationnelles : les dynamiques d'engagement à l'égard des sciences chez des élèves de troisième, de seconde et de première Education et didactique, 2011, 5 (1), pp.45-70
	hal-00307789v1  Communication dans un congrès Guillaume Fertin, André Raspaud, Ondrej Sykora. No-Hole L(p,0)-Labelling of Cycles, Grids and Hypercubes Springer-Verlag. 11th International Colloquium on Structural Information & Communication Complexity (SIROCCO 2004), Jun 2004, Smolenice, Slovakia. Ratislav Kralovic and Ondrej Sykora, Lecture Notes in Computer Science (LNCS) (3104), pp.138-148, 2004, 3104 of Lecture Note
	in2p3-01005737v1  Communication dans un congrès A. Alarcon Do Passo Suaide, C. Alves Garcia Prado, T. Alt, L. Aphecetche, N. Agrawal et al.  O2: A novel combined online and o ine computing system for the ALICE Experiment after 2018 20th International Conference on Computing in High Energy and Nuclear Physics (CHEP), Oct 2013, Amsterdam, Netherlands. 513, pp.012037, 2014, <10.1088/1742-6596/513/1/012037>
	hal-00121559v1  Communication dans un congrès Julien Sarrazin, Yann Mahé, Stéphane Avrillon, Serge Toutain. Multibeam and Multipolarization Antenna European Conf. on Antenna and Propagation 2006, Nov 2006, Saint-Malo, France. EuCAP 2006, pp.PA5-349794, 2006
	hal-00974938v1  Communication dans un congrès Javier Cánovas, Jordi Cabot. Composing JSON-based Web APIs ICWE 2014 - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. 8541, pp.390-399, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08245-5_24 >
	hal-00872677v1  Communication dans un congrès Mohamed Anis Dhuieb, Florent Laroche, Alain Bernard. Un compagnon virtuel d'aide à la décision : Une structuration multi-échelle de la connaissance in-extenso d'entreprise 21ème Congrès Français de Mécanique, Aug 2013, Bordeaux, France
	hal-00872976v1  Direction d'ouvrage, Proceedings Charlotte Truchet, Gérard Assayag. Constraint Programming in Music France. ISTE-Wiley, pp.256, 2011
	inria-00074699v1  Rapport Paul Boucher, Frédéric Danna, Pascale Sébillot. Compounds: an intelligent tutoring system for learning to use compounds in english [Research Report] RR-1974, INRIA. 1993
	hal-00482523v1  Communication dans un congrès Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet. Sonet Network Design Problems 6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, 2009, <10.4204/EPTCS.5.7>
	inria-00108079v1  Rapport Orazio Gurrieri, Paolo Castelpietra, Olivier Barriere. Using EAST-ADL with GME 2000 [Intern report] A02-R-416 || gurrieri02b, 2002
	tel-00409897v1  Thèse Pinot Guillaume. Coopération homme-machine pour l'ordonnancement sous incertitudes Autre [cs.OH]. Université de Nantes, 2008. Français
	hal-00696191v1  Communication dans un congrès Eduardo Cunha de Almeida, Gerson Sunyé, Patrick Valduriez. Synchronization in Peer-to-Peer Testing Workshop Gestion de données en pair-à-pair (GDP2P), Jun 2007, Le Croisic, France. 2007
	inria-00099671v1  Rapport Joachim Eisenmann, Evelyne Sylva, Gerrit De Boer, Ulrich Virnich, Andreas Raisch et al.  Description of existing solutions - Deliverable 2.2 [Contract] A03-R-393 || eisenmann03a, 2003, 86 p
	inria-00099792v1  Communication dans un congrès Damien Eveillard, Delphine Ropers, Hidde De Jong, Christiane Branlant, Alexander Bockmayr. Multiscale modeling of alternative splicing regulation Corrado Priami. International Workshop on Computational Methods in Systems Biology - CMSB'03, 2003, Rovereto, Italie, Springer-Verlag, 2602, pp.75-87, 2003, Lecture Notes in Computer Science
	inria-00099705v1  Communication dans un congrès Damien Eveillard, Arnaud Courtois, Alexander Bockmayr. Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract) Modeling and Simulation of Biological Regulatory Processes - ECCB Satellite Meeting, 2003, Paris, France, 2003
	tel-00486063v1  Thèse Estelle Dubreil. La dimension argumentative des collocations textuelles en corpus électronique spécialisé au domaine du TAL(N) Linguistique. Université de Nantes, 2006. Français
	tel-00487042v1  Thèse Erwan Moreau. Acquisition de grammaires lexicalisées pour les langues naturelles Autre [cs.OH]. Université de Nantes, 2006. Français
	tel-00630122v1  Thèse Arnaud Malapert. Techniques d'ordonnancement d'atelier et de fournées basées sur la programmation par contraintes Autre [cs.OH]. Université de Nantes; Ecole des Mines de Nantes, 2011. Français
	inria-00564293v1  Rapport Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs. Characterizing the Adversarial Power in Uniform and Ergodic Peer Sampling [Research Report] PI-1966, 2011, pp.15
	hal-00489238v1  Article dans une revue Olivier Henri Roux, Anne-Marie Déplanche. A T-time Petri net extension for real time-task scheduling modeling European Journal of Automation, Hermés Science, 2002, 36 (7), pp.973--987
	hal-00588888v1  Rapport Jérémie Du Boisberranger, Danièle Gardy, Charlotte Truchet, Xavier Lorca. A Probabilistic Study of Bound Consistency for the Alldifferent Constraint 2011
	hal-00752687v1  Chapitre d'ouvrage Jesús Sánchez Cuadrado, Javier Cánovas, Jesus Garcia Molina. Comparison between internal and external DSLs via RubyTL and Gra2MoL Marjan Mernik. Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, IGI Global, 2012, 9781466620926. <10.4018/978-1-4666-2092-6.ch005>
	hal-00752688v1  Article dans une revue Javier Cánovas, Jesus Garcia Molina. Extracting Models from Source Code in Software Modernization Software & Systems Modeling, Springer-Verlag, 2014, 13 (2), pp.21. <10.1007/s10270-012-0270-z>
	hal-00880771v3  Rapport Emmanuel Desmontils. Une représentation en graphe pour l'enseignement de XML 2013
	hal-00152955v1  Communication dans un congrès Stéphane Avrillon, Yann Mahé, Anne Chousseaud, Serge Toutain. Spatio-frequential filtering considerations on antenna array Antenna and Propagation Symposium, Jun 2004, Monterey, United States. IEEE, pp.3685-3688, 2004
	1 2 3 4 5 6 7	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 199 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM