May 18th, 2017 Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in…
jeudi 6 avril 2017 A travers le paradigme d’une maladie chronique fréquente, le cancer du sein, nous souhaitons aborder les évolutions de formes de collaborations entre le domaine médical et les chercheurs en mathématiques appliquées. La capacité à observer et quantifier les états physiologiques et pathologiques et approcher leurs variabilités…
January 19th, 2017 Optimal transport (OT) has become a fundamental mathematical theoretical tool at the interface between calculus of variations, partial differential equations and probability. It took however much more time for this notion to become mainstream in numerical applications. This situation is in large part due to the high…
December 8th, 2016 Much of the technical terminology of computer science betrays its logical heritage: ‘language’, ‘symbol’, ‘syntax’, ‘semantics’, ‘value’, ‘reference’, ‘identifier’, ‘data’, etc. Classically, such terms were used to name essential phenomena underlying logic, human thought and language — phenomena, it was widely believed, that would never succumb to…
November 3rd, 2016 For years there has been interest in the possibility of building a reliable odor reproduction system (AOS), with its vast spectrum of applications: from e-commerce, games and video, via the food and cosmetics industry, to medical diagnosis. Such a system would enable an output device — the…
20 octobre 2016 En 2008 une nouvelle façon de concevoir la monnaie a été proposée, qui remet en cause les anciennes idées sur cette institution. Comme pour le courrier électronique ou internet qui ne sont aux mains d’aucune autorité et conduisent donc à une meilleure appropriation de l’information par tous,…
September 22, 2016 Despite our great expressive skills, we humans lack an easy way of conveying the 3D worlds we imagine. While impressive advances were made in the last fifteen years to evolve digital modeling systems into gesture-based interfaces enabling to sketch or sculpt in 3D, modeling is still generally…
June 16th, 2016 Abstract: YouTube competes with Hollywood as an entertainment channel, and also supplements Hollywood by acting as a distribution mechanism. Twitter has a similar relationship to news media, and Coursera to Universities. But there are no online alternatives for making democratic decisions at large scale as a society.…
April 28th, 2016 An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator up to given epsilon. Moreover, the solution should be computed by an efficient algorithm. For nearly two decades, the…
17 décembre 2015 Partant d’une perspective purement mécanique, un système anthropomorphe (un homme ou un robot humanoïde) est un système à la fois redondant et sous-actionné. Il est redondant par rapport à la quasi-totalité des actions qu’il a à effectuer du fait qu’il possède un grand nombre de degrés de…
