4044 résultats  enregistrer la recherche


...
tel-00406509v1  Thèse
Fethi FilaliDéploiement de service multicast dans des environnements hétérogènes
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2002. English
...
tel-00406510v1  Thèse
Mohamed Ali KaafarSecuriting Internet coordinates systems
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2007. English
...
tel-00507530v1  Thèse
Sagar SenDécouverte automatique de modèles effectifs
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
...
tel-01157160v1  Thèse
Luigi LiquoriType Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
...
tel-00624641v2  Thèse
Roger NakadSpecial submanifolds of Spin$^c$ manifolds
Mathematics [math]. Université Henri Poincaré, Nancy 1, 2011. English
...
tel-00655898v1  Thèse
Nicolas PapadakisAssimilation de données images : application au suivi de courbes et de champs de vecteurs
Traitement du signal et de l'image. Université Rennes 1, 2007. Français
...
pastel-00556578v1  Thèse
Vincent SilesInvestigation on the typing of equality in type systems
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English
...
tel-00606360v1  Thèse
Cody RouxSize-based termination: Semantics and generalizations
Other [cs.OH]. Université Henri Poincaré - Nancy I, 2011. English
...
tel-00309085v1  Thèse
Nicolas AnciauxSystèmes de gestion de base de données embarqués dans une puce électronique (Database Systems on Chip)
Informatique [cs]. Université de Versailles-Saint Quentin en Yvelines, 2004. Français
...
tel-00605692v1  Thèse
Adnene GuabtniSphères de comportement pour la modélisation et l'exécution de procédés flexibles
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00008413v2  Thèse
Hamoudi KallaGénération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
...
tel-00259803v2  Thèse
Fabrice NahonPreuve par induction dans le calcul des séquents modulo
Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français
...
tel-00695567v1  Thèse
Duc Phu ChauDynamic and Robust Object Tracking for Activity Recognition
Computer Vision and Pattern Recognition [cs.CV]. Institut National de Recherche en Informatique et en Automatique (INRIA), 2012. English
...
tel-00457491v1  HDR
Pierre KornprobstContributions en modélisation de la vision algorithmique et bio-inspirée
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2007
...
tel-00457458v1  Thèse
Maxime DescoteauxHigh Angular Resolution Diffusion MRI: from Local Estimation to Segmentation and Tractography
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English
...
tel-00457460v1  Thèse
Bertrand ThirionfMRI data analysis : statistics, information and dynamics
Human-Computer Interaction [cs.HC]. Télécom ParisTech, 2003. English
...
tel-00457463v1  Thèse
Christophe LengletGeometric and variational methods for diffusion tensor MRI processing
Human-Computer Interaction [cs.HC]. Université de Nice Sophia Antipolis, 2006. English
...
tel-00457459v1  Thèse
Gerardo Hermosillo ValadezVariational Methods for Multimodal Image Matching
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2002. English
...
tel-00457462v1  Thèse
Guillaume CharpiatDistance-based shape statistics for image segmentation with priors
Human-Computer Interaction [cs.HC]. Ecole Polytechnique X, 2006. English
...
tel-00457461v1  Thèse
Jean-Philippe PonsMethodological and applied contributions to the deformable models framework
Human-Computer Interaction [cs.HC]. Ecole des Ponts ParisTech, 2005. English
...
tel-00459025v1  Thèse
Alexis MullerConstruction de systèmes par application de modèles paramétrés
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
...
tel-00958663v1  Thèse
Tien Viet NguyenOn the modelling of wireless communication networks using non-poisson point processes
Networking and Internet Architecture [cs.NI]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00160422v1  Thèse
Georges Brun-CottanCohérence de données répliquées partagées par un groupe de processus coopérant à distance
Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 1998. Français
...
tel-00011705v1  Thèse
Frédéric WagnerRedistribution de données à travers un réseau à haut débit
Modélisation et simulation. Université Henri Poincaré - Nancy I, 2005. Français
...
tel-00311741v1  Thèse
Bernard BoulayHuman Posture Recognition for Behaviour
Other [cs.OH]. Université Nice Sophia Antipolis, 2007. English
...
tel-01358477v1  Thèse
Matthieu DreherMéthodes In-Situ et In-Transit : vers un continuum entre les applications interactives et offline à grande échelle.
Calcul parallèle, distribué et partagé [cs.DC]. Collège des Ecoles Doctorales de l'Université Grenoble Alpes, 2015. Français
...
tel-00808419v1  Thèse
Jean-Baptiste ArnaudTowards First Class References as a Security Infrastructure in Dynamically-Typed Languages
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English