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.

Soil Types of Maine

http://digitalcommons.colby.edu/atlasofmaine2006/1009/thumbnail.jpg

Incentives for Increased Graduate Enrollments: Incentive Types and Implementation Strategies

Institutions seeking to increase graduate enrollment consider incentivizing program growth. This report outlines ways that institutions allow graduate programs to keep surplus revenue, including tuition rebates, funding proportional to credit-hours, and decreased tax rates. It also examines scholarship programs created to increase admitted graduate student yield, new program offerings, and ongoing unit review.

Optimal auctions with multidimensional types and the desirability of exclusion

Within the context of a single-unit, independent private values auction model, we show that if bidder types are multidimensional, then under the optimal auction exclusion of some bidder types will occur. A second contribution of the paper is methodological in nature. In particular, we identify conditions under which an auction model with multidimensional types can be reduced to a model with one dimensional types without loss of generality. Reduction results of this type have achieved the status of folklore in the mechanism design literature. Here, we provide a proof of the reduction result for auctions.

Abstract types and distributions in independent private value auctions

In this note, in an independent private values auction framework, I discuss the relationship between the set of types and the distribution of types. I show that any set of types, finite dimensional or not, can be extended to a larger set of types preserving incentive compatibility constraints, expected revenue and bidder’s expected utilities. Thus for example we may convexify a set of types making our model amenable to the large body of theory in economics and mathematics that relies on convexity assumptions. An interesting application of this extension procedure is to show that although revenue equivalence is not valid in general if the set of types is not convex these mechanism have underlying distinct allocation mechanism in the extension. Thus we recover in these situations the revenue equivalence.

Optimal taxation with gradual learning of types

An important feature of life-cycle models is the presence of uncertainty regarding one’s labor income. Yet this issue, long recognized in different areas, has not received enough attention in the optimal taxation literature. This paper is an attempt to fill this gap. We write a simple 3 period model where agents gradually learn their productivities. In a framework akin to Mirrlees’ (1971) static one, we derive properties of optimal tax schedules and show that: i) if preferences are (weakly) separable, uniform taxation of goods is optimal, ii) if they are (strongly) separable capital income is to rate than others forms of investiment.

Comparative biology and production costs of Podisus nigrispinus (Hemiptera: Pentatomidae) when fed different types of prey

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

Thermal comfort indices in individual shelters for dairy calves with different types of roofs

Dentre os materiais de construção utilizados nas instalações rurais, merecem destaque as coberturas, pois são grandes responsáveis pelo conforto térmico, influenciando no balanço térmico no interior das instalações. Este trabalho objetivou avaliar a influência das coberturas sobre a entalpia (H), Carga Térmica Radiante (CTR) e no Índice de Temperatura de Globo Negro e Umidade (ITGU), em abrigos individuais para bezerros leiteiros. O delineamento foi o inteiramente casualizado com três tratamentos: Z - telha de zinco; CA - telha de cimento amianto, e CAB - telha de cimento amianto pintada de branco na face superior. As médias foram comparadas pelo teste de Scott Knott, a 1% de probabilidade. Os resultados mostraram que não houve diferença estatística entre os tratamentos (P<0,01) e o ambiente externo, para a H. Para a CTR, houve diferença estatística entre todos os tratamentos, em que CAB demonstrou menor CTR, 489,28 W m-², seguido do tratamento CA, 506,72 W m-², e Z com maior valor de CTR, 523,55 W m-². Para o ITGU, observaram-se menores valores para CAB (76,8) e CA (77,4), diferindo-se, significativamente do Z, que obteve maior valor (81,6). As telhas com pintura branca em sua face superior promoveram menor CTR e menor ITGU, favorecendo o ambiente térmico da instalação.

Eficiência de diferentes ramais de pulverização e volumes de calda no controle de Brevipalpus phoenicis na cultura do café

Efficiency of different spraying lances and spraying volumes on the control of Brevipalpus phoenicis in coffee crops. The mite Brevipalpus phoenicis is found on coffee plantations in Brazil since the 1950's. Responsible for indirect losses due to its role as vector of a virus disease, this mite species often requires control measures, the most common based on mitecide spraying. It was evaluated the mortality of B. phoenicis due the coverage of spraying liquid applied on coffee plants, with two types of lances used in air assisted sprayers and four spraying. volumes. Treatments were applied with mitecide abamectin (Vertimec 18 CE (R) at 0.4 L per hectare), in volumes of 250, 400, 550 and 700 L per hectare, with two types of lances for the nozzles. The control efficiency against B. phoenicis, deposition and coverage by spray liquid on coffee plants was evaluated. Experimental delineation was in randomized blocks, with eight treatments plus a check plot in four replications. The statistical analysis was carried in a factorial scheme 2x4+1. No significant differences in the number of mites were found between treatments. As regards spraying liquid deposition, it was observed an increment with increasing spraying volumes, with the plant tops showing the best deposition of spraying liquid. The duplication of the lances (nozzle branches) resulted in a significant increase in control efficiency for B. phoenicis compared with conventional branch and with check plot, without dependence of spraying volume.