Statistical Model Checking for Product Lines

International audienceWe report on the suitability of statistical model checking forthe analysis of quantitative properties of product line models by an extendedtreatment of earlier work by the authors. The type of analysis thatcan be performed includes the likelihood of specific product behaviour,the expected average cost of products (in terms of the attributes of theproducts’ features) and the probability of features to be (un)installed atruntime. The product lines must be modelled in QFLan, which extendsthe probabilistic feature-oriented language PFLan with novel quantitativeconstraints among features and on behaviour and with advancedfeature installation options. QFLan is a rich process-algebraic specifi-cation language whose operational behaviour interacts with a store ofconstraints, neatly separating product configuration from product behaviour.The resulting probabilistic configurations and probabilistic behaviourconverge in a discrete-time Markov chain semantics, enablingthe analysis of quantitative properties. Technically, a Maude implementationof QFLan, integrated with Microsoft’s SMT constraint solver Z3,is combined with the distributed statistical model checker MultiVeStA,developed by one of the authors. We illustrate the feasibility of our frameworkby applying it to a case study of a product line of bikes

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives

The Continuous Sample of Working Lives: improving its representativeness

This paper studies the representativeness of the Continuous Sample of Working Lives (CSWL), a set of anonymized microdata containing information on individuals from Spanish Social Security records. We examine several CSWL waves (2005-2013) and show that it is not representative for the population with a pension income. We then develop a methodology to draw a large dataset from the CSWL that is much more representative of the retired population in terms of pension type, gender and age. This procedure also makes it possible for users to choose between goodness of fit and subsample size. In order to illustrate the practical significance of our methodology, the paper also contains an application in which we generate a large subsample distribution from the 2010 CSWL. The results are striking: with a very small reduction in the size of the original CSWL, we significantly reduce errors in estimating pension expenditure for 2010, with a p value greater or equal to 0.999

Stem cell‐derived enteroid cultures as a tool for dissecting host‐parasite interactions in the small intestinal epithelium.

Toxoplasma gondii and Cryptosporidium spp. can cause devastating pathological effects in humans and livestock, and in particular to young or immunocompromised individuals. The current treatment plans for these enteric parasites are limited due to long drug courses, severe side effects, or simply a lack of efficacy. The study of the early interactions between the parasites and the site of infection in the small intestinal epithelium has been thwarted by the lack of accessible, physiologically relevant, and species-specific models. Increasingly, 3D stem cell-derived enteroid models are being refined and developed into sophisticated models of infectious disease. In this review we shall illustrate the use of enteroids to spearhead research into enteric parasitic infections, bridging the gap between cell line cultures and in vivo experiments

A Novel Role of RASSF9 in Maintaining Epidermal Homeostasis

The physiological role of RASSF9, a member of the Ras-association domain family (RASSF), is currently unclear. Here, we report a mouse line in which an Epstein-Barr virus Latent Membrane Protein 1 (LMP1) transgene insertion has created a 7.2-kb chromosomal deletion, which abolished RASSF9 gene expression. The RASSF9-null mice exhibited interesting phenotypes that resembled human ageing, including growth retardation, short lifespan, less subcutaneous adipose layer and alopecia. In the wild-type mice, RASSF9 is predominantly expressed in the epidermal keratinocytes of skin, as determined by quantitative reverse-transcription PCR, immunofluorescence and in situ hybridization. In contrast, RASSF9−/− mice presented a dramatic change in epithelial organization of skin with increased proliferation and aberrant differentiation as detected by bromodeoxyuridine incorporation assays and immunofluorescence analyses. Furthermore, characteristic functions of RASSF9−/− versus wild type (WT) mouse primary keratinocytes showed significant proliferation linked to a reduction of p21Cip1 expression under growth or early differentiation conditions. Additionally, in RASSF9−/− keratinocytes there was a drastic down-modulation of terminal differentiation markers, which could be rescued by infection with a recombinant adenovirus, Adv/HA-RASSF9. Our results indicate a novel and significant role of RASSF9 in epidermal homeostasis

Hispanic Latin America, Spain and the Spanish-speaking Caribbean: A rich source of reference material for public health, epidemiology and tropical medicine

