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.

Hemocyte types and total and differential counts in unparasitized and parasitized Anastrepha obliqua (Diptera, Tephritidae) larvae

Os tipos de hemócitos e as contagens total e diferencial foram estudados em larvas parasitadas e não parasitadas de Anastrepha obliqua pertencentes ao início e ao final da terceira fase. em ambas as fases do desenvolvimento, tanto em larvas parasitadas quanto nas não parasitadas, foram observados pró-hemócitos, plasmatócitos, granulócitos, adipo-hemócitos, esferulócitos e oenocitóides. A presença de divisões mitóticas indica os pró-hemócitos como células-tronco. Pró-hemócitos, plasmatócitos e granulócitos são as células mais numerosas na hemolinfa de A. obliqua. Foi observada diferença no número total de hemócitos entre larvas parasitadas e não parasitadas apenas no final da terceira fase.

Comparison of four trap types for ambrosia beetles (Coleoptera, Scolytidae) in Brazilian Eucalyptus stands

Eucalyptus spp. plantations represent >60% of the reforested area in Brazil. Although ambrosia beetle attacks on live trees were at first nonexistent, they have begun to appear with greater frequency. Monitoring for pest insects is a key factor in integrated pest management, and baited traps are one of the most widely used methods for insect population detection and survey. We compared the efficiency of the most widely used trap in Brazil to survey for ambrosia beetles and other Scolytidae, the ESALQ-84 type, with other traditionally employed traps: the multiple funnel (Lindgren trap); drainpipe; and slot (Theyson) traps, in a Eucalyptus grandis Hill ex Maiden stand in Brazil. The ESALQ-84 trap was the most efficient in trapping Hypothenemus eruditus Westwood and Hypothenemus obscurus (F.); the multiple funnel trap caught significantly more Cryptocarenus diadematus Eggers; whereas the slot trap caught more Premnobius cavipennis Eichhoff and Xyleborus affinis Eichhoff than the other traps. The drainpipe trap was the least effective trap overall. When corrected for number of beetles caught per trap surface area, catches were significantly higher on the ESALQ-84 trap for the majority of the species analyzed, probably because of a smaller trap surface area. The slot trap was recommended for it caught overall more beetles of the three most economically important scolytid species in eucalypt plantations in Brazil, P. cavipennis, X. affinis, and X, ferrugineus.

EFFECT of TYPES of NOZZLES on SPRAY DEPOSITION on TWO SOYBEAN VARIETIES IN STAGE V3

The effect of application with different nozzle types and volume rates on spray deposition in the V3 stage of two soybean cultivars was evaluated. The experiments were conducted in the Facultad de Ciencias Agronomicas of the UNESP-Botucatu/SP. The nozzles evaluated were an air induced flat fan nozzle (Al 11015 at 150 L ha(-1), Al 11002 at 200 and 250 L ha(-1)), a twin flat fan nozzle (TJ 60 11002 at 150, 200 and 250 L ha(-1)), and a cone nozzle (TX 6 at 150 L ha(-1), TX 8 at 150 L ha(-1) and TX 10 at 250 L ha(-1)). To evaluate spray deposition on the plants, a tracer (Brilliant Blue FD&C-1) was added. The experimental design was random blocks with four replications. Deposition on plants was determined by absorbancy reading in 630 nm wavelength. The data were adjusted to a calibration curve and transformed into deposited spray volume in mL. The relationship deposition per unit of dry matter was adjusted to a regression curve (Gompertz model). In cultivar CD 208, the highest deposit was for the larger volumes and for the treatment TX 8 200 L ha(-1). The most uniform treatments were all the nozzles with the volume 150 L ha(-1) and the TJ60 nozzle for 200 1, ha(-1). In cultivar CD 216, the greatest spray depositions were achieved with the treatments Al at 200 and 250 L ha(-1) and TJ 60 at 250 L ha(-1), and the most uniform treatments were the TX 6 and TJ60 nozzles for the volume150 L ha(-1).