Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Rawls and Health Care

John Rawls’s A Theory of Justice (1971), his first major work articulating his theory of justice as fairness, was immediately recognized as a fundamental contribution to political philosophy in the twentieth century. Working within the tradition established by previous philosophers such as Kant and Locke, Rawls employed the contract theory approach. Taking it to a higher order of abstraction, he sought to determine not what the structure of social organization would be, but what the principles which governed social institutions would be under a hypothetical contracting situation. Rawls uses this contract theory approach to construct a society in which the morally irrelevant contingencies of nature and social arrangements are mitigated by principles of justice which govern the basic institutions of society. A common observation has been that Rawls left out any discussion of health care and how it might fit into his conception of a just society. Several philosophers have articulated expansions of the theory to account for health care. In the chapters that follow I will continue this tradition and consider how justice as fairness might be expanded to account for just health care allocation. In doing so, I hope to answer a particularly strong critique of the theory brought up by Amartya Sen and Martha Nussbaum, and to argue for a broadened conception of health care which takes into account the complex causal relationship between society and human health.

Derivações de ordem superior em anéis primos e semiprimos

Nesta tese estudamos as derivações de ordem superior (DOS) em anéis não-comutativos. Inicialmente, mostramos que toda derivação tripla de Jordan de ordem superior em um anel semiprimo livre de 2-torção é uma DOS. Em particular, toda derivação de Jordan de ordem superior (DJOS) num anel deste tipo é uma DOS. Estendemos também o resultado a ideais de Lie U, provando que se R é um anel primo livre de 2-torção e D é uma DJOS de U em R onde U ct Z(R) é tal que U2E U para todo u E U, então D é uma DOS de U em R. Nestas condições, se U C Z(R), então o resultado não é válido. Estudamos ainda as DOS cujas componentes satisfazem relações de dependência linear sobre R ou Q (o anel de quocientes à direita de M artindale de R). Caracterizamos tais DOS, e mostramos que as relações de dependência linear são preservadas ao estendermos uma DOS de R a Q.

A family of autoregressive conditional duration models

This paper develops a family of autoregressive conditional duration (ACD) models that encompasses most specifications in the literature. The nesting relies on a Box-Cox transformation with shape parameter λ to the conditional duration process and a possibly asymmetric shocks impact curve. We establish conditions for the existence of higher-order moments, strict stationarity, geometric ergodicity and β-mixing property with exponential decay. We next derive moment recursion relations and the autocovariance function of the power λ of the duration process. Finally, we assess the practical usefulness of our family of ACD models using NYSE transactions data, with special attention to IBM price durations. The results warrant the extra flexibility provided either by the Box-Cox transformation or by the asymmetric response to shocks.

A family of autoregressive conditional duration models

This paper develops a family of autoregressive conditional duration (ACD) models that encompasses most specifications in the literature. The nesting relies on a Box-Cox transformation with shape parameter λ to the conditional duration process and a possibly asymmetric shocks impact curve. We establish conditions for the existence of higher-order moments, strict stationarity, geometric ergodicity and β-mixing property with exponential decay. We next derive moment recursion relations and the autocovariance function of the power λ of the duration process. Finally, we assess the practical usefulness of our family of ACD models using NYSE price duration data on the IBM stock. The results warrant the extra flexibility provided either by the Box-Cox transformation or by the asymmetric response to shocks.

Testing the optimality of aggregate consumption decisions: is there rule-of-thumb behavior?

Consumption is an important macroeconomic aggregate, being about 70% of GNP. Finding sub-optimal behavior in consumption decisions casts a serious doubt on whether optimizing behavior is applicable on an economy-wide scale, which, in turn, challenge whether it is applicable at all. This paper has several contributions to the literature on consumption optimality. First, we provide a new result on the basic rule-of-thumb regression, showing that it is observational equivalent to the one obtained in a well known optimizing real-business-cycle model. Second, for rule-of-thumb tests based on the Asset-Pricing Equation, we show that the omission of the higher-order term in the log-linear approximation yields inconsistent estimates when lagged observables are used as instruments. However, these are exactly the instruments that have been traditionally used in this literature. Third, we show that nonlinear estimation of a system of N Asset-Pricing Equations can be done efficiently even if the number of asset returns (N) is high vis-a-vis the number of time-series observations (T). We argue that efficiency can be restored by aggregating returns into a single measure that fully captures intertemporal substitution. Indeed, we show that there is no reason why return aggregation cannot be performed in the nonlinear setting of the Pricing Equation, since the latter is a linear function of individual returns. This forms the basis of a new test of rule-of-thumb behavior, which can be viewed as testing for the importance of rule-of-thumb consumers when the optimizing agent holds an equally-weighted portfolio or a weighted portfolio of traded assets. Using our setup, we find no signs of either rule-of-thumb behavior for U.S. consumers or of habit-formation in consumption decisions in econometric tests. Indeed, we show that the simple representative agent model with a CRRA utility is able to explain the time series data on consumption and aggregate returns. There, the intertemporal discount factor is significant and ranges from 0.956 to 0.969 while the relative risk-aversion coefficient is precisely estimated ranging from 0.829 to 1.126. There is no evidence of rejection in over-identifying-restriction tests.

