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

Crystal structure of the yellow 1:2 molecular complex lumiflavin–bisnaphthalene-2,3-diol

In the first molecular complex of the physiologically active neutral form of isoalloxazine studied, lumiflavin–bisnaphthalene-2,3-diol, each flavin is sandwiched between two naphthalenediol molecules with extensive overlap but a moderately large (3·44 Å) spacing, indicating at most weak charge-transfer interaction and in agreement with the yellow colour of the complex, nearly the same as that of the parent lumiflavin

The Meaning of Quality in Kinship Foster Care: Caregiver, Child, and Worker Perspectives

Copyright 2002 Families International, Inc.Though principles, guidelines, and procedures for assessing the quality of foster care in kinship settings have been introduced, research on the factors that mediate the quality and outcome of kinship care has been minimal. To provide insight into these factors from the perspectives of kinship stakeholders, this article presents findings from a qualitative study conducted with kinship caregivers, children living with relatives, and caseworkers of children in kinship placements. Their views on quality care in kinship homes, including factors to consider in the selection and evaluation of kinship placements and opinions of how kinship and nonkinship foster care differ, make unique contributions to the development of standards and measures for kinship foster care assessment. Findings confirm the salience of specific factors present in existing guidelines, build on existing recommendations for the selection and evaluation of kinship homes, and highlight important policy and practice issues for consideration with kinship families

Global secular changes in different tidal high water, low water and range levels

Tides exert a major control on the coastal zone by influencing high sea levels and coastal flooding, navigation, sediment dynamics, and ecology. Therefore, any changes to tides have wide ranging and important implications. In this paper, we uniquely assess secular changes in 15 regularly used tidal levels (five high water, five low water and five tidal ranges), which have direct practical applications. Using sea level data from 220 tide gauge sites, we found changes have occurred in all analyzed tidal levels in many parts of the world. For the tidal levels assessed, between 36% and 63% of sites had trends significantly different (at 95% confidence level) from zero. At certain locations, the magnitude of the trends in tidal levels were similar to trends in mean sea level over the last century, with observed changes in tidal range and high water levels of over 5 mm/yr and 2 mm/yr, respectively. More positive than negative trends were observed in tidal ranges and high water levels, and vice versa for low water levels. However we found no significant correlation between trends in mean sea level (MSL) and any tidal levels. Spatially coherent trends were observed in some regions, including the north-east Pacific, German Bight and Australasia, and we also found that differences in trends occur between different tidal levels. This implies that analyzing different tidal levels is important. Because changes in the tide are widespread and of similar magnitude to MSL rise at a number sites, changes in tides should be considered in coastal risk assessments

The Implementation of Bankruptcy Code Section 707(b): The Law and the Reality

The introduction of section 707(b) to the bankruptcy code has raised many difficult interpretational issues. This article focuses on those issues concerning the implementation of section 707(b). Under the law, only the courts and the U.S. Trustees are permitted to raise the issue of substantial abuse. Therefore, to determine how section 707(b) is actually being administered, a survey was distributed to the U.S. Bankruptcy Courts and the U.S. Trustees. The results of the survey are integrated into a discussion of the current status of the law and presented in this article. This analysis identifies serious shortcomings with the law that can only be remedied through congressional action. The article concludes with a proposal for solving the problems created by section 707(b)

Understanding the national performance of flood forecasting models to guide incident management and investment

The preparation of routine flood guidance statements and formulation of incident management strategies requires national operating agencies to have a firm understanding of the performance of flood forecasting models. Studies of flood forecasting model performance are commonly evaluated on a groupedcatchment or local basis and can lack the analytical consistency required for integration into coherent national assessments. Here, the first nationally consistent analysis of flood forecasting model performance across England and Wales is presented. Application of the assessment framework, accounting for regional and model-type differences, yields a national overview of relative forecasting capability for models in current operational use. To achieve extensive site coverage, information from many existing local performance studies are pooled into a single structure for analysis under a national framework. The performance information spanning a variety of local models is also compared against the area-wide national G2G (Grid-to-Grid) distributed model. An integrated national assessment gives an evidence base of model performance useful for guiding strategic planning and investment in flood forecasting models. A concise single-page Performance Summary has been created for each site model that contains performance statistics, forecast hydrographs and catchment properties to aid operational use. A prototype web portal has been developed to make information on forecasting model performance more accessible and understandable for end-users

Real-time forecasts of flood hazard and impact: some UK experiences

Major UK floods over the last decade have motivated significant technological and scientific advances in operational flood forecasting and warning. New joint forecasting centres between the national hydrological and meteorological operating agencies have been formed that issue a daily, national Flood Guidance Statement (FGS) to the emergency response community. The FGS is based on a Flood Risk Matrix approach that is a function of potential impact severity and likelihood. It has driven an increased demand for robust, accurate and timely forecast and alert information on fluvial and surface water flooding along with impact assessments. The Grid-to-Grid (G2G) distributed hydrological model has been employed across Britain at a 1km resolution to support the FGS. Novel methods for linking dynamic gridded estimates of river flow and surface runoff with more detailed offline flood risk maps have been developed to obtain real-time probabilistic forecasts of potential impacts, leading to operational trials. Examples of the national-scale G2G application are provided along with case studies of forecast flood impact from (i) an operational Surface Water Flooding (SWF) trial during the Glasgow 2014 Commonwealth Games, (ii) SWF developments under the Natural Hazards Partnership over England & Wales, and (iii) fluvial applications in Scotland

Risk factors for COPD exacerbations in inhaled medication users: the COPDGene study biannual longitudinal follow-up prospective cohort.

BackgroundDespite inhaled medications that decrease exacerbation risk, some COPD patients experience frequent exacerbations. We determined prospective risk factors for exacerbations among subjects in the COPDGene Study taking inhaled medications.Methods2113 COPD subjects were categorized into four medication use patterns: triple therapy with tiotropium (TIO) plus long-acting beta-agonist/inhaled-corticosteroid (ICS ± LABA), tiotropium alone, ICS ± LABA, and short-acting bronchodilators. Self-reported exacerbations were recorded in telephone and web-based longitudinal follow-up surveys. Associations with exacerbations were determined within each medication group using four separate logistic regression models. A head-to-head analysis compared exacerbation risk among subjects using tiotropium vs. ICS ± LABA.ResultsIn separate logistic regression models, the presence of gastroesophageal reflux, female gender, and higher scores on the St. George's Respiratory Questionnaire were significant predictors of exacerbator status within multiple medication groups (reflux: OR 1.62-2.75; female gender: OR 1.53 - OR 1.90; SGRQ: OR 1.02-1.03). Subjects taking either ICS ± LABA or tiotropium had similar baseline characteristics, allowing comparison between these two groups. In the head-to-head comparison, tiotropium users showed a trend towards lower rates of exacerbations (OR = 0.69 [95 % CI 0.45, 1.06], p = 0.09) compared with ICS ± LABA users, especially in subjects without comorbid asthma (OR = 0.56 [95% CI 0.31, 1.00], p = 0.05).ConclusionsEach common COPD medication usage group showed unique risk factor patterns associated with increased risk of exacerbations, which may help clinicians identify subjects at risk. Compared to similar subjects using ICS ± LABA, those taking tiotropium showed a trend towards reduced exacerbation risk, especially in subjects without asthma.Trial registrationClinicalTrials.gov NCT00608764, first received 1/28/2008

Inhibition of Toll-Like Receptor 2-Mediated Interleukin-8 Production in Cystic Fibrosis Airway Epithelial Cells via the α7-Nicotinic Acetylcholine Receptor

Cystic Fibrosis (CF) is an inherited disorder characterised by chronic inflammation of the airways. The lung manifestations of CF include colonization with Pseudomonas aeruginosa and Staphylococcus aureus leading to neutrophil-dominated airway inflammation and tissue damage. Inflammation in the CF lung is initiated by microbial components which activate the innate immune response via Toll-like receptors (TLRs), increasing airway epithelial cell production of proinflammatory mediators such as the neutrophil chemokine interleukin-8 (IL-8). Thus modulation of TLR function represents a therapeutic approach for CF. Nicotine is a naturally occurring plant alkaloid. Although it is negatively associated with cigarette smoking and cardiovascular damage, nicotine also has anti-inflammatory properties. Here we investigate the inhibitory capacity of nicotine against TLR2- and TLR4-induced IL-8 production by CFTE29o- airway epithelial cells, determine the role of α7-nAChR (nicotinic acetylcholine receptor) in these events, and provide data to support the potential use of safe nicotine analogues as anti-inflammatories for CF