Producing Scheduling that Causes Concurrent Programs to Fail

A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manifest itself. This work explores the theory and practice of choosing where in the program to induce such thread switches at runtime. We introduce a novel fault model that classifies locations as .good., .neutral., or .bad,. based on the effect of a thread switch at the location. Using the model we explore the terms in which efficient search for real-life concurrent bugs can be carried out. We accordingly justify the use of probabilistic algorithms for this search and gain a deeper insight of the work done so far on noise-making. We validate our approach by experimenting with a set of programs taken from publicly available multi-threaded benchmark. Our empirical evidence demonstrates that real-life behavior is similar to what our model predicts

Sustainability in Comparative Religious Perspective

This course explores how various cultures through time and space have interacted with the natural environment in an effort to achieve material, spiritual, and medical wellbeing. We will closely examine sustainability as reflected in a variety of spiritual traditions (from “animism” to Buddhism, Hinduism, Sikhism, Jainism, polytheism, Judaism, Christianity, and Islam), and in societies or in social phenomena not necessarily driven by any “religious” system (such as hunter-gatherers, nomads, socialist and communist kibbutzim or Sirius, an intentional community and eco-village in Shutesbury, Massachusetts). The current “greening” philosophy spreading across the U.S.A. and globally has created a campus-wide (and 5-College-wide) thirst for courses related to sustainability, permaculture, organic gardening, and environmentalism. None of these wonderful initiatives or courses, however, examines the idea of Sustainability in a comparative historical and religious context. This course helps to fill an intellectual gap in the curriculum and also offers students an opportunity to consider Sustainability as an age-old human preoccupation. Among the questions we will explore are: What is human wellbeing and how has its definition changed according to time and place? How was the concern for human wellbeing connected to concern for other entities, such as animals or the earth as a whole? Was there a gap between law and actual practice? How successful or detrimental were sustainability efforts? How did these efforts differently 2 impact the various sectors of a given society? To what extent does the modern Sustainability movement show awareness of religious traditions and history? Does the movement’s principle preoccupation with techniques and science make room for the historic orientation of religious traditions to the natural environment? In other words, is the modern Sustainability movement compatible with today’s spiritual traditions? For each theme we will ask: What is the role of “religion” and is religion” a useful category of analysis for the topic under consideration? The motto of this course is: “One foot in the past, one foot in the present.” Most Sustainability concerns have to do with the present day. A significant portion of the course, therefore, invites students to bring contemporary themes into the classroom, discuss them, and endeavor to place them in historical context. For example, in the week spent discussing deserts in historical context, we will also consider the significance of today’s deserts for Sustainability, e.g. the potential of the desert as a model for biomimicry

A Defect-tolerant Cluster in a Mesh SRAM-based FPGA

International audienceIn this paper, we propose the implementation of multiple defect-tolerant techniques on an SRAM-based FPGA. These techniques include redundancy at both the logic block and intra-cluster interconnect. In the logic block, redundancy is implemented at the multiplexer level. Its efficiency is analyzed by injecting a single defect at the output of a multiplexer, considering all possible locations and input combinations. While at the interconnect level, fine grain redundancy is introduced which not only bypasses defects but also increases routability. Taking advantage of the sparse intra-cluster interconnect structures, routability is further improved by efficient distribution of feedback paths allowing more flexibility in the connections among logic blocks. Emulation results show a significant improvement of about 15% and 34% in the robustness of logic block and intra-cluster interconnect respectively. Furthermore, the impact of these hardening schemes on the testability of the FPGA cluster for manufacturing defects is also investigated in terms of maximum achievable fault coverage and the respective cost

Policy Constraints And Strategic Choices: MNE Subsidiaries Market Penetration In China

This study describes how firm level decisions and capabilities correspond to policy conditions in a host country where local market access is constrained and success is contingent on compliance with cultural hegemony. Using data from surveys gathered from multinational enterprise (MNE) subsidiaries operating in China, we describe the mode of entry the firms have used to penetrate and exploit markets in light of the constrained strategic choices open to their subsidiaries. We also expose the patterns of growth accomplished by the MNE and their underlying bases of competitive advantage. Finally, we relate the degree of centralization we observe among the respondents strategies

Development of a force-feedback laparoscopic surgery simulator

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1999.Includes bibliographical references (p. 77-78).The work presented here addressed the development of an electro-mechanical force-feedback device to provide more realistic and complete sensations to a laparoscopic surgery simulator than currently available. A survey of the issues surrounding haptic (touch) displays and training for laparoscopic or "keyhole" procedures was performed. A number of primary and secondary sources including surgeon consultation , operating room observations, and task analyses were used to accumulate a list of needs. Subsequent requirements analysis translated these into a set of specifications for the kinematics, dynamics and actuators, and configuration of the device. These suggested a design with five actuated axes (pitch and yaw about the entrance to the abdomen, insertion, rotation about the tool axis, and gripper feedback) amenable to a configuration including two actuated tools in a lifelike torso. These specifications were the basis for the generation and selection of design concepts. The PHANTOM haptic interface from Sensable Devices was chosen from among a number of existing devices and original designs to actuate the pitch, yaw, and insertion degrees of freedom. A separate end effector actuator was specified to supply feedback to the handle rotation and gripper. Mechanisms were proposed for each of these axes; a linear cable capstan was selected for the gripper and a cable capstan/drum for the rotation. The kinematics, bearings, transmissions, and user interface for both axes were designed in detail, and first- and second generation prototypes were built. The finished devices were integrated with the PHANTOM hardware, electronics, and software. Performance and design evaluations were performed, and plans for future device improvements and user studies were outlined.by Ela Ben-Ur.S.M

