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

292 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 292 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
	inria-00073290v1  Rapport Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier. Analytic Variations on Bucket Selection and Sorting [Research Report] RR-3399, INRIA. 1998
	inria-00073353v1  Rapport Christine Eisenbeis, Sylvain Lelait, Bruno Marmol. Circular-arc Graph Coloring and Unrolling RR-3336, INRIA. 1998
	inria-00073155v1  Rapport Philippe Jacquet, Véronique Joly. Retro-information in Wheeler-Feynman Universe Model: Applications Over an Hypothetical Concept in Quantum Mechanics [Research Report] RR-3530, INRIA. 1998
	inria-00073179v1  Rapport Philippe Jacquet. Éléments de théorie analytique de l'information, modélisation et évaluation de performances [Rapport de recherche] RR-3505, INRIA. 1998
	inria-00073352v1  Rapport Sylvain Lelait, Guang R. Gao, Christine Eisenbeis. A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops [Research Report] RR-3337, INRIA. 1998
	inria-00073343v1  Rapport François Bodin, Zbigniew Chamski, Christine Eisenbeis, Erven Rohou, André Seznec. GCDS: A Compiler Strategy for Trading Code Size Against Performance in Embedded Applications [Research Report] RR-3346, INRIA. 1998
	inria-00073111v1  Rapport Philippe Jacquet, Nikita Vvedenskaya. ON/OFF Sources in an Interconnection Network: Performance Analysis when Packets are Routed to the Shortest Queue of two Randomly Selected Nodes [Research Report] RR-3570, INRIA. 1998
	inria-00073110v1  Rapport Philippe Jacquet. Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models [Research Report] RR-3571, INRIA. 1998
	inria-00073097v1  Rapport Laurent Viennot. Complexity Results on Election of Multipoint Relays in Wireless Networks [Research Report] RR-3584, INRIA. 1998
	inria-00073168v1  Rapport Philippe Jacquet. Long Term Dependences and Heavy Tails in Traffics and Queues Generated by Memoriless on/off Sources in Series [Research Report] RR-3516, INRIA. 1998
	inria-00073233v1  Rapport Georges Gyory. Animated Image Compression in CATSERVER - Preliminary Description [Research Report] RR-3457, INRIA. 1998
	inria-00074892v1  Rapport Jean-Claude Raoult, Frédéric Voisin. Set-theoretic graph rewriting [Research Report] RR-1665, INRIA. 1992
	inria-00077040v1  Rapport Emmanuel Baccelli, Philippe Jacquet. Flooding Techniques in Mobile Ad Hoc Networks [Research Report] RR-5002, INRIA. 2003
	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-00073911v1  Rapport Christine Eisenbeis, Antoine Sawaya. Optimal Loop Parallelization under Register Constraints [Research Report] RR-2781, INRIA. 1996
	inria-00074459v1  Rapport Philippe Jacquet, Wojciec Szpankowski. Asymptotic behavior of the Lemple-Ziv parsing scheme and digital search trees [Research Report] RR-2212, INRIA. 1994
	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>
	inria-00099181v1  Rapport Jörn Migge, P. Minet, S. Kamoun. Evaluation d'outils d'analyse de performances [Contrat] A00-R-299 || migge00a, Loria. 2000, 8 p
	inria-00099183v1  Rapport Jörn Migge, P. Minet, S. Kamoun, E. Broutin. Cahier des charges des outils de simulation et d'analyse de performances [Contrat] A00-R-301 || migge00b, Loria. 2000, 5 p
	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
	hal-00646770v1  Communication dans un congrès Sid Touati. Maximizing for Reducing the Register Need in Acyclic Schedules 5th International Workshop on Software and Compilers for Embedded Systems, SCOPES '2001, Mar 2001, St Goar, Germany. 2001
	tel-00990245v1  Thèse Djalel Benbouzid. Sequential prediction for budgeted learning : Application to trigger design Other [cs.OH]. Université Paris Sud - Paris XI, 2014. English. <NNT : 2014PA112031>
	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>
	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 292 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM