A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems

In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p system, which allows for local inconsistency handling. We then characterise the general computational properties for the problem of answering queries to such a p2p system. Finally, we devise tight complexity bounds and distributed procedures for the problem of answering queries in few relevant special cases

Senior Recital, Gabriel Luciano-Carson, tenor trombone

The presentation of this senior recital will fulfill in part the requirements for the Bachelor of Music degree in performance. Gabriel Luciano-Carson studies tenor trombone with Dr. Ross Walter

Bouncing solutions in Rastall's theory with a barotropic fluid

Rastall's theory is a modification of Einstein's theory of gravity where the covariant divergence of the stress-energy tensor is no more vanishing, but proportional to the gradient of the Ricci scalar. The motivation of this theory is to investigate a possible non-minimal coupling of the matter fields to geometry which, being proportional to the curvature scalar, may represent an effective description of quantum gravity effects. Non-conservation of the stress-energy tensor, via Bianchi identities, implies new field equations which have been recently used in a cosmological context, leading to some interesting results. In this paper we adopt Rastall's theory to reproduce some features of the effective Friedmann's equation emerging from loop quantum cosmology. We determine a class of bouncing cosmological solutions and comment about the possibility of employing these models as effective descriptions of the full quantum theory.Comment: Latex file, 14 pages, 1 figure in eps format. Typos corrected, one reference added. Published versio

Motion compensation with minimal residue dispersion matching criteria

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnoloigia, 2016.Com a crescente demanda por serviços de vídeo, técnicas de compressão de vídeo tornaram-se uma tecnologia de importância central para os sistemas de comunicação modernos. Padrões para codificação de vídeo foram criados pela indústria, permitindo a integração entre esses serviços e os mais diversos dispositivos para acessá-los. A quase totalidade desses padrões adota um modelo de codificação híbrida, que combina métodos de codificação diferencial e de codificação por transformadas, utilizando a compensação de movimento por blocos (CMB) como técnica central na etapa de predição. O método CMB tornou-se a mais importante técnica para explorar a forte redundância temporal típica da maioria das sequências de vídeo. De fato, muito do aprimoramento em termos de e ciência na codificação de vídeo observado nas últimas duas décadas pode ser atribuído a refinamentos incrementais na técnica de CMB. Neste trabalho, apresentamos um novo refinamento a essa técnica. Uma questão central à abordagem de CMB é a estimação de movimento (EM), ou seja, a seleção de vetores de movimento (VM) apropriados. Padrões de codificação tendem a regular estritamente a sintaxe de codificação e os processos de decodificação para VM's e informação de resíduo, mas o algoritmo de EM em si é deixado a critério dos projetistas do codec. No entanto, embora praticamente qualquer critério de seleção permita uma decodi cação correta, uma seleção de VM criteriosa é vital para a e ciência global do codec, garantindo ao codi cador uma vantagem competitiva no mercado. A maioria do algoritmos de EM baseia-se na minimização de uma função de custo para os blocos candidatos a predição para um dado bloco alvo, geralmente a soma das diferenças absolutas (SDA) ou a soma das diferenças quadradas (SDQ). A minimização de qualquer uma dessas funções de custo selecionará a predição que resulta no menor resíduo, cada uma em um sentido diferente porém bem de nido. Neste trabalho, mostramos que a predição de mínima dispersão de resíduo é frequentemente mais e ciente que a tradicional predição com resíduo de mínimo tamanho. Como prova de conceito, propomos o algoritmo de duplo critério de correspondência (ADCC), um algoritmo simples em dois estágios para explorar ambos esses critérios de seleção em turnos. Estágios de minimização de dispersão e de minimização de tamanho são executadas independentemente. O codificador então compara o desempenho dessas predições em termos da relação taxa-distorção e efetivamente codifica somente a mais eficiente. Para o estágio de minimização de dispersão do ADCC, propomos ainda o desvio absoluto total com relação à média (DATM) como a medida de dispersão a ser minimizada no processo de EM. A tradicional SDA é utilizada como a função de custo para EM no estágio de minimização de tamanho. O ADCC com SDA/DATM foi implementado em uma versão modificada do software de referência JM para o amplamente difundido padrão H.264/AVC de codificação. Absoluta compatibilidade a esse padrão foi mantida, de forma que nenhuma modificação foi necessária no lado do decodificador. Os resultados mostram aprimoramentos significativos com relação ao codificador H.264/AVC não modificado.With the ever growing demand for video services, video compression techniques have become a technology of central importance for communication systems. Industry standards for video coding have emerged, allowing the integration between these services and the most diverse devices. The almost entirety of these standards adopt a hybrid coding model combining di erential and transform coding methods, with block-based motion compensation (BMC) at the core of its prediction step. The BMC method have become the single most important technique to exploit the strong temporal redundancy typical of most video sequences. In fact, much of the improvements in video coding e ciency over the past two decades can be attributed to incremental re nements to the BMC technique. In this work, we propose another such re nement. A key issue to the BMC framework is motion estimation (ME), i.e., the selection of appropriate motion vectors (MV). Coding standards tend to strictly regulate the coding syntax and decoding processes for MV's and residual information, but the ME algorithm itself is left at the discretion of the codec designers. However, though virtually any MV selection criterion will allow for correct decoding, judicious MV selection is critical to the overall codec performance, providing the encoder with a competitive edge in the market. Most ME algorithms rely on the minimization of a cost function for the candidate prediction blocks given a target block, usually the sum of absolute di erences (SAD) or the sum of squared di erences (SSD). The minimization of any of these cost functions will select the prediction that results in the smallest residual, each in a di erent but well de ned sense. In this work, we show that the prediction of minimal residue dispersion is frequently more e cient than the usual prediction of minimal residue size. As proof of concept, we propose the double matching criterion algorithm (DMCA), a simple two-pass algorithm to exploit both of these MV selection criteria in turns. Dispersion minimizing and size minimizing predictions are carried out independently. The encoder then compares these predictions in terms of rate-distortion performance and outputs only the most e cient one. For the dispersion minimizing pass of the DMCA, we also propose the total absolute deviation from the mean (TADM) as the measure of residue dispersion to be minimized in ME. The usual SAD is used as the ME cost function in the size minimizing pass. The DMCA with SAD/TADM was implemented in a modi ed version of the JM reference software encoder for the widely popular H.264/AVC coding standard. Absolute compliance to the standard was maintained, so that no modi cations on the decoder side were necessary. Results show signi cant improvements over the unmodi ed H.264/AVC encoder

