411 résultats  enregistrer la recherche


...
tel-00923305v1  Thèse
Viet Hoa NguyenA model-based method to manage time properties in component based software systems
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-00823763v1  HDR
Stéphane HuotDesigneering Interaction': A Missing Link in the Evolution of Human-Computer Interaction
Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2013
...
tel-00923811v1  Thèse
Tam Le NhanModel-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-00823882v1  Thèse
Ilya LoshchilovSurrogate-Assisted Evolutionary Algorithms
Optimization and Control [math.OC]. Université Paris Sud - Paris XI; Institut national de recherche en informatique et en automatique - INRIA, 2013. English
...
tel-00986112v1  Thèse
Camille BaysseAnalyse et optimisation de la fiabilité d'un équipement opto-électrique équipé de HUMS
Mathématiques générales [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. Français. < NNT : 2013BOR14882 >
...
tel-00858600v1  Thèse
Manuel LatigeSimulation numérique de l'ablation liquide
Mathématiques générales [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. Français. < NNT : 2013BOR14842 >
...
tel-00946171v1  Thèse
Dante De SantisDevelopment of a high-order residual distribution method for Navier-Stokes and RANS equations
General Mathematics [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. English. < NNT : 2013BOR14953 >
...
tel-00844393v1  Thèse
Philippe FraysseEstimation récursive dans certains modèles de déformation
Mathématiques générales [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. Français. < NNT : 2013BOR14797 >
...
tel-00844395v1  Thèse
Romain AzaïsEstimation non paramétrique pour les processus markoviens déterministes par morceaux
Mathématiques générales [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. Français. < NNT : 2013BOR14796 >
...
tel-00954413v1  Thèse
Gianluca GeraciSchemes and Strategies to Propagate and Analyze Uncertainties in Computational Fluid Dynamics Applications
General Mathematics [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. English. < NNT : 2013BOR14939 >
...
tel-00865867v1  Thèse
Raphaël CoudretStochastic modelling using large data sets : applications in ecology and genetics
General Mathematics [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. English. < NNT : 2013BOR14838 >
...
tel-00873213v1  Thèse
Salma LahbabiMathematical study of quantum and classical models for random materials in the atomic scale
Mathematical Physics [math-ph]. Université de Cergy Pontoise, 2013. English
...
pastel-00924232v1  Thèse
Emanuele LeonciniTowards a global and systemic understanding of protein production in prokaryotes
Quantitative Methods [q-bio.QM]. Ecole Polytechnique X, 2013. English
...
tel-00925154v1  HDR
Laurent LefèvreContributions à la flexibilité et à l'efficacité énergétique des systèmes distribués à grande échelle
Calcul parallèle, distribué et partagé [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2013
...
tel-00925067v2  Thèse
Natalia LyubovaDevelopmental approach of perception for a humanoid robot
Robotics [cs.RO]. Ecole Nationale Supérieure de Techniques Avancées - ENSTA, 2013. English
...
tel-00926141v1  Thèse
Paul IstoanMéthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français
...
tel-00927066v1  HDR
Stefan SchwoonEfficient verification of sequential and concurrent systems
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
...
tel-00927150v1  Thèse
Pankesh PatelEnabling High-Level Application Development for the Internet of Things
Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English
...
pastel-00927122v1  Thèse
Zheng QuNonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
pastel-00927358v1  Thèse
Zhiping RaoHamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
tel-00958663v1  Thèse
Tien Viet NguyenOn the modelling of wireless communication networks using non-poisson point processes
Networking and Internet Architecture [cs.NI]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00808419v1  Thèse
Jean-Baptiste ArnaudTowards First Class References as a Security Infrastructure in Dynamically-Typed Languages
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
tel-00808651v1  Thèse
Ichrak AmdouniWireless Self-adaptive Ad hoc and Sensor Networks: Energy Efficiency and Spatial Reuse
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-00857643v1  HDR
Iasonas KokkinosLearning and Optimization for Shape-based Representations
Computer Vision and Pattern Recognition [cs.CV]. Université Paris-Est, 2013
...
tel-00909410v1  Thèse
Paolo Parisen ToldinICC and Probabilistic Classes
Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English
...
tel-00911049v1  Thèse
Jérémy JeanCryptanalysis of Symmetric-Key Primitives Based on the AES Block Cipher
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2013. English
...
tel-00925028v1  HDR
Jing-Rebecca LiModeling and simulation of diffusion
Modeling and Simulation. Université Paris Sud - Paris XI, 2013