Seminars

Exit-time of a self-stabilizing diffusion

Event Date: Jun 27, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Resumen: In this talk, we briefly present some Freidlin and Wentzell results then we give a Kramers’type law satisfied by the McKean-Vlasov diffusion when the confining potential is uniformly strictly convex. We briefly present two previous proofs of this result before giving a third proof which is simpler, more intuitive and less technical.

Read More

A link between the zeta function and stochastic calculus

Event Date: Jun 15, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Abstract: The study of the zeros of the Riemann zeta function constitutes one of the most challenging problems in mathematics. A large literature in devoted to the study of the behavior of the zeta zeros. We will  discuss  how  tools from stochastic analysis, and in particular from Malliavin calculus (multiple integrals, Wiener chaos, Stein method etc) can be used in the study of some aspects of the behavior of  the zeta function.

Read More

Thermodynamics of small systems through a reversible and conservative discrete automaton.

Event Date: Jun 14, 2017 in Discrete Mathematics, Seminars

Abstract: The focus of this talk will be the Q2R model which is a reversible and conservative cellular automaton. The Q2R model possesses quite a rich and complex dynamics. Indeed, the configuration space is composed of a huge number of cycles with exponentially long periods, that we attempt to characterize. Furthermore, a coarse-graining approach is applied to the time series of the total magnetization, leading to a master equation that governs the macroscopic irreversible dynamics of the Q2R automata. The methodology is replicated for various system sizes. In the case of small systems, we...

Read More

A new probabilistic interpretation of Keller-Segel model for chemotaxis, application to 1-d.

Event Date: Jun 13, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Resumen: The Keller Segel (KS) model for chemotaxis is a two-dimensional system of parabolic or elliptic PDEs. Motivated by the study of the fully parabolic model using probabilistic methods, we give rise to a non-linear SDE of McKean-Vlasov type with a highly non standard and singular interaction kernel.   In this talk I will briefly introduce the KS model, point out some of the PDE analysis results related to the model and then, in detail, analyze our probabilistic interpretation in the case d=1. This is a joint work with Denis Talay (TOSCA team, INRIA Sophia-Antipolis...

Read More

Oportunidades de aprendizaje de matemáticas que se proporcionan a estudiantes con discapacidad intelectual: primeros resultados.

Event Date: May 24, 2017 in Education, Seminars

Resumen: En Chile los estudiantes con discapacidad intelectual (DI) asisten a escuelas especiales o a escuelas regulares con Programas de Integración Escolar. Aun cuando se cuenta con datos referidos a su acceso al sistema educativo, poco se conoce respecto a las oportunidades de aprendizaje (ODA) que se proporcionan a estos estudiantes, menos aún en matemáticas. Usando la metodología de estudio de casos múltiple se ha avanzado en una primera descripción de las ODA que se proveen en matemáticas a estudiantes con DI en escuelas especiales. Se presentan en este seminario los hallazgos del...

Read More

INTRODUCTION TO FORMAL VERIFICATION

Event Date: May 23, 2017 in Other Areas, Seminars

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