|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Proof automation and type synthesis for set theory in the context of TLA+
Hernán Vanzetto
Theses
tel-01751181v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Ensembles of models in fMRI : stable learning in large-scale settings
Andrés Hoyos-Idrobo
Theses
tel-01526693v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Learning during search
Alejandro Arbelaez Rodriguez
Theses
tel-00600523v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Adaptive Operator Selection for Optimization
Álvaro Fialho
Computer Science [cs]. Université Paris Sud - Paris XI, 2010. English. ⟨NNT : ⟩
Theses
tel-00578431v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|