Próximas defesas e eventos

Título: Sistemas de observabilidade para aprendizado de máquina: uma investigação prática de requisitos e benefícios

Resumo: Apesar de sua crescente aplicação em diversos setores, sistemas de aprendizado de máquina ainda enfrentam um desafio central: a baixa observabilidade. Em outras palavras, após a implantação dos modelos, muitas vezes vistos como `caixas-pretas', é difícil compreender, monitorar e depurar seu comportamento em produção. Essa limitação compromete a confiabilidade dos sistemas e dificulta a identificação de problemas como degradação de desempenho, enviesamento (viés) ou falhas causadas por mudanças nos dados, conhecidas como desvios de dados e de conceito. Muitos desses sistemas tendem a falhar silenciosamente, tornando os erros visíveis apenas quando já são críticos. A falha em detectar esses problemas pode causar impactos severos, como danos financeiros por predições incorretas, decisões injustas que afetam clientes e grupos minoritários e, em casos extremos, riscos à integridade física ou jurídica. Tal cenário mina a confiança nas soluções de IA, podendo levar à perda de confiabilidade e ao eventual abandono de projetos. Nesse contexto, este trabalho investiga os requisitos essenciais e os possíveis benefícios do uso de sistemas de observabilidade para AM. Esses novos sistemas se propõem a ir além do monitoramento tradicional de métricas, oferecendo uma plataforma que visa centralizar, organizar e trazer transparência ao estado de um modelo em um ambiente único e compartilhado. Suas funcionalidades incluem o monitoramento de performance, análise de justiça, verificação de enviesamentos, aprofundamento nas variáveis usadas, alertas para mudanças de comportamento nos dados, detalhamento do modelo utilizado e explicações para o comportamento geral do modelo e também de predições isoladas, permitindo uma análise em produção mais assertiva e menos dependente de especialistas. Para explorar este tema, o presente trabalho detalha as funcionalidades relevantes para um sistema de observabilidade para AM, baseando-se em uma revisão de literatura formal e cinzenta e em um levantamento das funcionalidades das principais ferramentas de mercado. Além disso, para demonstrar os benefícios práticos desses sistemas, foi construído um protótipo de software do tipo. Para tal, foi desenvolvida uma modelagem de dados e classes baseada na ontologia utilizada pelo OpenML. A implementação se deu através de biblioteca de classes em Python que atua como cliente de ingestão, com apoio de um banco de dados relacional (MySQL) e um NoSQL (MongoDB) e uma solução de visualização de dados de código aberto (Apache Superset). A aplicação das funcionalidades é então demonstrada através do protótipo em três casos de uso com dados reais, abordando problemas de classificação (previsão de reincidência criminal e inadimplência) e regressão (previsão de demanda de bicicletas). Finalmente, o trabalho se aprofunda nos desafios práticos do uso de modelos de AM em produção através de entrevistas com cientistas de dados e outros profissionais da área. O objetivo dessa coleta qualitativa é obter um panorama geral dos principais desafios enfrentados por equipes que desenvolvem, usam ou suportam modelos em produção e avaliar a relevância e aplicabilidade das funcionalidades dos sistemas de observabilidade utilizando o protótipo desenvolvido como exemplo de um possível sistema.

Palavras-chave: Aprendizado de Máquina,MLOps,Monitoramento,Observabilidade

Título: Colorações canônicas em Teoria de Ramsey

Resumo: A propriedade Ramsey-canônica expande a teoria clássica de Ramsey ao considerar colorações em grafos sem restrição no número de cores, buscando padrões inevitáveis. Nesse contexto, uma cópia de um grafo $H$ em um grafo $G$ é chamada de \emph{canônica} se for monocromática, rainbow ou lexicográfica. O Teorema de Ramsey Canônico, de Erd\H{o}s e Rado, garante que, para qualquer grafo $H$, todo grafo suficientemente grande contém uma cópia canônica de $H$, sob qualquer coloração de suas arestas. Neste trabalho, estudamos o surgimento da propriedade Ramsey-canônica no modelo de grafos aleatórios $\gnp$, isto é, investigamos para quais funções $p = p(n)$ essa propriedade ocorre com alta probabilidade. Apresentamos e discutimos três resultados recentes nessa direção: o primeiro determina o limiar da propriedade para o caso em que $H$ é um grafo completo $K_\ell$, o segundo estabelece o limiar no caso em que $H$ é um grafo arbitrário, mas limitado a colorações com restrições de listas, e o terceiro mostra uma cota superior quase justa para o caso em que $H$ é um ciclo par. As definições de propriedade Ramsey-canônica adotadas nesses três resultados variam ligeiramente, especialmente nas condições impostas sobre as cópias lexicográficas e, em geral, nenhum dos resultados implica o outro. As demonstrações desses resultados fazem uso de diversas técnicas de combinatória extremal e probabilística, como exposição em múltiplas rodadas, o uso cuidadoso de propriedades estruturais de $\gnp$, método de Contêineres de hipergrafos, dentre outros. Ao longo desta dissertação, discutimos as diferenças fundamentais entre cada definição adotada, bem como as ideias centrais das demonstrações e ferramentas intermediárias necessárias.

Palavras-chave: Combinatória, Teoria de Ramsey, Teoria dos Grafos, grafos aleatórios, método probabilístico, funções limiares.

Título: Sobre a decomposição localmente irregular e suas variantes

Resumo: Um grafo é localmente irregular se ele não tem vértices adjacentes com o mesmo grau. Uma decomposição localmente irregular de um grafo G é uma família {G_1, . . . ,G_k} de subgrafos aresta-disjuntos e localmente irregulares de G tal que cada aresta de G está em exatamente um desses subgrafos. Se um grafo G possui uma tal decomposição, ele é chamado de decomponível e o índice cromático irregular é o menor k para o qual G possui uma decomposição localmente irregular com k membros. Similarmente, uma decomposição regular-irregular de um grafo G é uma família {G1, . . . ,Gk} de subgrafos aresta-disjuntos de G tal que cada componente de qualquer membro G_i dessa família é ou regular ou localmente irregular. O índice cromático regular-irregular é definido analogamente. Quando cada componente regular é isomorfa ao K_2, temos uma decomposição K_2-irregular e seu respectivo índice cromático K_2-irregular. Nesta tese, discutimos os resultados mais relevantes na literatura (até onde sabemos) sobre esses índices, tanto restrito a algumas classes de grafos quanto o caso geral. Além disso, apresentamos algumas contribuições da nossa parte, as principais sendo sobre o índice cromático irregular de blow-ups de ciclos, e sobre o índice cromático irregular de grafos bipartidos.

Palavras-chave: Grafo localmente irregular, Decomposição localmente irregular, Grafo K2-irregular. Índice cromático irregular.

Título: Aplicação do esquema homomórfico CKKS em reconhecimento facial: uma abordagem cliente-servidor

Resumo: A proteção da privacidade em sistemas de reconhecimento facial é um desafio crítico, especialmente quanto ao armazenamento e autenticação. Este trabalho apresenta uma solução segura e inspirada na ideia de Serengil (2021) para reconhecimento facial, baseada no esquema de criptografia homomórfica CKKS, que permite a comparação de imagens cifradas em ambiente cliente-servidor sem comprometer a privacidade dos dados biométricos. O objetivo central é permitir que imagens faciais sejam comparadas sem necessidade de decriptação, assegurando que o servidor não tenha acesso ao conteúdo das imagens processadas. Para tanto, foi implementado um pipeline que realiza a extração de embeddings faciais, sua criptografia por meio do CKKS através da biblioteca TenSEAL em Python, e a subsequente comparação homomórfica para fins de autenticação. O sistema foi avaliado quanto à escalabilidade, desempenho e acurácia, empregando variações nos parâmetros criptográficos. Os testes foram realizados com bases de dados contendo até 2.561 imagens criptografadas, demonstrando viabilidade técnica e segurança da abordagem. Os resultados indicam que o tempo de processamento cresce linearmente com o número de imagens, sem ocorrência de falsos positivos ou negativos. Ademais, confirmou-se que o desempenho da encriptação e decriptação em relação ao grau do polinômio utilizado no anel não apresenta comportamento linear, conforme previsto na literatura. A proposta se mostra promissora em cenários críticos como investigações criminais, autenticação em nuvem e controle de acesso, contribuindo para o avanço de soluções seguras em biometria facial.

Palavras-chave: Criptografia Homomórfica, CKKS, Reconhecimento Facial, TenSEAL.

Título: Estudo sobre a inversão do teorema de Lagrange-Dirichlet em 3 dimensões

Resumo: O Teorema de Lagrange–Dirichlet garante que, em sistemas mecânicos conservativos com número finito de graus de liberdade, todo ponto de mínimo estrito da energia potencial, com velocidade inicial nula, é um ponto de equilíbrio estável. Este trabalho tem como foco a recíproca desse teorema, isto é, sob quais condições a ausência de um mínimo estrito implica instabilidade. São revisitados exemplos clássicos, como o de Wintner, 1941, que demonstra que a recíproca não é válida em geral para potenciais suaves, e o de Bertotti–Bolotin, 2000, que evidencia a influência dos termos cinéticos na estabilidade. Também são discutidas hipóteses mais restritivas, como a analiticidade da energia potencial, destacando o problema proposto por Arnold, 2002 e resolvido por Brunella, 1998 em sistemas com dois graus de liberdade. O principal destaque, entretanto, é o resultado recente de Burgos e Paternain, 2022, que formula e demonstra a recíproca do Teorema de Lagrange–Dirichlet em três dimensões, construindo um critério de instabilidade para mínimos locais não estritos (ou brandos) de energias potenciais analíticas.

Palavras-chave: Teorema de Lagrange–Dirichlet. Estabilidade de Lyapunov, Energia Potencial, Sistemas Conservativos

Título: Comidas típicas de celebrações juninas como contexto para investigar preço de venda: uma abordagem com modelo de matemática

Resumo: Teve-se por objetivo investigar se uma abordagem de ensino, que teve como objeto de estudo festas juninas brasileiras, vistas como uma atividade lúdica e combinadas com a realidade da comunidade, mostrou potencial para envolver socialmente os participantes e para transformá-los em seres humanos ativos na aprendizagem escolar em Matemática. Para atingir esse objetivo, usou-se as ideias da Modelagem Matemática, na vertente sociocrítica, para elaborar e aplicar dez encontros com os alunos de uma sala de aula de 8º ano do Ensino Fundamental e responder a questão “Quais discussões, entre matemáticas, técnicas, reflexivas e paralelas, emergem durante a realização dos encontros propostos, contextualizados no evento cultural festa junina?”. Dois desses encontros foram dedicados ao conhecimento de quatro Festas Juninas brasileiras tradicionais e os oito restantes para usar esse conhecimento, focado em comidas típicas da região em que vivem, para buscar resposta à questão norteadora que se colocou ao longo do terceiro encontro “Qual é o preço de venda da comida típica escolhida na festa junina da escola?”. Os participantes foram divididos em grupos, o que gerou áudio-gravações, protocolos e relatórios, por escrito, do pesquisador e de observadores neutros. A análise qualitativa dos dados permitiu identificar discussões técnicas, reflexivas, matemáticas e paralelas, tanto nos grupos como nas falas individuais e mostrou indícios de que alguns dos participantes se mostraram ativos e autônomos na aprendizagem, capazes de propor métodos, criticar estratégias de precificação e utilizar a Matemática como ferramenta para compreender o contexto social. Deixa-se, como Produto Final esperado de um Mestrado Profissional, uma proposta de intervenção de ensino, baseada em Modelagem Matemática, que possa ser replicada por professores(as) de Matemática da Educação Básica.

Palavras-chave: festa junina, festas populares, Modelagem Matemática, interdisciplinaridade, Educação Básica

Título: Identificação de cargas sobre vigas de Timoshenko

Resumo: Esta dissertação aborda um problema inverso para o modelo de vigas de Timoshenko, investigando se, sob certas hipóteses, é possível detectar o carregamento em uma viga a partir da observação do deslocamento transversal $w(x,t)$. A motivação para o estudo desse tipo de problema se dá pela dificuldade de medir experimentalmente a rotação $\varphi$ da seção transversal, um elemento fundamental no modelo. Para alcançar este objetivo, o trabalho estabelece o arcabouço matemático rigoroso (formulação fraca) em espaços de Sobolev ($H_0^1(\Omega)$). Em seguida, as equações governantes do modelo são deduzidas detalhadamente a partir dos princípios da mecânica do contínuo. A análise do problema de autovalores é crucial, demonstrando que o espectro de frequências $(\omega_n)$ se decompõe em duas subsequências assintoticamente uniformemente discretas ($\Lambda_1, \Lambda_2$). Esta propriedade espectral permite obter a solução formal do sistema dinâmico e transformar o problema de unicidade em um problema de interpolação em análise harmônica. A prova do resultado principal, o Teorema de Unicidade, é então realizada aplicando o Teorema de Paley-Wiener e a teoria de interpolação para conjuntos uniformemente discretos. O teorema estabelece que as cargas são unicamente determinadas pelo conhecimento do deslocamento em um subconjunto aberto arbitrário do domínio, desde que o tempo de observação seja suficientemente longo. Esta conclusão fornece uma validação teórica fundamental para o campo de Monitoramento da Integridade Estrutural, garantindo que sistemas de monitoramento baseados apenas em sensores de deslocamento são, em princípio, suficientes para a identificação de cargas.

Palavras-chave: Vigas de Timoshenko, Identificação de Cargas, Teorema de Unicidade

Título: Adaptação e avaliação da técnica de mutação condicional para a linguagem de programação funcional Haskell

Resumo: O teste de software é uma parte importante do processo de desenvolvimento de software e que permite assegurar a qualidade do mesmo, porém existe um alto custo, tanto de capital humano quanto computacional envolvido neste processo. Com o intuito de permanecer no mercado de forma competitiva, há um esforço das empresas em reduzir custos e aumentar a qualidade de seus produtos, dessa forma, a busca por otimizar os testes de software é bastante estudada e investigada atualmente. Para testar a eficiência de um conjunto de testes, criado para um software, é comumente utilizado o teste de mutação, pois este permite encontrar trechos de software que contém condições que não foram contempladas pelo conjunto de testes. Apesar de necessitar de pouco capital humano, o custo computacional envolvido no teste de mutação é elevado, pois o processo envolve um grande número de compilações referentes aos mutantes, que são os programas gerados a partir de pequenas alterações no software original ao qual o conjunto de testes se compromete em testar. O objetivo deste trabalho é adaptar e avaliar a técnica de mutação condicional, a qual evita a necessidade de múltiplas compilações, aplicada à linguagem de paradigma funcional Haskell. Este é um estudo quantitativo sobre o custo computacional envolvido na execução do teste de mutação com e sem a aplicação da técnica de mutação condicional. A contribuição prática deste trabalho será a adaptação e implementação de tal técnica, comumente aplicada a linguagens de paradigma imperativo, à linguagem de paradigma funcional Haskell. O resultado deste trabalho avaliará a eficiência da técnica de mutação condicional quando aplicada a uma linguagem de paradigma funcional com avaliação preguiçosa.

Palavras-chave: custo computacional, teste de mutação, mutação condicional, programação funcional, Haskell

Título: Estimando o número de neurônios ocultos em redes neurais

Resumo: Considerando alguns contextos de redes neurais de uma camada oculta para respostas reais, existem resultados mostrando a consistência de estimadores de máxima verossimilhança penalizada (Rynkiewicz, 2006) e group lasso adaptativo (Ho e Dinh, 2022) para estimar o número de neurônios ocultos em redes neurais. Nós provamos que é possível definir estimadores consistentes de máxima verossimilhança penalizada para o número de neurônios ocultos em problemas de classificação. Finalizamos o trabalho com uma simulação e duas aplicações para mostrar as questões práticas inerentes à seleção de modelos em redes neurais.

Palavras-chave: Redes Neurais,Seleção de Modelos,Processos Empíricos

Título: Constantes de Erdős-Ginzburg-Ziv de Grau Alto em Anéis

Resumo: Seja �� um anel comutativo com unidade e �� e �� inteiros positivos. Definimos EGZ(��, ��, ��) como o menor inteiro positivo �� (se existir) com a seguinte propriedade: dada qualquer sequência ��1, . . . , ���� de �� elementos de ��, existe uma sub-sequência ����1 , . . . , ������ de �� termos tais que ����(����1 , . . . , ������ ) = 0, onde ����(��1, . . . , ����) denota o ��-ésimo polinômio simétrico elementar em �� variáveis, ou seja, ����(��1, . . . , ����) =∑︀_{��∈{1,...,��}, |��|=��}∏︀ ��∈�� ���� . Em particular, o teorema clássico de Erdős-Ginzburg-Ziv afima que, para todo �� ≥ 1, temos EGZ(��, Z��, 1) = 2�� − 1. O único anel cujos valores de EGZ eram conhecidos sempre que definidos é Z2. Nós expandimos esse estudo achando os valores exatos de EGZ(��, Z3, 3^��) e de classes infinitas de (��, ��) em todos aneis de 4 elementos, com exceção de F4. Também achamos cotas superiores novas para EGZ em aneis de característica prima, bem como mostramos um novo padrão de periodicidade geral de EGZ em ��.

Palavras-chave: Problemas de soma zero, Teorema de Erdős-Ginzbug-Ziv, Métodos algébricos em Combinatória

Título: Variáveis Instrumentais na Inferência Causal

Resumo: Esta dissertação está organizada em duas partes principais. Na primeira, são apresentados os fundamentos da inferência causal, incluindo definições formais, teoremas fundamentais e estimandos causais de interesse, bem como o arcabouço probabilístico e gráfico que sustenta essa teoria. A segunda parte, que constitui a principal contribuição deste trabalho, examina o papel das variáveis instrumentais na identificação de efeitos causais na presença de confundidores latentes. É realizada uma revisão abrangente das abordagens metodológicas disponíveis na literatura científica atual, contemplando cenários com variáveis resposta, tratamento e instrumento de natureza contínua, discreta e categórica. Para cada configuração, são discutidos os efeitos causais identificáveis, suas interpretações, pressupostos, vantagens e limitações. Além disso, são conduzidos estudos de simulação que ilustram a aplicabilidade dos métodos e avaliam a confiabilidade das estimativas obtidas

Palavras-chave: Inferência Causal. Variáveis Instrumentais. Local Average Treatment Effect (LATE).

Título: Métodos para identificar estatísticas suficientes minimais

Resumo: Seja f_\theta uma densidade de probabilidade conjunta de uma amostra aleatória X. Um critério padrão afirma que uma estatística T(X) é suficiente minimal se, para quaisquer pontos amostrais x e y, a razão f_\theta(y)/f_\theta(x) é independente de \theta se, e somente se, T(x)=T(y). Embora amplamente aplicado, a validade desse critério depende de condições de regularidade implícitas que nem sempre são satisfeitas. Construímos um contraexemplo demonstrando que o método falha quando tais condições não são satisfeitas. Lehmann e Scheffé (1950) foram os primeiros a estabelecer condições para a validade do critério, porém difíceis de verificar na prática; Sato (1996) propôs posteriormente alternativas que permanecem de difícil verificação. Introduzimos um método que contorna essa dificuldade quando a estatística é sabidamente suficiente. Esta abordagem fornece uma generalização do resultado de Sato. Finalmente, analisamos um método distinto para a identificação de estatísticas suficientes minimais desenvolvido por Pfanzagl (1994, 2015) e apresentamos um contraexemplo mostrando que tal resultado falha na ausência de hipóteses adicionais.

Palavras-chave: estatística suficiente minimal, estatística suficiente, teorema da fatoração de Neyman-Fisher, método de Sato, método de Pfanzagl, espaços de Borel

Título: Comparação de métodos de penalização na qualidade de predições em modelos de análise de sobrevivência

Resumo: Este trabalho tem como objetivo avaliar o desempenho preditivo de métodos de penalização, como Firth, Lasso e Ridge, em modelos de sobrevivência, com foco na aplicabilidade desses métodos em cenários com amostras pequenas e alta censura. O estudo também busca analisar os efeitos dessas técnicas na estimativa dos parâmetros de modelos paramétricos, visando aprimorar a precisão das análises nestes contextos desafiadores. Para isso, são conduzidos experimentos com dados simulados, nos quais os métodos são comparados utilizando métricas como viés, erro quadrático médio, área sob a curva, índice de concordância e escore de Brier para avaliar as estimativas dos parâmetros e a performance preditiva. Além disso, é avaliado o desempenho computacional, considerando o tempo de execução e a taxa de convergência dos modelos. Para comparar essas metodologias, além dos estudos de simulação, é realizada uma aplicação prática dessas técnicas em um conjunto de dados de um estudo do Instituto do Coração do Hospital das Clínicas da FMUSP. Os resultados indicam que o método de penalização Firth apresenta os melhores resultados em termos de viés e erro quadrático médio, especialmente em contextos com amostras pequenas e alta censura. Contudo, à medida que o tamanho da amostra aumenta, a robustez dos modelos cresce, o que diminui as variações nas estimativas e minimiza as diferenças entre os métodos. A análise também evidencia pontos positivos e negativos para os modelos paramétricos e semi-paramétricos, destacando a importância da correta especificação da distribuição paramétrica. A escolha inadequada da distribuição nos modelos paramétricos compromete a precisão das estimativas, enquanto a ausência de uma função paramétrica para o tempo de falha nos modelos semi-paramétricos limita a previsão de tempos absolutos de sobrevivência. Em termos de desempenho computacional, os modelos ajustados por máxima verossimilhança são os mais rápidos, seguidos pelo método Firth, enquanto os métodos Lasso e Ridge exigem mais tempo devido ao processo de seleção de penalização. Em cenários com alta censura ou limitações amostrais, o método de Firth se mostra preferível por sua maior robustez e precisão preditiva.

Palavras-chave: análise de sobrevivência, predição, técnicas de penalização.

Título: O Grupo dos Automorfismos Externos da Categoria das Álgebras Não-associativas Finitamente Geradas Livres Nilpotentes de Grau n

Resumo: A área de Geometria Algébrica Universal é uma ampla generalização da Geometria Algébrica, que busca realizar Geometria Algébrica sobre estruturas algébricas arbitrárias. Esta tese de doutorado aborda alguns aspectos da Geometria Algébrica Universal sobre álgebras nilpotentes não-associativas. Mais precisamente, estudamos automorfismos da categoria das álgebras nilpotentes livres finitamente geradas. Quando consideramos uma variedade arbitrária de álgebras $\Theta$ e duas álgebras $H_1,H_2\in \Theta$, podemos perguntar: quando elas têm a mesma geometria? Em outras palavras, perguntamos quando a transição de sistemas de equações para suas soluções é realizada da mesma maneira. A resposta depende do que entendemos pelas palavras "da mesma maneira". Dois conceitos surgem nessa consideração: o conceito mais restrito de equivalência geométrica e o conceito mais amplo de equivalência automórfica. Ao considerar a categoria $\Theta^{0}$ de álgebras livres finitamente geradas da variedade $\Theta$, o grupo quociente $\mathfrak{A}/\mathfrak{Y}$ do grupo $\mathfrak{A}$ de todos os automorfismos de $\Theta^{0}$ pelo subgrupo normal $\mathfrak{Y}$ de todos os automorfismos internos de $\Theta^{0}$ mede a possível diferença entre equivalência geométrica e equivalência automórfica de álgebras universais da variedade $\Theta$. Chamamos este grupo quociente de grupo dos automorfismos externos da categoria das álgebras livres finitamente geradas da variedade $\Theta$. Se considerarmos a variedade $\Theta_{n}$ de todas as álgebras nilpotentes não associativas de grau $n$, e o grupo quociente $\mathfrak{A}_{n}/\mathfrak{Y}_{n}$ do grupo $\mathfrak{A}_{n}$ de todos os automorfismos da categoria $\Theta_{n}^{0}$ de todas as álgebras nilpotentes livres finitamente geradas de grau $n$, pelo subgrupo normal $\mathfrak{Y}_{n}$ de todos os automorfismos internos de $\Theta_{n}^{0}$, A. Tsurkov conjecturou que, para cada $n\geq3$, temos $\mathfrak{A}_{n}/\mathfrak{Y}_{n}\cong\Bbbk^{\ast }\rtimes\operatorname{Aut}\Bbbk$. Esta conjectura foi provada nos casos em que $n=3,4$ e $5$. Nesta tese, avançamos significativamente em direção à prova geral desta conjectura e explicamos detalhadamente nosso plano para prová-la. Cumprimos parcialmente este plano introduzindo uma nova abordagem para trabalhar com computações envolvendo monômios não-associativos, usando a linguagem de árvores binárias, e aplicando-a para alcançar alguns resultados principais necessários para provar a conjectura no caso geral.

Palavras-chave: Geometria algébrica universal, Grupo dos automorfismos externos, Álgebras não-associativas nilpotentes

Título: Regression analysis of quality-adjusted survival in cancer patients admitted to intensive care units a novel estimation method

Resumo: O principal objetivo do trabalho é propor um modelo de regressão preditivo para um conjunto de dados de pacientes de câncer admitidos na UTI do estudo proveniente do Instituto de Câncer do Estado de São Paulo (ICESP), todavia a abordagem pode ser utilizada para quaisquer estudos de tempo de sobrevivência ajustado pela qualidade de vida. Neste trabalho, propomos um novo estimador para o modelo de regressão semiparamétrico para modelagem simultânea do tempo de sobrevivência e o tempo de sobrevivência ajustado pela qualidade de vida. A equação de estimação dos parâmetros baseia-se nos testes de hipóteses não-paramétricos para comparação de curvas de sobrevivência, e considera uma ponderação pelo inverso da distribuição da censura. Por conta disso, as estimas do modelo não são afetadas pela censura informativa, tal qual é muito comum em estudos de análise da qualidade de vida ajustada pelo tempo de sobrevivência. Estudos de simulação de Monte Carlo mostram que o modelo proposto apresenta melhores resultados comparado ao modelo de referência utilizado. Em seguida uma aplicação com os dados da pesquisa do ICESP é feita. Por fim, é apresentada uma discussão dos resultados do trabalho, destacando as principais contribuições do trabalho, bem como os trabalhos futuros.

Palavras-chave: Tempo de Sobrevivência Ajustado pela Qualidade de Vida, Censura Informativa, Análise de Sobrevivência

Título: Análise e Aplicações do Método KIOPS na Integração Exponencial e em Equações Diferenciais

Resumo: O cálculo eficiente da ação da exponencial de matriz é fundamental para a solução numérica de sistemas lineares e semilineares provenientes da discretização de Equações Diferenciais Ordinárias e Parciais. Integradores exponenciais oferecem vantagens significativas para problemas rígidos e de alta dimensão,mas sua eficácia prática depende de algoritmos capazes de avaliar combinações da ação da exponencial de matriz e de funções associadas sobre vetores de maneira estável e escalável. Este trabalho tem como objetivo analisar, implementar e avaliar o desempenho do método KIOPS, proposto em Stéphane Gaudreault et al., 2018, destacando seus fundamentos teóricos, formulação computacional e eficiência em cenários que envolvem matrizes de grande porte e operadores diferenciais. A discussão teórica inclui o arcabouço geral dos integradores exponenciais, introduzindo a representação por variação das constantes e o papel das funções ��, que surgem naturalmente na discretização temporal e permitem expressar a ação da exponencial de matriz e de seus termos associados sobre vetores, seguida de um exame de métodos exponenciais anteriores utilizados para aproximar essa ação via subespaços de Krylov. Em seguida, o método KIOPS é apresentado como uma extensão dessas abordagens, incorporando estratégias adaptativas para seleção da dimensão do subespaço, técnicas reduzidas de ortogonalização e estimadores de erro derivados da própria estrutura de Krylov. Foram realizados experimentos numéricos com matrizes densas que exibem características espectrais distintas, representando diferentes regimes dinâmicos encontrados em aplicações práticas. Esses experimentos permitem uma avaliação robusta do desempenho do KIOPS em comparação tanto com uma abordagem densa clássica para o cálculo da exponencial de matriz. Aplicações às equações de onda unidimensional e bidimensional também foram investigadas, onde o operador resultante da discretização espacial é ideal para analisar os benefícios do método KIOPS. Os resultados mostram que o KIOPS alcança ganhos substanciais de desempenho em tempo de execução, particularmente em problemas que envolvem matrizes grandes ou espectros que exigem forte amortecimento ou alta resolução temporal. Observou-se que o método mantém a precisão dentro de uma tolerância prescrita, ao mesmo tempo em que reduz significativamente os custos de ortogonalização por meio do uso combinado de mecanismos adaptativos e projeções em subespaços menores. Em aplicações envolvendo a equação de onda bidimensional, o KIOPS permitiu passos de tempo consideravelmente maiores do que aqueles viáveis com métodos tradicionais sob os mesmos requisitos de precisão, demonstrando sua robustez em problemas rígidos e mal condicionados. O estudo conclui que o KIOPS representa uma alternativa eficiente, escalável e numericamente confiável para integração exponencial, oferecendo melhorias significativas em relação às abordagens convencionais quando aplicado a problemas de alta dimensão.

Palavras-chave: exponencial de matriz, métodos de Krylov, integradores exponenciais, KIOPS, Equações diferenciais parciais