Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Vascular calcification and mineral bone disorder in chronic kidney disease

Chronic Kidney Disease (CKD), osteoporosis and mild hyponatremia are all prevalent chronic conditions that may coexist and are often under-recognized. Mineral-Bone Disorder begins early in the natural history of CKD and results in complex abnormalities of bone which ultimately confers a well-established increased risk of fragility fractures in End Stage Kidney Disease. Hyponatremia is a novel, usually renal mediated metabolic perturbation, that most commonly occurs independently of the stage of renal dysfunction but which may also predispose to increased fracture risk. The extent -if any- to which either early stages of renal dysfunction or the presence of hyponatremia contribute to fracture occurrence in the general population, independently of osteoporosis, is unclear. Renal transplantation is the treatment of choice for ESKD and although it restores endogenous renal function it typically fails to normalize either the long term cardiovascular or fracture risk. One potential mechanism contributing to these elevated long-term risks and to diminished Health Related Quality of Life is persistent, post-transplant hyperparathyroidism. In this study we retrospectively examine the association of renal function and serum sodium with Bone Mineral Density and fracture occurrence in a retrospective cohort of 1930 female members of the general population who underwent routine DXA scan. We then prospectively recruited a cohort of 90 renal transplant recipients in order to examine the association of post transplant parathyroid hormone (PTH) level with measures of CKD Mineral Bone Disorder, including, DXA Bone Mineral Density, Vascular Calcification (assessed using both abdominal radiography and CT techniques, as well as indirectly by carotid-femoral Pulse Wave Velocity) and Quality of Life (using the Short Form-12 and a PTH specific symptom score). In the retrospective DXA cohort, moderate CKD (eGFR 30-59ml/min/1.73m2) and hyponatremia (<135mmol/L) were associated with fracture occurrence, independently of BMD, with an adjusted Odds Ratio (95% Confidence Interval), of 1.37 (1.0, 1.89) and 2.25 (1.24, 4.09) respectively. In the renal transplant study, PTH was independently associated with the presence of osteoporosis, adjusted Odds Ratio (95% Confidence Interval), 1.15 (per 10ng/ml increment), (1.04, 1.26). The presence of osteoporosis but not PTH was independently associated with measures of vascular calcification, adjusted ß (95% Confidence Interval), 12.45, (1.16, 23.75). Of the eight quality-of-life domains examined, post-transplant PTH (per 10ng/ml increment), was only significantly and independently associated with reduced Physical Functioning, (95% Confidence Interval), 1.12 (1.01, 1.23). CKD and hyponatremia are both common health problems that may contribute to fracture occurrence in the general population, a major on-going public health concern. PTH and decreased Bone Mineral Density may signal sub-optimal long-term outcomes post renal transplantation, influencing bone and vascular health and to a limited extent long term Health Related Quality of Life

Indication of electron neutrino appearance from an accelerator-produced off-axis muon neutrino beam.

The T2K experiment observes indications of ν(μ) → ν(e) appearance in data accumulated with 1.43×10(20) protons on target. Six events pass all selection criteria at the far detector. In a three-flavor neutrino oscillation scenario with |Δm(23)(2)| = 2.4×10(-3)  eV(2), sin(2)2θ(23) = 1 and sin(2)2θ(13) = 0, the expected number of such events is 1.5±0.3(syst). Under this hypothesis, the probability to observe six or more candidate events is 7×10(-3), equivalent to 2.5σ significance. At 90% C.L., the data are consistent with 0.03(0.04) < sin(2)2θ(13) < 0.28(0.34) for δ(CP) = 0 and a normal (inverted) hierarchy.

Effects of 17-α-ethynylestradiol on Hybrid Striped Bass Sperm

Gemstone Team FISH

OPERA IN AMERICA: MUSIC OF, BY, AND FOR THE PEOPLE­: A PERFORMANCE DISSERTATION

