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
  1. Search


...
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-00551833v1  Theses
Cherif Smaili. Fusion de données multi-capteurs à l'aide d'un réseau bayésien pour l'estimation d'état d'un véhicule
Informatique [cs]. Université Nancy II, 2010. 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-01083731v1  Theses
Benjamin Lefaudeux. Détection, localisation et suivi des obstacles et objets mobiles à partir d'une plate forme de stéréo-vision
Autre. Ecole Nationale Supérieure des Mines de Paris, 2013. Français. ⟨NNT : 2013ENMP0091⟩
...
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-00868031v1  Theses
Adrien Zerbinati. Algorithme à gradients multiples pour l'optimisation multiobjectif en simulation de haute fidélité : application à l'aérodynamique compressible
Autre. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4025⟩
...
tel-00926498v1  Theses
Charles Bettembourg. Méthodes sémantiques pour la comparaison inter-espèces de voies métaboliques : application au métabolisme des lipides chez l'humain, la souris et la poule
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Rennes 1, 2013. Français
...
tel-02887880v2  Theses
Loïc Frazza. 3D anisotropic mesh adaptation for Reynolds Averaged Navier-Stokes simulations
Modeling and Simulation. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS423⟩
...
tel-01066750v1  Theses
Christophe Hauser. A basis for intrusion detection in distributed systems using kernel-level data tainting.
Other. Supélec, 2013. English. ⟨NNT : 2013SUPL0013⟩
...
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-00982804v1  Theses
Chen Wang. A chemistry-inspired middleware for flexible execution of service based applications
Other [cs.OH]. INSA de Rennes, 2013. English. ⟨NNT : 2013ISAR0015⟩
...
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-01752869v1  Theses
Olufade Falade Williams Onifade. A model for information risks management in economic intelligent systems
Library and information sciences. Université Nancy 2, 2010. English. ⟨NNT : 2010NAN21007⟩
...
tel-00984763v1  Theses
Valerio Cosentino. A model-based approach for extracting business rules out of legacy information systems
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2013. English. ⟨NNT : 2013EMNA0138⟩
...
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-01883287v1  Theses
Salvatore Signorello. A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks
Networking and Internet Architecture [cs.NI]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0109⟩
...
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
...
tel-01672497v2  Theses
Sarah Ali Hassan. A posteriori error estimates and stopping criteria for solvers using the domain decomposition method and with local time stepping
Mathematical Physics [math-ph]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066098⟩
...
tel-00844717v1  Theses
Heike Hufnagel. A probabilistic framework for point-based shape modeling in medical image analysis
Medical Imaging. universität Lübeck, 2010. 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-01718721v3  Theses
Pedro Alfonso Patlan-Rosales. A robotic control framework for quantitative ultrasound elastography
Robotics [cs.RO]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S005⟩
...
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-01808779v1  Theses
Gustavo Sousa. A Software Product Lines-Based Approach for the Setup and Adaptation of Multi-Cloud Environments
Software Engineering [cs.SE]. Université de Lille, 2018. English
...
tel-02481792v2  Theses
Wen Sun. A study of interacting stochastic networks : large scale, long time behavior and fluctuations, with applications in communication networks and protein polymerization
Dynamical Systems [math.DS]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS075⟩
...
tel-01874803v2  Theses
Cécile Fruchard. A study of sex chromosomes and sex determination in plants : Silene and Coccinia systems comparison
Populations and Evolution [q-bio.PE]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSE1108⟩
...
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-01972391v1  Theses
Jean-Bernard Eytard. A tropical geometry and discrete convexity approach to bilevel programming : application to smart data pricing in mobile telecommunication networks
Optimization and Control [math.OC]. Université Paris-Saclay, 2018. English. ⟨NNT : 2018SACLX089⟩
...
tel-00558196v1  Theses
A. Dame. A unified direct approach for visual servoing and visual tracking using mutual information
Automatic. Université Rennes 1, 2010. English
...
tel-01614081v1  Theses
Ayman Aljarbouh. Accelerated Simulation of Hybrid Systems : Method combining static analysis and run-time execution analysis.
Computer Science [cs]. Université de Rennes 1, France, 2017. English
...
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-00931853v2  Theses
Carole Hounkonnou. Active self-diagnosis in telecommunication networks
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S086⟩
...
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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/