1. Recherche
4044 résultats  enregistrer la recherche
...
tel-00265549v1  Thèse
Dragisa Zunic. Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2007. English
...
tel-00329849v1  Thèse
Daniele Zucchelli. Combination Methods for Verification Problems
Computer Science [cs]. Université Henri Poincaré - Nancy I, 2008. English
...
tel-01290131v1  Thèse
Alexis Zubiolo. Extraction de caractéristiques et apprentissage statistique pour l'imagerie biomédicale cellulaire et tissulaire
Autre. Université Nice Sophia Antipolis, 2015. Français. < NNT : 2015NICE4117 >
...
tel-01440828v1  Thèse
Carlos J. Zubiaga. Real-time 2D manipulation of plausible 3D appearance using shading and geometry buffers
Graphics [cs.GR]. Université de Bordeaux, 2016. English
...
tel-00695402v1  Thèse
Spyros Zoupanos. Gestion des données efficace en pair-à-pair
Databases [cs.DB]. Université Paris Sud - Paris XI, 2009. English
...
tel-01231838v2  Thèse
Mawussi Zounon. On numerical resilience in linear algebra
Numerical Analysis [cs.NA]. Université de Bordeaux, 2015. English. < NNT : 2015BORD0038 >
...
tel-00453021v1  Thèse
Nadia Zouba Ep Valentin. Multisensor Fusion for Monitoring Elderly Activities at Home
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-00652046v1  Thèse
Mohamed Zouari. Architecture logicielle pour l'adaptation distribuée : Application à la réplication de données
Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
...
tel-00419519v1  Thèse
Pascal Zongo. Modélisation mathématique de la dynamique de la transmission du paludisme
Mathématiques [math]. université de Ouagadougou, 2009. Français
...
tel-01414770v1  Thèse
Oleksandr Zinenko. Interactive Program Restructuring
Human-Computer Interaction [cs.HC]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLS437 >
...
tel-00526731v1  HDR
Paul Zimmermann. De l'algorithmique à l'arithmétique via le calcul formel
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001
...
tel-00341525v3  Thèse
Antoine Zimmermann. Sémantique des réseaux de connaissances : gestion de l'hétérogénéité fondée sur le principe de médiation
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. Français
...
tel-00006314v1  Thèse
Pascal Zimmer. Récursion généralisée et inférence de types avec intersection
Autre [cs.OH]. Université Nice Sophia Antipolis, 2004. Français
...
tel-00984990v1  Thèse
Nicolas Zilber. ERF and scale-free analyses of source-reconstructed MEG brain signals during a multisensory learning paradigm
Other [cond-mat.other]. Université Paris Sud - Paris XI, 2014. English. < NNT : 2014PA112040 >
...
tel-00526164v1  Thèse
Meriem Zidouni. Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2010. Français
...
tel-01123711v2  Thèse
Anna Zhukova. Knowledge-based scaling for biological models
Computer science. Université de Bordeaux, 2014. English. < NNT : 2014BORD0427 >
...
tel-00763706v1  Thèse
Jia Zhou. Application de l'identification d'objets sur images à l'étude de canopées de peuplements forestiers tropicaux : cas des plantations d'Eucalyptus et des mangroves
Ecosystèmes. Université Montpellier II - Sciences et Techniques du Languedoc, 2012. Français
...
tel-01408450v1  Thèse
Naweiluo Zhou. Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory
Distributed, Parallel, and Cluster Computing [cs.DC]. UJF Grenoble-1; INRIA Grenoble, 2016. English
...
tel-01395061v1  Thèse
Kuang Zhou. Belief relational clustering and its application to community detection
Probability [math.PR]. Université Rennes 1, 2016. English. < NNT : 2016REN1S027 >
...
tel-01258527v2  HDR
Gang Zheng. Observability Analysis and Observer Design for Complex Dynamical Systems
Automatic Control Engineering. Universite Lille 1, 2015
...
tel-00529718v1  Thèse
Xiao Chun Zhao Épouse Boury. Méthodologie de conception d'un système expert pour la généralisation cartographique
Interface homme-machine [cs.HC]. Ecole Nationale des Ponts et Chaussées, 1990. Français
...
tel-01163806v1  Thèse
Mengxuan Zhao. Discrete Control in the Internet of things and Smart Environments through a Shared Infrastructure
Other [cs.OH]. Université Grenoble Alpes, 2015. English. < NNT : 2015GREAM011 >
...
tel-00933443v4  Thèse
Yulong Zhao. Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking
Ecosystèmes. Université Rennes 1, 2014. Français. < NNT : 2014REN1S008 >
...
tel-00516709v1  Thèse
Hehua Zhang. Domain-specific modeling and verification language EDOLA
Software Engineering [cs.SE]. Tsinghua university, 2009. Chinese
...
tel-00820474v1  Thèse
Qin Zhang. Evoked EMG-based torque prediction for muscle fatigue tracking and closed-loop torque control in FES
Biotechnology. Université Montpellier II - Sciences et Techniques du Languedoc, 2011. English
...
tel-00310153v1  Thèse
Kun Zhang. mesostructured porous materials: pore and surface engineering towards bio-inspired synthesis of heterogeneous copper catalysts
Chemical Sciences. Ecole normale supérieure de lyon - ENS LYON, 2008. English
...
tel-00431464v1  Thèse
Linqiao Zhang. On the three-dimensional visibility skeleton: implementation and analysis
Computer Science [cs]. Université McGill, 2009. English
...
tel-00534833v1  Thèse
Ruifeng Zhang. Analysis of Energy-Delay Performance in Multi-hop Wireless Sensor Networks
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2009. English
...
tel-00005623v1  Thèse
Ruotao Zhang. Couverture approchée des options européennes
Mathématiques [math]. Ecole des Ponts ParisTech, 1999. Français
...
tel-01273148v1  Thèse
Yumeng Zhang. Modelisation et simulation des dispositifs de ventilation dans les stockages de dechets radioactifs
Equations aux dérivées partielles [math.AP]. UNS, 2015. Français

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD