Search - Archive ouverte HAL Access content directly

Filter your results

9 Results
Structure: Internal structure identifier : 65197
Image document

Generic Proof Tools and Finite Group Theory

François Garillot
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses pastel-00649586v1
Image document

Proof automation and type synthesis for set theory in the context of TLA+

Hernán Vanzetto
Computer Science [cs]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0208⟩
Theses tel-01751181v2
Image document

Multisite Management of Scientific Workflows in the Cloud

Ji Liu
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Montpellier, 2016. English. ⟨NNT : ⟩
Theses tel-01400625v2
Image document

Formalized algebraic numbers: construction and first-order theory.

Cyril Cohen
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses pastel-00780446v1
Image document

Ensembles of models in fMRI : stable learning in large-scale settings

Andrés Hoyos-Idrobo
Medical Imaging. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS029⟩
Theses tel-01526693v1
Image document

Towards robust visual object tracking : proposal selection and occlusion reasoning

Yang Hua
Computer Vision and Pattern Recognition [cs.CV]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM012⟩
Theses tel-01394943v1
Image document

Learning during search

Alejandro Arbelaez Rodriguez
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. ⟨NNT : 2011PA112063⟩
Theses tel-00600523v1
Image document

Reconstructing hands and manipulated objects from images and videos

Yana Hasson
Computer Vision and Pattern Recognition [cs.CV]. Inria, 2021. English. ⟨NNT : ⟩
Theses tel-03616841v1
Image document

Adaptive Operator Selection for Optimization

Álvaro Fialho
Computer Science [cs]. Université Paris Sud - Paris XI, 2010. English. ⟨NNT : ⟩
Theses tel-00578431v1