Noticias en español
Le Jugement Majoritaire, une nouvelle théorie du choix social
Abstract: Le Jugement Majoritaireest une nouvelle théorie du choix social applicable à toute prise de décision collective, établie par les chercheurs du CNRS Michel Balinski et Rida Laraki à partir de 2006. En adoptant une toute nouvelle perspective du vote pour tenter de répondre au théorème d’impossibilité d’Arrow, elle résout les paradoxes de l’élection constatés par Condorcet et Arrow. L’électeur vote en évaluant individuellement tous les candidats, à partir d’une échelle commune et ordinale du mentions (par ex. Très bien, Bien, Assez bien, Passable,...
Read MoreThe median rule in judgement aggregation (joint work with Klaus Nehring).
Abstract: I will first briefly introduce social choice theory in general. I will then move onto the subfield of judgement aggregation, and discuss some recent research on this topic. In a judgement aggregation problem, we begin with a set K of logically interconnected propositions, called issues. A view is an assignment of a truth-value to each issue in K. However, not all views are admissible; some may violate the logical relationships between the different issues in K. Suppose that each individual voter has a logically consistent view; we want to aggregate these individual views together...
Read More“Análisis de reactores nucleares empleando teoría de difusión de neutrones”
La presentación se enmarca en el convenio de colaboración entre la Comisión Chilena de Energía Nuclear y el Centro de Modelamiento Matemático de la Facultad de Ciencias Físicas y Matemáticas de la Universidad de Chile. Contenido: i) Breve descripción del reactor RECH-1 de la CCHEN, ii) Interacciones de los neutrones con la materia, iii) Modelos empleados en el análisis de reactores nucleares, iv) Teoría de difusión de neutrones monoenergéticos y aplicaciones al cálculo de un reactor crítico, v) Teoría de difusión a...
Read MoreINTRODUCTION TO FORMAL VERIFICATION
ABSTRACT: Software is pervasive. In particular, a lot of programs are nowadays produced to be executed in safety critical contexts. It is crucial to certify these programs. There are several methods of certification. By far the most used is testing. But testing can be costly, and more importantly, it only covers a finite number of cases. Formal verification is a vastly different approach: it aims at building a mathematical proof that the program meets its specification, thus covering all possible cases. To increase the level of certification, this proof can even be computer-checked by a...
Read More“DASH: Deep Learning for the Automated Spectral Classification of Supernovae”
ABSTRACT: We have reached a new era of ‘big data’ in astronomy with surveys now recording an unprecedented number of spectra. In particular, new telescopes such as LSST will soon incease the spectral catalogue by a few orders of magnitude. Moreover, the Australian sector of the Dark Energy Survey (DES) is currently in the process of spectroscopically measuring several thousands of supernovae. To meet this new demand, novel approaches that are able to automate and speed up the classification process of these spectra is essential. To this end, I have developed a software...
Read MoreTowards understanding the Milky Way with LSST and Gaia
Abstract: I will provide a brief update on the progress of LSST construction, and my work on running end-to-end tests of the nightly image difference processing. I will also describe my scientific focus on the formation of the Milky Way and how the Gaia satellite is giving us the clearest picture of this process to date. With Gaia our raw data on the Milky Way will soon outpace our statistical tools for analyzing these data in a cosmological context, and I will highlight some open questions which could benefit the most from a comprehensive statistical understanding.
Read More