Título: "Boosted Variational Inference via Bayesian Monte Carlo".
Data: 23 de setembro de 2019 (segunda-feira)
Horário: 14hrs
Local: Instituto de Matemática – Bloco C – Sala C119 – Ilha do Fundão
Orientador(es): Fábio Antonio Tavares Ramos
Banca Examinadora:
Fábio Antonio Tavares Ramos (presidente) - IM-UFRJ
Heudson Tosta Mirandola - IM-UFRJ
Yuri Fahham Saporito - EMAP-FGV
Amaro Gomes Barreto Junior - EQ-UFRJ
Hugo Tremonte de Carvalho - DME-IM-UFRJ
Adriano Maurício de Almeida Côrtes (suplente) - Xerém - UFRJ
Título: “(Re)Construção do conceito de função por meio de noções essenciais exploradas com tecnologias digitais".
Candidato: Vinicius Da Cunha Luz
Data: 10 de setembro 2019 (terça-feira)
Horário: 14:30
Local: Instituto de Matemática – Bloco C – Sala C119 – Ilha do Fundão
Banca examinadora:
Agnaldo da Conceição Esquincalha (presidente) - IM-UFRJ
Victor Augusto Giraldo - IM-UFRJ
Ion Moutinho Gonçalves - UFF
Claudia Coelho de Segadas Vianna (suplente) - IM-UFRJ
Gisela Mariada Fonseca Pinto (suplente) - UFRRJ
Data: 03 de setembro de 2019;
Horário: 17h;
Local: IM-UFRJ, CT, sala C119.
Palestra: Anéis e Grafos;
Palestrante: Thiago Holleben.
Resumo: O teorema fundamental da aritmética foi provado pela primeira vez por Gauss em 1801. Nessa conversa iremos discutir uma generalização para os anéis noeterianos do teorema provado por Gauss chamado de teorema da decomposição primária, que foi provado da forma como conhecemos hoje em 1921 por Emmy Noether. Usaremos o teorema para falar de uma aplicação à teoria de grafos e calcular exemplos no software algébrico Macaulay2.
Palestra: Uma teoria de NP-completude e condicionamento para computações reais aproximadas
Palestrante: Gregorio Malajovich (IM-UFRJ)
Data: 04 de setembro 2019 (quarta-feira)
Horário: 10:10
Local: Sala C-119 - CT - UFRJ
Resumo: Em 1989, Blum Shub e Smale propuseram uma teoria da computação e de complexidade sobre um anel. Um dos objetivos era modelar computações numéricas, usando números reais. Esse modelo tem sido criticado por se distanciar da `prática’ numérica. Nesta palestra, apresento uma extensão da teoria envolvendo números de condicionamento e aritmética de ponto flutuante, mas conservando uma das características cruciais do modelo clássico: a existência de um problema NP-completo (Trabalho conjunto com Mike Shub).