1,152 research outputs found
Renal revascularization in Takayasu arteritis–induced renal artery stenosis
AbstractPurposeThis study was undertaken to define the long-term effects of renal revascularization on blood pressure, and renal and cardiac function in patients with Takayasu arteritis–induced renal artery stenosis (TARAS).MethodsTwenty-seven patients (25 women; mean age, 27 years) with TARAS underwent intervention. Primary, primary assisted, and secondary patency rates were determined, and the late effects on blood pressure, renal and cardiac function, and survival were analyzed.ResultsAll patients had hypertension (mean blood pressure, 167/99 mm Hg; 2.5 antihypertensive medications per patient). Mean estimated glomerular filtration rate in patients not receiving hemodialysis was 76 mL/min, and in five patients serum creatinine concentration was greater than 1.5 mg/dL. Three patients were hemodialysis-dependent, and two had intractable congestive heart failure. Forty interventions were performed, including 32 aortorenal bypass procedures, two repeat implantations, four nephrectomies, and two transluminal angioplasty procedures. Postoperative morbidity was 19%. There were no deaths. During follow-up (mean, 68 months), three graft stenoses, all due to intimal hyperplasia, and three graft occlusions occurred. Two of three graft stenoses were successfully revised. At 1, 3, and 5 years of follow-up, primary patency was 87%, 79%, and 79%, respectively; primary assisted patency was 93%, 89%, 89%, respectively; and secondary patency was 93%, 89%, and 89%, respectively. Intervention resulted in a decrease in blood pressure to a mean of 132/79 mm Hg (P < .0001), and the need for antihypertensive medications was reduced to one per patient (P < .01). Mean glomerular filtration rate increased to 88 mL/min (P < .005), and two patients no longer required hemodialysis. Congestive heart failure resolved in both patients, and did not recur. There were three deaths during follow-up, with 5-year and 10-year actuarial survival of 96% and 80%, respectively.ConclusionsRenal revascularization to treat TARAS is durable, has a salutary effect on blood pressure, and enhances long-term renal and cardiac function. This response establishes renal revascularization as a successful and durable intervention for TARAS, and a benchmark to which other therapies should be compared
Automated mediator synthesis: combining behavioural and ontological reasoning
Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of the components and an ontological model of the data domain. By not requiring a specification of the composed system, the method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures freedom of both communication mismatches and deadlock in the composition. Validation of the approach is given by implementation of a prototype tool, while applicability is illustrated on heterogeneous holiday booking components
Tests of Lorentz violation in muon antineutrino to electron antineutrino oscillations
A recently developed Standard-Model Extension (SME) formalism for neutrino
oscillations that includes Lorentz and CPT violation is used to analyze the
sidereal time variation of the neutrino event excess measured by the Liquid
Scintillator Neutrino Detector (LSND) experiment. The LSND experiment,
performed at Los Alamos National Laboratory, observed an excess, consistent
with neutrino oscillations, of in a beam of . It
is determined that the LSND oscillation signal is consistent with no sidereal
variation. However, there are several combinations of SME coefficients that
describe the LSND data; both with and without sidereal variations. The scale of
Lorentz and CPT violation extracted from the LSND data is of order
GeV for the SME coefficients and . This solution for
Lorentz and CPT violating neutrino oscillations may be tested by other short
baseline neutrino oscillation experiments, such as the MiniBooNE experiment.Comment: 10 pages, 10 figures, 2 tables, uses revtex4 replaced with version to
be published in Physical Review D, 11 pages, 11 figures, 2 tables, uses
revtex
Multilevel Contracts for Trusted Components
This article contributes to the design and the verification of trusted
components and services. The contracts are declined at several levels to cover
then different facets, such as component consistency, compatibility or
correctness. The article introduces multilevel contracts and a
design+verification process for handling and analysing these contracts in
component models. The approach is implemented with the COSTO platform that
supports the Kmelia component model. A case study illustrates the overall
approach.Comment: In Proceedings WCSI 2010, arXiv:1010.233
Search for Decay in LSND
We observe a net beam-excess of (stat) (syst) events,
above 160 MeV, resulting from the charged-current reaction of
and/or on C and H in the LSND detector. No beam related muon
background is expected in this energy regime. Within an analysis framework of
, we set a direct upper limit for this
branching ratio of at 90% confidence level.Comment: 4 pages, 4 figure
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Modeling and analysis of interactions among services is a crucial issue in
Service-Oriented Computing. Composing Web services is a complicated task which
requires techniques and tools to verify that the new system will behave
correctly. In this paper, we first overview some formal models proposed in the
literature to describe services. Second, we give a brief survey of verification
techniques that can be used to analyse services and their interaction. Last, we
focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330
- …