Quantitative Information Flow, Relations and Polymorphic Types

This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.

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.

Quantified Analysis of the Leakage of Confidential Data

Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be automated.

Quantified Interference: Information Theory and Information Flow

The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.

Reação-difusão com difusividade variável para oxidação de silício

Neste trabalho, propomos uma modificação do modelo de reação-difusão (R. M. C. de Almeida et al., Physics Review B, 61, 19 (2000)) incluindo difusividade variável com o objetivo principal de predizer, ou no mínimo descrever melhor, o crescimento de oxido de Si no regime de filmes nos. Estudamos o modelo reação-difusão a coeficiente de difusão, D, fixo e D variável. Estudamos extensivamente o modelo reação-difusão com D fixo caracterizando seu comportamento geral, e resolvendo numericamente o modelo com D variável para um intervalo amplo de relações DSiO2=DSi. Ambos casos apresentam comportamento assintótico parabólico das cinéticas. Obtivemos as equações analíticas que regem o regime assintótico de tais casos. Ambos os modelos apresentam interface não abrupta. Comparações das cinéticas com o modelo linear-parabólico e com dados experimentais foram feitas, e também para as espessuras da interface. Contudo nenhum dos dois modelos de reação-difusãao, com D fixo e com D varáavel, podem explicar a região de filmes nos, que possui taxa de crescimento superior a taxa de crescimento da região assintótica. Porém, ao incluir taxa de reação variável dentro do modelo de reação-difusão com D variável, este aponta para uma solução do regime de filmes nos.

Ciaccona em ré menor BMW 1004 de J.S. Bach : um estudo das articulações e uma transcrição para violão

Este trabalho é uma análise das articulações indicadas por Johann Sebastian Bach (1685-1750) na sua Ciaccona em ré menor - quinto movimento da Partita II para violino solo, BWV 1004 – e uma transcrição desta obra para violão. A questão da interpretação dos sinais de articulação assinalados por Bach é abordada a partir de referenciais teóricos e práticos. São discutidas as tradições de execução e os variados entendimentos atribuídos por estas aos sinais de articulação.

Organizational design as an enabler for innovation: evidence from a German Mechanical Engineering Company

Over the past two decades there has been a profusion of empirical studies of organizational design and its relationship to efficiency, productivity and flexibility of an organization. In parallel, there has been a wide range of studies about innovation management in different kind of industries and firms. However, with some exceptions, the organizational and innovation management bodies of literature tend to examine the issues of organizational design and innovation management individually, mainly in the context of large firms operating at the technological frontier. There seems to be a scarcity of empirical studies that bring together organizational design and innovation and examine them empirically and over time in the context of small and medium sized enterprises. This dissertation seeks to provide a small contribution in that direction. This dissertation examines the dynamic relationship between organizational design and innovation. This relationship is examined on the basis of a single-case design in a medium sized mechanical engineering company in Germany. The covered time period ranges from 1958 until 2009, although the actual focus falls on the recent past. This dissertation draws on first-hand qualitative empirical evidence gathered through extensive field work. The main findings are: 1. There is always a bundle of organizational dimensions which impacts innovation. These main organizational design dimensions are: (1) Strategy & Leadership, (2) Resources & Capabilities, (3) Structure, (4) Culture, (5) Networks & Partnerships, (6) Processes and (7) Knowledge Management. However, the importance of the different organizational design dimensions changes over time. While for example for the production of simple, standardized parts, a simple organizational design was appropriate, the company needed to have a more advanced organizational design in order to be able to produce customized, complex parts with high quality. Hence the technological maturity of a company is related to its organizational maturity. 2. The introduction of innovations of the analyzed company were highly dependent on organizational conditions which enabled their introduction. The results of the long term case study show, that some innovations would not have been introduced successfully if the organizational elements like for example training and qualification, the build of network and partnerships or the acquisition of appropriate resources and capabilities, were not in place. Hence it can be concluded, that organizational design is an enabling factor for innovation. These findings contribute to advance our understanding of the complex relationship between organizational design and innovation. This highlights the growing importance of a comprehensive, innovation stimulating organizational design of companies. The results suggest to managers that innovation is not only dependent on a single organizational factor but on the appropriate, comprehensive design of the organization. Hence manager should consider to review regularly the design of their organizations in order to maintain a innovation stimulating environment.

Desempenho de longo prazo de fusões e aquisições : evidência de mercados de capitais latino-americanos

Esta dissertação analisa o desempenho de longo prazo (36 meses após o evento)das fusões e aquisições em países latino-americanos. O estudo abrange um total de 429 eventos de fusão e aquisição anunciados entre os anos de 1994 a 2005, em sete países da América Latina (Brasil, México, Chile, Argentina, Peru, Colômbia e Venezuela), onde os mercados de capitais estão relativamente mais desenvolvidos. É utilizada uma abordagem em tempo calendário baseada no modelo de mercado CAPM, através do qual se calcula o alfa de Jensen, para estimar os retornos anormais de longo prazo. Há evidências claras de retornos anormais de longo prazo negativos e significativos para México e Argentina, enquanto para Chile observam-se retornos anormais de longo prazo positivos e significativos. Os demais países da região (Brasil, Peru, Colômbia e Venezuela) não apresentam retornos anormais de longo prazo significativamente diferentes de zero. Procura-se também analisar as amostras de eventos a partir de diferentes pontos de vista com o intuito de entender quais os possíveis determinantes do desempenho de longo prazo: forma de pagamento, atitude do comprador, transações locais versus internacionais, especialização versus diversificação, e ocorrência da transação dentro ou fora de uma onda de fusões e aquisições. Observam-se evidências de retornos anormais de longo prazo para as subamostras, mas não se registra um comportamento uniforme na amostra de países.

Tayloring Brazil: a system dynamics model for monetary policy feedback

The thesis introduces a system dynamics Taylor rule model of new Keynesian nature for monetary policy feedback in Brazil. The nonlinear Taylor rule for interest rate changes con-siders gaps and dynamics of GDP growth and inflation. The model closely tracks the 2004 to 2011 business cycle and outlines the endogenous feedback between the real interest rate, GDP growth and inflation. The model identifies a high degree of endogenous feedback for monetary policy and inflation, while GDP growth remains highly exposed to exogenous eco-nomic conditions. The results also show that the majority of the monetary policy moves during the sample period was related to GDP growth, despite higher coefficients of inflation parameters in the Taylor rule. This observation challenges the intuition that inflation target-ing leads to a dominance of monetary policy moves with respect to inflation. Furthermore, the results suggest that backward looking price-setting with respect to GDP growth has been the dominant driver of inflation. Moreover, simulation exercises highlight the effects of the new BCB strategy initiated in August 2011 and also consider recession and inflation avoid-ance versions of the Taylor rule. In methodological terms, the Taylor rule model highlights the advantages of system dynamics with respect to nonlinear policies and to the stock-and-flow approach. In total, the strong historical fit and some counterintuitive observations of the Taylor rule model call for an application of the model to other economies.

Formação de preços em oligopólio: implicações macroeconômicas: (Brasil 1972-1982)

A presente dissertação trata do problema de formação de preços em estruturas de mercado oligopolizadas. Estuda o caso da indústria de transformação no Brasil. Através de um estudo empírico determina equações que reflitam as hipóteses teóricas de variação de preços no setor.