E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

Relationship Between Cerebral Blood Flow and Blood Pressure in Long-Term Heart Transplant Recipients

Heart transplant recipients are at an increased risk for cerebral hemorrhage and ischemic stroke, yet the exact mechanism for this derangement remains unclear. We hypothesized that alterations in cerebrovascular regulation is principally involved. To test this hypothesis, we studied cerebral pressure-flow dynamics in 8 clinically stable male heart transplant recipients (62 ± 8 years of age and 9 ± 7 years post-transplant, mean + SD), 9 male age-matched controls (63 ± 8 years) and 10 male donor controls (27 ± 5 years). To increase blood pressure variability and improve assessment of the pressure-flow dynamics, subjects performed squat-stand maneuvers at 0.05 and 0.10 Hz. Beat-to-beat blood pressure, middle cerebral artery velocity, and end-tidal carbon dioxide were continuously measured during five minutes of seated rest, and throughout the squat-stand maneuvers. Cardiac baroreceptor sensitivity gain and cerebral pressure-flow responses were assessed with linear transfer function analysis. Heart transplant recipients had reductions in R-R interval power and baroreceptor sensitivity low frequency gain (P<0.01) compared to both control groups; however, these changes were unrelated to transfer function metrics. Thus, in contrast to our hypothesis, the increased risk of cerebrovascular complication after heart transplantation does not appear to be related to alterations in cerebral pressure-flow dynamics. Future research is therefore warranted

Dermoscopy for melanoma detection and triage in primary care: a systematic review.

OBJECTIVE: Most skin lesions first present in primary care, where distinguishing rare melanomas from benign lesions can be challenging. Dermoscopy improves diagnostic accuracy among specialists and is promoted for use by primary care physicians (PCPs). However, when used by untrained clinicians, accuracy may be no better than visual inspection. This study aimed to undertake a systematic review of literature reporting use of dermoscopy to triage suspicious skin lesions in primary care settings, and challenges for implementation. DESIGN: A systematic literature review and narrative synthesis. DATA SOURCES: We searched MEDLINE, Cochrane Central, EMBASE, Cumulative Index to Nursing and Allied Health Literature, and SCOPUS bibliographic databases from 1 January 1990 to 31 December 2017, without language restrictions. INCLUSION CRITERIA: Studies including assessment of dermoscopy accuracy, acceptability to patients and PCPs, training requirements, and cost-effectiveness of dermoscopy modes in primary care, including trials, diagnostic accuracy and acceptability studies. RESULTS: 23 studies met the review criteria, representing 49 769 lesions and 3708 PCPs, all from high-income countries. There was a paucity of studies set truly in primary care and the outcomes measured were diverse. The heterogeneity therefore made meta-analysis unfeasible; the data were synthesised through narrative review. Dermoscopy, with appropriate training, was associated with improved diagnostic accuracy for melanoma and benign lesions, and reduced unnecessary excisions and referrals. Teledermoscopy-based referral systems improved triage accuracy. Only three studies examined cost-effectiveness; hence, there was insufficient evidence to draw conclusions. Costs, training and time requirements were considered important implementation barriers. Patient satisfaction was seldom assessed. Computer-aided dermoscopy and other technological advances have not yet been tested in primary care. CONCLUSIONS: Dermoscopy could help PCPs triage suspicious lesions for biopsy, urgent referral or reassurance. However, it will be important to establish further evidence on minimum training requirements to reach competence, as well as the cost-effectiveness and patient acceptability of implementing dermoscopy in primary care. TRIAL REGISTRATION NUMBER: CRD42018091395.CRU

Does landscape-scale conservation management enhance the provision of ecosystem services?

Biodiversity conservation approaches are increasingly being implemented at the landscape-scale to support the maintenance of metapopulations and metacommunities. However, the impact of such interventions on the provision of ecosystem services is less well defined. Here we examine the potential impacts of landscape-scale conservation initiatives on ecosystem services, through analysis of five case study areas in England and Wales. The provision of multiple ecosystem services was projected according to current management plans and compared with a baseline scenario. Multicriteria analysis indicated that in most cases landscape-scale approaches lead to an overall increase in service provision. Consistent increases were projected in carbon storage, recreation and aesthetic value, as well as biodiversity value. However, most study areas provided evidence of trade-offs, particularly between provisioning services and other types of service. Results differed markedly between study areas, highlighting the importance of local context. These results suggest that landscape-scale conservation approaches are likely to be effective in increasing ecosystem service provision, but also indicate that associated costs can be significant, particularly in lowland areas

Challenges in monitoring and managing engineered slopes in a changing climate

Geotechnical asset owners need to know which parts of their asset network are vulnerable to climate change induced failure in order to optimise future investment. Protecting these vulnerable slopes requires monitoring systems capable of identifying and alerting to asset operators changes in the internal conditions that precede failure. Current monitoring systems are heavily reliant on point sensors which can be difficult to interpret across slope scale. This paper presents challenges to producing such a system and research being carried out to address some of these using electrical resistance tomography (ERT). Experimental results show that whilst it is possible to measure soil water content indirectly via resistivity the relationship between resistivity and water content will change over time for a given slope. If geotechnical parameters such as pore water pressure are to be estimated using this method then ERT systems will require integrating with more conventional geotechnical instrumentation to ensure correct representative information is provided. The paper also presents examples of how such data can be processed and communicated to asset owners for the purposes of asset management

The fate of steroid estrogens: Partitioning during wastewater treatment and onto river sediments