Investment coordination failures and the confidence channel of fiscal policy

Este trabalho desenvolve um novo "canal de Confiança" da política fiscal e caracteriza a política ótima quando esse canal é levado em consideração. Para esse objetivo, utilizamos um modelo estático com (i) concorrência monopolística, (ii) custos de ajustamento fixos para investir, (iii) complementaridade estratégica devido a informação imperfeita com respeito a produtividade agregada, e (iv) bens privados como substitutos imperfeitos de bens privados. Este arcabouço acomoda a possibilidade de falhas de coordenação nos investimentos, mas apresenta um equilíbrio único. Mostramos que a política fiscal tem efeitos importantes na coordenação. Um aumento dos gastos do governo leva a uma maior demanda por bens privados. Mais importante, este também afeta as expectativas de ordem superior com relação a demanda das demais firmas, que amplifica os efeitos do aumento inicial da demanda devido a complementaridade estratégica nas decisões de investimento. Como as demais firmas estão se deparam com uma demanda maior, espera-se que estas invistam mais, que por sua vez, aumenta a demanda individual de cada firma, que aumenta os incentivos a investir. Denominamos isto como o "canal de confiança" da política fiscal. Sob a ameaça de falhas de coordenação, a política fiscal ótima prescreve produzir além do ponto em que o benefício marginal resultante do consumo de bens públicos é igual ao custo marginal desses bens. Este benefício adicional vem do fato de que a política fiscal pode ampliar a coordenação dos investimentos.

Credit borrowing constraints in a DSGE framework: income vs. housing

Credit market in Brazil distinguishes from advanced economies in many aspects. One of them is related to collaterals for households borrowing. This work proposes a DSGE framework, based on Gerali et al.(2010), to analyse one pecularity of Brazillian credit market: payroll-deducted personal loans. To original model, we added the possibility to households contract long term debt and compare to differents types of credit constrains: one based on housing and other based on future income. We callibrate and estimate the model to Brazil, using Bayesian technique. Results show that, in a economy where credit constraints are based on income, responses to shocks appear to be stronger, at first, but dissipate faster. This occurs because income responds quickly to shock than housing prices, so does amount available to loans. In order to smooth consumption, agents compensate lower income and borrowing by increasing working hours, restoring loans and debt in a shorter time.

Ketamine alters oscillatory coupling in the hoppocampus

Recent studies show that higher order oscillatory interactions such as cross-frequency coupling are important for brain functions that are impaired in schizophrenia, including perception, attention and memory. Here we investigated the dynamics of oscillatory coupling in the hippocampus of awake rats upon NMDA receptor blockade by ketamine, a pharmacological model of schizophrenia. Ketamine (25, 50 and 75 mg/kg i.p.) increased gamma and high-frequency oscillations (HFO) in all depths of the CA1-dentate axis, while theta power changes depended on anatomical location and were independent of a transient increase of delta oscillations. Phase coherence of gamma and HFO increased across hippocampal layers. Phase-amplitude coupling between theta and fast oscillations was markedly altered in a dose-dependent manner: ketamine increased hippocampal theta-HFO coupling at all doses, while theta-gamma coupling increased at the lowest dose and was disrupted at the highest dose. Our results demonstrate that ketamine alters network interactions that underlie cognitively relevant theta-gamma coupling.

Utilização de modelos de regressão aleatória para produção de leite no dia do controle, com diferentes estruturas de variâncias residuais

Foram utilizados quatorze modelos de regressão aleatória, para ajustar 86.598 dados de produção de leite no dia do controle de 2.155 primeiras lactações de vacas Caracu, truncadas aos 305 dias. Os modelos incluíram os efeitos fixos de grupo contemporâneo e a covariável idade da vaca ao parto. Uma regressão ortogonal de ordem cúbica foi usada para modelar a trajetória média da população. Os efeitos genéticos aditivos e de ambiente permanente foram modelados por meio de regressões aleatórias, usando polinômios ortogonais de Legendre, de ordens cúbicas. Diferentes estruturas de variâncias residuais foram testadas e consideradas por meio de classes contendo 1, 10, 15 e 43 variâncias residuais e de funções de variâncias (FV) usando polinômios ordinários e ortogonais, cujas ordens variaram de quadrática até sêxtupla. Os modelos foram comparados usando o teste da razão de verossimilhança, o Critério de Informação de Akaike e o Critério de Informação Bayesiano de Schwar. Os testes indicaram que, quanto maior a ordem da função de variâncias, melhor o ajuste. Dos polinômios ordinários, a função de sexta ordem foi superior. Os modelos com classes de variâncias residuais foram aparentemente superiores àqueles com funções de variância. O modelo com homogeneidade de variâncias foi inadequado. O modelo com 15 classes heterogêneas foi o que melhor ajustou às variâncias residuais, entretanto, os parâmetros genéticos estimados foram muito próximos para os modelos com 10, 15 ou 43 classes de variâncias ou com FV de sexta ordem.