Opera in America: Music of, by, and for the people is a study of the relationship between American popular culture and opera in the United States. Four performance projects demonstrate the on-going exchange between the operatic community-including its composer, singers, and patrons-and the country's popular entertainment industry with its broad audience base. Numerous examples of artistic cross pollination between lowbrow and highbrow music will illustrate the artistic and social consequences created by this artistic amalgamation. Program #1, By George! By Ira! By Gershwin!, is a retrospective of Gershwin's vocal music representing a blending of popular and serious music in both style and form. The concert includes selections from Porgy and Bess, a work considered by many musicologists as the first American opera. Program #2, Shadowboxer, is a premiere performance of an opera by Frank Proto and John Chenault. For this newly commissioned work, I serve as Assistant Director to Leon Major. Shadowboxer provides a clear example of opera utilizing popular culture both musically and dramatically to tell the true story of American hero and legendary boxer, Joe Louis. Program #3, Just a Song at Twilight, is an original theatrical music piece featuring music, letters, diaries, and journals of the Gilded Age, an era when opera was synonymous with popular entertainment. Special attention is focused on tum-of­ the-century singers who performed in both opera and vaudeville. Program #4 is a presentation of Dominick Argento's Miss Manners on Music and illustrates the strong relationship that can exist between opera and American popular entertainment. Originally conceived as a song cycle, I have staged the work as a one-act opera sung and acted by soprano Carmen Balthrop. This piece is based on the writings of pop icon and newspaper columnist Judith Martin, otherwise known as Miss Manners. All four performances are recorded in audio and video formats.

Site Report for Phase III Archaeological Investigations at Reynolds Tavern (18AP23), 4 Church Circle, Annapolis, Maryland. 1982-1984

This report details the archaeology completed at Reynolds Tavern in the years 1982,1983, and 1984. It was completed in 2013, nearly 30 years after the excavation took place, using archival materials such as the draft interim reports, unit summary forms, original notes and photographs which are currently stored in the University Archives at Hornbake Library, at the University of Maryland, College Park. This report has been a collaboration across time and space, drawing from preliminary reports written by Anne Yenstch and Susan Mira in 1982 and Joe Dent and Beth Ford in 1983, as well as original notes from students of the field schools held there during those years, various analyses by scholars from many universities (including the University of Maryland, University of Georgia, and the College of William and Mary), and historical research by Nancy Baker. Thomas Cuddy began the writing of this report in 2002, completing the first three chapters in addition to the artifact analysis that led to the postexcavation identification of the African bundles in the Reynolds Tavern basement. This remarkable discovery was made along with Mark Leone of the University of Maryland, founder and director of Archaeology in Annapolis, who also served as the Principle Investigator during all three years of the Reynolds Tavern excavations. Dr. Leone contributed the fifth and final chapter to this report, the Conclusions and Recommendations, during its final compilation in 2013. The final report, including the fourth chapter on the archaeology itself, was written in part and compiled by Patricia Markert of the University of Maryland in the spring of 2013. Reynolds Tavern has been part of the landscape of Annapolis for two-hundred and fifty five years (at the time of the publication of this report). It sits on Church Circle facing St. Anne’s Church, and is a beautiful example of 18th century Georgian architecture as well one of the defining features of Historic Annapolis today. It currently operates as a popular restaurant and pub, but has served variously as a hat shop, a tavern, an inn, a library and a bank over time, among other things. Its long history contributes to its significance as an archaeological site, and also as a historic marker in present day Annapolis. The archaeology conducted at Reynolds Tavern shed light on life in 18th and 19th century Annapolis, illuminating details of the occupants’ lives through the material traces they left behind. These include an 18th century cobblestone road that ran diagonally through the Tavern’s yard, telling of the movement through early Annapolis; a large and intact well, which was found ii to contain a 19 foot wooden pipe; a large, ovular privy containing many of the objects used on a day to day basis at the Tavern or the structures around it; a subterranean brick storage feature in the basement of the Tavern, which may have been used by Reynolds during his days operating a hat shop; and also in the basement, two African caches of objects, providing a glimpse into West African spiritual practices alive in historic Annapolis and the presence of African American individuals at the Tavern in the 18th and 19th centuries. The purpose of this report is to detail these archaeological investigations and their findings, so that a public record will be available and the archaeology completed at Reynolds Tavern can continue to contribute to the history of Annapolis.

The effect of spatial scale on interactions between two weevils and their parasitoid

