Por Diogo Caetano (Mestrando em Matemática, CMAF-CIO, FCUL).
This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project UID/MAT/04561/2013.
Por Pedro Pinto (Universidade de Lisboa, CMAF-CIO).
Abstract: In [2], Kohlenbach did an analysis of the proof of Browder's theorem (in [1]) via the monotone functional interpretation. I will be following the same outline but guided by the bounded functional interpretation ([3], [4]). Although the bounds obtained are the same, this example provides a first look at how the bounded functional interpretation works in practice.
Por Manuel Martins (Universidade de Aveiro).
Ezgi Su
CMAFCIO, Universidade de Lisboa
Por Rui Alberto Pimenta Rodrigues (Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa).
Abstract: (Deep) Neural networks seem to be achieving the targets drawn for Artificial Intelligence in the early 60's. We will present the practical accomplishments. The underlying mathematical models will be discussed:
Por Ezgi Su (Universidade de Lisboa, CMAF-CIO).
Por Filipe Oliveira (Centro de Matemática e Aplicações, FCT - Universidade Nova de Lisboa).
Seminário financiado por Fundos Nacionais através da FCT - Fundação para a Ciência e a Tecnologia, no âmbito do projeto UID/MAT/04561/2013.
Por Stefanella Boatto (INRIA-CentraleSupelec & Universidade Federal de Rio de Janeiro).
Por Javier Alcaide (Mestrado em Matemática da FCUL).
