41,949 research outputs found
Evaluating complementary medicine: methodological challenges of randomised controlled trials
Complementary medicine has a different philosophy from conventional medicine, presenting challenges to research methodology. Rigorous evaluation of complementary medicine could provide much needed evidence of its effectiveness. Good design of randomised controlled trials will avoid invalid results and misrepresentation of the holistic essence of complementary medicine. Practitioners need to be recognised as a component in or contributor to complementary treatment. Both specific and non-specific outcome measures with long follow up are needed to adequately encompass the essence of complementary medicine
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Š 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races. Whoop is empowered by symbolic pairwise lockset analysis, a novel analysis that can soundly detect all potential races in a driver. Our analysis avoids reasoning about thread interleavings and thus scales well. Exploiting the race-freedom guarantees provided by Whoop, we achieve a sound partial-order reduction that significantly accelerates Corral, an industrial-strength bug-finder for concurrent programs. Using the combination of Whoop and Corral, we analyzed 16 drivers from the Linux 4.0 kernel, achieving 1.5 - 20à speedups over standalone Corral
Recommended from our members
The role of smart sensor networks for voltage monitoring in smart grids
The large-scale deployment of the Smart Grid paradigm will support the evolution of conventional electrical power systems toward active, flexible and self-healing web energy networks composed of distributed and cooperative energy resources. In a Smart Grid platform, distributed voltage monitoring is one of the main issues to address. In this field, the application of traditional hierarchical monitoring paradigms has some disadvantages that could hinder their application in Smart Grids where the constant growth of grid complexity and the need for massive pervasion of Distribution Generation Systems (DGS) require more scalable, more flexible control and regulation paradigms. To try to overcome these challenges, this paper proposes the concept of a decentralized non-hierarchal voltage monitoring architecture based on intelligent and cooperative smart entities. These devices employ traditional sensors to acquire local bus variables and mutually coupled oscillators to assess the main variables describing the global grid state
Familiarity breeds distortion: the effects of media exposure on false reports concerning media coverage of the terrorist attacks in London on 7 July 2005
Analisis Kelayakan Finansial Budidaya Tanaman Karet (Hevea Brasiliensis) Skala Rakyat di Kampung Tering Seberang Kecamatan Tering Kabupaten Kutai Barat
Financial Feasibility Analysis of Small Scale Rubber Farming (Hevea Brasiliensis) in Tering Seberang village, Tering Sub Disrict of West Kutai Regency. This resarch was implemented from February to April 2013 and its objective was to count production cost, rubber farm income, and to assess rubber farm feasibility, as well as to indentify problems faced and its alternative solutions. The research was data were compiled with purposive sampling method at 20% precision level where from the total 20 respondents, 5 of them were taken to represent their group. The data were collected through questionnaire, interiew, literature review, and field observation, then they were classified and tabulated based on production cost and farm income, as well as their financial analysis. Results of the research revealed that the small scale rubber farming management Tering Seberang Village, Tering Sub District of west Kutai District had Net Present Value (NPV) > 0, it was Rp. 31.393.740 at 18% interset rate; Net Benefit Cost ( B/C ratio > 1 it was 4,84 at 18% interset rate; Gross B/C Ratio > 1, it was 2.04 at 18% interset rate; Internal Rate of Return (IRR) 16.8% at the year six or 28.8% at the year seven; and Payback Period (18%) was at 6 years 2 months 16 days
Low noise charge injection in the CCD22
The inclusion of a charge injection structure on a charge coupled device (CCD) allows for the mitigation of charge transfer loss which can be caused by radiation induced charge trapping defects. Any traps present in the pixels of the CCD are filled by the injected charge as it is swept through the device and consequently, the charge transfer efficiency is improved in subsequently acquired images. To date, a number of different types of CCD have been manufactured featuring a variety of charge injection techniques. The e2v Technologies CCD22, used in the EPIC MOS focal plane instruments of XMM-Newton, is one such device and is the subject of this paper. A detailed understanding of charge injection operation and the use of charge injection to mitigate charge transfer losses resulting from radiation damage to CCDs will benefit a number of space projects planned for the future, including the ESA GAIA and X-ray Evolving Universe Spectrometry (XEUS) missions.The charge injection structure and mode of operation of the CCD22 are presented, followed by a detailed analysis of the uniformity and repeatability of the charge injection amplitude across the columns of the device. The effects of proton irradiation on the charge injection characteristics are also presented, in particular the effect of radiation induced bright pixels on the injected charge level
Gender discourse, awareness, and alternative responses for men in everyday living
In this paper, the authors use examples from their experiences to explore the nuances and complexities of contemporary gender practices. They draw on discourse and positioning theories to identify the ways in which culturally dominant, and difficult to notice, gender constructions help shape everyday experiences. In addition, the authors share their view that there are benefits in developing skills in noticing contemporary practices made available by dominant gender constructions. Such noticing expands possibilities for ways of responding and relating that might produce outcomes for men and women that fit with their hopes for living
Automatic summarization of rushes video using bipartite graphs
In this paper we present a new approach for automatic summarization of rushes, or unstructured video. Our approach is composed of three major steps. First, based on shot and sub-shot segmentations, we filter sub-shots with low information content not likely to be useful in a summary. Second, a method using maximal matching in a bipartite graph is adapted to measure similarity between the remaining shots and to minimize inter-shot redundancy by removing repetitive retake shots common in rushes video. Finally, the presence of faces and motion intensity are characterised in each sub-shot. A measure of how representative the sub-shot is in the context of the overall video is then proposed. Video summaries composed of keyframe slideshows are then generated. In order to evaluate the effectiveness of this approach we re-run the evaluation carried out by TRECVid, using the same dataset and evaluation metrics used in the TRECVid video summarization task in 2007 but with our own assessors. Results show that our approach leads to a significant improvement on our own work in terms of the fraction of the TRECVid summary ground truth included and is competitive with the best of other approaches in TRECVid 2007
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging
- âŚ