ADGS-2100 Adaptive Display and Guidance System Window Manager Analysis

Recent advances in modeling languages have made it feasible to formally specify and analyze the behavior of large system components. Synchronous data flow languages, such as Lustre, SCR, and RSML-e are particularly well suited to this task, and commercial versions of these tools such as SCADE and Simulink are growing in popularity among designers of safety critical systems, largely due to their ability to automatically generate code from the models. At the same time, advances in formal analysis tools have made it practical to formally verify important properties of these models to ensure that design defects are identified and corrected early in the lifecycle. This report describes how these tools have been applied to the ADGS-2100 Adaptive Display and Guidance Window Manager being developed by Rockwell Collins Inc. This work demonstrates how formal methods can be easily and cost-efficiently used to remove defects early in the design cycle

Inhibition of neddylation represses lipopolysaccharide-induced proinflammatory cytokine production in macrophage cells

Background: Lipopolysaccharides (LPSs) up-regulate proinflammatory cytokines in macrophages, partly through a NF-κB-dependent process. Results: Blocking neddylation, which helps regulate NF-κB, represses LPS-induced up-regulation of proinflammatory cytokines. Conclusion: Neddylation plays a role in the up-regulation of NF-κB-regulated proinflammatory cytokines produced by macrophages in response to LPS. Significance: Inhibition of neddylation represents a novel and effective method for the prevention of LPS-induced proinflammatory cytokines

In search of the authentic nation: landscape and national identity in Canada and Switzerland

While the study of nationalism and national identity has flourished in the last decade, little attention has been devoted to the conditions under which natural environments acquire significance in definitions of nationhood. This article examines the identity-forming role of landscape depictions in two polyethnic nation-states: Canada and Switzerland. Two types of geographical national identity are identified. The first – what we call the ‘nationalisation of nature’– portrays zarticular landscapes as expressions of national authenticity. The second pattern – what we refer to as the ‘naturalisation of the nation’– rests upon a notion of geographical determinism that depicts specific landscapes as forces capable of determining national identity. The authors offer two reasons why the second pattern came to prevail in the cases under consideration: (1) the affinity between wild landscape and the Romantic ideal of pure, rugged nature, and (2) a divergence between the nationalist ideal of ethnic homogeneity and the polyethnic composition of the two societies under consideration

Long Chain Polyunsaturated Fatty Acid Supplementation in Infancy Reduces Heart Rate and Positively Affects Distribution of Attention

A double-blind, randomized, controlled, parallel-group prospective trial was conducted to determine whether a dose-response existed for four different levels of docosahexaenoic acid (DHA) supplementation on the cognitive performance of infants. A total of 122 term infants were fed one of four different formulas varying in their DHA composition (0.00%, 0.32%, 0.64% and 0.96% of total fatty acids as DHA) from birth to 12 months. The three DHA-supplemented formulas also contained 0.64% of total fatty acids as arachidonic acid (ARA, 20:4n-6). Infants were tested at 4, 6, and 9 months of age on a visual habituation protocol that yielded both behavioral and psychophysiological indices of attention. Infants in all DHA+ARA-supplemented conditions had lower heart rates than those in the unsupplemented condition; there was no dose-response for this effect. The distribution of time that infants spent in different phases of attention (a cognitive index derived from the convergence of behavioral and cardiac responses) varied as a function of dosage. Infants supplemented at the two lower DHA doses spent proportionately more time engaged in active stimulus processing than infants fed the unsupplemented formula, while infants fed the highest dose were intermediate and did not differ from any other group

Phenotypic spectrum and transcriptomic profile associated with germline variants in TRAF7