The Inflammatory Kinase MAP4K4 Promotes Reactivation of Kaposi's Sarcoma Herpesvirus and Enhances the Invasiveness of Infected Endothelial Cells

Kaposi's sarcoma (KS) is a mesenchymal tumour, which is caused by Kaposi's sarcoma herpesvirus (KSHV) and develops under inflammatory conditions. KSHV-infected endothelial spindle cells, the neoplastic cells in KS, show increased invasiveness, attributed to the elevated expression of metalloproteinases (MMPs) and cyclooxygenase-2 (COX-2). The majority of these spindle cells harbour latent KSHV genomes, while a minority undergoes lytic reactivation with subsequent production of new virions and viral or cellular chemo- and cytokines, which may promote tumour invasion and dissemination. In order to better understand KSHV pathogenesis, we investigated cellular mechanisms underlying the lytic reactivation of KSHV. Using a combination of small molecule library screening and siRNA silencing we found a STE20 kinase family member, MAP4K4, to be involved in KSHV reactivation from latency and to contribute to the invasive phenotype of KSHV-infected endothelial cells by regulating COX-2, MMP-7, and MMP-13 expression. This kinase is also highly expressed in KS spindle cells in vivo. These findings suggest that MAP4K4, a known mediator of inflammation, is involved in KS aetiology by regulating KSHV lytic reactivation, expression of MMPs and COX-2, and, thereby modulating invasiveness of KSHV-infected endothelial cells. © 2013 Haas et al

Reconstruction of primary vertices at the ATLAS experiment in Run 1 proton–proton collisions at the LHC

This paper presents the method and performance of primary vertex reconstruction in proton–proton collision data recorded by the ATLAS experiment during Run 1 of the LHC. The studies presented focus on data taken during 2012 at a centre-of-mass energy of √s=8 TeV. The performance has been measured as a function of the number of interactions per bunch crossing over a wide range, from one to seventy. The measurement of the position and size of the luminous region and its use as a constraint to improve the primary vertex resolution are discussed. A longitudinal vertex position resolution of about 30μm is achieved for events with high multiplicity of reconstructed tracks. The transverse position resolution is better than 20μm and is dominated by the precision on the size of the luminous region. An analytical model is proposed to describe the primary vertex reconstruction efficiency as a function of the number of interactions per bunch crossing and of the longitudinal size of the luminous region. Agreement between the data and the predictions of this model is better than 3% up to seventy interactions per bunch crossing

Global, regional, and national comparative risk assessment of 84 behavioural, environmental and occupational, and metabolic risks or clusters of risks for 195 countries and territories, 1990–2017 : a systematic analysis for the Global Burden of Disease Study 2017

