Search - Archive ouverte HAL Access content directly

Filter your results

240 Results
Structure: Internal structure identifier : 25027
Image document

Learning human body and human action representations from visual data

Gül Varol
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE029⟩
Theses tel-02266593v2
Image document

Fully homomorphic encryption for machine learning

Michele Minelli
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE056⟩
Theses tel-01918263v2
Image document

Modularité et symétrie pour les systèmes répartis; application au langage CSP

Luc Bougé
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français. ⟨NNT : ⟩
Theses tel-00416184v1
Image document

Structural and probabilistic methods for group analysis in functional neuroimaging

Bertrand Thirion
Life Sciences [q-bio]. École normale supérieure de Cachan - ENS Cachan, 2009
Habilitation à diriger des recherches tel-00438202v1
Image document

Methodological and applied contributions to the deformable models framework

Jean-Philippe Pons
Human-Computer Interaction [cs.HC]. Ecole des Ponts ParisTech, 2005. English. ⟨NNT : ⟩
Theses tel-00457461v1
Image document

Contributions en modélisation de la vision algorithmique et bio-inspirée

Pierre Kornprobst
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2007
Habilitation à diriger des recherches tel-00457491v1
Image document

Balancing energy, security and circuit area in lightweight cryptographic hardware design

Rodrigo Portella
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE036⟩
Theses tel-01743786v1
Image document

Static analysis by abstract interpretation of functional temporal properties of programs

Caterina Urban
Other [cs.OH]. Ecole normale supérieure - ENS PARIS, 2015. English. ⟨NNT : 2015ENSU0017⟩
Theses tel-01176641v2
Image document

Mécanismes cryptographiques pour la génération de clefs et l'authentification.

Sébastien Zimmer
Informatique [cs]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses pastel-00004271v1
Image document

Public-key encryption, revisited : tight security and richer functionalities

Romain Gay
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE078⟩
Theses tel-03416070v2
Image document

Transferable e-cash : an analysis in the algebraic group model

Balthazar Bauer
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE080⟩
Theses tel-03682672v2
Image document

Algebraic frameworks for pseudorandom functions

Alain Passelègue
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE059⟩
Theses tel-01422093v2
Image document

Learning Hierarchical Feature Extractors For Image Recognition

Y-Lan Boureau
Computer Vision and Pattern Recognition [cs.CV]. New York University, 2012. English. ⟨NNT : ⟩
Theses tel-01063353v1
Image document

A Markovian approach to distributional semantics

Edouard Grave
Computation and Language [cs.CL]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066002⟩
Theses tel-00940575v2
Image document

Privacy-preserving cryptographic protocols

Patrick Towa
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE056⟩
Theses tel-03601839v1
Image document

Large-scale learning from video and natural language

Antoine Miech
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE059⟩
Theses tel-03616206v1
Image document

Load-balancing and resource-provisioning in large distributed systems

Mathieu Leconte
Data Structures and Algorithms [cs.DS]. Telecom ParisTech, 2013. English. ⟨NNT : ⟩
Theses tel-00933645v1
Image document

Contribution à l'augmentation de puissance des architectures de visus graphiques

Philippe Matherat
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 1988. Français. ⟨NNT : ⟩
Theses tel-00172858v1
Image document

Principles of program verification for arbitrary monadic effects

Kenji Maillard
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE081⟩
Theses tel-03441023v2
Image document

Insensibilité dans les réseaux de files d'attente et applications au partage de ressources informatiques

Minh Anh Tran
Réseaux et télécommunications [cs.NI]. Télécom ParisTech, 2007. Français. ⟨NNT : ⟩
Theses tel-00196718v1
Image document

Geographic and socio-demographic disparities in oncology care pathways

Eric Daoud
Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASL085⟩
Theses tel-03938590v2
Image document

Abstractions of biochemical reaction networks

Andreea Beica
Bioinformatics [q-bio.QM]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE071⟩
Theses tel-03275208v2
Image document

Unsupervised Learning of Intuitive Physics from Videos

Ronan Riochet
Artificial Intelligence [cs.AI]. Ecole Normale Superieure de Paris - ENS Paris, 2021. English. ⟨NNT : ⟩
Theses tel-03530321v1
Image document

Translation Validation of Tensor Compilers

Basile Clément
Computer Science [cs]. École Normale Supérieure (Paris), 2022. English. ⟨NNT : ⟩
Theses tel-03903895v1
Image document

Sécurisation systématique d'applications embarquées contre les attaques physiques

Julien Proy
Cryptographie et sécurité [cs.CR]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE048⟩
Theses tel-03015143v1
Image document

Image Segmentation and Level Set Method: Application to Anatomical Head Model Creation

Jérome Piovano
Computer Vision and Pattern Recognition [cs.CV]. Université de Nice-Sophia Antipolis, 2009. English. ⟨NNT : ⟩
Theses tel-03374002v1
Image document

Non-rigid image alignment for object recognition

Olivier Duchenne
Computer Vision and Pattern Recognition [cs.CV]. Ecole Normale Supérieure de Paris - ENS Paris, 2012. English. ⟨NNT : ⟩
Theses tel-01063352v1
Image document

Visual search and recognition of objects, scenes and people

Josef Sivic
Computer Vision and Pattern Recognition [cs.CV]. Ecole Normale Supérieure de Paris - ENS Paris, 2014
Habilitation à diriger des recherches tel-01064559v1
Image document

Learning to annotate dynamic video scenes

Piotr Bojanowski
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE056⟩
Theses tel-01364560v2
Image document

On efficient methods for high-dimensional statistical estimation

Dmitry Babichev
Machine Learning [stat.ML]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE032⟩
Theses tel-02433016v2