Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an unlimited supply of propositional variables. It follows that satisfiability for CTL, as well as for ATL, with a single variable is EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a single variable is 2EXPTIME-complete,--i.e., for these logics, the satisfiability for formulas with only one variable is as hard as satisfiability for arbitrary formulas.Comment: Prefinal version of the published pape

FAK acts as a suppressor of RTK-MAP kinase signalling in Drosophila melanogaster epithelia and human cancer cells

Receptor Tyrosine Kinases (RTKs) and Focal Adhesion Kinase (FAK) regulate multiple signalling pathways, including mitogen-activated protein (MAP) kinase pathway. FAK interacts with several RTKs but little is known about how FAK regulates their downstream signalling. Here we investigated how FAK regulates signalling resulting from the overexpression of the RTKs RET and EGFR. FAK suppressed RTKs signalling in Drosophila melanogaster epithelia by impairing MAPK pathway. This regulation was also observed in MDA-MB-231 human breast cancer cells, suggesting it is a conserved phenomenon in humans. Mechanistically, FAK reduced receptor recycling into the plasma membrane, which resulted in lower MAPK activation. Conversely, increasing the membrane pool of the receptor increased MAPK pathway signalling. FAK is widely considered as a therapeutic target in cancer biology; however, it also has tumour suppressor properties in some contexts. Therefore, the FAK-mediated negative regulation of RTK/MAPK signalling described here may have potential implications in the designing of therapy strategies for RTK-driven tumours

Drug treatment program patients' hepatitis C virus (HCV) education needs and their use of available HCV education services

BACKGROUND: In spite of the disproportionate prevalence of hepatitis C virus (HCV) infection among drug users, many remain uninformed or misinformed about the virus. Drug treatment programs are important sites of opportunity for providing HCV education to their patients, and many programs do, in fact, offer this education in a variety of formats. Little is known, however, about the level of HCV knowledge among drug treatment program patients, and the extent to which they utilize their programs' HCV education services. METHODS: Using data collected from patients (N = 280) in 14 U.S. drug treatment programs, we compared patients who reported that they never injected drugs (NIDUs) with past or current drug injectors (IDUs) concerning their knowledge about HCV, whether they used HCV education opportunities at their programs, and the facilitators and barriers to doing so. All of the programs were participating in a research project that was developing, implementing, and evaluating a staff training to provide HCV support to patients. RESULTS: Although IDUs scored higher on an HCV knowledge assessment than NIDUs, there were many gaps in HCV knowledge among both groups of patients. To address these knowledge gaps, all of the programs offered at least one form of HCV education: all offered 1:1 sessions with staff, 12 of the programs offered HCV education in a group format, and 11 of the programs offered this education through pamphlets/books. Only 60% of all of the participating patients used any of their programs' HCV education services, but those who did avail themselves of these HCV education opportunities generally assessed them positively. In all, many patients were unaware that HCV education was offered at their programs through individual sessions with staff, group meetings, and books/pamphlets, (42%, 49%, and 46% of the patients, respectively), and 22% were unaware that any HCV education opportunities existed. CONCLUSION: Efforts especially need to focus on ensuring that all drug treatment program patients are made aware of and encouraged to use HCV education services at their programs

Accuracy in Copy Number Calling by qPCR and PRT: A Matter of DNA

The possible implication of copy number variation (CNV) in the genetic susceptibility to human disease needs to be assessed using robust methods that can be applied at a population scale. In this report, we analyze the performance of the two major techniques, quantitative PCR (qPCR) and paralog ratio test (PRT), and investigate the influence of input DNA amount and template integrity on the reliability of both methods. Analysis of three genes (PRELID1, SYNPO and DEFB4) in a large sample set showed that both methods are prone to false copy number assignments if sufficient attention is not paid to DNA concentration and quality. Accurate normalization of samples is essential for reproducible qPCR because it avoids the effect of differential amplification efficiencies between target and control assays, whereas PRT is generally more sensitive to template degradation due to the fact that longer amplicons are usually needed to optimize sensitivity and specificity of paralog sequence PCR. The use of normalized, high quality genomic DNA yields comparable results with both methods

An Immunoassay for Dibutyl Phthalate Based on Direct Hapten Linkage to the Polystyrene Surface of Microtiter Plates

