Skip to Main content Skip to Navigation

tel-01962318v1  Theses
Loic Frazza. 3D anisotropic mesh adaptation for Reynolds Averaged Navier-Stokes simulations.
Modeling and Simulation. Sorbonne Université UPMC, 2018. English
tel-02418551v1  Theses
Sandeep Manandhar. 3D Motion Estimation and Assessment in Fluorescence Microscopy Volume Sequences
Image Processing [eess.IV]. Université de Rennes 1 [UR1], 2019. English
tel-01988073v2  Theses
Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. PSL Research University, 2018. English. ⟨NNT : 2018PSLEE062⟩
tel-02105743v1  Theses
João Paulo de Araujo. A communication-efficient causal broadcast publish/subscribe system
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université; LIP6 - Laboratoire d'Informatique de Paris 6, 2019. English
tel-00484788v2  Theses
Sebastien Pavel. A Hierarchical Component Model with Interaction Protocols
Software Engineering [cs.SE]. Université de Nantes, 2008. English
tel-00497248v1  Theses
Yu Huafeng. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
tel-02089352v1  Theses
Lina Maria Garcès Rodriguez. A reference architecture for healthcare supportive home systems from a systems-of-systems perspective
Multiagent Systems [cs.MA]. Université de Bretagne Sud; Universidade de São Paulo (Brésil), 2018. English. ⟨NNT : 2018LORIS493⟩
tel-00337558v2  Theses
Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems
Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
tel-00464475v1  Theses
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English
tel-02093561v1  Theses
Saad El Jaouhari. A secure design of WoT services for smart cities
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0120⟩
tel-01962082v1  Theses
Rafael Keller Tesser. A Simulation Workflow to Evaluate the Performance of Dynamic Load Balancing with Over-decomposition for Iterative Parallel Applications
Distributed, Parallel, and Cluster Computing [cs.DC]. Universidade Federal Do Rio Grande Do Sul, 2018. English
tel-02146340v1  Theses
Valdemar Vicente Graciano Neto. A simulation-driven model-based approach for designing softwareintensive systems-of-systems architectures
Multiagent Systems [cs.MA]. Université de Bretagne Sud; Universidade de São Paulo (Brésil), 2018. English. ⟨NNT : 2018LORIS489⟩
tel-01813434v1  Theses
Wen Sun. A study of interacting stochastic networks :large scale, long time behavior and fluctuations
Probability [math.PR]. Université Pierre et Marie Curie, 2018. English
tel-00424552v1  Theses
Tristan Le Gall. Abstract lattices for the verification of systèmes with stacks and queues
Software Engineering [cs.SE]. Université Rennes 1, 2008. English
tel-02411487v1  Theses
Andreea Beica. Abstractions of Biochemical Reaction Networks
Quantitative Methods [q-bio.QM]. PSL University, 2019. English
tel-01887163v1  Theses
Damien Scieur. Acceleration in Optimization
Optimization and Control [math.OC]. PSL Research University, 2018. English
tel-01959136v2  Theses
Simon Rokicki. Accélération matérielle pour la traduction dynamique de programmes binaires
Architectures Matérielles [cs.AR]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S086⟩
tel-00379318v1  Theses
Daniel Weinland. Action Representation and Recognition
Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2008. English
tel-01966815v3  Theses
William Schueller. Active control of complexity growth in Language Games
Multiagent Systems [cs.MA]. Université de Bordeaux, 2018. English. ⟨NNT : 2018BORD0382⟩
tel-00284531v1  Theses
Sébastien Laborie. Adaptation sémantique de documents multimédia
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. Français
tel-02104982v1  Theses
Patrik Daniel. Adaptive hp-finite elements with guaranteed error contraction and inexact multilevel solvers
Numerical Analysis [math.NA]. Sorbonne Université; INRIA Paris, 2019. English
tel-01968241v2  Theses
Benjamin Clément. Adaptive Personalization of Pedagogical Sequences using Machine Learning
Artificial Intelligence [cs.AI]. Université de Bordeaux, 2018. English. ⟨NNT : 2018BORD0373⟩
tel-01767206v2  Theses
Dmitrii Ostrovskii. Adaptive signals recovery by convex optimization
Computation and Language [cs.CL]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM004⟩
tel-02393773v2  Theses
Damien Carver. Advanced Consolidation for Dynamic Containers
Computer Science [cs]. EDITE de Paris, 2019. English
tel-01868828v2  Theses
Pierre-Alain Dupont. Advanced password-authenticated key exchanges
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE053⟩
tel-02436845v1  Theses
Guillaume Florent Doquet. Agnostic Feature Selection
Artificial Intelligence [cs.AI]. Université Paris-Saclay/Université Paris-Sud, 2019. English
tel-01277878v1  Theses
Walid Belkhir. Algebra and Combinatorics of Parity Games
Computer Science and Game Theory [cs.GT]. Aix-Marseille université, 2008. English
tel-02070618v1  Theses
Louis Poirel. Algebraic domain decomposition methods for hybrid (iterative/direct) solvers
Numerical Analysis [math.NA]. Université de Bordeaux, 2018. English
tel-00347162v1  Theses
Julien Wintz. Algebraic Methods for Geometric Modeling
Mathematics [math]. Université Nice Sophia Antipolis, 2008. English