Distilling importance sampling for likelihood-free inference
Seminário do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Dennis Prangle (University of Bristol, England).
Matemática
Logic and Explainable AI in the Legal Domain
Mathematical Logic Seminar, por Luís Cruz-Filipe (University of Southern Denmark).
Professores da Ciências ULisboa eleitos membros da Academia das Ciências de Lisboa em 2022
Em 2022 a Academia das Ciências de Lisboa elegeu para a sua Classe de Ciências novos membros efetivos e correspondentes nacionais. Entre eles estão os professores da Ciências ULisboa Fernando Ferreira, nomeado membro efetivo; João Duarte e Jorge Buescu, nomeados correspondentes nacionais.
A simple proof assistant for first-order logic and set theory
Mathematical Logic Webinar, por Clarence Protin (Universidade Aberta).
Medalhas Fields: passado recente, futuro próximo
Palestra por Jorge Buescu (Ciências ULisboa).
Sets as Properties
Mathematical Logic Seminar, por Bruno Jacinto (Universidade de Lisboa).
Introduction to isomonodromy deformations and applications
Geometry & Physics Seminar, por Davide Guzzetti (SISSA, Italy).
Fraenkel-Mostowski Models (Part II)
Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).
Why does Computational Complexity (also) belong to a Mathematics department?
Colóquio de Matemática, por Bruno Loff (University of Porto).
Fraenkel-Mostowski Models
Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).
Páginas
- « primeira
- ‹ anterior
- …
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- …
- seguinte ›
- última »