 |
Complexidade parametrizada em Grafos Temporais Ana Shirley Ferreira da Silva Universidade do Ceará Data e horário: 00/08/2026 — 00h00 Local: A Definir Descrição: Um grafo temporal é um grafo que se altera ao longo do tempo. Pode ser usado em várias situações da vida real em que o tempo é uma componente importante para o contexto, como por exemplo, pode modelar o sistema de transportes públicos junto com seu escalonamento. Atacar problemas nestes grafos tem se mostrado bastante desafiador, por isso tem surgido interesse na abordagem de problemas através da complexidade parametrizada. Neste curso, iremos estudar complexidade computacional e parametrizada, assim como definições básicas de grafos temporais e apresentação de parâmetros neste últimos. |
|
Ambientes aleatórios – percolação e modelos relacionados Daniel Ungaretti Universidade Federal do Rio de Janeiro Data e horário: 00/08/2026 — 00h00 Local: A Definir Descrição: Percolação diz respeito à passagem de um líquido ou gás através de um material poroso. Imagine que este material poroso foi formado aleatoriamente. Uma pergunta natural nesse contexto é: qual a probabilidade de o líquido atravessar o material em questão? A resposta certamente deve depender do que significa “ser formado aleatoriamente”. Mas intuitivamente, a resposta está associada a um parâmetro: a porosidade do material, ou seja, qual a proporção de espaço disponível para passagem do líquido. Se a porosidade é muito baixa o líquido não consegue atravessar o material, e se for muito alta, ele consegue. Veremos alguns modelos de probabilidade que formalizam a situação acima, e como eles podem ser utilizados na modelagem rigorosa de outros fenômenos semelhantes, como por exemplo a disseminação de doenças em uma população. |
| Tema da Palestra Christian Olivera e Pedro J. Catuogno Universidade Estadual de Campinas Data e horário: 00/08/2026 — 00h00 Local: A Definir Descrição: A Definir |
|
As bases de Gröbner e suas aplicações Maral Mostafazadehfard Universidade Federal do Rio de Janeiro Data e horário: 00/08/2026 — 00h00 Local: A Definir Descrição: Como resolver sistemas de equações quando as variáveis começam a se multiplicar e os expoentes sobem? Este minicurso parte da conhecida Eliminação Gaussiana para construir uma ponte em direção ao universo dos sistemas polinomiais não lineares. O motor dessa jornada são as Bases de Gröbner, um dos métodos computacionais da Álgebra Comutativa. Ao longo do minicurso conheceremos o Software Macaulay2, que facilita as calculações. O poder das Bases de Gröbner vai muito além de “encontrar soluções”: elas fornecem ferramentas práticas no combinatório, computação e até otimização. |
