Skip to Main content Skip to Navigation
New interface


...
tel-00416184v1  Theses
Luc Bougé. Modularité et symétrie pour les systèmes répartis; application au langage CSP
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français
...
tel-00172858v1  Theses
Philippe Matherat. Contribution à l'augmentation de puissance des architectures de visus graphiques
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1988. Français
...
tel-01311143v2  Theses
Guillaume Seguin. Person analysis in stereoscopic movies
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE021⟩
...
tel-01357506v1  Habilitation à diriger des recherches
David Naccache. Security, Cryptography: Theory and Practice
Cryptography and Security [cs.CR]. Université Paris 7 - Denis Diderot, 2004
...
tel-00824860v1  Theses
Bruno Kauffmann. Inverse problems in networks
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2011. English. ⟨NNT : 2011PA066026⟩
...
tel-00668379v1  Theses
Rodolphe Jenatton. Structured sparsity-inducing norms : statistical and algorithmic properties with applications to neuroimaging
General Mathematics [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2011. English. ⟨NNT : 2011DENS0048⟩
...
tel-00906029v1  Theses
Toby Dylan Hocking. Learning algorithms and statistical software, with applications to bioinformatics
General Mathematics [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0062⟩
...
tel-00431825v1  Theses
Christine Paulin-Mohring. Extraction de programmes dans le Calcul des Constructions
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1989. Français
...
pastel-00001914v1  Theses
Xavier Rival. Abstraction de traces en analyse statique et transformation de programmes.
Informatique [cs]. Ecole Polytechnique X, 2005. Français
...
tel-00826236v2  Theses
Armand Joulin. Optimisation convexe pour la cosegmentation
Mathématiques générales [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0086⟩
...
pastel-00001303v1  Theses
Jérôme Feret. Analyse des systèmes mobiles par interprétation abstraite.
Informatique mobile. Ecole Polytechnique X, 2005. Français
...
tel-01507595v2  Theses
Guillaume Baudart. A synchronous approach to quasi-periodic systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE007⟩
...
tel-00906074v1  Theses
Olivier Duchenne. Alignement élastique d’images pour la reconnaissance d’objet
Mathématiques générales [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0070⟩
...
tel-00673326v1  Theses
Rodolphe Jenatton. Structured Sparsity-Inducing Norms : Statistical and Algorithmic Properties with Applications to Neuroimaging
Machine Learning [cs.LG]. École normale supérieure de Cachan - ENS Cachan, 2011. English
...
tel-00136630v1  Theses
Antoine Miné. Weakly Relational Numerical Abstract Domains
Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English
...
tel-01399451v1  Habilitation à diriger des recherches
Hoeteck Wee. Advances in Functional Encryption
Cryptography and Security [cs.CR]. ENS Paris - Ecole Normale Supérieure de Paris, 2016
...
tel-00595312v1  Theses
Julien Mairal. Sparse coding for machine learning, image processing and computer vision
General Mathematics [math.GM]. École normale supérieure de Cachan - ENS Cachan, 2010. English. ⟨NNT : 2010DENS0040⟩
...
tel-00903447v1  Habilitation à diriger des recherches
Antoine Miné. Static analysis by abstract interpretation of concurrent programs
Performance [cs.PF]. Ecole Normale Supérieure de Paris - ENS Paris, 2013
...
tel-00818169v1  Theses
Cédric Auger. Compilation certifiée de SCADE/LUSTRE
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112018⟩
...
pastel-00001442v1  Theses
Duong Hieu Phan. Sécurité et efficacité des schémas cryptographiques.
Informatique [cs]. Ecole Polytechnique X, 2005. Français
...
tel-01559667v1  Theses
Vincent Lostanlen. Convolutional operators in the time-frequency domain
Signal and Image Processing. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE012⟩
...
tel-00917187v1  Habilitation à diriger des recherches
Michel Abdalla. Reducing The Need For Trusted Parties In Cryptography
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2011
...
tel-00084287v1  Theses
David Monniaux. Analysis of probabilistic programs by abstract interpretation
Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English
...
tel-03630843v1  Theses
Charles Bouillaguet. Algorithms for some hard problems and cryptographic attacks against specific cryptographic primitives
Cryptography and Security [cs.CR]. Université Paris Diderot (Paris 7), 2011. English
...
tel-03720004v1  Theses
Ludovic Stephan. Inference problems in large random graphs
General Mathematics [math.GM]. Sorbonne Université, 2021. English. ⟨NNT : 2021SORUS497⟩
...
tel-00772857v1  Theses
Olivier Devillers. Méthodes d'optimisation du tracé de rayons
Synthèse d'image et réalité virtuelle [cs.GR]. Université Paris Sud - Paris XI, 1988. Français