17 juin 2010 En 1919 Jean Perrin propose pour expliquer la source de la “prodigieuse dépense des rayonnements stellaires”, “une combustion mêlant de façon beaucoup plus intime (que les réactions chimiques) les noyaux atomiques, menant à la formation d’atomes lourds aux dépends des atomes légers”. Les recherches pour développer l’énergie…
May 20, 2010 Computer Science developed as a field at a time when computers were expensive, isolated machines run by teams of highly trained engineers. Not surprisingly, the primary focus of Computer Science has been on the computers themselves: how to make them faster, smarter and more efficient. However, computing…
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…
