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…