There is a multiplicity of journals originating in Spain and the Spanish-speaking countries of Latin America and the Caribbean (SSLAC) in the health sciences of relevance to the fields of epidemiology and public health. While the subject matter of epidemiology in Spain shares many features with its neighbours in Western Europe, many aspects of epidemiology in Latin America are particular to that region. There are also distinctive theoretical and philosophical approaches to the study of epidemiology and public health arising from traditions such as the Latin American social medicine movement, of which there may be limited awareness. A number of online bibliographic databases are available which focus primarily on health sciences literature arising in Spain and Latin America, the most prominent being Literatura Latinoamericana en Ciencias de la Salud (LILACS) and LATINDEX. Some such as LILACS also extensively index grey literature. As well as in Spanish, interfaces are provided in English and Portuguese. Abstracts of articles may also be provided in English with an increasing number of journals beginning to publish entire articles written in English. Free full text articles are becoming accessible, one of the most comprehensive sources being the Scientific Electronic Library Online (SciELO). There is thus an extensive range of literature originating in Spain and SSLAC freely identifiable and often accessible online, and with the potential to provide useful inputs to the study of epidemiology and public health provided that any reluctance to explore these resources can be overcome. In this article we provide an introduction to such resources

Effect of garlic on blood pressure: A systematic review and meta-analysis

The electronic version of this article is the complete one and can be found online at the publisher's website.Background: Non-pharmacological treatment options for hypertension have the potential to reduce the risk of cardiovascular disease at a population level. Animal studies have suggested that garlic reduces blood pressure, but primary studies in humans and non-systematic reviews have reported mixed results. With interest in complementary medicine for hypertension increasing, it is timely to update a systematic review and meta-analysis from 1994 of studies investigating the effect of garlic preparations on blood pressure. Methods: We searched the Medline and Embase databases for studies published between 1955 and October 2007. Randomised controlled trials with true placebo groups, using garlic-only preparations, and reporting mean systolic and/or diastolic blood pressure (SBP/DBP) and standard deviations were included in the meta-analysis. We also conducted subgroup meta-analysis by baseline blood pressure (hypertensive/normotensive), for the first time. Meta-regression analysis was performed to test the associations between blood pressure outcomes and duration of treatment, dosage, and blood pressure at start of treatment. Results: Eleven of 25 studies included in the systematic review were suitable for meta-analysis. Meta-analysis of all studies showed a mean decrease of 4.6 ± 2.8 mm Hg for SBP in the garlic group compared to placebo (n = 10; p = 0.001), while the mean decrease in the hypertensive subgroup was 8.4 ± 2.8 mm Hg for SBP (n = 4; p < 0.001), and 7.3 ± 1.5 mm Hg for DBP (n = 3; p < 0.001). Regression analysis revealed a significant association between blood pressure at the start of the intervention and the level of blood pressure reduction (SBP: R = 0.057; p = 0.03; DBP: R = -0.315; p = 0.02). Conclusion: Our meta-analysis suggests that garlic preparations are superior to placebo in reducing blood pressure in individuals with hypertension.Karin Ried, Oliver R. Frank, Nigel P. Stocks, Peter Fakler and Thomas Sulliva

Neural cytoskeleton capabilities for learning and memory

This paper proposes a physical model involving the key structures within the neural cytoskeleton as major players in molecular-level processing of information required for learning and memory storage. In particular, actin filaments and microtubules are macromolecules having highly charged surfaces that enable them to conduct electric signals. The biophysical properties of these filaments relevant to the conduction of ionic current include a condensation of counterions on the filament surface and a nonlinear complex physical structure conducive to the generation of modulated waves. Cytoskeletal filaments are often directly connected with both ionotropic and metabotropic types of membrane-embedded receptors, thereby linking synaptic inputs to intracellular functions. Possible roles for cable-like, conductive filaments in neurons include intracellular information processing, regulating developmental plasticity, and mediating transport. The cytoskeletal proteins form a complex network capable of emergent information processing, and they stand to intervene between inputs to and outputs from neurons. In this manner, the cytoskeletal matrix is proposed to work with neuronal membrane and its intrinsic components (e.g., ion channels, scaffolding proteins, and adaptor proteins), especially at sites of synaptic contacts and spines. An information processing model based on cytoskeletal networks is proposed that may underlie certain types of learning and memory