Algoritmo de lanczos na variedade de grassmann

O problema do cálculo de valores próprios, vectores próprios e subespaços invariantes está presente em áreas tão diversas como Engenharia, Física, Ciências de Computação e Matemática. Considerando a importância deste problema em tantas aplicações práticas, não é de surpreender que tenha sido e continue a ser objecto de intensa investigação, dando corpo a uma literatura muito vasta. Desenvolvemos um novo algoritmo de Lanczos na variedade de Grassmann. Este trabalho surgiu na sequência de um artigo de A. Edelman, T. A. Arias and S. T. Smith, The geometry of algorithms with orthogonality constraints, onde apresentam um novo algoritmo do gradiente conjugado na variedade de Grassmann. Desenvolveram um enquadramento geométrico o que ofereceu uma nova aproximação aos algoritmos numéricos envolvendo restrições de ortogonalidade. Ora, estando o método de Lanczos e o método dos gradientes conjugados intimamente relacionados, e sendo um dos principais problemas do método de Lanczos a perda de ortogonalidade, surgiu a ideia de tentar verificar se algum dos algoritmos de Lanczos seria uma iteração na variedade de Grassmann.

Teoria dos Jogos: Algumas Noções Elementares

Em muitas situações de interação, os agentes são compelidos a agir estrategicamente. Isto significa que as linhas de ação que um agente escolhe tomar são condicionadas ou determinadas pelo comportamento observado ou esperado de outros. A teoria dos jogos consiste precisamente no estudo de como os intervenientes numa determinada relação de interação estratégica atuam de modo racional, no sentido de promover o melhor resultado possível para si próprios. Ao analisar um jogo é necessário identificar as estratégias disponíveis para cada um dos jogadores, quais os resultados que a escolha de cada estratégia permite alcançar, os momentos de tempo em que as decisões são tomadas e que informação têm disponível os participantes na relação de interação. Apresentar-se-á conceitos centrais como o de estratégia dominante, ou o de equilíbrio de Nash; far-se-á a distinção entre jogos de informação completa e de informação incompleta, e entre jogos em forma normal e em forma extensiva; será ainda feita menção à teoria dos jogos evolucionária.

Sistema de digitalização, detecção e classificação automática de recibos em dispositivos móveis

Ao longo dos últimos anos tem-se assistido a uma rápida evolução dos dispositivos móveis. Essa evolução tem sido mais intensa no poder de processamento, na resolução e qualidade das câmaras e na largura de banda das redes móveis de nova geração. Outro aspecto importante é o preço, pois cada vez mais existem dispositivos móveis avançados a um preço acessível, o que facilita a adopção destes equipamentos por parte dos utilizadores. Estes factores contribuem para que o número de utilizadores com “computadores de bolso” tenda a aumentar, possibilitando cada vez mais a criação de ferramentas com maior complexidade que tirem partido das características desses equipamentos. Existem muitas aplicações que exploram estas características para facilitar o trabalho aos utilizadores. Algumas dessas aplicações conseguem retirar informação do mundo físico e fazer algum tipo de processamento, como por exemplo, um leitor de códigos QR ou um OCR (Optical Character Recognizer). Aproveitando o potencial dos dispositivos móveis actuais, este trabalho descreve o estudo, a implementação e a avaliação de uma aplicação de realidade aumentada para adquirir e gerir recibos em papel de forma automática e inteligente. A aplicação utiliza a câmara do dispositivo para adquirir imagens dos recibos de forma a poder processá-las recorrendo a técnicas de processamento de imagem. Tendo uma imagem processada do recibo é efectuado um reconhecimento óptico de caracteres para extracção de informação e é utilizada uma técnica de classificação para atribuir uma classe ao documento. Para um melhor desempenho do classificador é utilizada uma estratégia de aprendizagem incremental. Após a correcta classificação é possível visualizar o recibo com informação adicional (realidade aumentada). O trabalho proposto inclui também a avaliação da interface e dos algoritmos desenvolvidos.

Estudo dosimétrico comparativo do Acuros® XB: algoritmo avançado de cálculo de dose com o AAA – Anisotropic Analytical Alghorithm, em tratamentos de radioterapia externa com a técnica de RapidArc™

Mestrado em Radioterapia.

Avaliação da caracterização de lesões em mamografia com recurso a sistemas CAD (Diagnóstico Assistido por Computador)

Mestrado em Radiações Aplicadas às Tecnologias da Saúde. Área de especialização: Imagem Digital com Radiação X.

Conjetura de Goldbach: uma visão aritmética

Dissertação de Mestrado, Matemática para Professores, 1 de Novembro de 2013, Universidade dos Açores.

Remoção hierárquica de geometria por oclusão em simulações em tempo real

Mestrado em Engenharia Electrotécnica e de Computadores

Agrupamento de dados com restrições

Mestrado em Engenharia Informática

Videovigilância, compressão e criptografia

Mestrado em Engenharia Electrotécnica e de Computadores

Semantic social network analysis

Mestrado em Engenharia Informática

Algoritmo neurogenético com vistas para o planejamento de rotas de robôs móveis autônomos

Pós-graduação em Ciência da Computação - IBILCE

Pesquisas brasileiras psicossociais e operacionais face às metas da UNGASS

São analisados itens do documento "Draft Declaration of Commitment for the UNGASS on HIV/AIDS, 2001". Discute-se a experiência brasileira em novos métodos de testagem e aconselhamento para populações vulneráveis, métodos preventivos controlados por mulheres, prevenção, suporte psicossocial a pessoas vivendo com HIV/Aids e transmissão materno-infantil. Os itens foram operacionalizados sob a forma de "palavras-chave" em buscas sistemáticas nos bancos de dados padrão em biomedicina, incluindo ainda o Web of Science, nas suas subdivisões referentes às ciências naturais e sociais. A experiência brasileira referente a estratégias de testagem e aconselhamento vem-se consolidando, no emprego de algoritmos visando à estimação da incidência e identificação de recém-infectados, testagem e aconselhamento de grávidas, e aplicação de testes rápidos. A introdução de métodos alternativos e de novas tecnologias para coleta de dados em populações vulneráveis vem permitindo ágil monitoramento da epidemia. A avaliação do suporte psicossocial a pessoas vivendo com HIV/Aids ganhou impulso no Brasil, provavelmente, em decorrência do aumento da sobrevida e da qualidade de vida dessas pessoas. Foram observados avanços substanciais no controle da transmissão materno-infantil, uma das mais importantes vitórias no campo de HIV/Aids no Brasil, mas deficiências no atendimento pré-natal ainda constituem um desafio. Em relação aos métodos de prevenção femininos, a resposta brasileira é ainda tímida. A ampla implementação de novas tecnologias para captura e manejo de dados depende de investimentos em infra-estrutura e capacitação profissional.

Avaliação do desempenho de um sistema híbrido de tomografia por emissão de positrões e tomografia computorizada

Mestrado em Medicina Nuclear.

Comparação entre o pencil beam convolution algorithm e o analytical anisotropic algorithm em tumores de mama

Mestrado em Radioterapia

Proposta de um algoritmo eficiente para a localização de faltas por relé diferencial numérico para proteção de linhas de transmissão com compensação série controlada por tiristores (TCSC)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)