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.

Retinal nerve fiber layer analysis using GDx® in 49 patients with chronic phase DUSN

To describe retinal nerve fiber layer changes in late-stage diffuse unilateral subacute neuroretinitis eyes and compare these results with healthy eyes observed through nerve fiber analyzer (GDx®). Methods: This is a retrospective case-control study in which 49 eyes in late-stage diffuse unilateral subacute neuroretinitis were examined from May/97 to December/ 01. First, eyes with diffuse unilateral subacute neuroretinitis and healthy contralateral eyes (Control Group I) were statistically matched. Subsequently, eyes with diffuse unilateral subacute neuroretinitis were compared with eyes of healthy patients (Control Group II). Results: Eyes from Control Groups I and II had higher relative frequency of “within normal limits” status. Eyes from the diffuse unilateral subacute neuroretinitis (DUSN) Group had higher frequency of “outside normal limits” and “borderline” status. Control Groups I and II had absolute values different from the DUSN Group regarding all parameters (p<0.05), except for Symmetry in Control Groups I and II, Average thickness and Superior Integral in control group II. Conclusion: Patients with late-stage diffuse unilateral subacute neuroretinitis presented presumed decrease in nerve fiber layer thickness shown by GDx®. Retinal zones with larger vascular support and larger amount of nerve fibers presented higher decrease in the delay of the reflected light measured by the nerve fiber analyzer

Desenvolvimento de tubulação em compósito polimérico revestida externamente com poliuretano de alta densidade

Pipelines for the transport of crude oil from the production wells to the collecting stations are named production lines . These pipes are subjected to chemical and electrochemical corrosion according to the environment and the type of petroleum transported. Some of these lines, depending upon the composition of the fluid produced, may leak within less than one year of operation due to internal corrosion. This work aims at the development of composite pipes with an external protecting layer of high density polyurethane for use in production lines of onshore oil wells, meeting operational requirements. The pipes were manufactured using glass fibers, epoxy resin, polyester resin, quartz sand and high density polyurethane. The pipes were produced by filament winding with the deposition of high density polyurethane on the external surface and threaded ends (API 15 HR/PM-VII). Three types of pipes were manufactured: glass/epoxy, glass/epoxy with an external polyurethane layer and glass/epoxy with an intermediate layer of glass fiber, polyester, sand and with an external polyurethane layer. The three samples were characterized by Scanning Electronic Microscopy (SEM) and for the determination of constituent content. In addition, the following tests were conducted: hydrostatic test, instant rupture, shorttime failure pressure, Gardner impact, transverse stiffness and axial tension. Field tests were conducted in Mossoró RN (BRAZIL), where 1,677 meters of piping were used. The tests results of the three types of pipes were compared in two events: after two months from manufacturing of the samples and after nine months of field application. The results indicate that the glass/epoxy pipes with an intermediate layer of fiber glass composite, polyester e sand and with an external layer of high density polyurethane showed superior properties as compared to the other two and met the requirements of pressure class, axial tensile strength, transverse stiffness, impact and environmental conditions, for onshore applications as production lines