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 ${\bar\nu}_e$ in a beam of ${\bar\nu}_\mu$. 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 $10^{-19}$ GeV for the SME coefficients $a_L$ and $E \times c_L$. 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 π0→νμνˉμ\pi^0 \to \nu_{\mu}\bar\nu_{\mu} Decay in LSND

We observe a net beam-excess of $8.7 \pm 6.3$ (stat) $\pm 2.4$ (syst) events, above 160 MeV, resulting from the charged-current reaction of $\nu_{\mu}$ and/or $\bar\nu_{\mu}$ on C and H in the LSND detector. No beam related muon background is expected in this energy regime. Within an analysis framework of $\pi^0 \to \nu_{\mu}\bar\nu_{\mu}$, we set a direct upper limit for this branching ratio of $\Gamma(\pi^0 \to \nu_\mu \bar\nu_\mu) / \Gamma(\pi^0 \to all) < 1.6 \times 10^{-6}$ 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