Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

Prospects for terahertz imaging the human skin cancer with the help of gold-nanoparticles-based terahertz-to-infrared converter

The design is suggested, and possible operation parameters are discussed, of an instrument to inspect a skin cancer tumour in the terahertz (THz) range, transferring the image into the infrared (IR) and making it visible with the help of standard IR camera. The central element of the device is the THz-to-IR converter, a Teflon or silicon film matrix with embedded 8.5 nm diameter gold nanoparticles. The use of external THz source for irradiating the biological tissue sample is presumed. The converter's temporal characteristics enable its performance in a real-time scale. The details of design suited for the operation in transmission mode (in vitro) or on the human skin in reflection mode {in vivo) are specified.Comment: To be published in the proceedings of the FANEM2018 workshop - Minsk, 3-5 June 201

The effects of climatic fluctuations and extreme events on running water ecosystems

Most research on the effects of environmental change in freshwaters has focused on incremental changes in average conditions, rather than fluctuations or extreme events such as heatwaves, cold snaps, droughts, floods or wildfires, which may have even more profound consequences. Such events are commonly predicted to increase in frequency, intensity and duration with global climate change, with many systems being exposed to conditions with no recent historical precedent. We propose a mechanistic framework for predicting potential impacts of environmental fluctuations on running water ecosystems by scaling up effects of fluctuations from individuals to entire ecosystems. This framework requires integration of four key components: effects of the environment on individual metabolism, metabolic and biomechanical constraints on fluctuating species interactions, assembly dynamics of local food webs and mapping the dynamics of the meta-community onto ecosystem function. We illustrate the framework by developing a mathematical model of environmental fluctuations on dynamically assembling food webs. We highlight (currently limited) empirical evidence for emerging insights and theoretical predictions. For example, widely supported predictions about the effects of environmental fluctuations are: high vulnerability of species with high per capita metabolic demands such as large-bodied ones at the top of food webs; simplification of food web network structure and impaired energetic transfer efficiency; reduced resilience and top-down relative to bottom-up regulation of food web and ecosystem processes. We conclude by identifying key questions and challenges that need to be addressed to develop more accurate and predictive bio-assessments of the effects of fluctuations, and implications of fluctuations for management practices in an increasingly uncertain world

Gut peptide regulation of food intake - evidence for the modulation of hedonic feeding.

The number of people living with obesity has tripled worldwide since 1975 with serious implications for public health, as obesity is linked to a significantly higher chance of early death from associated comorbidities (metabolic syndrome, type 2 diabetes, cardiovascular disease and cancer). As obesity is a consequence of food intake exceeding the demands of energy expenditure, efforts are being made to better understand the homeostatic and hedonic mechanisms governing food intake. Gastrointestinal peptides are secreted from enteroendocrine cells in response to nutrient and energy intake, and modulate food intake either via afferent nerves, including the vagus nerve, or directly within the central nervous system, predominantly gaining access at circumventricular organs. Enteroendocrine hormones modulate homeostatic control centres at hypothalamic nuclei and the dorso-vagal complex. Additional roles of these peptides in modulating hedonic food intake and/or preference via the neural systems of reward are starting to be elucidated, with both peripheral and central peptide sources potentially contributing to central receptor activation. Pharmacological interventions and gastric bypass surgery for the treatment of type 2 diabetes and obesity elevate enteroendocrine hormone levels and also alter food preference. Hence, understanding of the hedonic mechanisms mediated by gut peptide action could advance development of potential therapeutic strategies for the treatment of obesity and its comorbidities

Benzyne in V4334 Sqr: A Quest for the Ring with SOFIA/EXES

Large aromatic molecules are ubiquitous in both circumstellar and interstellar environments. Detection of small aromatic molecules, such as benzene (C6H6) and benzyne (C6H4), are rare in astrophysical environments. Detection of such species will have major implications for our understanding of the astrochemistry involved in the formation of the molecules necessary for life, including modeling the chemical pathways to the formation of larger hydrocarbon molecules. We conducted a search for the infrared 18 μm spectral signature of benzyne in V4334 Sgr with the Stratospheric Observatory for Infrared Astronomy (SOFIA)/Echelon-Cross-Echelle Spectrograph (EXES) finding no evidence for a feature at the sensitivity of our observations

Identification of patients for clinical risk assessment by prediction of cardiovascular risk using default risk factor values

Abstract Background To identify high risk patients without cardiovascular disease requires assessment of risk factors. Primary care providers must therefore determine which patients without cardiovascular disease should be highest priority for cardiovascular risk assessment. One approach is to prioritise patients for assessment using a prior estimate of their cardiovascular risk. This prior estimate of cardiovascular risk is derived from risk factor data that are routinely held in electronic medical records, with unknown blood pressure and cholesterol levels replaced by default values derived from national survey data. This paper analyses the test characteristics of using such a strategy for identification of high risk patients. Methods Prior estimates of Framingham cardiovascular risk were derived in a population obtained from the Health Survey for England 2003. Receiver operating characteristics curves were constructed for using a prior estimate of cardiovascular risk to identify patients at greater than 20% ten-year cardiovascular risk. This was compared to strategies using age, or diabetic and antihypertensive treatment status to identify high risk patients. Results The area under the curve for a prior estimate of cardiovascular risk calculated using minimum data (0.933, 95% CI: 0.925 to 0.941) is significantly greater than for a selection strategy based on age (0.892, 95% CI: 0.882 to 0.902), or diabetic and hypertensive status (0.608, 95% CI: 0.584 to 0.632). Conclusion Using routine data held on primary care databases it is possible to identify a population at high risk of cardiovascular disease. Information technology to help primary care prioritise patients for cardiovascular disease prevention may improve the efficiency of cardiovascular risk assessment.</p

