3,607 research outputs found
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
In this paper, we discuss the feasibility of monitoring partially synchronous
distributed systems to detect latent bugs, i.e., errors caused by concurrency
and race conditions among concurrent processes. We present a monitoring
framework where we model both system constraints and latent bugs as
Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of
latent bugs using an SMT solver. We demonstrate the feasibility of our
framework using both synthetic applications where latent bugs occur at any time
with random probability and an application involving exclusive access to a
shared resource with a subtle timing bug. We illustrate how the time required
for verification is affected by parameters such as communication frequency,
latency, and clock skew. Our results show that our framework can be used for
real-life applications, and because our framework uses SMT solvers, the range
of appropriate applications will increase as these solvers become more
efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime
Verification (RV) 201
Recommended from our members
Ultrafast modulation of the chemical potential in BaFe2As2 by coherent phonons
Time- and angle-resolved extreme ultraviolet photoemission spectroscopy is used to study the electronic structure dynamics in BaFe2As2 around the high-symmetry points Γ and M. A global oscillation of the Fermi level at the frequency of the A1g(As) phonon mode is observed. It is argued that this behavior reflects a modulation of the effective chemical potential in the photoexcited surface region that arises from the high sensitivity of the band structure near the Fermi level to the A1g(As) phonon mode combined with a low electron diffusivity perpendicular to the layers. The results establish a novel way to tune the electronic properties of iron pnictides: coherent control of the effective chemical potential. The results further suggest that the equilibration time for the effective chemical potential needs to be considered in the ultrafast electronic structure dynamics of materials with weak interlayer coupling. © 2014 American Physical Society
Incoherent non-Fermi liquid scattering in a Kondo lattice
One of the most notorious non-Fermi liquid properties of both archetypal
heavy-fermion systems [1-4] and the high-Tc copper oxide superconductors [5] is
an electrical resistivity that evolves linearly with temperature, T. In the
heavy-fermion superconductor CeCoIn5 [5], this linear behaviour was one of the
first indications of the presence of a zero-temperature instability, or quantum
critical point. Here, we report the observation of a unique control parameter
of T-linear scattering in CeCoIn5, found through systematic chemical
substitutions of both magnetic and non-magnetic rare-earth, R, ions into the Ce
sub-lattice. We find that the evolution of inelastic scattering in Ce1-xRxCoIn5
is strongly dependent on the f-electron configuration of the R ion, whereas two
other key properties -- Cooper-pair breaking and Kondo-lattice coherence -- are
not. Thus, T-linear resistivity in CeCoIn5 is intimately related to the nature
of incoherent scattering centers in the Kondo lattice, which provides insight
into the anomalous scattering rate synonymous with quantum criticality [7].Comment: 4 pages, 3 figures (published version
Genome-wide association studies and genetic architecture of common human diseases
Genome-wide association scans provide the first successful method to identify genetic variation contributing to risk for common complex disease. Progress in identifying genes associated with melanoma show complex relationships between genes for pigmentation and the development of melanoma. Novel risk loci account for only a small fraction of the genetic variation contributing to this and many other diseases. Large meta-analyses find additional variants, but there is current debate about the contribution of common polymorphisms, rare polymorphisms or mutations to disease risk
Mirroring everyday clinical practice in clinical trial design: a new concept to improve the external validity of randomized double-blind placebo-controlled trials in the pharmacological treatment of major depression
Background: Randomized, double-blind, placebo-controlled trials constitute the gold standard in clinical research when testing the efficacy of new psychopharmacological interventions in the treatment of major depression. However, the blinded use of placebo has been found to influence clinical trial outcomes and may bias patient
selection.
Discussion: To improve clinical trial design in major depression so as to reflect clinical practice more closely we propose to present patients with a balanced view of the benefits of study participation irrespective of their assignment to placebo or active treatment. In addition every participant should be given the option to finally
receive the active medication. A research agenda is outlined to evaluate the impact of the proposed changes on the efficacy of the drug to be evaluated and on the demographic and clinical characteristics of the enrollment fraction with regard to its representativeness of the eligible population.
Summary: We propose a list of measures to be taken to improve the external validity of double-blind, placebocontrolled trials in major depression. The recommended changes to clinical trial design may also be relevant for other psychiatric as well as medical disorders in which expectations regarding treatment outcome may affect the
outcome itself
Effects of beta-alanine supplementation on brain homocarnosine/carnosine signal and cognitive function: an exploratory study
Objectives: Two independent studies were conducted to examine the effects of 28 d of beta-alanine supplementation at 6.4 g d-1 on brain homocarnosine/carnosine signal in omnivores and vegetarians (Study 1) and on cognitive function before and after exercise in trained cyclists (Study 2). Methods: In Study 1, seven healthy vegetarians (3 women and 4 men) and seven age- and sex-matched omnivores undertook a brain 1H-MRS exam at baseline and after beta-alanine supplementation. In study 2, nineteen trained male cyclists completed four 20-Km cycling time trials (two pre supplementation and two post supplementation), with a battery of cognitive function tests (Stroop test, Sternberg paradigm, Rapid Visual Information Processing task) being performed before and after exercise on each occasion. Results: In Study 1, there were no within-group effects of beta-alanine supplementation on brain homocarnosine/carnosine signal in either vegetarians (p = 0.99) or omnivores (p = 0.27); nor was there any effect when data from both groups were pooled (p = 0.19). Similarly, there was no group by time interaction for brain homocarnosine/carnosine signal (p = 0.27). In study 2, exercise improved cognitive function across all tests (P0.05) of beta-alanine supplementation on response times or accuracy for the Stroop test, Sternberg paradigm or RVIP task at rest or after exercise. Conclusion: 28 d of beta-alanine supplementation at 6.4g d-1 appeared not to influence brain homocarnosine/ carnosine signal in either omnivores or vegetarians; nor did it influence cognitive function before or after exercise in trained cyclists
Histopathological changes in the human larynx following expanded polytetrafluroethylene (Gore-Tex(®)) implantation
BACKGROUND: Expanded polytetrafluroethelyne (e PTFE, Gore-Tex(®)) has been advocated as an implant material for medialization of the vocal fold. Animal studies involving rabbits and a porcine model have demonstrated host tolerance of the implant. There have been no reports describing the histological changes in a human laryngectomy specimen with a Gore-Tex implant. CASE PRESENTATION: The histological findings in a laryngectomy specimen of a patient previously implanted with e PTFE for medialization of a paralyzed vocal fold following excision of a vagal neurofibroma were studied. Histopathology revealed a mild foreign-body giant cell granulomatous reaction with some associated fibrosis. The granulomatous response was limited to the periphery of the Gore-Tex and although it closely followed the profile of the material it did not encroach into or significantly break up the material. There was no significant neutrophilic or lymphocytic inflammation. CONCLUSIONS: Our findings are consistent with the animal models confirming that Gore-Tex implantation does not result in a significant granulomatous reaction in the human larynx over a 13-month period. Moreover, there is no evidence of resorption or infection. Further, the lack of lymphocytes in association with the granulomas indicates that there is no significant immunological hypersensitivity. Histologically, the slight permeation by connective tissue is similar to that seen in Gore-Tex vascular and cardiac implants. The degree of the slight giant cell response appears to be dependent on the profile of the material; a sharp edge incited more of a response than a flat surface
Leser-Trélat syndrome in patients affected by six multiple metachronous primitive cancers
Leser-Trélat syndrome is characterized by the eruptive appearance of multiple seborrheic keratoses in association with underlying malignant disease. Usually, the sign of Leser-Trélat is associated with adenocarcinoma, most frequently of the colon, breast, or stomach, but also of the lung, kidney, liver, and pancreas. Herein, we present a case that we believe is the first report of the sign of Leser-Trélat in association with occult gastric adenocarcinoma and the anamnestic oncologic history of five other multiple primitive cancers. Epidermal growth factor receptor (EGFR) immunohistochemical expression analysis of multiple seborrheic keratoses revealed an intense membranous staining in the basal keratinocytes and in all the upper epidermal layers. Patients with the sign of Leser-Trélat should undergo a diagnostic screening programme for malignant disease along with patients with known Leser-Trélat syndrome who present with a recent acute and florid eruption of their seborrheic keratoses. We propose the importance of combining the molecular features of multiple seborrheic keratoses with EGFR immunohistochemistry analyses to determine the likelihood of Leser-Trélat syndrome and the consequent high risk of underlying multiple visceral malignancies
A treatment study of canine symmetrical onychomadesis (symmetrical lupoid onychodystrophy) comparing fish oil and cyclosporine supplementation in addition to a diet rich in omega-3 fatty acids
The effect of prior statin use on 30-day mortality for patients hospitalized with community-acquired pneumonia
BACKGROUND: Recent studies suggest that HMG-CoA reductase inhibitors ("statins") may have beneficial effects for patients at risk for some types of infections. We examined the effect of prior outpatient use of statins on mortality for patients hospitalized with community-acquired pneumonia. METHODS: A retrospective cohort study conducted at two tertiary teaching hospitals. Eligible subjects were admitted with a diagnosis of, had a chest x-ray consistent with, and had a discharge ICD-9 diagnosis of pneumonia. Subjects were excluded if they were "comfort measures only" or transferred from another acute care hospital. Subjects were considered to be on a medication if they were taking it at the time of presentation. RESULTS: Data was abstracted on 787 subjects at the two hospitals. Mortality was 9.2% at 30-days and 13.6% at 90-days. At presentation 52% of subjects were low risk, 34% were moderate risk, and 14% were high risk based on the pneumonia severity index. In the multivariable regression analysis, after adjusting for potential confounders including a propensity score, the use of statins at presentation (odds ratio 0.36, 95% confidence interval 0.14–0.92) was associated with decreased 30-day mortality. DISCUSSION: Prior outpatient statin use was associated with decreased mortality in patients hospitalized with community-acquired pneumonia despite their use being associated with comorbid illnesses likely to contribute to increased mortality. Confirmatory studies are needed, as well as research to determine the mechanism(s) of this protective effect
- …