Background: The Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2017 comparative risk assessment (CRA) is a comprehensive approach to risk factor quantification that offers a useful tool for synthesising evidence on risks and risk outcome associations. With each annual GBD study, we update the GBD CRA to incorporate improved methods, new risks and risk outcome pairs, and new data on risk exposure levels and risk outcome associations. Methods: We used the CRA framework developed for previous iterations of GBD to estimate levels and trends in exposure, attributable deaths, and attributable disability-adjusted life-years (DALYs), by age group, sex, year, and location for 84 behavioural, environmental and occupational, and metabolic risks or groups of risks from 1990 to 2017. This study included 476 risk outcome pairs that met the GBD study criteria for convincing or probable evidence of causation. We extracted relative risk and exposure estimates from 46 749 randomised controlled trials, cohort studies, household surveys, census data, satellite data, and other sources. We used statistical models to pool data, adjust for bias, and incorporate covariates. Using the counterfactual scenario of theoretical minimum risk exposure level (TMREL), we estimated the portion of deaths and DALYs that could be attributed to a given risk. We explored the relationship between development and risk exposure by modelling the relationship between the Socio-demographic Index (SDI) and risk-weighted exposure prevalence and estimated expected levels of exposure and risk-attributable burden by SDI. Finally, we explored temporal changes in risk-attributable DALYs by decomposing those changes into six main component drivers of change as follows: (1) population growth; (2) changes in population age structures; (3) changes in exposure to environmental and occupational risks; (4) changes in exposure to behavioural risks; (5) changes in exposure to metabolic risks; and (6) changes due to all other factors, approximated as the risk-deleted death and DALY rates, where the risk-deleted rate is the rate that would be observed had we reduced the exposure levels to the TMREL for all risk factors included in GBD 2017. Findings: In 2017,34.1 million (95% uncertainty interval [UI] 33.3-35.0) deaths and 121 billion (144-1.28) DALYs were attributable to GBD risk factors. Globally, 61.0% (59.6-62.4) of deaths and 48.3% (46.3-50.2) of DALYs were attributed to the GBD 2017 risk factors. When ranked by risk-attributable DALYs, high systolic blood pressure (SBP) was the leading risk factor, accounting for 10.4 million (9.39-11.5) deaths and 218 million (198-237) DALYs, followed by smoking (7.10 million [6.83-7.37] deaths and 182 million [173-193] DALYs), high fasting plasma glucose (6.53 million [5.23-8.23] deaths and 171 million [144-201] DALYs), high body-mass index (BMI; 4.72 million [2.99-6.70] deaths and 148 million [98.6-202] DALYs), and short gestation for birthweight (1.43 million [1.36-1.51] deaths and 139 million [131-147] DALYs). In total, risk-attributable DALYs declined by 4.9% (3.3-6.5) between 2007 and 2017. In the absence of demographic changes (ie, population growth and ageing), changes in risk exposure and risk-deleted DALYs would have led to a 23.5% decline in DALYs during that period. Conversely, in the absence of changes in risk exposure and risk-deleted DALYs, demographic changes would have led to an 18.6% increase in DALYs during that period. The ratios of observed risk exposure levels to exposure levels expected based on SDI (O/E ratios) increased globally for unsafe drinking water and household air pollution between 1990 and 2017. This result suggests that development is occurring more rapidly than are changes in the underlying risk structure in a population. Conversely, nearly universal declines in O/E ratios for smoking and alcohol use indicate that, for a given SDI, exposure to these risks is declining. In 2017, the leading Level 4 risk factor for age-standardised DALY rates was high SBP in four super-regions: central Europe, eastern Europe, and central Asia; north Africa and Middle East; south Asia; and southeast Asia, east Asia, and Oceania. The leading risk factor in the high-income super-region was smoking, in Latin America and Caribbean was high BMI, and in sub-Saharan Africa was unsafe sex. O/E ratios for unsafe sex in sub-Saharan Africa were notably high, and those for alcohol use in north Africa and the Middle East were notably low. Interpretation: By quantifying levels and trends in exposures to risk factors and the resulting disease burden, this assessment offers insight into where past policy and programme efforts might have been successful and highlights current priorities for public health action. Decreases in behavioural, environmental, and occupational risks have largely offset the effects of population growth and ageing, in relation to trends in absolute burden. Conversely, the combination of increasing metabolic risks and population ageing will probably continue to drive the increasing trends in non-communicable diseases at the global level, which presents both a public health challenge and opportunity. We see considerable spatiotemporal heterogeneity in levels of risk exposure and risk-attributable burden. Although levels of development underlie some of this heterogeneity, O/E ratios show risks for which countries are overperforming or underperforming relative to their level of development. As such, these ratios provide a benchmarking tool to help to focus local decision making. Our findings reinforce the importance of both risk exposure monitoring and epidemiological research to assess causal connections between risks and health outcomes, and they highlight the usefulness of the GBD study in synthesising data to draw comprehensive and robust conclusions that help to inform good policy and strategic health planning

Prognostic model to predict postoperative acute kidney injury in patients undergoing major gastrointestinal surgery based on a national prospective observational cohort study.

Background: Acute illness, existing co-morbidities and surgical stress response can all contribute to postoperative acute kidney injury (AKI) in patients undergoing major gastrointestinal surgery. The aim of this study was prospectively to develop a pragmatic prognostic model to stratify patients according to risk of developing AKI after major gastrointestinal surgery. Methods: This prospective multicentre cohort study included consecutive adults undergoing elective or emergency gastrointestinal resection, liver resection or stoma reversal in 2-week blocks over a continuous 3-month period. The primary outcome was the rate of AKI within 7 days of surgery. Bootstrap stability was used to select clinically plausible risk factors into the model. Internal model validation was carried out by bootstrap validation. Results: A total of 4544 patients were included across 173 centres in the UK and Ireland. The overall rate of AKI was 14·2 per cent (646 of 4544) and the 30-day mortality rate was 1·8 per cent (84 of 4544). Stage 1 AKI was significantly associated with 30-day mortality (unadjusted odds ratio 7·61, 95 per cent c.i. 4·49 to 12·90; P < 0·001), with increasing odds of death with each AKI stage. Six variables were selected for inclusion in the prognostic model: age, sex, ASA grade, preoperative estimated glomerular filtration rate, planned open surgery and preoperative use of either an angiotensin-converting enzyme inhibitor or an angiotensin receptor blocker. Internal validation demonstrated good model discrimination (c-statistic 0·65). Discussion: Following major gastrointestinal surgery, AKI occurred in one in seven patients. This preoperative prognostic model identified patients at high risk of postoperative AKI. Validation in an independent data set is required to ensure generalizability