360 research outputs found

    Vibronic resonances facilitate excited state coherence in light harvesting proteins at room temperature

    Full text link
    Until recently it was believed that photosynthesis, a fundamental process for life on earth, could be fully understood with semi-classical models. However, puzzling quantum phenomena have been observed in several photosynthetic pigment-protein complexes, prompting questions regarding the nature and role of these effects. Recent attention has focused on discrete vibrational modes that are resonant or quasi-resonant with excitonic energy splittings and strongly coupled to these excitonic states. Here we unambiguously identify excited state coherent superpositions in photosynthetic light-harvesting complexes using a new experimental approach. Decoherence on the timescale of the excited state lifetime allows low energy (56 cm-1) oscillations on the signal intensity to be observed. In conjunction with an appropriate model, these oscillations provide clear and direct experimental evidence that the persistent coherences observed require strong vibronic mixing among excited states

    Analysis of a gossip protocol in PRISM

    Full text link

    On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

    Full text link
    This paper presents an on-the-fly uniformization technique for the analysis of time-inhomogeneous Markov population models. This technique is applicable to models with infinite state spaces and unbounded rates, which are, for instance, encountered in the realm of biochemical reaction networks. To deal with the infinite state space, we dynamically maintain a finite subset of the states where most of the probability mass is located. This approach yields an underapproximation of the original, infinite system. We present experimental results to show the applicability of our technique

    Subgenual activation and the finger of blame: individual differences and depression vulnerability.

    Get PDF
    BACKGROUND: Subgenual cingulate cortex (SCC) responses to self-blaming emotion-evoking stimuli were previously found in individuals prone to self-blame with and without a history of major depressive disorder (MDD). This suggested SCC activation reflects self-blaming emotions such as guilt, which are central to models of MDD vulnerability. METHOD: Here, we re-examined these hypotheses in an independent larger sample. A total of 109 medication-free participants (70 with remitted MDD and 39 healthy controls) underwent fMRI whilst judging self- and other-blaming emotion-evoking statements. They also completed validated questionnaires of proneness to self-blaming emotions including those related to internal (autonomy) and external (sociotropy) evaluation, which were subjected to factor analysis. RESULTS: An interaction between group (remitted MDD v. Control) and condition (self- v. other-blame) was observed in the right SCC (BA24). This was due to higher SCC signal for self-blame in remitted MDD and higher other-blame-selective activation in Control participants. Across the whole sample, extracted SCC activation cluster averages for self- v. other-blame were predicted by a regression model which included the reliable components derived from our factor analysis of measures of proneness to self-blaming emotions. Interestingly, this prediction was solely driven by autonomy/self-criticism, and adaptive guilt factors, with no effect of sociotropy/dependency. CONCLUSIONS: Despite confirming the prediction of SCC activation in self-blame-prone individuals and those vulnerable to MDD, our results suggest that SCC activation reflects blame irrespective of where it is directed rather than selective for self. We speculate that self-critical individuals have more extended SCC representations for blame in the context of self-agency

    QuantUM: Quantitative Safety Analysis of UML Models

    Full text link
    When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.Comment: In Proceedings QAPL 2011, arXiv:1107.074

    Seasonal pattern of incidence and outcome of acute kidney injury: A national study of Welsh AKI electronic alerts

    Get PDF
    Objectives To identify any seasonal variation in the occurrence of, and outcome following Acute Kidney Injury. Methods The study utilised the biochemistry based AKI electronic (e)-alert system established across the Welsh National Health Service to collect data on all AKI episodes to identify changes in incidence and outcome over one calendar year (1st October 2015 and the 30th September 2016). Results There were total of 48 457 incident AKI alerts. The highest proportion of AKI episodes was seen in the quarter of January to March (26.2%), and the lowest in the quarter of October to December (23.3%, P < .001). The same trend was seen for both community-acquired and hospital-acquired AKI sub-sets. Overall 90 day mortality for all AKI was 27.3%. In contrast with the seasonal trend in AKI occurrence, 90 day mortality after the incident AKI alert was significantly higher in the quarters of January to March and October to December compared with the quarters of April to June and July to September (P < .001) consistent with excess winter mortality reported for likely underlying diseases which precipitate AKI. Conclusions In summary we report for the first time in a large national cohort, a seasonal variation in the incidence and outcomes of AKI. The results demonstrate distinct trends in the incidence and outcome of AKI

    Experimental investigation of the influence of supply temperature and supply pressure on the performance of a two axial groove hydrodynamic journal bearing

    Get PDF
    An experimental study of the influence of oil supply temperature and supply pressure on the performance of a 100mm plain journal bearing with two axial grooves located at ±90º to the load line was carried out. The hydrodynamic pressure at the mid-plane of the bearing, temperature profiles at the oil-bush and oil-shaft interfaces, bush torque, oil flow rate, and the position of the shaft were measured for variable operating conditions. Shaft rotational speed ranged from 1000 to 4000rpm and two different values of applied load were tested (2kN and 10kN). The supply temperature ranged from 35 to 50ºC, whereas the oil supply pressure range was 70kPa to 210kPa. Bearing performance is strongly dependent on the supply conditions. It was found that the existence of the downstream groove significantly affects the temperature profile at the oil-bush interface except for the low load, low feeding pressure cases, where the cooling effect of the upstream groove is significant. Feeding temperature has a strong effect on the minimum film thickness. The increase in maximum temperature is significantly lower than the corresponding increase in supply temperature. Increases in supply pressure lead to a significant rise in oil flow rate but have little effect on the maximum temperature and power-loss, except in the case of the lightly-loaded bearing. Shaft temperature was found to be close to the bearing maximum temperature for low applied loads, being significantly smaller than this value for high loads. The mean shaft temperature is only significantly higher than the outlet temperature at high shaft speeds

    Inflammation-driven bone formation in a mouse model of ankylosing spondylitis: sequential not parallel processes

    Get PDF
    Background\ud \ud Ankylosing spondylitis (AS) is an immune-mediated arthritis particularly targeting the spine and pelvis and is characterised by inflammation, osteoproliferation and frequently ankylosis. Current treatments that predominately target inflammatory pathways have disappointing efficacy in slowing disease progression. Thus, a better understanding of the causal association and pathological progression from inflammation to bone formation, particularly whether inflammation directly initiates osteoproliferation, is required.\ud \ud Methods\ud \ud The proteoglycan-induced spondylitis (PGISp) mouse model of AS was used to histopathologically map the progressive axial disease events, assess molecular changes during disease progression and define disease progression using unbiased clustering of semi-quantitative histology. PGISp mice were followed over a 24-week time course. Spinal disease was assessed using a novel semi-quantitative histological scoring system that independently evaluated the breadth of pathological features associated with PGISp axial disease, including inflammation, joint destruction and excessive tissue formation (osteoproliferation). Matrix components were identified using immunohistochemistry.\ud \ud Results\ud \ud Disease initiated with inflammation at the periphery of the intervertebral disc (IVD) adjacent to the longitudinal ligament, reminiscent of enthesitis, and was associated with upregulated tumor necrosis factor and metalloproteinases. After a lag phase, established inflammation was temporospatially associated with destruction of IVDs, cartilage and bone. At later time points, advanced disease was characterised by substantially reduced inflammation, excessive tissue formation and ectopic chondrocyte expansion. These distinct features differentiated affected mice into early, intermediate and advanced disease stages. Excessive tissue formation was observed in vertebral joints only if the IVD was destroyed as a consequence of the early inflammation. Ectopic excessive tissue was predominantly chondroidal with chondrocyte-like cells embedded within collagen type II- and X-rich matrix. This corresponded with upregulation of mRNA for cartilage markers Col2a1, sox9 and Comp. Osteophytes, though infrequent, were more prevalent in later disease.\ud \ud Conclusions\ud \ud The inflammation-driven IVD destruction was shown to be a prerequisite for axial disease progression to osteoproliferation in the PGISp mouse. Osteoproliferation led to vertebral body deformity and fusion but was never seen concurrent with persistent inflammation, suggesting a sequential process. The findings support that early intervention with anti-inflammatory therapies will be needed to limit destructive processes and consequently prevent progression of AS

    A Stochastic Broadcast Pi-Calculus

    Get PDF
    In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.Comment: In Proceedings QAPL 2011, arXiv:1107.074
    • …
    corecore