1. The effect of spatial scale on the interactions between three hymenopteran parasitoids and their weevil hosts was investigated. The parasitoid Mesopolobus incultus (Walker) parasitised Gymnetron pascuorum Gyll.; the parasitoids Entodon sparetus (Walker) and Bracon sp. parasitised Mecinus pyraster Herbst. Both of these weevils develop inside the seedhead of Plantago lanceolata L. but occupy different niches. Seedheads were sampled annually from 162 plants at each of two experimental sites consisting of a series of habitat patches of two distinct sizes. Data were analysed from three site-years. 2. Parasitoid densities at each site-year were closely related to the abundance of their respective weevil hosts. The overall proportion of hosts parasitised was more variable for M. incultus than for E. sparetus and Bracon sp. 3. Changes in spatial scale affected the variability of parasitoid densities. For M. incultus, there was generally a greater degree of additional heterogeneity for all increases of scale; for E. sparetus, this was true only at the largest scales; for Bracon sp., all components of variance were negative. 4. The rate of parasitism was related to host density in different ways at different spatial scales. Mesopolobus incultus exhibited inverse density dependence at the finest (seedhead) scale, direct density dependence at the intermediate (plant) scale, and density independence at the large (habitat area 729 m2) scale. Entodon sparetus showed no response to variation in host density at any spatial scale. Bracon sp. showed direct density dependence only at the intermediate and largest scales. 5. Parasitoids E. sparetus and Bracon sp. seemed able to detect more than one M. pyraster individual in seedheads with multiple host occupancy; a greater incidence of conspecific parasitoids than expected emerged from such seedheads.

Fitting host-parasitoid models with CV² > 1 using hierarchical generalized linear models

The powerful general Pacala-Hassell host-parasitoid model for a patchy environment, which allows host density–dependent heterogeneity (HDD) to be distinguished from between-patch, host density–independent heterogeneity (HDI), is reformulated within the class of the generalized linear model (GLM) family. This improves accessibility through the provision of general software within well–known statistical systems, and allows a rich variety of models to be formulated. Covariates such as age class, host density and abiotic factors may be included easily. For the case where there is no HDI, the formulation is a simple GLM. When there is HDI in addition to HDD, the formulation is a hierarchical generalized linear model. Two forms of HDI model are considered, both with between-patch variability: one has binomial variation within patches and one has extra-binomial, overdispersed variation within patches. Examples are given demonstrating parameter estimation with standard errors, and hypothesis testing. For one example given, the extra-binomial component of the HDI heterogeneity in parasitism is itself shown to be strongly density dependent.

A multilevel algorithm for force-directed graph drawing

We describe a heuristic method for drawing graphs which uses a multilevel technique combined with a force-directed placement algorithm. The multilevel process groups vertices to form clusters, uses the clusters to define a new graph and is repeated until the graph size falls below some threshold. The coarsest graph is then given an initial layout and the layout is successively refined on all the graphs starting with the coarsest and ending with the original. In this way the multilevel algorithm both accelerates and gives a more global quality to the force- directed placement. The algorithm can compute both 2 & 3 dimensional layouts and we demonstrate it on a number of examples ranging from 500 to 225,000 vertices. It is also very fast and can compute a 2D layout of a sparse graph in around 30 seconds for a 10,000 vertex graph to around 10 minutes for the largest graph. This is an order of magnitude faster than recent implementations of force-directed placement algorithms.

Cyclic voltammetry and spectroelectrochemical study of nickel and cobalt diphenyltetraazaannulene complexes

The absorption spectra. cyclic voltammetry and spectroelectrochemistry of [Ni(II)DPTAA] and [Co(II)DPTAA] (DPTAA = 6,13-diphenyldibenzo[b,i][1,4,8,11] tetraaza[14]annulene) complexes in DMF are reported in detail. The ligand oxidation is observed for [Ni(II)DPTAA] at +0.70 V vs. SCE whereas Ni2(+/+) occurs at - 1.60 V. For [Co(II)DPTAA], a ligand oxidation redox couple is seen at +0.56 V while the Co2+/+ and Co2+/3+ redox couples appear at -1.21 and +0.24 V, respectively. All observed redox couples are assigned to reversible one-electron processes on account of peak separations and scan-rate dependency. These processes were further investigated by spectroelectrochemistry for [Co(II)DPTAA]. For [Co(II)DPTAA], axial ligation of pyridine was found to shift the Co2+/3+ redox couple more negative. while the ligand oxidation was shifted to more positive potentials. From a spectrophotometric titration of [Co(II)DPTAA] with pyridine an equilibrium constant, K-f, was determined for the binding of pyridine to [Co(II)DPTAA]. This was found to be 10.2 dm(3) mol(-1), slightly lower than that of [Co(II)TAA], indicating the influence of the phenyl groups. From this value and shifts in the Co2+/3+ redox couple upon ligation, an equilibrium constant for the binding of pyridine to [Co(III)DPTAA], K'(f), was found to be 5.06 x 10(6) dm(3) mol(-1). (c) 2007 Elsevier B.V. All rights reserved.