68 research outputs found

    Comment on ``Two Time Scales and Violation of the Fluctuation-Dissipation Theorem in a Finite Dimensional Model for Structural Glasses''

    Get PDF
    In cond-mat/0002074 Ricci-Tersenghi et al. find two linear regimes in the fluctuation-dissipation relation between density-density correlations and associated responses of the Frustrated Ising Lattice Gas. Here we show that this result does not seem to correspond to the equilibrium quantities of the model, by measuring the overlap distribution P(q) of the density and comparing the FDR expected on the ground of the P(q) with the one measured in the off-equilibrium experiments.Comment: RevTeX, 1 page, 2 eps figures, Comment on F. Ricci-Tersenghi et al., Phys. Rev. Lett. 84, 4473 (2000

    Lack of effect of lowering LDL cholesterol on cancer: meta-analysis of individual data from 175,000 people in 27 randomised trials of statin therapy

    Get PDF
    <p>Background: Statin therapy reduces the risk of occlusive vascular events, but uncertainty remains about potential effects on cancer. We sought to provide a detailed assessment of any effects on cancer of lowering LDL cholesterol (LDL-C) with a statin using individual patient records from 175,000 patients in 27 large-scale statin trials.</p> <p>Methods and Findings: Individual records of 134,537 participants in 22 randomised trials of statin versus control (median duration 4.8 years) and 39,612 participants in 5 trials of more intensive versus less intensive statin therapy (median duration 5.1 years) were obtained. Reducing LDL-C with a statin for about 5 years had no effect on newly diagnosed cancer or on death from such cancers in either the trials of statin versus control (cancer incidence: 3755 [1.4% per year [py]] versus 3738 [1.4% py], RR 1.00 [95% CI 0.96-1.05]; cancer mortality: 1365 [0.5% py] versus 1358 [0.5% py], RR 1.00 [95% CI 0.93–1.08]) or in the trials of more versus less statin (cancer incidence: 1466 [1.6% py] vs 1472 [1.6% py], RR 1.00 [95% CI 0.93–1.07]; cancer mortality: 447 [0.5% py] versus 481 [0.5% py], RR 0.93 [95% CI 0.82–1.06]). Moreover, there was no evidence of any effect of reducing LDL-C with statin therapy on cancer incidence or mortality at any of 23 individual categories of sites, with increasing years of treatment, for any individual statin, or in any given subgroup. In particular, among individuals with low baseline LDL-C (<2 mmol/L), there was no evidence that further LDL-C reduction (from about 1.7 to 1.3 mmol/L) increased cancer risk (381 [1.6% py] versus 408 [1.7% py]; RR 0.92 [99% CI 0.76–1.10]).</p> <p>Conclusions: In 27 randomised trials, a median of five years of statin therapy had no effect on the incidence of, or mortality from, any type of cancer (or the aggregate of all cancer).</p&gt

    Modelling and Verification of Timed Robotic Controllers

    Get PDF
    Designing robotic systems can be very challenging, yet controllers are often specified using informal notations with development driven primarily by simulations and physical experiments, without relation to abstract models of requirements. The ability to perform formal analysis and replicate results across different robotic platforms is hindered by the lack of well-defined formal notations. In this paper we present a timed state-machine based formal notation for robotics that is informed by current practice. We motivate our work with an example from swarm robotics and define a compositional CSP-based discrete timed semantics suitable for refinement. Our results support verification and, importantly, enable rigorous connection with sound simulations and deployments.</p

    Managing online self-adaptation in real-time environments

    No full text
    Abstract. This paper provides a solution to the deliberation scheduling problem for self-adaptive hard real time intelligent control using the Self-Adaptive Cooperative Intelligent Real-Time Control Architecture (SA-CIRCA). For self-adaptive software, deliberation scheduling is the problem of deciding what aspects of the artifact should be improved, what methods of improvement should be chosen, and how much time should be devoted to each of these activities. The time spent in deliberation scheduling must be carefully controlled because it is time not available for the primary self-adaptation task. We provide a Markov Decision Process (MDP) model for deliberation scheduling in SA-CIRCA. Directly solving this MDP is not feasible for even relatively modest domains. We provide a polynomial time greedy (myopic) approximation algorithm. We evaluate this approximation against a “gold-standard ” provided by the dynamic programming (value iteration) algorithm for MDPs. Our experimental results show that the approximation produces competitive solutions very quickly.

    Immunonephelometric Determination of the Apolipoprotein A-II

    No full text
    • 

    corecore