4 mars 2010 We present a tetrahedral mesh improvement program called Stellar that locally optimizes finite element meshes so their worst tetrahedra have a level of quality substantially better than those produced by any previous method for tetrahedral mesh generation or “mesh clean-up.” Our implementation usually improves meshes so that…
11 fév. 2010 Tout étudiant d’un cours d’algorithmique de base apprend que la complexité moyenne de l’algorithme QuickSort est en O(n log n), celle de QuickSelect est en O(n) et celle de RadixSort est en O(n log n). De tels énoncés ont le mérite d’être simples, mais leur simplicité est…
Dec. 17, 2009 As reviewed in the January, 2009 issue of Nature: Methods , the past decade has seen an explosion of fluorescence LM techniques demonstrating spatial resolution significantly beyond the Abbe Limit (HRLM). Are we truly on the verge of nm spatial resolution in living cells? Wonderful though these…
Nov. 19, 2009 The notion of an ESS (evolutionarily stable strategy) was introduced by Maynard Smith and Price(1973) in order to provide an explanation for the co-existence of disparate strategies observed in fights between animals. In some population individuals engage in pairwise contests using strategies drawn from some repertoire S.…
29 octobre 2009 Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient “que” des programmes source: des erreurs dans les compilateurs qui les…
11 juin 2009 Les simulations numériques forment aujourd’hui une part grandissante de la science des matériaux. La mécanique du 19ème siècle s’intéressait aux échelles du mètre et du millimètre, celle du vingtième à l’échelle du micromètre. Celle de ce siècle descend jusqu’au nanomètre. A de telles échelles, les phénomènes de…
May 28th, 2009 In May 2006 we formed a team to compete in DARPA’s 2006-2007 “Urban Challenge,” the goal of which was to develop a passenger vehicle capable of safe, robust autonomous driving in city traffic. Over the following eighteen months, we built the team up to roughly twenty-five members,…
14 mai 2009 La notion de problème NP-complet a connu un succès extraordinaire dès son introduction au début des années 1970. Très rapidement, des centaines puis probablement des milliers de problèmes NP-complets ont été identifiés. Aujourd’hui, même si la preuve de NP-complétude d’un nouveau problème peut parfois présenter des difficultés…
26 mars 2009 Ever since the discovery and publication of the persistent homology algorithm, by Edelsbrunner, Letscher and Zomorodian in 2000, classical algebraic topology has enjoyed new life as a field of applied mathematics. Whereas algebraic topology has traditionally been regarded as a technically complex and challenging discipline, the underlying…
12 février 2009 La modélisation numérique est devenue un des principaux outils de l’étude du climat, et particulièrement de l’évolution à venir du climat en réponse à l’augmentation anthropique de l’effet de serre. On décrira les bases mathématiques sur lesquels sont construits les Modèles de Circulation Générale (MCG) utilisés pour…
