Probabilistic Model Checking for Energy Analysis in Software Product Lines

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment. The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automata-based coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.Comment: 14 pages, 11 figure

Use of National Consumer Survey Data to Explore Perceptions of Complementary and Alternative Medicine

Background: Although Complementary and Alternative Medicine (CAM) has been the standard of therapy in Asia for centuries, it started receiving more attention in the U.S. in the last three decades. Objectives: The primary study objective was to explore individuals\u27 perspectives of CAM. A secondary objective was to describe individuals\u27 perceptions of pharmacists’ roles in facilitating their use of these services and products. Methods: Data were obtained from the 2015 and 2016 National Consumer Surveys on the Medication Experience and Pharmacist Roles. Data were collected from adults residing in the United States via on-line, self-administered surveys coordinated by Qualtrics Panels between April 28 and June 22, 2015 (n = 26,173) and between March 14 and 30, 2016 (n = 10,500). This study focused on written comments made in the surveys with Content Conventional Analysis applied to the text. Four researchers were trained to conduct coding to assess inter-judge reliability. The four judges had a high level of agreement which was greater than 0.95 for category type. Results: Out of a total of 36,673 respondents, 80% (29,426) submitted written comments at the end of the survey. Of these, 2,178 comments were about medications or health and 170 (8%) comments specifically about CAM, of which 136 (6%) were usable for analysis. Conventional Content Analysis revealed five themes:1)The role of pharmaceutical and insurance companies in CAM; 2) Overuse of medications; 3) Physicians can play a role in creating a balance between prescription use and CAM; 4) Individuals believe that CAM is more effective than Western medicines and prefer it; 5) Individuals want pharmacists to have a better understanding of CAM. The results of this study reveal individuals’ opinions regarding how they want CAM to be considered in their interactions with their healthcare team. Conclusion: Emergent themes suggest that individuals are interested in receiving more professionals’ healthcare to become more knowledgeable about CAM

(R)-1-Phenyl­ethanaminium (S)-4-chloro­mandelate

The absolute configuration of the title complex, C8H12N+·C8H6ClO3 − or [R-C6H5C(H)CH3NH3][S-4-ClC6H4C(H)(OH)CO2], has been confirmed by the structure determination. In the crystal structure, inter­molecular O—H⋯O and N—H⋯O hydrogen bonds form a two-dimensional network perpendicular to the c axis

An Opportunity for Pharmacists to Help Improve Coordination and Continuity of Patient Health Care

Pharmacist workforce researchers are predicting a potential surplus of pharmacists in the United States that might result in pharmacists being available for engagement in new roles. The objective for this study was to describe consumer opinions regarding medication use, the health care system, and pharmacists to help identify new roles for pharmacists from the consumer perspective. Data were obtained from the 2015 and 2016 National Consumer Surveys on the Medication Experience and Pharmacist Roles. Out of the representative sample of 36,673 respondents living in the United States, 80% (29,426) submitted written comments at the end of the survey. Of these, 2178 were specifically about medicines, pharmacists or health and were relevant and usable for this study. Thematic analysis, content analysis, and computer-based text mining were used for identifying themes and coding comments. The findings showed that 66% of the comments about medication use and 82% about the health care system were negative. Regarding pharmacists, 73% of the comments were positive with many commenting about the value of the pharmacist for overcoming fears and for filling current gaps in their healthcare. We propose that these comments might be signals that pharmacists could help improve coordination and continuity for peoples’ healthcare and could help guide the development of new service offerings

An Opportunity for Pharmacists to Help Improve Coordination and Continuity of Patient Health Care

Pharmacist workforce researchers are predicting a potential surplus of pharmacists in the United States that might result in pharmacists being available for engagement in new roles. The objective for this study was to describe consumer opinions regarding medication use, the health care system, and pharmacists to help identify new roles for pharmacists from the consumer perspective. Data were obtained from the 2015 and 2016 National Consumer Surveys on the Medication Experience and Pharmacist Roles. Out of the representative sample of 36,673 respondents living in the United States, 80% (29,426) submitted written comments at the end of the survey. Of these, 2178 were specifically about medicines, pharmacists or health and were relevant and usable for this study. Thematic analysis, content analysis, and computer-based text mining were used for identifying themes and coding comments. The findings showed that 66% of the comments about medication use and 82% about the health care system were negative. Regarding pharmacists, 73% of the comments were positive with many commenting about the value of the pharmacist for overcoming fears and for filling current gaps in their healthcare. We propose that these comments might be signals that pharmacists could help improve coordination and continuity for peoples’ healthcare and could help guide the development of new service offerings

Decolorization of synthetic melanoidins-containing wastewater by a bacterial consortium

