Sequential Monte Carlo Methods for Crowd and Extended Object Tracking and Dealing with Tall Data

The Bayesian methodology is able to deal with a number of challenges in object tracking, especially with uncertainties in the system dynamics and sensor characteristics. However, model complexities can result in non-analytical expressions which require computationally cumbersome approximate solutions. In this thesis computationally efficient approximate methods for object tracking with complex models are developed. One such complexity is when a large group of objects, referred to as a crowd, is required to be tracked. A crowd generates multiple measurements with uncertain origin. Two solutions are proposed, based on a box particle filtering approach and a convolution particle filtering approach. Contributions include a theoretical derivation for the generalised likelihood function for the box particle filter, and an adaptive convolution particle filter able to resolve the data association problem without the measurement rates. The performance of the two filters is compared over a realistic scenario for a large crowd of pedestrians. Extended objects also generate a variable number of multiple measurements. In contrast with point objects, extended objects are characterised with their size or volume. Multiple object tracking is a notoriously challenging problem due to complexities caused by data association. An efficient box particle filter method for multiple extended object tracking is proposed, and for the first time it is shown how interval based approaches can deal efficiently with data association problems and reduce the computational complexity of the data association. The performance of the method is evaluated on real laser rangefinder data. Advances in digital sensors have resulted in systems being capable of accumulating excessively large volumes of data. Three efficient Bayesian inference methods are developed for object tracking when excessively large numbers of measurements may otherwise cause standard algorithms to be inoperable. The underlying mechanics of these methods are adaptive subsampling and the expectation propagation algorithm

Desenvolvimento de um codificador de vídeo HD em tempo real com complexidade variável usando a biblioteca x264

Este trabalho tem por objetivo analisar a viabilidade da codificação de vídeos em full HD para o padrão H.264 via software, através da biblioteca x264. Esta biblioteca realiza a codificação a partir de um grande número de parâmetros, de modo que sua configuração não é trivial. Dessa forma, é proposta aqui uma metodologia de análise dos parâmetros, visando a determinar um subconjunto relevante dos mesmos que possibilite a codificação em tempo real com a máxima qualidade obtenível para uma dada complexidade. Com base nos resultados, foi verificado que o sistema otimizado possui desempenho superior aos perfis de complexidade pré-definidos na biblioteca, com o ganho de qualidade, medido em termos de PSNR, superior a 1dB. Por fim, o sistema também se mostrou capaz de realizar a codificação com velocidade suficiente para que a exibição dos quadros seja feita em tempo real

CURRÍCULOS E POLÍTICAS/PRÁTICAS NA EDUCAÇÃO DE JOVENS E ADULTOS TECIDAS EM ETNOMATEMÁTICA

No artigo apresentamos resultados de pesquisas que estão interligadas pelos campos: Currículos da/na Educação de Jovens e Adultos (EJA), Etnomatemática e Práticas Curriculares Cotidianas. Consideramos que o destaque a este imbricamento auxilia a compreensão do Currículo e do processo de ensino/aprendizagem na EJA. Para isso, discutimos o seu processo educacional, tensões, objetivos e as especificidades de seus alunos. Na última parte analisamos resultados de recentes pesquisas da área de educação matemática que destacam a etnomatemática como referência para estes fazeres e saberes curriculares na EJA

Compact groups of dwarf galaxies in TNG50: late hierarchical assembly and delayed stellar build-up in the low-mass regime

Compact groups of dwarf galaxies (CGDs) have been observed at low redshifts ($z<0.1$) and are direct evidence of hierarchical assembly at low masses. To understand the formation of CGDs and the galaxy assembly in the low-mass regime, we search for analogues of compact (radius $\leq 100$ kpc) groups of dwarfs ($7 \leq \log[M_{\ast}/{\rm M}_\odot] \leq 9.5$) in the IllustrisTNG highest-resolution simulation. Our analysis shows that TNG50-1 can successfully produce CGDs at $z=0$ with realistic total and stellar masses. We also find that the CGD number density decreases towards the present, especially at $z \lesssim 0.26$, reaching $n \approx 10^{-3.5}$ $\rm cMpc^{-3}$ at $z = 0$. This prediction can be tested observationally with upcoming surveys targeting the faint end of the galaxy population and is essential to constrain galaxy evolution models in the dwarf regime. The majority of simulated groups at $z \sim 0$ formed recently ($\lesssim 1.5 \ \rm Gyr$), and CGDs identified at $z \leq 0.5$ commonly take more than 1 Gyr to merge completely, giving origin to low- to intermediate-mass ($8 \leq \log[M_{\ast}/{\rm M}_\odot] \leq 10$) normally star-forming galaxies at $z=0$. We find that halos hosting CGDs at $z = 0$ formed later when compared to halos of similar mass, having lower stellar masses and higher total gas fractions. The simulations suggest that CGDs observed at $z \sim 0$ arise from a late hierarchical assembly in the last $\sim 3$ Gyr, producing rapid growth in total mass relative to stellar mass and creating dwarf groups with median halo masses of $\sim 10^{11.3}$ $\rm M_\odot$ and B-band mass-to-light ratios mostly in the range $10 \lesssim M/L \lesssim 100$, in agreement with previous theoretical and observational studies.Comment: 20 pages, 18 figures, 4 tables, accepted by MNRAS. Updated to reflect minor changes made during the referring process. Nearest neighbour catalogues available at http://www.tng-project.org/floresfreitas2

ASPECTOS SOCIOJURÍDICOS DA OCUPAÇÃO SONHO REAL À LUZ DA FORMAÇÃO URBANA DE GOIÂNIA E DOS DIREITOS DA MORADIA

O histórico da formação urbana da cidade de Goiânia revela um planejamento em favor de poucos. Assim como nas demais cidades brasileiras, Goiânia possui vários problemas de planejamento urbano – por exemplo, a incrível ausência de um Plano Diretor. O despejo da ocupação Sonho Real, um dos maiores da América Latina, com 14 mil pessoas envolvidas, serve para uma análise sociojurídica da questão dos direitos de moradia em Goiânia. A função social do imóvel, em nenhum requisito, foi observada pelos ditos proprietários tampouco pelos poderes Executivo, Legislativo e Judiciário, o que acarretou e vem acarretando graves violações aos direitos humanos de milhares de pessoas. A ausência de uma organicidade de grupo também prejudica na correlação com os “atores” da implementação dos direitos humanos, embora não exclua a responsabilidade estatal