# Seminars

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...

## 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...

## Development and Evaluation of an Internet-Based Tutorial Module (i-TModule) For Statistics Learning Among Postgraduate Students

Event Date: Apr 26, 2017 in Education, Seminars

Abstract: Because students’ ability to use statistics, which is mathematical in nature, is one of the concerns of instructors embedding within an e-learning system the pedagogical characteristics of learning is ‘value added’. It could facilitate the traditional method of learning mathematics which is usually a teacher-centered. Nowadays, many different types of online learning platform and Learning Management Systems, LMSs, (such as Moodle) are used in the teaching and learning process especially in universities, but there is a lack of innovation to adopt effective instructional approaches...

## Quantitative multiple recurrence for two and three transformations.

Event Date: Apr 10, 2017 in Dynamical Systems, Seminars

Abstract:  In this talk I will provide some counter examples for quantitative multiple recurrence problems for systems with more than one transformation.  For instance, I will show that there exists an ergodic system $(X,\mathcal{X},\mu,T_1,T_2)$ with two commuting transformations such that for every $\ell < 4$ there exists $A\in \mathcal{X}$ such that  $\mu(A\cap T_1^n A\cap T_2^n A) < \mu(A)^{\ell}$  for every $n \in \mathbb{N}$.   The construction of such a system is based on the study of “big” subsets of $\mathbb{N}^2$ and $\mathbb{N}^3$  satisfying...

## Limit distributions related to the Euler discretization error of Brownian motion about random times

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

Resumen: In this talk we study the simulation of barrier-hitting events and extreme events of one-dimensional Brownian motion. We call “barrier-hitting event” an event where the Brownian motion hits for the first time a deterministic “barrier” function; and call “extreme event” an event where the Brownian motion attains a minimum on a given compact time interval or unbounded closed time interval. To sample these events we consider the Euler discretization approach of Brownian motion; that is, simulate the Brownian motion on a discrete and equidistant times...