533 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Informatique .:.
74 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
fulltext access Deux problèmes dans la formation des images numériques : l'estimation du noyau local de flou d'une caméra et l'accélération de rendus stochastiques par filtrage auto-similaire.
Delbracio M.
École normale supérieure de Cachan - ENS Cachan (25/03/2013), Jean-Michel Morel (Dir.) [tel-00907853 - version 1]
fulltext access Certification of static analysis in many-sorted first-order logic
Cornilleau P.-E.
École normale supérieure de Cachan - ENS Cachan (25/03/2013), Thomas Jensen (Dir.) [tel-00846347 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Scalable data-management systems for Big Data
Tran V.-T.
École normale supérieure de Cachan - ENS Cachan (21/01/2013), Luc Bougé (Dir.) [tel-00920432 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Sur le passage à l'échelle des systèmes de gestion des grandes masses de données
Tran V.-T.
École normale supérieure de Cachan - ENS Cachan (21/01/2013), Gabriel Antoniu (Dir.) [tel-00783724 - version 2]
fulltext access Enforcing virtualized systems security
Benzina H.
École normale supérieure de Cachan - ENS Cachan (17/12/2012), Jean Goubault-Larrecq (Dir.) [tel-00846513 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Study of concurrency in real-time distributed systems
Balaguer S.
École normale supérieure de Cachan - ENS Cachan (2012-12-13), Stefan Haar (Dir.) [tel-00821978 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Automatic verification of cryptographic protocols : privacy-type properties
Cheval V.
École normale supérieure de Cachan - ENS Cachan (03/12/2012), Hubert Comon-Lundh (Dir.) [tel-00861389 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Nash equilibria in concurrent games : application to timed games
Brenguier R.
École normale supérieure de Cachan - ENS Cachan (29/11/2012), Nicolas Markey (Dir.) [tel-00827027 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Distributed cost-optimal planning
Jezequel L.
École normale supérieure de Cachan - ENS Cachan (13/11/2012), Eric Fabre (Dir.) [tel-00825026 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Simulation de Fracture d'Objets Fragiles basée Physique et en Temps-Réel Pour les Applications Interactives
Glondu L.
École normale supérieure de Cachan - ENS Cachan (06/11/2012), Dumont Georges (Dir.) [tel-00752388 - version 1]