Long term integrity for space station power systems

A study was made of the High Temperature Design Codes ASME N47, British R5, and the French RCC-MR Rules. It is concluded that all these codes provide a good basis of design for space application. The new British R5 is the most complete since it deals with the problem of defects. The ASME N47 was subjected longer to practical application and scrutiny. A draft code is introduced, and a proposed draft for high temperature design in which attempts were made to identify gaps and improvements is suggested. The design is limited by creep characteristics. In these circumstances, life is strongly affected by the selected value of the factor of safety. The factor of safety of primary loads adopted in the codes is 1.5. Maybe a lower value of 1.25 is permissible for use in space. Long term creep rupture data for HAYNES 188 is deficient and it is suggested that extrapolation methods be investigated

Independence in CLP Languages

Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel while preserving correctness and eciency. We extend the concept of independence to constraint logic programs (CLP) and prove that it also ensures the correctness and eciency of the parallel evaluation of independent goals. Independence for CLP languages is more complex than for logic programming as search space preservation is necessary but no longer sucient for ensuring correctness and eciency. Two additional issues arise. The rst is that the cost of constraint solving may depend upon the order constraints are encountered. The second is the need to handle dynamic scheduling. We clarify these issues by proposing various types of search independence and constraint solver independence, and show how they can be combined to allow dierent optimizations, from parallelism to intelligent backtracking. Sucient conditions for independence which can be evaluated \a priori" at run-time are also proposed. Our study also yields new insights into independence in logic programming languages. In particular, we show that search space preservation is not only a sucient but also a necessary condition for ensuring correctness and eciency of parallel execution

Differential localisation of BPIFA1 (SPLUNC1) and BPIFB1 (LPLUNC1) in the nasal and oral cavities of mice

Despite being initially identified in mice, little is known about the sites of production of members of the BPI fold (BPIF) containing (PLUNC) family of putative innate defence proteins in this species. These proteins have largely been considered to be specificaly expressed in the respiratory tract, and we have recently shown that they exhibit differential expression in the epithelium of the proximal airways. In this study, we have used species-specific antibodies to systematically localize two members of this protein family; BPIFA1 (PLUNC/SPLUNC1) and BPIFB1 (LPLUNC1) in adult mice. In general, these proteins exhibit distinct and only partially overlapping localization. BPIFA1 is highly expressed in the respiratory epithelium and Bowman’s glands of the nasal passages, whereas BPIFB1 is present in small subset of goblet cells in the nasal passage and pharynx. BPIFB1 is also present in the serous glands in the proximal tongue where is co-localised with the salivary gland specific family member, BPIFA2E (parotid secretory protein) and also in glands of the soft palate. Both proteins exhibit limited expression outside of these regions. These results are consistent with the localization of the proteins seen in man. Knowledge of the complex expression patterns of BPIF proteins in these regions will allow the use of tractable mouse models of disease to dissect their function

On Upward Drawings of Trees on a Given Grid

Computing a minimum-area planar straight-line drawing of a graph is known to be NP-hard for planar graphs, even when restricted to outerplanar graphs. However, the complexity question is open for trees. Only a few hardness results are known for straight-line drawings of trees under various restrictions such as edge length or slope constraints. On the other hand, there exist polynomial-time algorithms for computing minimum-width (resp., minimum-height) upward drawings of trees, where the height (resp., width) is unbounded. In this paper we take a major step in understanding the complexity of the area minimization problem for strictly-upward drawings of trees, which is one of the most common styles for drawing rooted trees. We prove that given a rooted tree $T$ and a $W\times H$ grid, it is NP-hard to decide whether $T$ admits a strictly-upward (unordered) drawing in the given grid.Comment: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Clinical, health systems and neighbourhood determinants of tuberculosis case fatality in urban Blantyre, Malawi : a multilevel epidemiological analysis of enhanced surveillance data

We investigated whether household to clinic distance was a risk factor for death on tuberculosis (TB) treatment in Malawi. Using enhanced TB surveillance data, we recorded all TB treatment initiations and outcomes between 2015 and 2018. Household locations were geolocated, and distances were measured by a straight line or shortest road network. We constructed Bayesian multi-level logistic regression models to investigate associations between distance and case fatality. A total of 479/4397 (10.9%) TB patients died. Greater distance was associated with higher (odds ratio (OR) 1.07 per kilometre (km) increase, 95% credible interval (CI) 0.99–1.16) odds of death in TB patients registered at the referral hospital, but not among TB patients registered at primary clinics (OR 0.98 per km increase, 95% CI 0.92–1.03). Age (OR 1.02 per year increase, 95% CI 1.01–1.02) and HIV-positive status (OR 2.21, 95% CI 1.73–2.85) were also associated with higher odds of death. Model estimates were similar for both distance measures. Distance was a risk factor for death among patients at the main referral hospital, likely due to delayed diagnosis and suboptimal healthcare access. To reduce mortality, targeted community TB screening interventions for TB disease and HIV, and expansion of novel sensitive diagnostic tests are required.Peer reviewe

Monocytes regulate the mechanism of T-cell death by inducing Fas-mediated apoptosis during bacterial infection.

Monocytes and T-cells are critical to the host response to acute bacterial infection but monocytes are primarily viewed as amplifying the inflammatory signal. The mechanisms of cell death regulating T-cell numbers at sites of infection are incompletely characterized. T-cell death in cultures of peripheral blood mononuclear cells (PBMC) showed 'classic' features of apoptosis following exposure to pneumococci. Conversely, purified CD3(+) T-cells cultured with pneumococci demonstrated necrosis with membrane permeabilization. The death of purified CD3(+) T-cells was not inhibited by necrostatin, but required the bacterial toxin pneumolysin. Apoptosis of CD3(+) T-cells in PBMC cultures required 'classical' CD14(+) monocytes, which enhanced T-cell activation. CD3(+) T-cell death was enhanced in HIV-seropositive individuals. Monocyte-mediated CD3(+) T-cell apoptotic death was Fas-dependent both in vitro and in vivo. In the early stages of the T-cell dependent host response to pneumococci reduced Fas ligand mediated T-cell apoptosis was associated with decreased bacterial clearance in the lung and increased bacteremia. In summary monocytes converted pathogen-associated necrosis into Fas-dependent apoptosis and regulated levels of activated T-cells at sites of acute bacterial infection. These changes were associated with enhanced bacterial clearance in the lung and reduced levels of invasive pneumococcal disease

Opposing Effects of Impulsivity and Mindset on Sources of Science Self- 5 Efficacy and STEM Interest in Adolescents

Impulsivity has been linked to academic performance in the context of Attention Deficit Hyperactivity Disorder, though its influence on a wider spectrum of students remains largely unexplored, particularly in the context of STEM learning (i.e. science, technology, engineering, and math). STEM learning was hypothesized to be more challenging for impulsive students, since it requires the practice and repetition of tasks as well as concerted attention to task performance. Impulsivity was assessed in a cross-sectional sample of 2,476 students in grades 6-12. Results show impulsivity affects a larger population of students, not limited to students with learning disabilities. Impulsivity was associated with lower sources of science self-efficacy (SSSE) scores, interest in all STEM domains (particularly math), and self-reported STEM skills. The large negative effect observed for impulsivity was opposed by “growth” mindset, which describes a student’s belief in the importance of effort when learning is difficult. Mindset had a large positive effect, which was associated with greater SSSE, STEM interest, and STEM skills. When modeled together, results suggest that mindset interventions may benefit impulsive students who struggle with STEM. Together, these data suggest important interconnected roles for impulsivity and mindset that can influence secondary students’ STEM trajectories