Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Role of maintenance treatment in opioid dependence

Methadone maintenance treatment (MMT) involves the daily administration of the oral opioid agonist methadone as a treatment for opioid dependence-a persistent disorder with a substantial risk of premature death. MMT improves health and reduces illicit heroin use, infectious-disease transmission, and overdose death. However, its effectiveness is compromised if low maintenance doses of methadone (

The effectiveness of commercially available sports drinks

The purpose of this review is to evaluate the effectiveness of commercially available sports drinks by answering the questions: (i) will consuming a sports drink be beneficial to performance? and (ii) do different sports drinks vary in their effectiveness? To answer these questions we have considered the composition of commercially available sports drinks, examined the rationale for using them, and critically reviewed the vast number of studies that have investigated the effectiveness of sports drinks on performance. The focus is on the drinks that contain low carbohydrate concentrations (10%, which are intended for carbohydrate loading, Our conclusions are 3-fold. First, because of variations in drink composition and research design, much of the sports drinks research from the past cannot be applied direct Iv to the effectiveness of currently available sports drinks. Secondly, in studies where a practical protocol has been used along with a currently available sports beverage, there is evidence to suggest that consuming a sports drinks will improve performance compared with consuming a placebo beverage. Finally, there is little evidence that any one sports drink is superior to any of the other beverages on the market.

Methadone maintenance therapy for opioid dependence - A guide to appropriate use

Opioid dependence is a chronic, relapsing condition that is associated with significant morbidity and mortality. Methadone maintenance therapy involves the provision of a controlled supply of an orally administered opioid, thereby stabilising the opioid-dependent patient. Research studies have shown that methadone maintenance reduces illicit opioid use, opioid-related crime, premature mortality and the risk of HIV infection. It is most effective when prescribed at an adequate dosage (usually 60 to 100 mg/day) and when long term maintenance on methadone is the goal of treatment rather than detoxification from all drugs including methadone. Successful long term methadone maintenance is more likely when it takes place within the context of a well established therapeutic relationship and when the medical, social and psychological needs of patients are met either through direct assistance or referral.

Preexposure Chemoprophylaxis for HIV Prevention in Men Who Have Sex with Men.

Background: Antiretroviral chemoprophylaxis before exposure is a promising approach for the prevention of human immunodeficiency virus (HIV) acquisition. Methods: We randomly assigned 2499 HIV-seronegative men or transgender women who have sex with men to receive a combination of two oral antiretroviral drugs, emtricitabine and tenofovir disoproxil fumarate (FTC-TDF), or placebo once daily. All subjects received HIV testing, risk-reduction counseling, condoms, and management of sexually transmitted infections. Results: The study subjects were followed for 3324 person-years (median, 1.2 years; maximum, 2.8 years). Of these subjects, 10 were found to have been infected with HIV at enrollment, and 100 became infected during follow-up (36 in the FTC-TDF group and 64 in the placebo group), indicating a 44% reduction in the incidence of HIV (95% confidence interval, 15 to 63; P=0.005). In the FTC-TDF group, the study drug was detected in 22 of 43 of seronegative subjects (51%) and in 3 of 34 HIV-infected subjects (9%) (P<0.001). Nausea was reported more frequently during the first 4 weeks in the FTC-TDF group than in the placebo group (P<0.001). The two groups had similar rates of serious adverse events (P=0.57). Conclusions: Oral FTC-TDF provided protection against the acquisition of HIV infection among the subjects. Detectable blood levels strongly correlated with the prophylactic effect. (Funded by the National Institutes of Health and the Bill and Melinda Gates Foundation; ClinicalTrials.gov number, NCT00458393.) N Engl J Med 2010;363:2587-99.

Lo-Fi matchmaking: A study of social pairing for backpackers

It is technically feasible for mobile social software such as pairing or ‘matchmaking’ systems to introduce people to others and assist information exchange. However, little is known about the social structure of many mobile communities or why they would want such pairing systems. While engaged in other work determining requirements for a mobile travel assistant we saw a potentially useful application for a pairing system to facilitate the exchange of travel information between backpackers. To explore this area, we designed two studies involving usage of a low-fidelity role prototype of a social pairing system for backpackers. Backpackers rated the utility of different pairing types, and provided feedback on the social implications of being paired based on travel histories. Practical usage of the social network pairing activity and the implications of broader societal usage are discussed.

Mutations in the follicle-stimulating hormone receptor and familial dizygotic twinning

Concentrations of follicle-stimulating hormone (FSH) have an important role in multiple ovulation. An association has been reported between mutations in the FSH receptor (FSHR) in a family with Increased twinning frequency. We sequenced the transmembrane region of FSHR (located on chromosome 2) in 21 unrelated mothers of dizygotic twins and found no differences to the published sequence. A linkage study of 183 sister pairs and trios, in which all sisters had given birth to spontaneous dizygotic twins, excluded linkage to this region of chromosome 2. Wa conclude that mutations in FSHR are not a common cause of familial dizygotic twinning.

Human twinning is not linked to the region of chromosome 4 syntenic with the sheep twinning gene FecB

The tendency to dizygotic (DZ) twinning is inherited in both humans and sheep, and a fecundity gene in sheep (FecB) maps to sheep chromosome 6, syntenic with human 4q21-25. Our aim was to see whether a gene predisposing to human DZ twinning mapped to this region. DNA was collected from 169 pairs and 17 sets of 3 sisters (trios) from Australia and New Zealand who had each had spontaneous DZ twins, mostly before the age of 35, and from a replication sample of 111 families (92 affected sister pairs) from The Netherlands. Exclusion mapping was carried out after typing 26 markers on chromosome 4, of which 8 spanned the region Likely to contain the human homologue of the sheep FecB gene. We used nonparametric affected sib pair methods for linkage analysis [ASPEX 2.2, Hinds and Risch, 1999]. Complete exclusion of linkage (lod < -2) of a gene conferring a relative risk for sibs as low as 1.5 ((s) > 1.5) was obtained for all but the p terminus region on chromosome 4. Exclusion in the syntenic region was stronger, down to lambda (s) = 1.3. We concluded that if there is a gene influencing DZ twinning on chromosome 4, its effect must be minor. (C) 2001 Wiley-Liss, Inc.

Patterns of community integration 2-5 years post-discharge from brain injury rehabilitation

Outcome after traumatic brain injury (TBI) is characterized by a high degree of variability which has often been difficult to capture in traditional outcome studies. The purpose of this study was to describe patterns of community integration 2-5 years after TBI. Participants were 208 patients admitted to a Brain Injury Rehabilitation Unit between 1991-1995 in Brisbane, Australia. The design comprised retrospective data collection and questionnaire follow-up by mail. Mean follow-up was 3.5 years. Demographic, injury severity and functional status variables were retrieved from hospital records. Community integration was assessed using the Community Integration Questionnaire (CIQ), and vocational status measured by a self administered questionnaire. Data was analysed using cluster analysis which divided the data into meaningful subsets. Based on the CIQ subscale scores of home, social and productive integration, a three cluster solution was selected, with groups labelled as working (n = 78), balanced (n = 46) and poorly integrated (n = 84). Although 38% of the sample returned to a high level of productive activity and 22% achieved a balanced lifestyle, overall community integration was poor for the remainder. This poorly integrated group had more severe injury characterized by longer periods of acute care and post-traumatic amnesia (PTA) and greater functional disability on discharge. These findings have implications for service delivery prior to and during the process of reintegration after brain injury.

Replacing prelinguistic behaviors with functional communication

This study evaluated the effectiveness of a teacher-implemented intervention package designed to replace prelinguistic behaviors with functional communication. Four young children with autism participated in a multiple-probe design across three communicative functions. Initially, three existing communication functions were selected for each child. Next, the existing prelinguistic behaviors that the children used to achieve these functions were identified. Replacement forms that were considered more recognizable and symbolic were defined to achieve these same functions. After a baseline phase, teachers received inservice training, consultation, and feedback on how to encourage, acknowledge, and respond to the replacement forms. During intervention, the replacement forms increased and prelinguistic behaviors decreased in most cases. The results suggested that the teacher-implemented intervention was effective in replacing prelinguistic behaviors with alternative forms of functional communication.