Caracterização de estruturas planares com substratos Iso/Anisotrópicos truncados através da técnica da ressonância transversa modificada

This work presents a theoretical and numerical analysis using the transverse resonance technique (TRT) and a proposed MTRT applied in the analysis of the dispersive characteristics of microstrip lines built on truncated isotropic and anisotropic dielectric substrates. The TRT uses the transmission lines model in the transversal section of the structure, allowing to analyze its dispersive behavior. The difference between TRT and MTRT consists basically of the resonance direction. While in the TRT the resonance is calculated in the same direction of the metallic strip normal axis, the MTRT considers the resonance in the metallic strip parallel plane. Although the application of the MTRT results in a more complex equivalent circuit, its use allows some added characterization, like longitudinal section electric mode (LSE) and longitudinal section magnetic mode (LSM), microstrips with truncated substrate, or structures with different dielectric regions. A computer program using TRT and MTRT proposed in this work is implemented for the characterization of microstrips on truncated isotropic and anisotropic substrates. In this analysis, propagating and evanescent modes are considered. Thus, it is possible to characterize both the dominant and higher order modes of the structure. Numerical results are presented for the effective permittivity, characteristic impedance and relative phase velocity for microstrip lines with different parameters and dimensions of the dielectric substrate. Agreement with the results obtained in the literature are shown, as well as experimental results. In some cases, the convergence analysis is also performed by considering the limiting conditions, like particular cases of isotropic materials or structures with dielectric of infinite size found in the literature. The numerical convergence of the formulation is also analyzed. Finally, conclusions and suggestions for the continuity of this work are presented

Variance component estimates applying random regression models for test-day milk yield in Caracu heifers (Bos taurus Artiodactyla, Bovidae)

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

Desenvolvimento e testes de software de um receptor de GPS para uso espacial

Spacecraft move with high speeds and suffer abrupt changes in acceleration. So, an onboard GPS receiver could calculate navigation solutions if the Doppler effect is taken into consideration during the satellite signals acquisition and tracking. Thus, for the receiver subject to such dynamic cope these shifts in the frequency signal, resulting from this effect, it is imperative to adjust its acquisition bandwidth and increase its tracking loop to a higher order. This paper presents the changes in the GPS Orion s software, an open architecture receiver produced by GEC Plessey Semiconductors, nowadays Zarlink, in order to make it able to generate navigation fix for vehicle under high dynamics, especially Low Earth Orbit satellites. GPS Architect development system, sold by the same company, supported the modifications. Furthermore, it presents GPS Monitor Aerospace s characteristics, a computational tool developed for monitoring navigation fix calculated by the GPS receiver, through graphics. Although it was not possible to simulate the software modifications implemented in the receiver in high dynamics, it was observed that the receiver worked in stationary tests, verified also in the new interface. This work also presents the results of GPS Receiver for Aerospace Applications experiment, achieved with the receiver s participation in a suborbital mission, Operation Maracati 2, in December 2010, using a digital second order carrier tracking loop. Despite an incident moments before the launch have hindered the effective navigation of the receiver, it was observed that the experiment worked properly, acquiring new satellites and tracking them during the VSB-30 rocket flight.

Classificação Automática de Modulação Digital com uso de Correntropia para Ambientes de Rádio Cognitivo

Modern wireless systems employ adaptive techniques to provide high throughput while observing desired coverage, Quality of Service (QoS) and capacity. An alternative to further enhance data rate is to apply cognitive radio concepts, where a system is able to exploit unused spectrum on existing licensed bands by sensing the spectrum and opportunistically access unused portions. Techniques like Automatic Modulation Classification (AMC) could help or be vital for such scenarios. Usually, AMC implementations rely on some form of signal pre-processing, which may introduce a high computational cost or make assumptions about the received signal which may not hold (e.g. Gaussianity of noise). This work proposes a new method to perform AMC which uses a similarity measure from the Information Theoretic Learning (ITL) framework, known as correntropy coefficient. It is capable of extracting similarity measurements over a pair of random processes using higher order statistics, yielding in better similarity estimations than by using e.g. correlation coefficient. Experiments carried out by means of computer simulation show that the technique proposed in this paper presents a high rate success in classification of digital modulation, even in the presence of additive white gaussian noise (AWGN)