Reasoning about goal-directed real-time teleo-reactive programs

The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are particularly useful for implementing controllers for autonomous agents that must react robustly to their dynamically changing environments. In this paper, we develop a real-time logic that is based on Duration Calculus and use this logic to formalise the semantics of teleo-reactive programs. We develop rely/guarantee rules that facilitate reasoning about a program and its environment in a compositional manner. We present several theorems for simplifying proofs of teleo-reactive programs and present a partially mechanised method for proving progress properties of goal-directed agents. © 2013 British Computer Society

MicroRNA-203 predicts human survival after resection of colorectal liver metastasis.

BackgroundResection of colorectal liver metastasis (CRLM) can be curative. Predicting which patients may benefit from resection, however, remains challenging. Some microRNAs (miRNAs) become deregulated in cancers and contribute to cancer progression. We hypothesized that miRNA expression can serve as a prognostic marker of survival after CRLM resection.ResultsMiR-203 was significantly overexpressed in tumors of short-term survivors compared to long-term survivors. R1/R2 margin status and high clinical risk score (CRS) were also significantly associated with short-term survival (both p = 0.001). After adjusting for these variables, higher miR-203 expression remained an independent predictor of shorter survival (p = 0.010). In the serum cohort, high CRS and KRAS mutation were significantly associated with short-term survival (p = 0.005 and p = 0.026, respectively). After adjusting for CRS and KRAS status, short-term survivors were found to have significantly higher miR-203 levels (p = 0.016 and p = 0.033, respectively).Materials and methodsWe employed next-generation sequencing of small-RNAs to profile miRNAs in solid tumors obtained from 38 patients who underwent hepatectomy for CRLM. To validate, quantitative reverse-transcription polymerase chain reaction (qRT-PCR) was performed on 91 tumor samples and 46 preoperative serum samples.ConclusionsAfter CRLM resection, short-term survivors exhibited significantly higher miR-203 levels relative to long-term survivors. MiR-203 may serve as a prognostic biomarker and its prognostic capacity warrants further investigation

Molecular astronomy of cool stars and sub-stellar objects

