Design and performance of a fixed, nonaccelerating, guide vane cascade that operates over an inlet flow angle range of 60 deg

A unique set of wind tunnel guide vanes are designed with an inverse design code and analyzed with a panel method and an integral boundary layer code developed at the NASA Lewis Research Center. The fixed guide vanes, 80 feet long with 6-foot chord length, were designed for the NASA Ames 40 x 80/80 x 120 ft Wind Tunnel. Low subsonic flow is accepted over a 60 deg range of inlet angle from either the 40 x 80 leg or the 80 x 120 leg of the wind tunnel, and directed axially into the main leg of the tunnel where drive fans are located. Experimental tests of 1/10-scale models were conducted to verify design calculations

Solvates, salts, and cocrystals : a proposal for a feasible classification system

The design of pharmaceutical cocrystals has initiated widespread debate on the classification of cocrystals. Current attempts to classify multicomponent crystals suffer from ambiguity, which has led to inconsistent definitions for cocrystals and for multicomponent crystals in general. Inspired by the work of Aitipamula et al. (Cryst. Growth Des. 2012, 12, 2147-2152), we present a feasible classification system for all multicomponent crystals. The present classification enables us to analyze and classify multicomponent crystal structures present in the Cambridge Structural Database (CSD). This reveals that all seven classes proposed are relevant in terms of frequency of occurrence. Lists of CSD refcodes for all classes are provided. We identified over 5000 cocrystals in the CSD, as well as over 12 000 crystals with more than two components. This illustrates that the possibilities for alternative drug formulations can be increased significantly by considering more than two components in drug design

Population-based mammography screening below age 50: balancing radiation-induced vs prevented breast cancer deaths

Introduction:Exposure to ionizing radiation at mammography screening may cause breast cancer. Because the radiation risk increases with lower exposure age, advancing the lower age limit may affect the balance between screening benefits and risks. The present study explores the benefit-risk ratio of screening before age 50.Methods:The benefits of biennial mammography screening, starting at various ages between 40 and 50, and continuing up to age 74 were examined using micro-simulation. In contrast with previous studies that commonly used excess relative risk models, we assessed the radiation risks using the latest BEIR-VII excess abso

Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear algebra or semidefinite programming relaxations of many kinds of feasibility or optimization questions. We are particularly interested in problems arising in combinatorial optimization.Comment: 28 pages, survey pape

Linking Ground, Space and Knowledge: The Role of Weather Forecasting in Pastoralists\u27 Decision-Making

Changing weather patterns and decreasing land availability continue to challenge the livelihood of the pastoralists in northern Tanzania. The increasing variability of expected rains has complicated livestock management, often jeopardizing household resilience. Drought Early Warning Systems are being set up to contribute to decision-making processes at national and international levels. Nevertheless, due to the large spatial- and temporal resolution of these systems and their high uncertainties, these systems have limited value at a pastoral household level. Therefore, this paper explores what type of weather and climate information is deemed valuable for pastoral households in Longido District, Tanzania. It is based on an ethnographic study, conducted over a period of four months. It explores what weather information would be useful, the necessary scale of desired information, the required lead time of communication and, lastly, the most effective method of communicating forecast information. Following on this data, the study assessed the status of remote sensing and weather forecast modelling, exploring the question, the desired weather information can be forecast with enough skill and at a scale that is relevant to pastoral households in Longido? The ECMWF weather model was used in the assessment, revealing some optimism and scepticism concerning the status of existing information and technologies. Technological recommendations include verification of rainfall data, further research on the rainfall threshold concept, and exploring the model skill of embedded models in Tanzania. At the level of implementation , recommendations include discussing the adverse impacts of actions taken based on the forecasts and forming an implementation advisory group, which includes a comprehensive breadth of stakeholders, such as knowledgeable community members, village leaders, traditional leaders and also professionals from the field of climate sciences, rangeland ecology and anthropology

On QBF Proofs and Preprocessing

QBFs (quantified boolean formulas), which are a superset of propositional formulas, provide a canonical representation for PSPACE problems. To overcome the inherent complexity of QBF, significant effort has been invested in developing QBF solvers as well as the underlying proof systems. At the same time, formula preprocessing is crucial for the application of QBF solvers. This paper focuses on a missing link in currently-available technology: How to obtain a certificate (e.g. proof) for a formula that had been preprocessed before it was given to a solver? The paper targets a suite of commonly-used preprocessing techniques and shows how to reconstruct certificates for them. On the negative side, the paper discusses certain limitations of the currently-used proof systems in the light of preprocessing. The presented techniques were implemented and evaluated in the state-of-the-art QBF preprocessor bloqqer.Comment: LPAR 201

Instrumental Music Influences Recognition of Emotional Body Language

In everyday life, emotional events are perceived by multiple sensory systems. Research has shown that recognition of emotions in one modality is biased towards the emotion expressed in a simultaneously presented but task irrelevant modality. In the present study, we combine visual and auditory stimuli that convey similar affective meaning but have a low probability of co-occurrence in everyday life. Dynamic face-blurred whole body expressions of a person grasping an object while expressing happiness or sadness are presented in combination with fragments of happy or sad instrumental classical music. Participants were instructed to categorize the emotion expressed by the visual stimulus. The results show that recognition of body language is influenced by the auditory stimuli. These findings indicate that crossmodal influences as previously observed for audiovisual speech can also be obtained from the ignored auditory to the attended visual modality in audiovisual stimuli that consist of whole bodies and music

DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL

We present the latest major release version 6.0 of the quantified Boolean formula (QBF) solver DepQBF, which is based on QCDCL. QCDCL is an extension of the conflict-driven clause learning (CDCL) paradigm implemented in state of the art propositional satisfiability (SAT) solvers. The Q-resolution calculus (QRES) is a QBF proof system which underlies QCDCL. QCDCL solvers can produce QRES proofs of QBFs in prenex conjunctive normal form (PCNF) as a byproduct of the solving process. In contrast to traditional QCDCL based on QRES, DepQBF 6.0 implements a variant of QCDCL which is based on a generalization of QRES. This generalization is due to a set of additional axioms and leaves the original Q-resolution rules unchanged. The generalization of QRES enables QCDCL to potentially produce exponentially shorter proofs than the traditional variant. We present an overview of the features implemented in DepQBF and report on experimental results which demonstrate the effectiveness of generalized QRES in QCDCL.Comment: 12 pages + appendix; to appear in the proceedings of CADE-26, LNCS, Springer, 201