Casamento de modelos baseado em projeções radiais e circulares invariante a pontos de vista.

Este trabalho aborda o problema de casamento entre duas imagens. Casamento de imagens pode ser do tipo casamento de modelos (template matching) ou casamento de pontos-chaves (keypoint matching). Estes algoritmos localizam uma região da primeira imagem numa segunda imagem. Nosso grupo desenvolveu dois algoritmos de casamento de modelos invariante por rotação, escala e translação denominados Ciratefi (Circula, radial and template matchings filter) e Forapro (Fourier coefficients of radial and circular projection). As características positivas destes algoritmos são a invariância a mudanças de brilho/contraste e robustez a padrões repetitivos. Na primeira parte desta tese, tornamos Ciratefi invariante a transformações afins, obtendo Aciratefi (Affine-ciratefi). Construímos um banco de imagens para comparar este algoritmo com Asift (Affine-scale invariant feature transform) e Aforapro (Affine-forapro). Asift é considerado atualmente o melhor algoritmo de casamento de imagens invariante afim, e Aforapro foi proposto em nossa dissertação de mestrado. Nossos resultados sugerem que Aciratefi supera Asift na presença combinada de padrões repetitivos, mudanças de brilho/contraste e mudanças de pontos de vista. Na segunda parte desta tese, construímos um algoritmo para filtrar casamentos de pontos-chaves, baseado num conceito que denominamos de coerência geométrica. Aplicamos esta filtragem no bem-conhecido algoritmo Sift (scale invariant feature transform), base do Asift. Avaliamos a nossa proposta no banco de imagens de Mikolajczyk. As taxas de erro obtidas são significativamente menores que as do Sift original.

Da variedade à invariância : então um caso exemplar

No quadro da teoria formal enunciativa proponho-me analisar os diferentes empregos do marcador então.

Rhodnius stali n. sp., afim de Rhodnius pictipers Stal, 1872 (Hemiptera, Reduviidae, Triatominae)

Rhdnius stali n. sp. was described based on specimens deposited in the Herman Lent Collection of Entomological Collection of Oswaldo Cruz Institute, until now identified as Rhodnius pictipes Stal, 1872 and compared with specimens of R. pictipes proceeding from state of Amazonas and Pará, Brazil. R. stali is related to R. pictipes though distinguished by the total length, 15 to 17 mm male and 16,5 to 19 mm female, the anteocular region 2,5 times larger than postocular region and by the shape of phallic strictures known as: phallosoma, struts, gonopore process and endosoma process.

Uma fundamentação para sinais e sistemas intervalares

In this work we use Interval Mathematics to establish interval counterparts for the main tools used in digital signal processing. More specifically, the approach developed here is oriented to signals, systems, sampling, quantization, coding and Fourier transforms. A detailed study for some interval arithmetics which handle with complex numbers is provided; they are: complex interval arithmetic (or rectangular), circular complex arithmetic, and interval arithmetic for polar sectors. This lead us to investigate some properties that are relevant for the development of a theory of interval digital signal processing. It is shown that the sets IR and R(C) endowed with any correct arithmetic is not an algebraic field, meaning that those sets do not behave like real and complex numbers. An alternative to the notion of interval complex width is also provided and the Kulisch- Miranker order is used in order to write complex numbers in the interval form enabling operations on endpoints. The use of interval signals and systems is possible thanks to the representation of complex values into floating point systems. That is, if a number x 2 R is not representable in a floating point system F then it is mapped to an interval [x;x], such that x is the largest number in F which is smaller than x and x is the smallest one in F which is greater than x. This interval representation is the starting point for definitions like interval signals and systems which take real or complex values. It provides the extension for notions like: causality, stability, time invariance, homogeneity, additivity and linearity to interval systems. The process of quantization is extended to its interval counterpart. Thereafter the interval versions for: quantization levels, quantization error and encoded signal are provided. It is shown that the interval levels of quantization represent complex quantization levels and the classical quantization error ranges over the interval quantization error. An estimation for the interval quantization error and an interval version for Z-transform (and hence Fourier transform) is provided. Finally, the results of an Matlab implementation is given

Simetria de invariância de escala discreta, log-periodicidade e singularidades em tempo finito

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Dinâmica impulsiva: estabilidade e invariância

Pós-graduação em Matemática - IBILCE

Estudo da preposição para no português brasileiro: entre a invariância de funcionamento e a variação semântica

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O coordenador interfrasal mas — invariância e variantes

Proposta uma definição semântica básica para o mas — que se refere à moção de desigaldade para os segmentos entre os quais ele ocorre —, consideram-se as diferenças existentes em diversas ocorrências interfrasais desse coordenador. Verificado o contexto típico de ocorrência, conclui-se pela consideração do mas como elemento característico de operação argumentativa.

A perífrase conjuncional só que: invariância e variantes

O objetivo deste trabalho é descrever o comportamento lingüístico da perífrase só que em dados do português falado e escrito. Para tanto, contemplo duas perspectivas: a invariabilidade e a variabilidade de só que. A primeira se refere, entre outras coisas, ao sentido básico de cancelamento de pressuposição pragmática; e a segunda, ao fato de só que assumir, conforme as condições de uso, cinco acepções de sentido, que têm características lingüísticas distintas.

Orações subjetivas: variância e invariância de padrões na fala e na escrita

This work investigates the variance and invariance of subject clauses patterns in spoken and written contemporary Brazilian Portuguese. I analyze four parameters (category and semantic class of matrix predicate, form of embedded clause and mood-tense correlation between matrix and embedded clauses) and show that there is less variance in speech patterns.

Simetrias e sólitons do modelo de toda conforme afim

Pós-graduação em Física - IFT

Função afim e suas propriedades através da resolução de problemas

Pós-graduação em Matemática em Rede Nacional - IBILCE