BACKGROUND: Dibutyl phthalate (DBP) is predominantly used as a plasticizer inplastics to make them flexible. Extensive use of phthalates in both industrial processes and other consumer products has resulted in the ubiquitous presence of phthalates in the environment. In order to better determine the level of pollution in the environment and evaluate the potential adverse effects of exposure to DBP, immunoassay for DBP was developed. METHODOLOGY/PRINCIPAL FINDINGS: A monoclonal antibody specific to DBP was produced from a stable hybridoma cell line generated by lymphocyte hybridoma technique. An indirect competitive enzyme-linked immunosorbent assay (icELISA) employing direct coating of hapten on polystyrene microtiter plates was established for the detection of DBP. Polystyrene surface was first oxidized by permanganate in dilute sulfuric acid to generate carboxyl groups. Then dibutyl 4-aminophthalate, which is an analogue of DBP, was covalently linked to the carboxyl groups of polystyrene surface with 1-ethyl-3-(3-dimethylaminopropyl) carbodiimide hydrochloride (EDC). Compared with conjugate coated format (IC(50)=106 ng/mL), the direct hapten coated format (IC(50)=14.6 ng/mL) improved assay sensitivity after careful optimization of assay conditions. The average recovery of DBP from spiked water sample was 104.4% and the average coefficient of variation was 9.95%. Good agreement of the results obtained by the hapten coated icELISA and gas chromatography-mass spectrometry further confirmed the reliability and accuracy of the icELISA for the detection of DBP in certain plastic and cosmetic samples. CONCLUSIONS/SIGNIFICANCE: The stable and efficient hybridoma cell line obtained is an unlimited source of sensitive and specific antibody to DBP. The hapten coated format is proposed as generally applicable because the carboxyl groups on modified microtiter plate surface enables stable immobilization of aminated or hydroxylated hapten with EDC. The developed hapten coated icELISA can be used as a convenient quantitative tool for the sensitive and accurate monitoring DBP in water, plastic and cosmetic samples

Cardiorespiratory effects of venous lipid micro embolization in an experimental model of mediastinal shed blood reinfusion

<p>Abstract</p> <p>Background</p> <p>Retransfusion of the patient's own blood during surgery is used to reduce the need for allogenic blood transfusion. It has however been found that this blood contains lipid particles, which form emboli in different organs if the blood is retransfused on the arterial side. In this study, we tested whether retransfusion of blood containing lipid micro-particles on the venous side in a porcine model will give hemodynamic effects.</p> <p>Methods</p> <p>Seven adult pigs were used. A shed blood surrogate containing 400 ml diluted blood and 5 ml radioactive triolein was produced to generate a lipid embolic load. The shed blood surrogate was rapidly (<2 minutes) retransfused from a transfusion bag to the right atrium under general anesthesia. The animals' arterial, pulmonary, right and left atrial pressure were monitored, together with cardiac output and deadspace. At the end of the experiment, an increase in cardiac output and pulmonary pressure was pharmacologically induced to try to flush out lipid particles from the lungs.</p> <p>Results</p> <p>A more than 30-fold increase in pulmonary vascular resistance was observed, with subsequent increase in pulmonary artery pressure, and decrease in cardiac output and arterial pressure. This response was transient, but was followed by a smaller, persistent increase in pulmonary vascular resistance. Only a small portion of the infused triolein passed the lungs, and only a small fraction could be recirculated by increasing cardiac output and pulmonary pressure.</p> <p>Conclusion</p> <p>Infusion of blood containing lipid micro-emboli on the venous side leads to acute, severe hemodynamic responses that can be life threatening. Lipid particles will be trapped in the lungs, leading to persistent effects on the pulmonary vascular resistance.</p

Spatial working memory is enhanced in children by differential outcomes

Working memory (WM) is essential to academic achievement. Any enhancement of WM abilities may improve children's school performance. We tested the usefulness of the differential outcomes procedure (DOP) to enhance typically developing children's performance on a spatial WM task. The DOP involves a conditional discriminative learning task in which a correct choice response to a specific stimulus-stimulus association is reinforced with a particular reinforcer (outcome). We adapted a spatial memory task to be used with the DOP. Participants had to learn and retain in their WM four target locations of eight possible locations where a shape could be presented. Two groups of 5- and 7-year-old children performed the low-attentional version of the spatial task, and an additional group of 7-year-old children performed the high-attentional version. The results showed that compared with the standard non-differential outcomes procedure (NOP), the DOP produced better memory-based performance in 5-year-old children with the low-attentional task and in 7-year-old children with the high-attentional task. Additionally, delay intervals impaired performance in the NOP but not in the DOP. These findings suggest that the DOP may be a useful complement to other WM intervention programs targeted to improve children's academic performance at school