HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-00940100v1  Theses
Radhouane Fekih-Salem. Modèles Mathématiques pour la compétition et la coexistence des espèces microbiennes dans un chémostat
Systèmes dynamiques [math.DS]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français
...
tel-00527894v2  Theses
Mouna Baklouti. Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français
...
tel-01656474v1  Theses
Julie Laniau. Structure de réseaux biologiques : rôle des nœuds internes vis-à-vis de la production de composés
Recherche opérationnelle [cs.RO]. Inria Rennes - Bretagne Atlantique, 2017. Français
...
tel-00459780v1  Theses
Sandrine Chemla. A biophysical cortical column model for optical signal analysis
Neurons and Cognition [q-bio.NC]. INRIA Sophia-Antipolis, 2010. English
...
tel-01988073v2  Theses
Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE062⟩
...
tel-01632727v1  Theses
Justin Mathew. A design framework for user interfaces of 3D audio production tools
Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS328⟩
...
tel-01784869v1  Theses
Ngoc Tho Huynh. A development process for building adaptative software architectures
Software Engineering [cs.SE]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0026⟩
...
tel-00592207v1  Theses
Thomas Colleu. A floating polygon soup representation for 3D video
Human-Computer Interaction [cs.HC]. Université Rennes 1, 2010. English
...
tel-00937615v2  Theses
Thomas Cederborg. A Formal Approach to Social Learning: Exploring Language Acquisition Through Imitation
Interface homme-machine [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
tel-01692550v1  Theses
Walid Benghabrit. A formal model for accountability
Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0043⟩
...
tel-01563979v1  Theses
Evmorfia-Iro Bartzia. A formalization of elliptic curves for cryptography
Cryptography and Security [cs.CR]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX002⟩
...
pastel-00838322v1  Theses
Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00923305v1  Theses
Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-01651738v2  Theses
Marco Naddeo. A Modular Approach to Object Initialization for Pharo
Programming Languages [cs.PL]. Dipartimento di Informatica, Università degli Studi di Torino; Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2017. English
...
tel-00936845v1  Theses
Jean Peyhardi. A new generalized linear model (GLM) framework for analysing categorical data; application to plant structure and development.
Statistics [math.ST]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. English
...
pastel-00960808v1  Theses
Pierre Neron. A Quest for Exactness: Program Transformation for Reliable Real Numbers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. 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-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-01746351v2  Theses
Khaled Gaaloul. A Secure Framework for Dynamic Task Delegation in Workflow Management Systems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10058⟩
...
tel-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
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-01507595v2  Theses
Guillaume Baudart. A synchronous approach to quasi-periodic systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE007⟩
...
tel-03394523v2  Theses
Damien Scieur. Acceleration in optimization
Optimization and Control [math.OC]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE080⟩
...
tel-00936989v1  Theses
Rached Abdelkhalek. Accélération matérielle pour l'imagerie sismique : modélisation, migration et interprétation
Algorithme et structure de données [cs.DS]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
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-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
...
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-00967943v1  Theses
Rim Romdhane. Activity Recognition and Uncertain Knowledge in Video Scenes Applied to Health Care Monitoring
Information Theory [cs.IT]. Université Nice Sophia Antipolis, 2013. English
...
tel-00532926v1  Theses
Kelly Garces. Adaptation and evaluation of generic model matching strategies
Software Engineering [cs.SE]. Université de Nantes, 2010. English