Purpose: Somatic variants in tumor necrosis factor receptor-associated factor 7 (TRAF7) cause meningioma, while germline variants have recently been identified in seven patients with developmental delay and cardiac, facial, and digital anomalies. We aimed to define the clinical and mutational spectrum associated with TRAF7 germline variants in a large series of patients, and to determine the molecular effects of the variants through transcriptomic analysis of patient fibroblasts. Methods: We performed exwct ome, targeted capture, and Sanger sequencing of patients with undiagnosed developmental disorders, in multiple independent diagnostic or research centers. Phenotypic and mutational comparisons were facilitated through data exchange platforms. Whole-transcriptome sequencing was performed on RNA from patient- and control-derived fibroblasts. Results: We identified heterozygous missense variants in TRAF7 as the cause of a developmental delay-malformation syndrome in 45 patients. Major features include a recognizable facial gestalt (characterized in particular by blepharophimosis), short neck, pectus carinatum, digital deviations, and patent ductus arteriosus. Almost all variants occur in the WD40 repeats and most are recurrent. Several differentially expressed genes were identified in patient fibroblasts. Conclusion: We provide the first large-scale analysis of the clinical and mutational spectrum associated with the TRAF7 developmental syndrome, and we shed light on its molecular etiology through transcriptome studies

High rate of subclinical chikungunya virus infection and association of neutralizing antibody with protection in a prospective cohort in the Philippines.

BACKGROUND: Chikungunya virus (CHIKV) is a globally re-emerging arbovirus for which previous studies have indicated the majority of infections result in symptomatic febrile illness. We sought to characterize the proportion of subclinical and symptomatic CHIKV infections in a prospective cohort study in a country with known CHIKV circulation. METHODS/FINDINGS: A prospective longitudinal cohort of subjects ≥6 months old underwent community-based active surveillance for acute febrile illness in Cebu City, Philippines from 2012-13. Subjects with fever history were clinically evaluated at acute, 2, 5, and 8 day visits, and at a 3-week convalescent visit. Blood was collected at the acute and 3-week convalescent visits. Symptomatic CHIKV infections were identified by positive CHIKV PCR in acute blood samples and/or CHIKV IgM/IgG ELISA seroconversion in paired acute/convalescent samples. Enrollment and 12-month blood samples underwent plaque reduction neutralization test (PRNT) using CHIKV attenuated strain 181/clone25. Subclinical CHIKV infections were identified by ≥8-fold rise from a baseline enrollment PRNT titer 50 years old. Baseline CHIKV PRNT titer ≥10 was associated with 100% (95%CI: 46.1, 100.0) protection from symptomatic CHIKV infection. Phylogenetic analysis demonstrated Asian genotype closely related to strains from Asia and the Caribbean. CONCLUSIONS: Subclinical infections accounted for a majority of total CHIKV infections. A positive baseline CHIKV PRNT titer was associated with protection from symptomatic CHIKV infection. These findings have implications for assessing disease burden, understanding virus transmission, and supporting vaccine development

Phenotypic spectrum and transcriptomic profile associated with germline variants in TRAF7

PURPOSE: Somatic variants in tumor necrosis factor receptor-associated factor 7 (TRAF7) cause meningioma, while germline variants have recently been identified in seven patients with developmental delay and cardiac, facial, and digital anomalies. We aimed to define the clinical and mutational spectrum associated with TRAF7 germline variants in a large series of patients, and to determine the molecular effects of the variants through transcriptomic analysis of patient fibroblasts. METHODS: We performed exome, targeted capture, and Sanger sequencing of patients with undiagnosed developmental disorders, in multiple independent diagnostic or research centers. Phenotypic and mutational comparisons were facilitated through data exchange platforms. Whole-transcriptome sequencing was performed on RNA from patient- and control-derived fibroblasts. RESULTS: We identified heterozygous missense variants in TRAF7 as the cause of a developmental delay-malformation syndrome in 45 patients. Major features include a recognizable facial gestalt (characterized in particular by blepharophimosis), short neck, pectus carinatum, digital deviations, and patent ductus arteriosus. Almost all variants occur in the WD40 repeats and most are recurrent. Several differentially expressed genes were identified in patient fibroblasts. CONCLUSION: We provide the first large-scale analysis of the clinical and mutational spectrum associated with the TRAF7 developmental syndrome, and we shed light on its molecular etiology through transcriptome studies