The presence of melanoidins in molasses wastewater leads to water pollution both due to its dark brown color and its COD contents. In this study, a bacterial consortium isolated from waterfall sediment was tested for its decolorization. The identification of culturable bacteria by 16S rDNA based approach showed that the consortium composed of Klebsiella oxytoca, Serratia mercescens, Citrobacter sp. and unknown bacterium. In the context of academic study, prevention on the difficulties of providing effluent as well as its variations in compositions, several synthetic media prepared with respect to color and COD contents based on analysis of molasses wastewater, i.e., Viandox sauce (13.5% v/v), caramel (30% w/v), beet molasses wastewater (41.5% v/v) and sugarcane molasses wastewater (20% v/v) were used for decolorization using consortium with color removal 9.5, 1.13, 8.02 and 17.5%, respectively, within 2 days. However, Viandox sauce was retained for further study. The effect of initial pH and Viandox concentration on decolorization and growth of bacterial consortium were further determined. The highest decolorization of 18.3% was achieved at pH 4 after 2 day of incubation. Experiments on fresh or used medium and used or fresh bacterial cells, led to conclusion that the limitation of decolorization was due to nutritional deficiency. The effect of aeration on decolorization was also carried out in 2 L laboratory-scale suspended cell bioreactor. The maximum decolorization was 19.3% with aeration at KLa = 2.5836 h-1 (0.1 vvm)

Generating Dashboards Using Fine-Grained Components: A Case Study for a PhD Programme

Developing dashboards is a complex domain, especially when several stakeholders are involved; while some users could demand certain indicators, other users could demand specific visualizations or design features. Creating individual dashboards for each potential need would consume several resources and time, being an unfeasible approach. Also, user requirements must be thoroughly analyzed to understand their goals regarding the data to be explored, and other characteristics that could affect their user experience. All these necessities ask for a paradigm to foster reusability not only at development level but also at knowledge level. Some methodologies, like the Software Product Line paradigm, leverage domain knowledge and apply it to create a series of assets that can be composed, parameterized, or combined to obtain fully functional systems. This work presents an application of the SPL paradigm to the domain of information dashboards, with the goal of reducing their development time and increasing their effectiveness and user experience. Different dashboard configurations have been suggested to test the proposed approach in the context of the Education in the Knowledge Society PhD programme of the University of Salamanca

Systematic survey of randomized trials evaluating the impact of alternative diagnostic strategies on patient-important outcomes

Objectives: To provide a perspective on the current practice of randomized clinical trials (RCTs) of diagnostic strategies focusing on patient-important outcomes. Study Design and Setting: We conducted a comprehensive search of MEDLINE and included RCTs published in full-text reports that evaluated alternative diagnostic strategies. Results: Of 56,912 unique citations, we sampled 7,500 and included 103 eligible RCTs, therefore suggesting that MEDLINE includes approximately 781 diagnostic RCTs. The 103 eligible trials reported on: mortality (n = 41; 39.8%); morbidities (n = 63; 61.2%); symptoms/quality of life/functional status (n = 14; 13.6%); and on composite end points (n = 10; 9.7%). Of the studies that reported statistically significant results (n = 12; 11.6%), we judged 7 (58.3%) as at low risk of bias with respect to missing outcome data and 4 (33.3%) as at low risk of bias regarding blinding. Of the 41 RCTs that reported on mortality, only one (2.4%) reported statistically significant results. Of 63 RCTs addressing morbidity outcomes, 11 (17.5%) reported statistically significant results, all of which reported relative effects of greater than 20%. Conclusion: RCTs of diagnostic tests are not uncommon, and sometimes suggest benefits on patient-important outcomes but often suffer from limitations in sample size and conduct. (C) 2017 Elsevier Inc. All rights reserved.Peer reviewe

Why do consumers trust online travel websites? Drivers and outcomes of consumer trust toward online travel websites

Egypt is currently one of the leading nations especially in the Middle East region with a well-established e-commerce environment and advanced IT infrastructure, but rapid growth of e-commerce will soon occur in other nations with similar consumption patterns. This study tests a model of antecedents (consumer experience, propensity to trust, reputation, perceived website size, ease of use, perceived usefulness, and website quality) and consequences of consumers’ trust toward online travel websites. Trust is expected to predict consumer attitude, perceived risk, and intention to purchase travel online. Data of 1,431 users of online travel websites were selected from the Supreme Council of Universities Database–Egypt (SCU) and analyzed through structural equation modeling. The findings show that all the aforementioned factors with the exception of consumer experience influence consumer trust toward online travel websites. Trust influences consumers’ attitude, perceived risk, and intention to purchase travel online