The Invasive Spider Badumna longinqua (L. Koch, 1867) (Araneae: Desidae) in Argentina: New Distributional Records, with Notes on its Expansion and Establishment

Badumna longinqua (L. Koch 1867) is a medium-sized spider native from Australia. Due to its synanthropic habitat, this spider expanded their range distribution, reaching Germany, Japan, New Zealand, Uruguay and USA. We found specimens of this species in different localities from Buenos Aires Province, Argentina. Therefore, we report the first records of B. longinqua to Argentina, and discuss aspects of its distribution.Fil: Pompozzi, Gabriel Alejandro. Universidad Nacional del Sur. Departamento de Biología, Bioquímica y Farmacia. Laboratorio de Zoología de Invertebrados Ii; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Peralta, Luciano. Universidad Nacional de Mar del Plata. Facultad de Ciencias Exactas y Naturales. Departamento de Biología. Laboratorio de Artrópodos; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Simó, Miguel. Universidad de la República. Facultad de Ciencias; Urugua

Crescimento da economia brasileira e fluxo de capitais a partir da Lei de Thirlwall:1968-1980 e 1992-2000

Capital flows are expected to be important in the process of economic growth for several reasons. One of them is their importance in relaxing the balance of payments constraints as envisaged by Thirlwall’s law, which states that when economic growth takes place, the level of imports also grows. Consequently, there is a necessary increase in the export level or in the volume of capital inflows as imposed by the balance of payment constraints. The goal of the present paper is to investigate how capital flows during the periods 1968-1980 and 1992-2000 have stimulated the Brazilian economy by means of Thirlwall’s model and to attempt to explain why Brazilian economic performance in the earlier period was so superior to that in the later period.Thirlwall’s law; capital flows; balance of payment constraint