347 résultats  enregistrer la recherche


...
tel-00750375v1  HDR
Etienne BirmeleEtude structurelle des réseaux : modèles aléatoires, motifs et cycles.
Bio-informatique [q-bio.QM]. Université d'Evry-Val d'Essonne, 2011
...
tel-00750370v1  Thèse
Alexandra PopaThe evolution of recombination and genomic structures: a modeling approach.
Bioinformatics [q-bio.QM]. Université Claude Bernard - Lyon I, 2011. English
...
tel-00650399v1  Thèse
Mahsa BehzadiA Mathematical Model of Phospholipid Biosynthesis
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English
...
tel-00850265v1  Thèse
Émilien TlapaleModelling the dynamics of contextual motion integration in the primate
Modeling and Simulation. Université Nice Sophia Antipolis, 2011. English
...
tel-00750693v1  Thèse
Nuno D MendesEfficient algorithms for the identification of miRNA motifs in DNA sequences
Bioinformatics [q-bio.QM]. UNIVERSIDADE TECNICA DE LISBOA INSTITUTO SUPERIOR TECNICO, 2011. English
...
tel-00654268v1  Thèse
Julien MercadalApproche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
...
tel-00671181v1  Thèse
Anca BelmeUnsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. English
...
tel-00664219v1  HDR
Mathieu ColinEtude de quelques problèmes issus de la physique des plasmas et de la mécanique des fluides.
Equations aux dérivées partielles [math.AP]. Université Sciences et Technologies - Bordeaux I, 2011
...
tel-00653059v1  HDR
Gautier StaufferAt Play with Combinatorial Optimization, Integer Programming and Polyhedra
Optimization and Control [math.OC]. Université Sciences et Technologies - Bordeaux I, 2011
...
tel-00673326v1  Thèse
Rodolphe JenattonStructured Sparsity-Inducing Norms : Statistical and Algorithmic Properties with Applications to Neuroimaging
Machine Learning [cs.LG]. École normale supérieure de Cachan - ENS Cachan, 2011. English
...
tel-00772590v1  HDR
Lutz StraßburgerTowards a Theory of Proofs of Classical Logic
Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2011
...
tel-00672699v1  Thèse
Mathieu BoespflugConception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
...
tel-00675278v1  Thèse
Tom LeclercContributions for Advanced Service Discovery in Ad hoc Networks
Computer science. Université Henri Poincaré - Nancy I, 2011. English
...
tel-00610499v3  Thèse
Thang Luu BaMatrix-based implicit representations of algebraic curves and surfaces and applications
Mathematics [math]. Université Nice Sophia Antipolis, 2011. English
...
tel-00726510v1  Thèse
Ali AssafA Common Aspect Languages Interpreter
Software Engineering [cs.SE]. Université de Nantes, 2011. English
...
tel-01179190v1  Thèse
Yanli GuoConfidentiality and Tamper-­‐Resistance of Embedded Databases
Databases [cs.DB]. Université de Versailles Saint Quentin en Yvelines, 2011. English
...
tel-00777154v1  Thèse
Cédric AugonnetScheduling Tasks over Multicore machines enhanced with acelerators: a Runtime System's Perspective
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Bordeaux 1, 2011. English
...
tel-00655506v1  Thèse
Miguel AndrésQuantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Computation and Language [cs.CL]. Radboud University, Nijmegen, 2011. English
...
tel-00624641v2  Thèse
Roger NakadSpecial submanifolds of Spin$^c$ manifolds
Mathematics [math]. Université Henri Poincaré, Nancy 1, 2011. English
...
tel-00606360v1  Thèse
Cody RouxSize-based termination: Semantics and generalizations
Other [cs.OH]. Université Henri Poincaré - Nancy I, 2011. English
...
tel-00706187v1  Thèse
Manabu TsukadaCommunications Management in Cooperative Intelligent Transportation Systems
Networking and Internet Architecture [cs.NI]. Ecole Nationale Supérieure des Mines de Paris, 2011. English