The optical and infrared spectra of a wide variety of `cool' astronomical objects including the Sun, sunspots, K-, M- and S-type stars, carbon stars, brown dwarfs and extrasolar planets are reviewed. The review provides the necessary astronomical background for chemical physicists to understand and appreciate the unique molecular environments found in astronomy. The calculation of molecular opacities needed to simulate the observed spectral energy distributions is discussed

Illusory perceptions of space and time preserve cross-saccadic perceptual continuity

When voluntary saccadic eye movements are made to a silently ticking clock, observers sometimes think that the second hand takes longer than normal to move to its next position. For a short period, the clock appears to have stopped (chronostasis). Here we show that the illusion occurs because the brain extends the percept of the saccadic target backwards in time to just before the onset of the saccade. This occurs every time we move the eyes but it is only perceived when an external time reference alerts us to the phenomenon. The illusion does not seem to depend on the shift of spatial attention that accompanies the saccade. However, if the target is moved unpredictably during the saccade, breaking perception of the target's spatial continuity, then the illusion disappears. We suggest that temporal extension of the target's percept is one of the mechanisms that 'fill in' the perceptual 'gap' during saccadic suppression. The effect is critically linked to perceptual mechanisms that identify a target's spatial stability

A Meta-Brokering Framework for Science Gateways

Recently scientific communities produce a growing number of computation-intensive applications, which calls for the interoperation of distributed infrastructures including Clouds, Grids and private clusters. The European SHIWA and ER-flow projects have enabled the combination of heterogeneous scientific workflows, and their execution in a large-scale system consisting of multiple Distributed Computing Infrastructures. One of the resource management challenges of these projects is called parameter study job scheduling. A parameter study job of a workflow generally has a large number of input files to be consumed by independent job instances. In this paper we propose a meta-brokering framework for science gateways to support the execution of such workflows. In order to cope with the high uncertainty and unpredictable load of the utilized distributed infrastructures, we introduce the so called resource priority services. These tools are capable of determining and dynamically updating priorities of the available infrastructures to be selected for job instances. Our evaluations show that this approach implies an efficient distribution of job instances among the available computing resources resulting in shorter makespan for parameter study workflows

Bistability in Apoptosis by Receptor Clustering

Apoptosis is a highly regulated cell death mechanism involved in many physiological processes. A key component of extrinsically activated apoptosis is the death receptor Fas, which, on binding to its cognate ligand FasL, oligomerize to form the death-inducing signaling complex. Motivated by recent experimental data, we propose a mathematical model of death ligand-receptor dynamics where FasL acts as a clustering agent for Fas, which form locally stable signaling platforms through proximity-induced receptor interactions. Significantly, the model exhibits hysteresis, providing an upstream mechanism for bistability and robustness. At low receptor concentrations, the bistability is contingent on the trimerism of FasL. Moreover, irreversible bistability, representing a committed cell death decision, emerges at high concentrations, which may be achieved through receptor pre-association or localization onto membrane lipid rafts. Thus, our model provides a novel theory for these observed biological phenomena within the unified context of bistability. Importantly, as Fas interactions initiate the extrinsic apoptotic pathway, our model also suggests a mechanism by which cells may function as bistable life/death switches independently of any such dynamics in their downstream components. Our results highlight the role of death receptors in deciding cell fate and add to the signal processing capabilities attributed to receptor clustering.Comment: Accepted by PLoS Comput Bio

Extreme enriched and heterogeneous ⁸⁷Sr/⁸⁶Sr ratios recorded in magmatic plagioclase from the Samoan hotspot

We report the major-element, trace-element, and 87Sr/86Sr compositions of six plagioclase crystals from two Samoan lavas with extreme EM2 isotopic compositions (ALIA-115-18 with whole-rock 87Sr/86Sr of 0.718592, and ALIA-115-21 with whole-rock 87Sr/86Sr of 0.720469). We employed laser-ablation split-stream mass spectrometry (LASS) to simultaneously measure 87Sr/86Sr ratios, major-element concentrations, and trace-element concentrations in the same plagioclase crystal volume. We find that two plagioclase crystals have extreme 87Sr/86Sr heterogeneity in excess of 5000 ppm (where ppm of 87Sr/Sr variability86=106⋅[Sr/8687Srmax−87Sr/86Srmin]/87Sr/86Sravg). In two of the plagioclase crystals, we identify the highest 87Sr/86Sr ratios (0.7224) ever measured in any fresh, mantle-derived ocean island basalt (OIB) or OIB-hosted mineral phase.We find that in 87Sr/86Sr-versus-Sr concentration space, the six plagioclase crystals overlap in a “common component” region with higher 87Sr/86Sr than has been previously identified in whole-rock Samoan lavas or mineral separates. We use the occurrence of olivine mineral inclusions (Fo=74.5±0.8, 2 SD) in the high-87Sr/86Sr zone of one plagioclase crystal to infer the bulk composition (Mg#=46.8±0.8, 2 SD) of the extreme EM2 magma from which the olivine and high-87Sr/86Sr plagioclase crystallized. We argue that a relatively evolved EM2 endmember magma mixed with at least one lower-87Sr/86Sr melt to generate the observed intra-crystal plagioclase isotopic heterogeneity.By inferring that subducted terrigenous sediment gives rise to EM2 signatures in Samoan lavas, we estimate that the quantity of sediment necessary to generate the most-elevated 87Sr/86Sr ratios observed in the Samoan plagioclase is ∼7% of the mantle source. We also estimate that sediment subduction into the mantle over geologic time has generated a sediment domain that constitutes 0.02% of the mass of the mantle, a much lower proportion than required in the EM2 mantle source. Even if subducted sediment is concentrated in large low-shear-velocity provinces (LLSVPs) at the base of the mantle (which constitute up to 7.7% of the mantle's mass), then only 0.25% of the LLSVPs are composed of sediment. This requires that the distribution of subducted sediment in the mantle is heterogeneous, and the high relative abundance of sediment in the Samoan EM2 mantle is an anomalous relic of ancient subduction that has survived convective attenuation

Dopamine transporter (DAT1) and dopamine receptor D4 (DRD4) genotypes differentially impact on electrophysiological correlates of error processing

Peer reviewedPublisher PD

Periodontal disease in a patient receiving Bevacizumab: a case report

<p>Abstract</p> <p>Introduction</p> <p>Bevacizumab is a monoclonal antibody that inhibits the action of vascular endothelial growth factor (VEGF) thereby acting as an angiogenesis inhibitor. As a result, supply of oxygen and nutrients to tissues is impaired and tumour cell growth is reduced. Reported side effects due to bevacizumab are hypertension and increased risk of bleeding. Bowel perforation has also been reported. Periodontal disease in patients on bevacizumab therapy has not been reported before.</p> <p>Case Presentation</p> <p>We report a case of a forty-three year old woman who developed periodontitis whilst receiving bevacizumab for lung cancer. The periodontal disease remained stable on discontinuation of the drug.</p> <p>Conclusion</p> <p>Further investigations are needed to determine the mechanism for bevacizumab-induced periodontal disease.</p

The Patients Assessment Chronic Illness Care (PACIC) questionnaire in The Netherlands: a validation study in rural general practice

BACKGROUND: Many patients with chronic illness receive health care in primary care settings, so a challenge is to provide well-structured chronic care in these settings. Our aim was to develop and test a Dutch version of the PACIC questionnaire, a measure for patient reported structured chronic care. METHODS: Observational study in 165 patients with diabetes or COPD from four general practices (72% response rate). Patients completed a written questionnaire, which included instruments for assessing chronic illness care (PACIC), evaluations of general practice (Europep), enablement (PEI), and individual characteristics. RESULTS: The patients had a mean age of 68.0 years and 47% comprised of women. Twenty-two to 35% of responding patients did not provide answers to specific items in the PACIC. In 11 items the lowest answering category was used by 30% or more of the responders and in 6 items the highest answering category was used by this number of responders. Principal factor analysis identified the previously defined five domains reasonably well. Cronbach's alpha per domain varied from 0.71 to 0.83, and the intraclass coefficient from 0.66 to 0.91. Diabetes patients reported higher presence of structured chronic care for 14 out of the 20 PACIC items. The effect of patient evaluations of general practice on the PACIC score was positive (b = 0.72, p < 0.004), but the effect of patient enablement on the PACIC score was negative (b = -1.13, p < 0.000). CONCLUSION: A translated and validated Dutch version of the PACIC questionnaire is now available. Further research on its validity is recommended