This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ 2010 Springer Science+Business Media B.V.The partitioning of steroid estrogens in wastewater treatment and receiving waters is likely to influence their discharge to, and persistence in, the environment. This study investigated the partitioning behaviour of steroid estrogens in both laboratory and field studies. Partitioning onto activated sludge from laboratory-scale Husmann units was rapid with equilibrium achieved after 1 h. Sorption isotherms and Kd values decreased in the order 17α-ethinyl estradiol > 17α-estradiol > estrone > estriol without a sorption limit being achieved (1/n >1). Samples from a wastewater treatment works indicated no accumulation of steroid estrogens in solids from primary or secondary biological treatment, however, a range of steroid estrogens were identified in sediment samples from the River Thames. This would indicate that partitioning in the environment may play a role in the long-term fate of estrogens, with an indication that they will be recalcitrant in anaerobic conditions.EPSR

Three-dimensional jamming and flows of soft glassy materials

Various disordered dense systems such as foams, gels, emulsions and colloidal suspensions, exhibit a jamming transition from a liquid state (they flow) to a solid state below a yield stress. Their structure, thoroughly studied with powerful means of 3D characterization, exhibits some analogy with that of glasses which led to call them soft glassy materials. However, despite its importance for geophysical and industrial applications, their rheological behavior, and its microscopic origin, is still poorly known, in particular because of its nonlinear nature. Here we show from two original experiments that a simple 3D continuum description of the behaviour of soft glassy materials can be built. We first show that when a flow is imposed in some direction there is no yield resistance to a secondary flow: these systems are always unjammed simultaneously in all directions of space. The 3D jamming criterion appears to be the plasticity criterion encountered in most solids. We also find that they behave as simple liquids in the direction orthogonal to that of the main flow; their viscosity is inversely proportional to the main flow shear rate, as a signature of shear-induced structural relaxation, in close similarity with the structural relaxations driven by temperature and density in other glassy systems.Comment: http://www.nature.com/nmat/journal/v9/n2/abs/nmat2615.htm

The tomato Prf complex is a molecular trap for bacterial effectors based on Pto transphosphorylation

The bacteria Pseudomonas syringae is a pathogen of many crop species and one of the model pathogens for studying plant and bacterial arms race coevolution. In the current model, plants perceive bacteria pathogens via plasma membrane receptors, and recognition leads to the activation of general defenses. In turn, bacteria inject proteins called effectors into the plant cell to prevent the activation of immune responses. AvrPto and AvrPtoB are two such proteins that inhibit multiple plant kinases. The tomato plant has reacted to these effectors by the evolution of a cytoplasmic resistance complex. This complex is compromised of two proteins, Prf and Pto kinase, and is capable of recognizing the effector proteins. How the Pto kinase is able to avoid inhibition by the effector proteins is currently unknown. Our data shows how the tomato plant utilizes dimerization of resistance proteins to gain advantage over the faster evolving bacterial pathogen. Here we illustrate that oligomerisation of Prf brings into proximity two Pto kinases allowing them to avoid inhibition by the effectors by transphosphorylation and to activate immune responses

Hazard Analysis of Critical Control Points Assessment as a Tool to Respond to Emerging Infectious Disease Outbreaks

Highly pathogenic avian influenza virus (HPAI) strain H5N1 has had direct and indirect economic impacts arising from direct mortality and control programmes in over 50 countries reporting poultry outbreaks. HPAI H5N1 is now reported as the most widespread and expensive zoonotic disease recorded and continues to pose a global health threat. The aim of this research was to assess the potential of utilising Hazard Analysis of Critical Control Points (HACCP) assessments in providing a framework for a rapid response to emerging infectious disease outbreaks. This novel approach applies a scientific process, widely used in food production systems, to assess risks related to a specific emerging health threat within a known zoonotic disease hotspot. We conducted a HACCP assessment for HPAI viruses within Vietnam’s domestic poultry trade and relate our findings to the existing literature. Our HACCP assessment identified poultry flock isolation, transportation, slaughter, preparation and consumption as critical control points for Vietnam’s domestic poultry trade. Introduction of the preventative measures highlighted through this HACCP evaluation would reduce the risks posed by HPAI viruses and pressure on the national economy. We conclude that this HACCP assessment provides compelling evidence for the future potential that HACCP analyses could play in initiating a rapid response to emerging infectious diseases

Neonatal-onset multisystem inflammatory disease responsive to interleukin-1 beta inhibition

BACKGROUND:Neonatal-onset multisystem inflammatory disease is characterized by fever, urticarial rash, aseptic meningitis, deforming arthropathy, hearing loss, and mental retardation. Many patients have mutations in the cold-induced autoinflammatory syndrome 1 (CIAS1) gene, encoding cryopyrin, a protein that regulates inflammation.METHODS:We selected 18 patients with neonatal-onset multisystem inflammatory disease (12 with identifiable CIAS1 mutations) to receive anakinra, an interleukin-1-receptor antagonist (1 to 2 mg per kilogram of body weight per day subcutaneously). In 11 patients, anakinra was withdrawn at three months until a flare occurred. The primary end points included changes in scores in a daily diary of symptoms, serum levels of amyloid A and C-reactive protein, and the erythrocyte sedimentation rate from baseline to month 3 and from month 3 until a disease flare.RESULTS:All 18 patients had a rapid response to anakinra, with disappearance of rash. Diary scores improved (P<0.001) and serum amyloid A (from a median of 174 mg to 8 mg per liter), C-reactive protein (from a median of 5.29 mg to 0.34 mg per deciliter), and the erythrocyte sedimentation rate decreased at month 3 (all P<0.001), and remained low at month 6. Magnetic resonance imaging showed improvement in cochlear and leptomeningeal lesions as compared with baseline. Withdrawal of anakinra uniformly resulted in relapse within days; retreatment led to rapid improvement. There were no drug-related serious adverse events.CONCLUSIONS:Daily injections of anakinra markedly improved clinical and laboratory manifestations in patients with neonatal-onset multisystem inflammatory disease, with or without CIAS1 mutations