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

340 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 8 9 10	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 340 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00150912v1  Thèse Pierre Letouzey. Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
	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
	inria-00074892v1  Rapport Jean-Claude Raoult, Frédéric Voisin. Set-theoretic graph rewriting [Research Report] RR-1665, INRIA. 1992
	hal-01126800v1  Article dans une revue Ana Cavalcanti, Marie-Claude Gaudel. Test selection for traces refinement Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 563, pp.1-42. <http://dx.doi.org/10.1016/j.tcs.2014.08.012>. <10.1016/j.tcs.2014.08.012>
	hal-01254907v1  Communication dans un congrès Michelle Cheatham, Zlatan Dragisic, Jérôme Euzenat, Daniel Faria, Alfio Ferrara et al.  Results of the Ontology Alignment Evaluation Initiative 2015 10th ISWC workshop on ontology matching (OM), Oct 2015, Bethlehem, United States. No commercial editor., pp.60-115, 2016
	inria-00459017v1  Communication dans un congrès Philippe Rolet, Olivier Teytaud. Adaptive Noisy Optimization EvoStar 2010, Apr 2010, Istambul, Turkey. 2010
	inria-00074464v1  Rapport Chengbin Chu, Jean-Marie Proth, Philippe Wolff. Prediction of the behaviour of an unreliable system : application to the choice of the optimal maintenance policy [Research Report] RR-2207, INRIA. 1994, pp.20
	inria-00075292v1  Rapport Yves Dallery, Zhen Liu, Don Towsley. Equivalence, reversibility and symmetry properties in fork/join queueing networks with blocking [Research Report] RR-1267, INRIA. 1990
	hal-00643759v1  Communication dans un congrès Mounira Bachir, David Gregg, Sid Touati. Using The Meeting Graph Framework to Minimise Kernel Loop Unrolling for Scheduled Loops 22nd International Workshop on Languages and Compilers for Parallel Computing (LCPC 2009), Oct 2009, Newark, United States. Springer, 5898, pp.278-292, 2009, LNCS; Languages and Compilers for Parallel Computing. <10.1007/978-3-642-13374-9_19>
	hal-00697409v1  Communication dans un congrès Serge Abiteboul, Ioana Manolescu, Nicoleta Preda. Sharing Content in Structured P2P Networks 21èmes journées base de données avancées (BDA 2005), Oct 2005, Saint Malo, France. 2005
	tel-01016710v1  Thèse Cyprien Pindat. A Content-Aware Design Approach to Multiscale Navigation Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. <NNT : 2013PA112361>
	hal-00765226v1  Ouvrage (y compris édition critique et traduction) Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
	hal-00765220v1  Ouvrage (y compris édition critique et traduction) Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen et al.  Informatique et Sciences du Numérique - Spécialité ISN en Terminale S Eyrolles, pp.303, 2012, ISBN 978-2-212-13543-5
	tel-00144130v2  Thèse Yann Ponty. Modélisation de séquences génomiques structurées, génération aléatoire et applications Mathématiques [math]. Université Paris Sud - Paris XI, 2006. Français
	hal-00270574v1  Chapitre d'ouvrage Marie-Claude Gaudel, Pascale Le Gall. Testing data types implementations from algebraic specifications R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing, Springer-Verlag, pp.209--239, 2008, Lecture Notes in Computer Science, <10.1007/978-3-540-78917-8_7>
	hal-00789978v1  Article dans une revue Jean-Yves Gauvrit, Xavier Leclerc, Jc Ferré, Christian A. Taschner, Béatrice Carsin-Nicol et al.  [Imaging of subarachnoid hemorrhage] American Journal of Neuroradiology, American Society of Neuroradiology, 2009, 36 (2), pp.65-73. <10.1016/j.neurad.2008.06.005>
	hal-00788833v1  Article dans une revue Romuald Seizeur, Seddik Sid Ahmed, Alexandre Simon, Gérard Besson, Pierre Forlodou. Acute non-traumatic spinal subdural haematoma: An unusual aetiology Journal of Clinical Neuroscience, Elsevier, 2009, 16 (6), pp.842-843. <10.1016/j.jocn.2008.09.003>
	tel-00979471v1  Thèse Bacem Wali. Intéropérabilité sémantique entre les outils de traitement d'images en neuro-imagerie Médecine humaine et pathologie. Université Rennes 1, 2013. Français. < NNT : 2013REN1B003 >
	hal-00747819v1  Article dans une revue Miao Wang, François Bodin. Compiler-directed memory management for heterogeneous MPSoCs Journal of Systems Architecture, Elsevier, 2011, 57 (1), pp.134-145. <10.1016/j.sysarc.2010.10.008>
	hal-00701503v1  Communication dans un congrès Serge Abiteboul, Itay Dar, Radu Pop, Gabriel Vasile, Dan Vodislav. EDOS Distribution System: a P2P architecture for open-source content dissemination OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy. 2005
	hal-00152102v2  Communication dans un congrès Stéphane Avrillon, Franck Nivole, Christian Brousseau. Critères de corrélation pour le choix optimal d'éléments rayonnants dans les systèmes multi-antennes 15ème Journées Nationales Micro-ondes, May 2007, Toulouse, France. 2007
	hal-00252019v1  Communication dans un congrès Julien Sarrazin, Yann Mahé, Stéphane Avrillon, Serge Toutain. On the bandwidth enhancement of a multipolarization and reconfigurable pattern antenna for adaptive MIMO systems Antenna and Propagation Symposium, Jun 2007, Hawai, United States. IEEE, pp.485-488, 2007
	hal-00252030v1  Communication dans un congrès Julien Sarrazin, Yann Mahé, Stéphane Avrillon, Serge Toutain. Antennes co-localisées reconfigurables en fréquence pour systèmes MIMO Journées Nationales Microondes, May 2007, Toulouse, France. pp.7E10, 2007
	lirmm-00106611v1  Ouvrage (y compris édition critique et traduction) Alexander B. Romanovsky, Christophe Dony, Jorgen Lindskov Knudsen, Amita Tripathi. Developing Systems that Handle Exceptions 2005
	lirmm-00087576v1  Communication dans un congrès Mathieu Roche, Yves Kodratoff. Choix du taux d'élagage pour l'extraction de la terminologie. Une approche fondée sur les courbes ROC EGC'06 : Extraction et Gestion des Connaissances, Jan 2006, Villeneuve d'Ascq (France), pp.205-216, 2006
	tel-00769929v1  Thèse Gervais Mendy. Chaînes alternées dans les graphes arête-coloriés : k-linkage et arbres couvrants Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. <NNT : 2011PA112194>
	tel-00738959v1  Thèse Valentin Borozan. Proper and weak-proper trees in edges-colored graphs and multigraphs Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. <NNT : 2011PA112165>
	hal-01438386v1  Rapport Alex Alberto, Marie-Claude Gaudel. Defining the Circus operational semantics in the K-framework [Research Report] LRI - CNRS, University Paris-Sud; ICMC, University of Sao Paulo. 2017, pp.59
	tel-00772458v1  Thèse Mathieu Nancel. Conception et combinaisons de techniques d'interaction mid-air dans les environnements à grands écrans Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112325>
	tel-00763370v1  Thèse Vincent Armant. Diagnostic distribué de systèmes respectant la confidentialité Autre [cs.OH]. Université Paris Sud - Paris XI, 2012. Français. <NNT : 2012PA112197>
	1 2 3 4 5 6 7 8 9 10	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 340 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM