Palestras
P1: 18/10/2016 - 09:00 às 09:50, Auditório RAV-62, Bloco F
Título: Modelagem Matemática e Computacional de Problemas Ambientais
Palestrante: Profa. Sandra Mara Malta (LNCC)
Coordenador: Prof. Helvecio Rubens Crippa (UERJ)
Resumo: Nesta palestra analisaremos, sob os pontos de vista matemático (análise qualitativa, por exemplo) e computacional (análise numérica), tipos de soluções para alguns problemas ambientais (controle de pragas, contaminação de águas subterrâneas, entre outros), tais como: aqueles descritos por equações diferenciais ordinárias relacionados às dinâmicas de crescimento populacionais (Lotka-Volterra, Presa-Predador e etc); e os modelados por equações diferenciais parciais do tipo parabólica (equação do Calor ou de Transporte) associados ao transporte de contaminantes ou a recuperação de reservatórios, por exemplo. Mostraremos a influência da variação dos parâmetros dos modelos e das condições iniciais através de análises qualitativa e numérica. Além disso, será também analisada a estabilidade das metodologias empregadas. Desse modo, será possível interpretar os resultados obtidos comparando as análises com as simulações numéricas de casos de interesse.
P2: 18/10/2016 - 10:10 às 11:00, Auditório RAV-62, Bloco F
Título: Modelagem Multiescala do Crescimento Tumoral
Palestrante: Profa. Regina Almeida (LNCC)
Coordenador: Profa. Patrícia Nunes (UERJ)
Resumo: O câncer é a segunda causa de mortalidade em países desenvolvidos. Estudos recentes apontam que é a principal causa de mortalidade em 10% das cidades brasileiras. A utilização de modelos matemáticos e computacionais para predizer a ocorrência e a evolução do câncer, e os resultados de intervenções terapêuticas, oferece um mecanismo de investigação extremamente vantajoso por permitir desenvolver e testar hipóteses "in silico" que podem conduzir à um melhor entendimento dos processos biológicos. Nesta palestra, apresentamos um modelo híbrido multiescala que integra fenômenos que ocorrem em múltiplas escalas espaciais e temporais. Especificamente, a escala tecidual considera mecanismos de dispersão de nutrientes e fatores de crescimento através de equações diferenciais parciais, e a diferenciação e migração celular são descritas através de um modelo discreto baseado em agentes. Finalmente, a sinalização intracelular que controla o ciclo celular é modelada por um sistema de equações diferenciais ordinárias. A abordagem híbrida resultante é modular e flexível, com potencial para estudar e desenvolver novos modelos que incluam processos e fenômenos de interesse na clínica médica.
P3: 18/10/2016 - 11:10 às 12:00, Auditório RAV-62, Bloco F
Título: Problemas de Gestão em Saúde Pública: Desafios de Modelagem e Solução
Palestrante: Prof. Edilson Fernandes de Arruda (COPPE)
Coordenador: Prof. Americo Cunha (UERJ)
Resumo: Técnicas de pesquisa operacional constituem ferramentas eficazes na modelagem e solução de problemas potencialmente complexos de nossa sociedade. A área de saúde pública no Brasil, por conta de sua escala e dos seus problemas, fornece um vasto leque de potenciais aplicações de pesquisa operacional. Esta palestra aborda, em especial, o emprego de técnicas de pesquisa operacional na modelagem e solução de problemas complexos na área de gestão em saúde, os quais envolvem incertezas tanto na oferta quanto na demanda por serviços. Trata-se de problemas que envolvem o mapeamento de uma gama complexa de serviços interdependentes que, se mal gerenciados, ocasionam o surgimento de grandes filas de espera por serviços. Alguns estudos de caso em grandes instituições de saúde serão mencionados, com foco na elaboração de políticas de gerenciamento e otimização dos fluxos de pacientes e serviços, de modo a manter as filas em patamares aceitáveis.
P4: 18/10/2016 - 18:30 às 19:20, Auditório RAV-62, Bloco F
Título: Análise de Séries Temporais – Modelos
Palestrante: Profa. Regina Lanzillotti (IME/UERJ)
Coordenador: Prof. Rafael Brandão (UERJ)
Resumo: A análise de séries temporais é usada nas seguintes áreas de aplicação: produção de estimativas, determinação de função de transferência de um sistema e design- sistema de controle. São tratados pelos modelos estacionários e não estacionários para previsões e controle. A modelagem baseia-se no conhecimento inferencial estatístico, sobretudo nas medidas de posição, variabilidade e associação. Box e Jenkins (1976) apresentam os Modelos estacionários lineares, Modelos não estacionários lineares. Modelos de previsões, Modelos de função de transferência e Esquemas de controle.
P5: 18/10/2016 - 19:30 às 20:20, Auditório RAV-62, Bloco F
Título: Nosso mundo aleatório
Palestrante: Profa. Zochil Gonzalez Arenas (IME/UERJ)
Coordenador: Profa. Diana Sasaki Nobrega (UERJ)
Resumo: A teoria das probabilidades é uma área fundamental na matemática moderna, que intersecta e se relaciona com outras áreas da matemática como álgebra, análise ou sistemas dinâmicos. Os Processos Estocásticos são, essencialmente, um ramo da teoria das probabilidades, tratando modelos probabilísticos que evoluem no tempo. Uma grande parte dos fenômenos ou fatos observáveis contêm elementos aleatórios, podendo ser modelados através de processos estocásticos. Assim, suas aplicações estendem-se a campos tão diversos como podem ser a estatística, as ciências da computação, a física, a economia e a ecologia. Nesta palestra vamos definir os processos estocásticos e apresentar algumas aplicações como motivação do seu estudo. Vamos também conectar a teoria das probabilidades com as equações diferenciais parciais para chegarmos às equações diferenciais estocásticas, fazendo uma breve introdução ao tema e apresentando alguns exemplos importantes.
P6: 18/10/2016 - 20:30 às 21:20, Auditório RAV-62, Bloco F
Título: Tomada de decisão sob incerteza: Uma abordagem do ponto de vista da otimização
Palestrante: Prof. Welington de Oliveira (IME/UERJ)
Coordenador: Prof. Igor Machado (UERJ)
Resumo: Em muitas situações realísticas tem-se a necessidade de tomar decisões na presença de incertezas e, além disso, almeja-se que tais decisões sejam realizadas atendendo algum critério de otimalidade. Uma área da ciência dedicada aos problemas de tomadas de decisões sob incertezas é a denominada programação estocástica que, sendo uma área multidisciplinar, envolve conceitos e resultados de otimização, probabilidades, estatística, e computação. Nesta palestra serão introduzidos alguns conceitos básicos e aplicações de programação estocástica, uma área estratégica que vem ganhando muita atenção ao longo dos últimos anos.
P7: 19/10/2016 - 09:00 às 09:50, Auditório RAV-62, Bloco F
Título: Complexidade de Algoritmos: Os Limites da Máquina e do Ser Humano
Palestrante: Prof. Jayme Szwarcfiter (COPPE/UERJ)
Coordenador: Prof. Luerbio Faria (UERJ)
Resumo: Nesta palestra serão descritos conceitos básicos de complexidade de algoritmos, no que se refere à avaliação de tempo e espaço requerida para a execução de um algoritmo. Serão apresentados dados históricos, resumidamente, de como estes parâmetros foram medidos através dos tempos. O enfoque, naturalmente, será concentrado em conceitos utilizados na atualidade. Estes incluem a definição formal de complexidade; exemplos de problemas que admitem tratamento computacional eficiente; o conceito de NP-completude; problemas diversos pertencentes a esta classe; uma ideia sucinta de como realizar provas de NP-completude; e algumas conjecturas da área. Finalmente, será apresentado o conceito de indecidibilidade, com exemplos de problemas indecidíveis.
P8: 19/10/2016 - 09:00 às 09:50, sala 6142, Bloco F
Título: Sobre alguns problemas famosos em aberto
Palestrante: Prof. Abramo Hefez (UFF)
Coordenador: Prof. Andre Lopes (UERJ)
Resumo: Nesta palestra falaremos sobre alguns problemas famosos que desafiam os matemáticos há tempos, com comentários sobre algumas das tentativas para resolvê-los.
P9: 19/10/2016 - 10:10 às 11:00, Auditório RAV-62
Título: O Supercomputador Santos Dumont e os desafios da pesquisa de HPC no Brasil
Palestrante: Profa. Carla Osthoff (LNCC)
Coordenador: Prof. Alexandre Sena (UERJ)
Resumo: Em janeiro de 2016 entrou em operação na sede doLaboratório Nacional de Computação Científica (LNCC) um supercomputador, batizado de Santos Dumont, ou SDumont brevemente. O SDumont possui capacidade de processamento de 1,1 petaflop/s, possui uma configuração híbrida de nós de computação, no que diz respeito à arquitetura de processamento paralelo disponível. O SDumont possui 18.144 núcleos de CPU, distribuídos em 756 nós de computação, compostas na sua maioria por CPUs arquitetura multi-core. A aquisição deste novo computador da empresa francesa ATOS/BULL faz parte do Programa Estratégico de Software e Serviços de Tecnologia da Informação do Ministério da Ciência, Tecnologia e Inovação, através do acordo Brasil/França de colaboração em Computação de Alto Desempenho. O supercomputador deverá impulsionar a pesquisa de ponta em diversas áreas no Brasil, causando grande impacto no desenvolvimento científico e colaborações internacionais.
P10: 19/10/2016 - 10:10 às 11:00, sala 6142, Bloco F
Título:
Palestrante:
Resumo:
P11: 19/10/2016 - 11:10 às 12:00, Auditório RAV-62, Bloco F
Título: Internet das Coisas: características e desafios técnicos
Palestrante: Prof. Alexandre Sztajnberg (IME/UERJ)
Coordenador: Prof. Rosa Maria Costa (UERJ)
Resumo: A Internet das coisas vai expor dados gerados por um enorme número de dispositivos através de serviços aplicações. Estes dispositivos, como sensores e atuadores industriais e domésticos podem ter diferentes interfaces, protocolos de interação, e semântica dos dados. A integração manual destes dispositivos torna-se inviável. Garantir o acesso escalável, seguro e controlado é também uma questão importante. Nesta apresentação são discutidas características e desafios técnicos para se construir uma infraestrutura de software para a Internet das Coisas e suas aplicações.
P12: 19/10/2016 - 11:10 às 12:00, sala 6142, Bloco F
Título: História da Análise no Século XIX
Palestrante: Profa. Tatiana Roque (UFRJ)
Coordenador: Profa. Claudia Concordido (UERJ)
Resumo: Mostraremos, a partir de alguns exemplos históricos, que a prática da análise matemática no século XIX era inseparável de outros domínios como a física, a mecânica ou a astronomia. O desenvolvimento da matemática como uma ciência pura foi, neste momento, uma iniciativa localizada, que não teve a repercussão que lhe é atribuída nos relatos históricos tradicionais. Mencionaremos algumas etapas da definição do conceito de função e veremos, em particular, que na França houve reações polêmicas acerca da pertinência de se ensinar análise nos moldes formalistas que vinham sendo propostos pelos matemáticos alemães.
P13: 19/10/2016 - 18:30 às 19:20, Auditório RAV-62, Bloco F
Título: Heteroscedastic regression models: an objective Bayesian approach.
Palestrante: Prof. Helio dos Santos Migon (UFRJ)
Coordenador: Prof. Carlos Frederico Vasconcellos (UERJ)
Resumo: In many statistical problems the normality assumption is very common but in many cases untenable for natural phenomena due to the distri- bution of the data shows a leptokurtic or a platykurtic shape and is not robust to outliers. In that context, more flexible models can be adopted to accommodate this characteristic. One alternative is to use location-scale models with heavy- tailed prior distributions like Student-t, exponential power between others. The use of Student t-distribution for error component is a good alternative because it provides more flexible tails and reduces the influence of outliers and robust analysis from a Bayesian point of view is possible, for example, for regression model. Sometimes a better choice is the exponential power (EP) distribution that can provide both heavier (leptokurtic) and lighter tails (platykurtic) than normal density. In that context, we develop objective Bayesian analysis for linear heteroscedastic regression models. More specifically, we derive explicit expressions for Jeffeys priors for the model parameters. For both, Student-t and EP distributions, we show that some of these Jeffreys priors lead to a proper posterior distributions. Moreover, we show that our proposed Bayesian analysis compares favorably to frequentist analysis previously proposed in the literature. Finally, we illustrate our methodology with applications of the Student-t and exponential power regression models to different datasets.
Keywords: Bayesian analysis, Heavy tail behavior, Jeffreys prior.
Authors: This work is joint with Marco Ferreira, Thais Fonseca, Esther Salazar and Larissa Alves.
P14: 19/10/2016 - 19:30 às 20:20, Auditório RAV-62, Bloco F
Título: Previdência Complementar Fechada
Palestrante: Tatiana Cardoso Guimarães da Silva. (Coordenadora da ABRAPP)
Coordenador: Gabriel Lins (CAIME)
Resumo: A palestra abordará sobre o seguimento de previdência fechada em que a palestrante, com mais de 20 anos de experiência na área, irá expor as principais características do setor, o perfil do atuário que deseja trabalhar nesse mercado, oportunidades do mercado e a perspectiva do futuro. Também será apresentado de forma geral os desafios do atuário no atual cenário brasileiro.
P15: 19/10/2016 - 20:30 às 21:20, Auditório RAV-62, Bloco F
Título: Teoria dos Jogos – Um desafio atuarial
Palestrante: Prof. Paulo Pereira Ferreira (UFRJ)
Coordenador: Prof. Sergio Luiz Silva (UERJ)
Resumo: A Teoria dos Jogos estuda cenários onde existem vários interessados em otimizar os próprios ganhos, as vezes em conflito entre si. É o estudo formal das expectativas racionais e consistentes de que os participantes têm sobre as escolhas dos outros. Pela Teoria dos Jogos, a sua decisão não é independente e ambos os ganhos dependem da combinação de muitas ações em cadeia até chegar em um equilíbrio. Este equilíbrio é o chamado Equilíbrio de Nash, em homenagem a John Nash Jr, prêmio Nobel de 1994 em um trabalho sobre a Teoria dos Jogos. É aplicada a vários segmentos, incluindo jogos e, também, na área de Seguros. Será apresentada uma aplicação no mundo dos jogos e outras no mundo dos Seguros.
P16: 20/10/2016 - 09:00 às 09:50, Auditório RAV-62, Bloco F
Título: Coberturas por dominós em dimensões 2 e 3
Palestrante: Prof. Nicolau Saldanha (PUC-Rio)
Coordenador: Prof. Vitor Costa Silva (UERJ)
Resumo: Em dimensão 2, um dominó é um retângulo de lados 1 e 2 e uma região quadriculada é um subconjunto do plano que é uma uniao de quadrados unitários com interiores disjuntos. Coberturas de dominós de regiões quadriculadas foram amplamente estudados. Alguns dos problemas mais famosos são: decidir se uma região admite cobertura; contar coberturas; descrever a cobertura típica; decidir se duas coberturas podem ser conectadas por uma sequência de movimentos locais. Em dimensão 3, um dominó é um paralelepípedo retângulo de arestas 1, 1 e 2 e uma região cubiculada e uma união de cubos unitários com interiores disjuntos. Quase todos os resultados para dimensão 2 são difíceis de generalizar para dimensão 3. Nesta palestra apresentaremos alguns resultados velhos e novos sobre coberturas de dominós em dimensões 2 e 3.
P17: 20/10/2016 - 10:10 às 11:00, Auditório RAV-62, Bloco F
Título: As lógicas dos Sonhos e os Sonhos de Totalidade das Matemáticas
Palestrante: Prof. Ricardo Kubrusly (UFRJ)
Palestrante: Prof. Rubens Sucupira (UERJ)
Resumo: Analisaremos os princípios fundamentais das lógicas clássicas, questionaremos suas pretensões universalistas e afirmaremos que suas leis fundamentais são naturais e derivam da pessoa humana em seu crescimento biológico. Proporemos uma lógica para os sonhos, herdada de nossa vivência intrauterina e finalmente falaremos do sonho de totalidade das matemáticas de modelar todas as coisas e da impossibilidade de sua realização.
P18: 20/10/2016 - 11:10 às 12:00, Auditório RAV-62
Título: De Feynman a Brown
Palestrante: Prof. Carlos Tomei (PUC-Rio)
Coordenador: Prof. Jaime Velasco (UERJ)
Resumo: Certas ideias fundamentais em física matemática podem ser exemplificadas de forma elementar em situações discretas. É o que vamos fazer. Pré-requisitos: somas de PG, álgebra de matrizes.
P19: 20/10/2016 - 18:30 às 19:20, Auditório RAV-62, Bloco F
Título: Meio ambiente e saúde: novos desafios, bases de dados, e métodos
Palestrante: Prof. Antonio Ponce de Leon (UERJ)
Coordenador: Prof. Fernando Carneiro (UERJ)
Resumo: Modelos estatísticos complexos têm sido cada vez mais utilizados em investigações científicas nas áreas de meio ambiente, saúde, bem como em pesquisas epidemiológicas de associação entre exposições ambientais e a ocorrência de agravos de saúde. Um bom exemplo deste último são os estudos sobre os efeitos da poluição atmosférica externa e/ou mudanças climáticas na mortalidade e morbidade. O aumento da disponibilidade de dados ambientais e de saúde permite que questões de interesse científico e de saúde pública sejam investigados via métodos epidemiológicos e estatísticos sofisticados. Nesta palestra, algumas das questões de interesse científico mais relevantes na atualidade na área de meio ambiente e saúde serão introduzidas, as bases de dados que estão disponíveis serão descritas, e finalmente os modelos estatísticos que produzem as respostas às questões serão discutidos.
P20: 20/10/2016 - 19:30 às 20:20, Auditório RAV-62, Bloco F
Título: Computação Paralela, Computação Quântica e Matemática Aplicada.
Palestrante: Prof. Luiz Mariano Carvalho (IME/UERJ)
Coordenador: Prof. Fabiano Oliveira (UERJ)
Resumo: A tecnologia dos computadores tem passado por profundas transformações nos últimos dez anos. O futuro dessa tecnologia ainda não está claro, mas há uma forte indicação que os computadores serão paralelos (o que já vem ocorrendo). No entanto, sabe-se que as futuras máquinas terão que economizar energia e com isso trabalhar com voltagens muito baixas, abrindo a possibilidade de falhas em grande escala. Uma outra alternativa é o computador quântico, do qual já existem algum protótipos pequenos, utilizando algoritmos numéricos bastante distintos dos usuais. De uma forma ou de outra, serão necessários novos métodos numéricos, tanto para as máquinas paralelas sujeitas a falhas, quanto para os computadores quânticos. Como estudo de caso, vamos tratar alguns núcleos de computação para a solução de sistemas lineares de grande porte, essenciais na simulação computacional de diversos problemas de física, engenharia, economia, biologia, entre outros.
P21: 20/10/2016 - 20:30 às 21:20, Auditório RAV-62, Bloco F
Título:
Palestrante: Paulo Roberto de Andrade (SEBRAE - StartUP Rio)
Coordenador: Prof. Marcelo Fornazin (UERJ)
Resumo:
Título: Modelagem Matemática e Computacional de Problemas Ambientais
Palestrante: Profa. Sandra Mara Malta (LNCC)
Coordenador: Prof. Helvecio Rubens Crippa (UERJ)
Resumo: Nesta palestra analisaremos, sob os pontos de vista matemático (análise qualitativa, por exemplo) e computacional (análise numérica), tipos de soluções para alguns problemas ambientais (controle de pragas, contaminação de águas subterrâneas, entre outros), tais como: aqueles descritos por equações diferenciais ordinárias relacionados às dinâmicas de crescimento populacionais (Lotka-Volterra, Presa-Predador e etc); e os modelados por equações diferenciais parciais do tipo parabólica (equação do Calor ou de Transporte) associados ao transporte de contaminantes ou a recuperação de reservatórios, por exemplo. Mostraremos a influência da variação dos parâmetros dos modelos e das condições iniciais através de análises qualitativa e numérica. Além disso, será também analisada a estabilidade das metodologias empregadas. Desse modo, será possível interpretar os resultados obtidos comparando as análises com as simulações numéricas de casos de interesse.
P2: 18/10/2016 - 10:10 às 11:00, Auditório RAV-62, Bloco F
Título: Modelagem Multiescala do Crescimento Tumoral
Palestrante: Profa. Regina Almeida (LNCC)
Coordenador: Profa. Patrícia Nunes (UERJ)
Resumo: O câncer é a segunda causa de mortalidade em países desenvolvidos. Estudos recentes apontam que é a principal causa de mortalidade em 10% das cidades brasileiras. A utilização de modelos matemáticos e computacionais para predizer a ocorrência e a evolução do câncer, e os resultados de intervenções terapêuticas, oferece um mecanismo de investigação extremamente vantajoso por permitir desenvolver e testar hipóteses "in silico" que podem conduzir à um melhor entendimento dos processos biológicos. Nesta palestra, apresentamos um modelo híbrido multiescala que integra fenômenos que ocorrem em múltiplas escalas espaciais e temporais. Especificamente, a escala tecidual considera mecanismos de dispersão de nutrientes e fatores de crescimento através de equações diferenciais parciais, e a diferenciação e migração celular são descritas através de um modelo discreto baseado em agentes. Finalmente, a sinalização intracelular que controla o ciclo celular é modelada por um sistema de equações diferenciais ordinárias. A abordagem híbrida resultante é modular e flexível, com potencial para estudar e desenvolver novos modelos que incluam processos e fenômenos de interesse na clínica médica.
P3: 18/10/2016 - 11:10 às 12:00, Auditório RAV-62, Bloco F
Título: Problemas de Gestão em Saúde Pública: Desafios de Modelagem e Solução
Palestrante: Prof. Edilson Fernandes de Arruda (COPPE)
Coordenador: Prof. Americo Cunha (UERJ)
Resumo: Técnicas de pesquisa operacional constituem ferramentas eficazes na modelagem e solução de problemas potencialmente complexos de nossa sociedade. A área de saúde pública no Brasil, por conta de sua escala e dos seus problemas, fornece um vasto leque de potenciais aplicações de pesquisa operacional. Esta palestra aborda, em especial, o emprego de técnicas de pesquisa operacional na modelagem e solução de problemas complexos na área de gestão em saúde, os quais envolvem incertezas tanto na oferta quanto na demanda por serviços. Trata-se de problemas que envolvem o mapeamento de uma gama complexa de serviços interdependentes que, se mal gerenciados, ocasionam o surgimento de grandes filas de espera por serviços. Alguns estudos de caso em grandes instituições de saúde serão mencionados, com foco na elaboração de políticas de gerenciamento e otimização dos fluxos de pacientes e serviços, de modo a manter as filas em patamares aceitáveis.
P4: 18/10/2016 - 18:30 às 19:20, Auditório RAV-62, Bloco F
Título: Análise de Séries Temporais – Modelos
Palestrante: Profa. Regina Lanzillotti (IME/UERJ)
Coordenador: Prof. Rafael Brandão (UERJ)
Resumo: A análise de séries temporais é usada nas seguintes áreas de aplicação: produção de estimativas, determinação de função de transferência de um sistema e design- sistema de controle. São tratados pelos modelos estacionários e não estacionários para previsões e controle. A modelagem baseia-se no conhecimento inferencial estatístico, sobretudo nas medidas de posição, variabilidade e associação. Box e Jenkins (1976) apresentam os Modelos estacionários lineares, Modelos não estacionários lineares. Modelos de previsões, Modelos de função de transferência e Esquemas de controle.
P5: 18/10/2016 - 19:30 às 20:20, Auditório RAV-62, Bloco F
Título: Nosso mundo aleatório
Palestrante: Profa. Zochil Gonzalez Arenas (IME/UERJ)
Coordenador: Profa. Diana Sasaki Nobrega (UERJ)
Resumo: A teoria das probabilidades é uma área fundamental na matemática moderna, que intersecta e se relaciona com outras áreas da matemática como álgebra, análise ou sistemas dinâmicos. Os Processos Estocásticos são, essencialmente, um ramo da teoria das probabilidades, tratando modelos probabilísticos que evoluem no tempo. Uma grande parte dos fenômenos ou fatos observáveis contêm elementos aleatórios, podendo ser modelados através de processos estocásticos. Assim, suas aplicações estendem-se a campos tão diversos como podem ser a estatística, as ciências da computação, a física, a economia e a ecologia. Nesta palestra vamos definir os processos estocásticos e apresentar algumas aplicações como motivação do seu estudo. Vamos também conectar a teoria das probabilidades com as equações diferenciais parciais para chegarmos às equações diferenciais estocásticas, fazendo uma breve introdução ao tema e apresentando alguns exemplos importantes.
P6: 18/10/2016 - 20:30 às 21:20, Auditório RAV-62, Bloco F
Título: Tomada de decisão sob incerteza: Uma abordagem do ponto de vista da otimização
Palestrante: Prof. Welington de Oliveira (IME/UERJ)
Coordenador: Prof. Igor Machado (UERJ)
Resumo: Em muitas situações realísticas tem-se a necessidade de tomar decisões na presença de incertezas e, além disso, almeja-se que tais decisões sejam realizadas atendendo algum critério de otimalidade. Uma área da ciência dedicada aos problemas de tomadas de decisões sob incertezas é a denominada programação estocástica que, sendo uma área multidisciplinar, envolve conceitos e resultados de otimização, probabilidades, estatística, e computação. Nesta palestra serão introduzidos alguns conceitos básicos e aplicações de programação estocástica, uma área estratégica que vem ganhando muita atenção ao longo dos últimos anos.
P7: 19/10/2016 - 09:00 às 09:50, Auditório RAV-62, Bloco F
Título: Complexidade de Algoritmos: Os Limites da Máquina e do Ser Humano
Palestrante: Prof. Jayme Szwarcfiter (COPPE/UERJ)
Coordenador: Prof. Luerbio Faria (UERJ)
Resumo: Nesta palestra serão descritos conceitos básicos de complexidade de algoritmos, no que se refere à avaliação de tempo e espaço requerida para a execução de um algoritmo. Serão apresentados dados históricos, resumidamente, de como estes parâmetros foram medidos através dos tempos. O enfoque, naturalmente, será concentrado em conceitos utilizados na atualidade. Estes incluem a definição formal de complexidade; exemplos de problemas que admitem tratamento computacional eficiente; o conceito de NP-completude; problemas diversos pertencentes a esta classe; uma ideia sucinta de como realizar provas de NP-completude; e algumas conjecturas da área. Finalmente, será apresentado o conceito de indecidibilidade, com exemplos de problemas indecidíveis.
P8: 19/10/2016 - 09:00 às 09:50, sala 6142, Bloco F
Título: Sobre alguns problemas famosos em aberto
Palestrante: Prof. Abramo Hefez (UFF)
Coordenador: Prof. Andre Lopes (UERJ)
Resumo: Nesta palestra falaremos sobre alguns problemas famosos que desafiam os matemáticos há tempos, com comentários sobre algumas das tentativas para resolvê-los.
P9: 19/10/2016 - 10:10 às 11:00, Auditório RAV-62
Título: O Supercomputador Santos Dumont e os desafios da pesquisa de HPC no Brasil
Palestrante: Profa. Carla Osthoff (LNCC)
Coordenador: Prof. Alexandre Sena (UERJ)
Resumo: Em janeiro de 2016 entrou em operação na sede doLaboratório Nacional de Computação Científica (LNCC) um supercomputador, batizado de Santos Dumont, ou SDumont brevemente. O SDumont possui capacidade de processamento de 1,1 petaflop/s, possui uma configuração híbrida de nós de computação, no que diz respeito à arquitetura de processamento paralelo disponível. O SDumont possui 18.144 núcleos de CPU, distribuídos em 756 nós de computação, compostas na sua maioria por CPUs arquitetura multi-core. A aquisição deste novo computador da empresa francesa ATOS/BULL faz parte do Programa Estratégico de Software e Serviços de Tecnologia da Informação do Ministério da Ciência, Tecnologia e Inovação, através do acordo Brasil/França de colaboração em Computação de Alto Desempenho. O supercomputador deverá impulsionar a pesquisa de ponta em diversas áreas no Brasil, causando grande impacto no desenvolvimento científico e colaborações internacionais.
P10: 19/10/2016 - 10:10 às 11:00, sala 6142, Bloco F
Título:
Palestrante:
Resumo:
P11: 19/10/2016 - 11:10 às 12:00, Auditório RAV-62, Bloco F
Título: Internet das Coisas: características e desafios técnicos
Palestrante: Prof. Alexandre Sztajnberg (IME/UERJ)
Coordenador: Prof. Rosa Maria Costa (UERJ)
Resumo: A Internet das coisas vai expor dados gerados por um enorme número de dispositivos através de serviços aplicações. Estes dispositivos, como sensores e atuadores industriais e domésticos podem ter diferentes interfaces, protocolos de interação, e semântica dos dados. A integração manual destes dispositivos torna-se inviável. Garantir o acesso escalável, seguro e controlado é também uma questão importante. Nesta apresentação são discutidas características e desafios técnicos para se construir uma infraestrutura de software para a Internet das Coisas e suas aplicações.
P12: 19/10/2016 - 11:10 às 12:00, sala 6142, Bloco F
Título: História da Análise no Século XIX
Palestrante: Profa. Tatiana Roque (UFRJ)
Coordenador: Profa. Claudia Concordido (UERJ)
Resumo: Mostraremos, a partir de alguns exemplos históricos, que a prática da análise matemática no século XIX era inseparável de outros domínios como a física, a mecânica ou a astronomia. O desenvolvimento da matemática como uma ciência pura foi, neste momento, uma iniciativa localizada, que não teve a repercussão que lhe é atribuída nos relatos históricos tradicionais. Mencionaremos algumas etapas da definição do conceito de função e veremos, em particular, que na França houve reações polêmicas acerca da pertinência de se ensinar análise nos moldes formalistas que vinham sendo propostos pelos matemáticos alemães.
P13: 19/10/2016 - 18:30 às 19:20, Auditório RAV-62, Bloco F
Título: Heteroscedastic regression models: an objective Bayesian approach.
Palestrante: Prof. Helio dos Santos Migon (UFRJ)
Coordenador: Prof. Carlos Frederico Vasconcellos (UERJ)
Resumo: In many statistical problems the normality assumption is very common but in many cases untenable for natural phenomena due to the distri- bution of the data shows a leptokurtic or a platykurtic shape and is not robust to outliers. In that context, more flexible models can be adopted to accommodate this characteristic. One alternative is to use location-scale models with heavy- tailed prior distributions like Student-t, exponential power between others. The use of Student t-distribution for error component is a good alternative because it provides more flexible tails and reduces the influence of outliers and robust analysis from a Bayesian point of view is possible, for example, for regression model. Sometimes a better choice is the exponential power (EP) distribution that can provide both heavier (leptokurtic) and lighter tails (platykurtic) than normal density. In that context, we develop objective Bayesian analysis for linear heteroscedastic regression models. More specifically, we derive explicit expressions for Jeffeys priors for the model parameters. For both, Student-t and EP distributions, we show that some of these Jeffreys priors lead to a proper posterior distributions. Moreover, we show that our proposed Bayesian analysis compares favorably to frequentist analysis previously proposed in the literature. Finally, we illustrate our methodology with applications of the Student-t and exponential power regression models to different datasets.
Keywords: Bayesian analysis, Heavy tail behavior, Jeffreys prior.
Authors: This work is joint with Marco Ferreira, Thais Fonseca, Esther Salazar and Larissa Alves.
P14: 19/10/2016 - 19:30 às 20:20, Auditório RAV-62, Bloco F
Título: Previdência Complementar Fechada
Palestrante: Tatiana Cardoso Guimarães da Silva. (Coordenadora da ABRAPP)
Coordenador: Gabriel Lins (CAIME)
Resumo: A palestra abordará sobre o seguimento de previdência fechada em que a palestrante, com mais de 20 anos de experiência na área, irá expor as principais características do setor, o perfil do atuário que deseja trabalhar nesse mercado, oportunidades do mercado e a perspectiva do futuro. Também será apresentado de forma geral os desafios do atuário no atual cenário brasileiro.
P15: 19/10/2016 - 20:30 às 21:20, Auditório RAV-62, Bloco F
Título: Teoria dos Jogos – Um desafio atuarial
Palestrante: Prof. Paulo Pereira Ferreira (UFRJ)
Coordenador: Prof. Sergio Luiz Silva (UERJ)
Resumo: A Teoria dos Jogos estuda cenários onde existem vários interessados em otimizar os próprios ganhos, as vezes em conflito entre si. É o estudo formal das expectativas racionais e consistentes de que os participantes têm sobre as escolhas dos outros. Pela Teoria dos Jogos, a sua decisão não é independente e ambos os ganhos dependem da combinação de muitas ações em cadeia até chegar em um equilíbrio. Este equilíbrio é o chamado Equilíbrio de Nash, em homenagem a John Nash Jr, prêmio Nobel de 1994 em um trabalho sobre a Teoria dos Jogos. É aplicada a vários segmentos, incluindo jogos e, também, na área de Seguros. Será apresentada uma aplicação no mundo dos jogos e outras no mundo dos Seguros.
P16: 20/10/2016 - 09:00 às 09:50, Auditório RAV-62, Bloco F
Título: Coberturas por dominós em dimensões 2 e 3
Palestrante: Prof. Nicolau Saldanha (PUC-Rio)
Coordenador: Prof. Vitor Costa Silva (UERJ)
Resumo: Em dimensão 2, um dominó é um retângulo de lados 1 e 2 e uma região quadriculada é um subconjunto do plano que é uma uniao de quadrados unitários com interiores disjuntos. Coberturas de dominós de regiões quadriculadas foram amplamente estudados. Alguns dos problemas mais famosos são: decidir se uma região admite cobertura; contar coberturas; descrever a cobertura típica; decidir se duas coberturas podem ser conectadas por uma sequência de movimentos locais. Em dimensão 3, um dominó é um paralelepípedo retângulo de arestas 1, 1 e 2 e uma região cubiculada e uma união de cubos unitários com interiores disjuntos. Quase todos os resultados para dimensão 2 são difíceis de generalizar para dimensão 3. Nesta palestra apresentaremos alguns resultados velhos e novos sobre coberturas de dominós em dimensões 2 e 3.
P17: 20/10/2016 - 10:10 às 11:00, Auditório RAV-62, Bloco F
Título: As lógicas dos Sonhos e os Sonhos de Totalidade das Matemáticas
Palestrante: Prof. Ricardo Kubrusly (UFRJ)
Palestrante: Prof. Rubens Sucupira (UERJ)
Resumo: Analisaremos os princípios fundamentais das lógicas clássicas, questionaremos suas pretensões universalistas e afirmaremos que suas leis fundamentais são naturais e derivam da pessoa humana em seu crescimento biológico. Proporemos uma lógica para os sonhos, herdada de nossa vivência intrauterina e finalmente falaremos do sonho de totalidade das matemáticas de modelar todas as coisas e da impossibilidade de sua realização.
P18: 20/10/2016 - 11:10 às 12:00, Auditório RAV-62
Título: De Feynman a Brown
Palestrante: Prof. Carlos Tomei (PUC-Rio)
Coordenador: Prof. Jaime Velasco (UERJ)
Resumo: Certas ideias fundamentais em física matemática podem ser exemplificadas de forma elementar em situações discretas. É o que vamos fazer. Pré-requisitos: somas de PG, álgebra de matrizes.
P19: 20/10/2016 - 18:30 às 19:20, Auditório RAV-62, Bloco F
Título: Meio ambiente e saúde: novos desafios, bases de dados, e métodos
Palestrante: Prof. Antonio Ponce de Leon (UERJ)
Coordenador: Prof. Fernando Carneiro (UERJ)
Resumo: Modelos estatísticos complexos têm sido cada vez mais utilizados em investigações científicas nas áreas de meio ambiente, saúde, bem como em pesquisas epidemiológicas de associação entre exposições ambientais e a ocorrência de agravos de saúde. Um bom exemplo deste último são os estudos sobre os efeitos da poluição atmosférica externa e/ou mudanças climáticas na mortalidade e morbidade. O aumento da disponibilidade de dados ambientais e de saúde permite que questões de interesse científico e de saúde pública sejam investigados via métodos epidemiológicos e estatísticos sofisticados. Nesta palestra, algumas das questões de interesse científico mais relevantes na atualidade na área de meio ambiente e saúde serão introduzidas, as bases de dados que estão disponíveis serão descritas, e finalmente os modelos estatísticos que produzem as respostas às questões serão discutidos.
P20: 20/10/2016 - 19:30 às 20:20, Auditório RAV-62, Bloco F
Título: Computação Paralela, Computação Quântica e Matemática Aplicada.
Palestrante: Prof. Luiz Mariano Carvalho (IME/UERJ)
Coordenador: Prof. Fabiano Oliveira (UERJ)
Resumo: A tecnologia dos computadores tem passado por profundas transformações nos últimos dez anos. O futuro dessa tecnologia ainda não está claro, mas há uma forte indicação que os computadores serão paralelos (o que já vem ocorrendo). No entanto, sabe-se que as futuras máquinas terão que economizar energia e com isso trabalhar com voltagens muito baixas, abrindo a possibilidade de falhas em grande escala. Uma outra alternativa é o computador quântico, do qual já existem algum protótipos pequenos, utilizando algoritmos numéricos bastante distintos dos usuais. De uma forma ou de outra, serão necessários novos métodos numéricos, tanto para as máquinas paralelas sujeitas a falhas, quanto para os computadores quânticos. Como estudo de caso, vamos tratar alguns núcleos de computação para a solução de sistemas lineares de grande porte, essenciais na simulação computacional de diversos problemas de física, engenharia, economia, biologia, entre outros.
P21: 20/10/2016 - 20:30 às 21:20, Auditório RAV-62, Bloco F
Título:
Palestrante: Paulo Roberto de Andrade (SEBRAE - StartUP Rio)
Coordenador: Prof. Marcelo Fornazin (UERJ)
Resumo: