Home
Browse
By authors
By publications
By year
Domain list
By document type
Last articles
Search
Search
Advanced search
Search by id
Services
Help
Export
HalTools
28605 articles – 22086 references
[version française]
.:.
Browse
>
By year
> 2005 .:.
2542 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
-
6
-
7
...
Vérification formelle d'extractions de racines entières
Bertot Y.
Revue Technique et Science Informatiques (TSI)
24, 9 (2005) 1161-1195 [inria-00001172 - version 1]
Fast Computation of Special Resultants
Bostan A., Flajolet P., Salvy B., Schost E.
Journal of Symbolic Computation
41, 1 (2006) 1-29 [inria-00000960 - version 2]
Compression de Maillages à partir de la Géométrie
Lewiner T.
Université Pierre et Marie Curie - Paris VI (16/12/2005), Jean-Daniel Boissonnat (Dir.) [tel-00338771 - version 1]
Incremental and Transitive Discrete Rotations
Nouvel B., Rémila E.
[hal-00016037 - version 2]
Méthodes variationnelles et séquentielles pour l'étude de la contraction cardiaque
Moreau-Villéger V.
Université de Nice Sophia-Antipolis (15/12/2005), Nicholas Ayache (Dir.) [tel-00634169 - version 1]
Existence of densities for jumping S.D.E.s
Fournier N., Giet J.-S.
Stochastic Processes and their Applications
116, 4 (2005) 643-661 [hal-00140440 - version 1]
Éditorial
Antoniadis G., Chanier T.
Apprentissage des langues et systèmes d'information et de communication
8, 2 (2005) 1-10 [edutice-00087729 - version 1]
Échantillonnage et maillage de surfaces avec garanties
Oudot S. Y.
Ecole Polytechnique X (14/12/2005), Jean-Daniel Boissonnat (Dir.) [tel-00338378 - version 1]
Ontology Based Object Learning and Recognition
Maillot N.
Université de Nice Sophia-Antipolis (14/12/2005), Monique Thonnat (Dir.) [tel-00327542 - version 1]
Mécanismes d'interactions intercouches pour améliorer la performance des réseaux locaux sans fil IEE 802.11
Manshaei M. H.
Université de Nice Sophia-Antipolis (14/12/2005), Walid Dabbous (Dir.) [tel-00274549 - version 1]