Skip to Main content Skip to Navigation


...
tel-03300180v1  Theses
Adrien Wohrer. Model and large-scale simulator of a biological retina, with contrast gain control
Computer Science [cs]. Université de Nice - Sophia Antipolis, 2008. English
...
tel-03275208v2  Theses
Andreea Beica. Abstractions of biochemical reaction networks
Bioinformatics [q-bio.QM]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE071⟩
...
tel-03267858v1  Theses
Ambroise Lafont. Signatures and models for syntax and operational semantics in the presence of variable binding
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0161⟩
...
tel-03236271v1  Theses
Gaëtan Gilbert. A type theory with definitional proof-irrelevance
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0169⟩
...
tel-02444980v2  Theses
Sara El Aouad. Personalized, Aspect-based Summarization of Movie Reviews
Artificial Intelligence [cs.AI]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS019⟩
...
tel-02393773v3  Theses
Damien Carver. Advanced consolidation for dynamic containers
Operating Systems [cs.OS]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS513⟩
...
tel-02462786v4  Theses
Md Umar Hashmi. Optimization and control of storage in smart grids
Optimization and Control [math.OC]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE062⟩
...
tel-02510647v2  Theses
Nahuel Villa. Managing Uncertainties in Legged Robots
Automatic. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAT074⟩
...
tel-02436267v2  Theses
Laura Aspirot. Fluid Approximations for Stochastic Telecommunication Models
Modeling and Simulation. Universidad de la República - Montevideo, 2019. English
...
tel-03087889v1  Theses
Aya El Dakdouki. Hyperbolic Support Vector Machine and Kernel design
Mathematics [math]. Université de Lille 1, Sciences et Technologies; Loria & Inria Grand Est; LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry, 2019. English
...
tel-03010496v1  Theses
Louiza Khati. Full disk encryption and beyond
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE047⟩
...
tel-02105743v2  Theses
João Paulo de Araujo. A communication-efficient causal broadcast publish/subscribe system
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS081⟩
...
tel-02976034v1  Theses
Léo Miolane. Fundamental limits of inference : a statistical physics approach
Statistics [math.ST]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE043⟩
...
tel-02972693v1  Theses
Alexandre Dang. Secure compilation for memory protection
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S111⟩
...
tel-02285706v2  Theses
Jonathan Mauricio Muñoz Soto. Km-scale Industrial Networking
Networking and Internet Architecture [cs.NI]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS252⟩
...
tel-02954814v1  Theses
Hugo Bazille. Detection and quantification of events in stochastic systems
Machine Learning [cs.LG]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S107⟩