439 research outputs found
Counterexample Generation in Probabilistic Model Checking
Providing evidence for the refutation of a property is an essential, if not the most important, feature of model checking. This paper considers algorithms for counterexample generation for probabilistic CTL formulae in discrete-time Markov chains. Finding the strongest evidence (i.e., the most probable path) violating a (bounded) until-formula is shown to be reducible to a single-source (hop-constrained) shortest path problem. Counterexamples of smallest size that deviate most from the required probability bound can be obtained by applying (small amendments to) k-shortest (hop-constrained) paths algorithms. These results can be extended to Markov chains with rewards, to LTL model checking, and are useful for Markov decision processes. Experimental results show that typically the size of a counterexample is excessive. To obtain much more compact representations, we present a simple algorithm to generate (minimal) regular expressions that can act as counterexamples. The feasibility of our approach is illustrated by means of two communication protocols: leader election in an anonymous ring network and the Crowds protocol
Wrinkling hierarchy in constrained thin sheets from suspended graphene to curtains
We show that thin sheets under boundary confinement spontaneously generate a
universal self-similar hierarchy of wrinkles. From simple geometry arguments
and energy scalings, we develop a formalism based on wrinklons, the transition
zone in the merging of two wrinkles, as building-blocks of the global pattern.
Contrary to the case of crumple paper where elastic energy is focused, this
transition is described as smooth in agreement with a recent numerical work.
This formalism is validated from hundreds of nm for graphene sheets to meters
for ordinary curtains, which shows the universality of our description. We
finally describe the effect of an external tension to the distribution of the
wrinkles.Comment: 7 pages, 4 figures, added references, submitted for publicatio
Diagnostic Utility of C4d by Direct Immunofluorescence in Bullous Pemphigoid
ABSTRACT: Bullous pemphigoid (BP) is an autoimmune blistering disease that commonly affects elderly patients. Direct immunofluorescence (DIF) for immunoglobulin G (IgG) and C3c on frozen skin biopsies is the gold standard for the diagnosis of BP. In a minority of cases, IgG and/or C3c are found negative, and in these situations, there is a need for a more stable diagnostic marker of BP. C4d is biologically inactive, but has a long half-life, rendering it a long-lived marker for antibody-mediated complement activation. Previous studies already demonstrated that C4d was diagnostically useful in formalin-fixed paraffin-embedded skin biopsies of patients with BP. We hypothesized that C4d detected by DIF could also be a promising diagnostic marker for BP, particularly in IgG and/or C3c DIF-negative cases. In this single-center retrospective study, 69 cases of BP were analyzed for linear deposition of C4d; of the 69 cases, n = 26 were IgG+/C3c-, n = 10 IgG+/C3c+, and n = 33 IgG-/C3c-. Results were compared with n = 39 negative controls. Seven of the 26 (27%) IgG+/C3c- and 3 of the 33 (9%) IgG-/C3c- BP cases were positive for C4d. All 10 IgG+/C3c+ cases were also C4d positive. In the negative control group, 2 of the 39 (5%) were found positive for C4d. In conclusion, the current study shows that C4d is a more sensitive but not a 100% specific marker of BP. We conclude that C4d by DIF could be an interesting diagnostic adjunct for BP, particularly in IgG-/C3c- double negative cases
Dynamic Monte Carlo Measurement of Critical Exponents
Based on the scaling relation for the dynamics at the early time, a new
method is proposed to measure both the static and dynamic critical exponents.
The method is applied to the two dimensional Ising model. The results are in
good agreement with the existing results. Since the measurement is carried out
in the initial stage of the relaxation process starting from independent
initial configurations, our method is efficient.Comment: (5 pages, 1 figure) Siegen Si-94-1
Impact of Renal Impairment on Beta-Blocker Efficacy in Patients With Heart Failure.
BACKGROUND: Moderate and moderately severe renal impairment are common in patients with heart failure and reduced ejection fraction, but whether beta-blockers are effective is unclear, leading to underuse of life-saving therapy. OBJECTIVES: This study sought to investigate patient prognosis and the efficacy of beta-blockers according to renal function using estimated glomerular filtration rate (eGFR). METHODS: Analysis of 16,740 individual patients with left ventricular ejection fraction <50% from 10 double-blind, placebo-controlled trials was performed. The authors report all-cause mortality on an intention-to-treat basis, adjusted for baseline covariates and stratified by heart rhythm. RESULTS: Median eGFR at baseline was 63 (interquartile range: 50 to 77) ml/min/1.73 m2; 4,584 patients (27.4%) had eGFR 45 to 59 ml/min/1.73 m2, and 2,286 (13.7%) 30 to 44 ml/min/1.73 m2. Over a median follow-up of 1.3 years, eGFR was independently associated with mortality, with a 12% higher risk of death for every 10 ml/min/1.73 m2 lower eGFR (95% confidence interval [CI]: 10% to 15%; p < 0.001). In 13,861 patients in sinus rhythm, beta-blockers reduced mortality versus placebo; adjusted hazard ratio (HR): 0.73 for eGFR 45 to 59 ml/min/1.73 m2 (95% CI: 0.62 to 0.86; p < 0.001) and 0.71 for eGFR 30 to 44 ml/min/1.73 m2 (95% CI: 0.58 to 0.87; p = 0.001). The authors observed no deterioration in renal function over time in patients with moderate or moderately severe renal impairment, no difference in adverse events comparing beta-blockers with placebo, and higher mortality in patients with worsening renal function on follow-up. Due to exclusion criteria, there were insufficient patients with severe renal dysfunction (eGFR <30 ml/min/1.73 m2) to draw conclusions. In 2,879 patients with atrial fibrillation, there was no reduction in mortality with beta-blockers at any level of eGFR. CONCLUSIONS: Patients with heart failure, left ventricular ejection fraction <50% and sinus rhythm should receive beta-blocker therapy even with moderate or moderately severe renal dysfunction
Individual responses to novel predation risk and the emergence of a landscape of fear
Elucidating changes in prey behavior in response to a novel predator is key to understanding how individuals acclimate to shifting predation regimes. Such responses are predicted to vary among individuals as a function of the level of risk to which individuals are exposed, temporal changes in risk, and landscape‐mediated changes in perceived risk. We tested how GPS‐tracked moose (Alces alces, n = 19) responded to an emerging risk landscape with the introduction of hunting to a naïve population (large‐scale reduction experiment in Gros Morne National Park, Canada). We predicted that predation risk associated with hunters would influence moose habitat selection: Avoidance responses would be stronger during the day when hunting was allowed, and moose would learn to avoid risky locations which would strengthen in successive years for survivors occupying overall riskier home ranges. We found that moose avoided areas associated with a high risk of encounters with hunters but did not alter selection patterns between day and night. We did not find evidence of moose reacting more strongly to emerging risk as a function of risk within their home range. Moose did not increase their avoidance of areas associated with hunter risk across years but over time survivors selected non‐hunted refuge areas more frequently. Our results suggest that while moose did not adjust fine‐scale habitat selection through time to increased hunting risk, they did adjust selection at broader scales (based on proportions of hunter‐free habitat included in home range relative to study area). This finding supports the hypothesis that habitat selection at larger spatio‐temporal scales may reflect behavioral responses to a population’s most important limiting factors, which may not be apparent at finer scales
Finite Size Scaling and Critical Exponents in Critical Relaxation
We simulate the critical relaxation process of the two-dimensional Ising
model with the initial state both completely disordered or completely ordered.
Results of a new method to measure both the dynamic and static critical
exponents are reported, based on the finite size scaling for the dynamics at
the early time. From the time-dependent Binder cumulant, the dynamical exponent
is extracted independently, while the static exponents and
are obtained from the time evolution of the magnetization and its higher
moments.Comment: 24 pages, LaTeX, 10 figure
Structured analysis of histopathological characteristics of vulvar lichen sclerosus in a juvenile population
Genital lichen sclerosus (LS), a chronic noninfectious dermatosis, is not rare in pediatric
dermatology. The histopathological diagnosis in children and adults in both genital and nongenital
LS is considered to be the same and encompasses a broad range of possible characteristics. Clinical
manifestations and treatment options of genital LS in children are different depending on gender.
The vast majority of boys are treated with circumcision, making for a larger amount of information
on the histopathology of genital LS in boys, whereas substantial information on the histopathology
of juvenile vulvar LS is lacking. In girls, vulvar LS almost always persists beyond puberty and, therefore, presents a particular challenge to clinicians and cause for concern for the patient. Vulvar LS in
childhood and adolescence (juveniles) is underreported, and there are uncertainties with regard to
the long-term course of the disease when it occurs at an age when the vulva is still developing. The
present study investigates biopsi
A re-appraisal of volume status and renal function impairment in chronic heart failure: combined effects of pre-renal failure and venous congestion on renal function
The association between cardiac failure and renal function impairment has gained wide recognition over the last decade. Both structural damage in the form of systemic atherosclerosis and (patho) physiological hemodynamic changes may explain this association. As regards hemodynamic factors, renal impairment in chronic heart failure is traditionally assumed to be mainly due to a decrease in cardiac output and a subsequent decrease in renal perfusion. This will lead to a decrease in glomerular filtration rate and a compensatory increase in tubular sodium retention. The latter is a physiological renal response aimed at retaining fluids in order to increase cardiac filling pressure and thus renal perfusion. In heart failure, however, larger increases in cardiac filling pressure are needed to restore renal perfusion and thus more volume retention. In this concept, in chronic heart failure, an equilibrium exists where a certain degree of congestion is the price to be paid to maintain adequate renal perfusion and function. Recently, this hypothesis was challenged by new studies, wherein it was found that the association between right-sided cardiac filling pressures and renal function is bimodal, with worse renal function at the highest filling pressures, reflecting a severely congested state. Renal hemodynamic studies suggest that congestion negatively affects renal function in particular in patients in whom renal perfusion is also compromised. Thus, an interplay between cardiac forward failure and backward failure is involved in the renal function impairment in the congestive state, presumably along with other factors. Only few data are available on the impact of intervention in volume status on the cardio-renal interaction. Sparse data in cardiac patients as well as evidence from cohorts with primary renal disease suggest that specific targeting of volume overload may be beneficial for long-term outcome, in spite of a certain further decrease in renal function, at least in the context of current treatment where possible reflex neurohumoral activation is ameliorated by the background treatment by blockers of the renin–angiotensin–aldosterone system
- …