The seeds of divergence: the economy of French North America, 1688 to 1760

Generally, Canada has been ignored in the literature on the colonial origins of divergence with most of the attention going to the United States. Late nineteenth century estimates of income per capita show that Canada was relatively poorer than the United States and that within Canada, the French and Catholic population of Quebec was considerably poorer. Was this gap long standing? Some evidence has been advanced for earlier periods, but it is quite limited and not well-suited for comparison with other societies. This thesis aims to contribute both to Canadian economic history and to comparative work on inequality across nations during the early modern period. With the use of novel prices and wages from Quebec—which was then the largest settlement in Canada and under French rule—a price index, a series of real wages and a measurement of Gross Domestic Product (GDP) are constructed. They are used to shed light both on the course of economic development until the French were defeated by the British in 1760 and on standards of living in that colony relative to the mother country, France, as well as the American colonies. The work is divided into three components. The first component relates to the construction of a price index. The absence of such an index has been a thorn in the side of Canadian historians as it has limited the ability of historians to obtain real values of wages, output and living standards. This index shows that prices did not follow any trend and remained at a stable level. However, there were episodes of wide swings—mostly due to wars and the monetary experiment of playing card money. The creation of this index lays the foundation of the next component. The second component constructs a standardized real wage series in the form of welfare ratios (a consumption basket divided by nominal wage rate multiplied by length of work year) to compare Canada with France, England and Colonial America. Two measures are derived. The first relies on a “bare bones” definition of consumption with a large share of land-intensive goods. This measure indicates that Canada was poorer than England and Colonial America and not appreciably richer than France. However, this measure overestimates the relative position of Canada to the Old World because of the strong presence of land-intensive goods. A second measure is created using a “respectable” definition of consumption in which the basket includes a larger share of manufactured goods and capital-intensive goods. This second basket better reflects differences in living standards since the abundance of land in Canada (and Colonial America) made it easy to achieve bare subsistence, but the scarcity of capital and skilled labor made the consumption of luxuries and manufactured goods (clothing, lighting, imported goods) highly expensive. With this measure, the advantage of New France over France evaporates and turns slightly negative. In comparison with Britain and Colonial America, the gap widens appreciably. This element is the most important for future research. By showing a reversal because of a shift to a different type of basket, it shows that Old World and New World comparisons are very sensitive to how we measure the cost of living. Furthermore, there are no sustained improvements in living standards over the period regardless of the measure used. Gaps in living standards observed later in the nineteenth century existed as far back as the seventeenth century. In a wider American perspective that includes the Spanish colonies, Canada fares better. The third component computes a new series for Gross Domestic Product (GDP). This is to avoid problems associated with using real wages in the form of welfare ratios which assume a constant labor supply. This assumption is hard to defend in the case of Colonial Canada as there were many signs of increasing industriousness during the eighteenth and nineteenth centuries. The GDP series suggest no long-run trend in living standards (from 1688 to circa 1765). The long peace era of 1713 to 1740 was marked by modest economic growth which offset a steady decline that had started in 1688, but by 1760 (as a result of constant warfare) living standards had sunk below their 1688 levels. These developments are accompanied by observations that suggest that other indicators of living standard declined. The flat-lining of incomes is accompanied by substantial increases in the amount of time worked, rising mortality and rising infant mortality. In addition, comparisons of incomes with the American colonies confirm the results obtained with wages— Canada was considerably poorer. At the end, a long conclusion is provides an exploratory discussion of why Canada would have diverged early on. In structural terms, it is argued that the French colony was plagued by the problem of a small population which prohibited the existence of scale effects. In combination with the fact that it was dispersed throughout the territory, the small population of New France limited the scope for specialization and economies of scale. However, this problem was in part created, and in part aggravated, by institutional factors like seigneurial tenure. The colonial origins of French America’s divergence from the rest of North America are thus partly institutional