Teprotumumab for Thyroid-Associated Ophthalmopathy

BACKGROUND: Thyroid-associated ophthalmopathy, a condition commonly associated with Graves’ disease, remains inadequately treated. Current medical therapies, which primarily consist of glucocorticoids, have limited efficacy and present safety concerns. Inhibition of the insulin-like growth factor I receptor (IGF-IR) is a new therapeutic strategy to attenuate the underlying autoimmune pathogenesis of ophthalmopathy. / METHODS: We conducted a multicenter, double-masked, randomized, placebo-controlled trial to determine the efficacy and safety of teprotumumab, a human monoclonal antibody inhibitor of IGF-IR, in patients with active, moderate-to-severe ophthalmopathy. A total of 88 patients were randomly assigned to receive placebo or active drug administered intravenously once every 3 weeks for a total of eight infusions. The primary end point was the response in the study eye. This response was defined as a reduction of 2 points or more in the Clinical Activity Score (scores range from 0 to 7, with a score of ≥3 indicating active thyroid-associated ophthalmopathy) and a reduction of 2 mm or more in proptosis at week 24. Secondary end points, measured as continuous variables, included proptosis, the Clinical Activity Score, and results on the Graves’ ophthalmopathy–specific quality-of-life questionnaire. Adverse events were assessed. / RESULTS: In the intention-to-treat population, 29 of 42 patients who received teprotumumab (69%), as compared with 9 of 45 patients who received placebo (20%), had a response at week 24 (P<0.001). Therapeutic effects were rapid; at week 6, a total of 18 of 42 patients in the teprotumumab group (43%) and 2 of 45 patients in the placebo group (4%) had a response (P<0.001). Differences between the groups increased at subsequent time points. The only drug-related adverse event was hyperglycemia in patients with diabetes; this event was controlled by adjusting medication for diabetes. / CONCLUSIONS: In patients with active ophthalmopathy, teprotumumab was more effective than placebo in reducing proptosis and the Clinical Activity Score. (Funded by River Vision Development and others; ClinicalTrials.gov number, NCT01868997.

Simulated Warming Differentially Affects the Growth and Competitive Ability of Centaurea maculosa Populations from Home and Introduced Ranges

Climate warming may drive invasions by exotic plants, thereby raising concerns over the risks of invasive plants. However, little is known about how climate warming influences the growth and competitive ability of exotic plants from their home and introduced ranges. We conducted a common garden experiment with an invasive plant Centaurea maculosa and a native plant Poa pratensis, in which a mixture of sand and vermiculite was used as a neutral medium, and contrasted the total biomass, competitive effects, and competitive responses of C. maculosa populations from Europe (home range) and North America (introduced range) under two different temperatures. The warming-induced inhibitory effects on the growth of C. maculosa alone were stronger in Europe than in North America. The competitive ability of C. maculosa plants from North America was greater than that of plants from Europe under the ambient condition whereas this competitive ability followed the opposite direction under the warming condition, suggesting that warming may enable European C. maculosa to be more invasive. Across two continents, warming treatment increased the competitive advantage instead of the growth advantage of C. maculosa, suggesting that climate warming may facilitate C. maculosa invasions through altering competitive outcomes between C. maculosa and its neighbors. Additionally, the growth response of C. maculosa to warming could predict its ability to avoid being suppressed by its neighbors

Diffusion of e-health innovations in 'post-conflict' settings: a qualitative study on the personal experiences of health workers.

BACKGROUND: Technological innovations have the potential to strengthen human resources for health and improve access and quality of care in challenging 'post-conflict' contexts. However, analyses on the adoption of technology for health (that is, 'e-health') and whether and how e-health can strengthen a health workforce in these settings have been limited so far. This study explores the personal experiences of health workers using e-health innovations in selected post-conflict situations. METHODS: This study had a cross-sectional qualitative design. Telephone interviews were conducted with 12 health workers, from a variety of cadres and stages in their careers, from four post-conflict settings (Liberia, West Bank and Gaza, Sierra Leone and Somaliland) in 2012. Everett Roger's diffusion of innovation-decision model (that is, knowledge, persuasion, decision, implementation, contemplation) guided the thematic analysis. RESULTS: All health workers interviewed held positive perceptions of e-health, related to their beliefs that e-health can help them to access information and communicate with other health workers. However, understanding of the scope of e-health was generally limited, and often based on innovations that health workers have been introduced through by their international partners. Health workers reported a range of engagement with e-health innovations, mostly for communication (for example, email) and educational purposes (for example, online learning platforms). Poor, unreliable and unaffordable Internet was a commonly mentioned barrier to e-health use. Scaling-up existing e-health partnerships and innovations were suggested starting points to increase e-health innovation dissemination. CONCLUSIONS: Results from this study showed ICT based e-health innovations can relieve information and communication needs of health workers in post-conflict settings. However, more efforts and investments, preferably driven by healthcare workers within the post-conflict context, are needed to make e-health more widespread and sustainable. Increased awareness is necessary among health professionals, even among current e-health users, and physical and financial access barriers need to be addressed. Future e-health initiatives are likely to increase their impact if based on perceived health information needs of intended users