Program representation size in an intermediate language with intersection and union types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.National Science Foundation (CCR-9417382, CISE/CCR ESS 9806747); Sun grant (EDUD-7826-990410-US); Faculty Fellowship of the Carroll School of Management, Boston College; U.K. Engineering and Physical Sciences Research Council (GR/L 36963, GR/L 15685

Assimilation of ocean sea-surface height observations of mesoscale eddies.

Mesoscale eddies are one of the dominant sources of variability in the world's oceans. With eddy-resolving global ocean models, it becomes important to assimilate observations of mesoscale eddies to correctly represent the state of the mesoscale. Here, we investigate strategies for assimilating a reduced number of sea-surface height observations by focusing on the coherent mesoscale eddies. The study is carried out in an idealized perfect-model framework using two-layer forced quasigeostrophic dynamics, which captures the dominant dynamics of ocean mesoscale eddies. We study errors in state-estimation as well as error growth in forecasts and find that as fewer observations are assimilated, assimilating at vortex locations results in reduced state estimation and forecast errors

Search for nearby Earth analogs I. 15 planet candidates found in PFS data

30 pages, 20 figures, 3 tables, accepted for publication in ApJSThe radial velocity (RV) method plays a major role in the discovery of nearby exoplanets. To efficiently find planet candidates from the data obtained in high-precision RV surveys, we apply a signal diagnostic framework to detect RV signals that are statistically significant, consistent in time, robust in the choice of noise models, and do not correlated with stellar activity. Based on the application of this approach to the survey data of the Planet Finder Spectrograph, we report 15 planet candidates located in 14 stellar systems. We find that the orbits of the planet candidates around HD 210193, 103949, 8326, and 71135 are consistent with temperate zones around these stars (where liquid water could exist on the surface). With periods of 7.76 and 15.14 days, respectively, the planet candidates around star HIP 54373 form a 1:2 resonance system. These discoveries demonstrate the feasibility of automated detection of exoplanets from large RV surveys, which may provide a complete sample of nearby Earth analogs.Peer reviewedFinal Accepted Versio

Bonded Cumomer Analysis of Human Melanoma Metabolism Monitored by 13C NMR Spectroscopy of Perfused Tumor Cells.

A network model for the determination of tumor metabolic fluxes from (13)C NMR kinetic isotopomer data has been developed and validated with perfused human DB-1 melanoma cells carrying the BRAF V600E mutation, which promotes oxidative metabolism. The model generated in the bonded cumomer formalism describes key pathways of tumor intermediary metabolism and yields dynamic curves for positional isotopic enrichment and spin-spin multiplets. Cells attached to microcarrier beads were perfused with 26 mm [1,6-(13)C2]glucose under normoxic conditions at 37 °C and monitored by (13)C NMR spectroscopy. Excellent agreement between model-predicted and experimentally measured values of the rates of oxygen and glucose consumption, lactate production, and glutamate pool size validated the model. ATP production by glycolytic and oxidative metabolism were compared under hyperglycemic normoxic conditions; 51% of the energy came from oxidative phosphorylation and 49% came from glycolysis. Even though the rate of glutamine uptake was ∼50% of the tricarboxylic acid cycle flux, the rate of ATP production from glutamine was essentially zero (no glutaminolysis). De novo fatty acid production was ∼6% of the tricarboxylic acid cycle flux. The oxidative pentose phosphate pathway flux was 3.6% of glycolysis, and three non-oxidative pentose phosphate pathway exchange fluxes were calculated. Mass spectrometry was then used to compare fluxes through various pathways under hyperglycemic (26 mm) and euglycemic (5 mm) conditions. Under euglycemic conditions glutamine uptake doubled, but ATP production from glutamine did not significantly change. A new parameter measuring the Warburg effect (the ratio of lactate production flux to pyruvate influx through the mitochondrial pyruvate carrier) was calculated to be 21, close to upper limit of oxidative metabolism

Measuring and preliminary modeling of drift interception by plant species

Currently, the concept of plant capture efficiency is not quantitatively considered in the evaluation of off-target drift for the purposes of pesticide risk assessment in the United States. For on-target pesticide applications, canopy capture efficiency is managed by optimizing formulations or tank-mixing with adjuvants to maximize retention of spray droplets. These efforts take into consideration the fact that plant species have diverse morphology and surface characteristics, and as such will retain varying levels of applied pesticides. This work aims to combine plant surface wettability potential, spray droplet characteristics, and plant morphology into describing the plant capture efficiency of drifted spray droplets. In this study, we used wind tunnel experiments and individual plants grown to 10–20 cm to show that at two downwind distances and with two distinct nozzles capture efficiency for sunflower (Helianthus annuus L.), lettuce (Lactuca sativa L.), and tomato (Solanum lycopersicum L.) is consistently higher than rice (Oryza sativa L.), peas (Pisum sativum L). and onions (Allium cepa L.), with carrots (Daucus carota L.) showing high variability and falling between the two groups. We also present a novel method for three-dimensional modeling of plants from photogrammetric scanning and use the results in the first known computational fluid dynamics simulations of drift capture efficiency on plants. The mean simulated drift capture efficiency rates were within the same order of magnitude of the mean observed rates of sunflower and lettuce, and differed by one to two orders for rice and onion. We identify simulating the effects of surface roughness on droplet behavior, and the effects of wind flow on plant movement as potential model improvements requiring further species-specific data collection