744 research outputs found

    Elastic Form Factors of 3,4^{3,4}He up to Large Q2Q^2

    Full text link
    Elastic electron scattering off 3^3He and 4^4He has recently been studied at forward and backward scattering angles in Hall A at JLab. The results will provide accurate data on the elastic form factors, charge and magnetic for 3^3He and charge only for 4^4He, up to squared momentum transfer Q2Q^2-values of 3.2 GeV2^2.Comment: 3 pages, Proceedings of EFB2

    Classical integrability and quantum aspects of the AdS(3) x S(3) x S(3) x S(1) superstring

    Get PDF
    In this paper we continue the investigation of aspects of integrability of the type IIA AdS(3) x S(3) x S(3) x S(1) and AdS(3) x S(3) x T(4) superstrings. By constructing a one parameter family of flat connections we prove that the Green-Schwarz string is classically integrable, at least to quadratic order in fermions, without fixing the kappa-symmetry. We then compare the quantum dispersion relation, fixed by integrability up to an unknown interpolating function h(lambda), to explicit one-loop calculations on the string worldsheet. For AdS(3) x S(3) x S(3) x S(1) the spectrum contains heavy, as well as light and massless modes, and we find that the one-loop contribution differs depending on how we treat these modes showing that similar regularization ambiguities as appeared in AdS(4)/CFT(3) occur also here.Comment: 29 pages; v2: updated references and acknowledgmen

    Diabetic ketoacidosis and hyperglycemic hyperosmolar syndrome after renal transplantation in the United States

    Get PDF
    BACKGROUND: The incidence and risk factors for diabetic ketoacidosis (diabetic ketoacidosis) and hyperglycemic hyperosmolar syndrome (hyperglycemic hyperosmolar syndrome, previously called non-ketotic hyperosmolar coma) have not been reported in a national population of renal transplant (renal transplantation) recipients. METHODS: We performed a historical cohort study of 39,628 renal transplantation recipients in the United States Renal Data System between 1 July 1994 and 30 June 1998, followed until 31 Dec 1999. Outcomes were hospitalizations for a primary diagnosis of diabetic ketoacidosis (ICD-9 code 250.1x) and hyperglycemic hyperosmolar syndrome (code 250.2x). Cox Regression analysis was used to calculate adjusted hazard ratios for time to hospitalization for diabetic ketoacidosis or hyperglycemic hyperosmolar syndrome. RESULTS: The incidence of diabetic ketoacidosis and hyperglycemic hyperosmolar syndrome were 33.2/1000 person years (PY) and 2.7/1000 PY respectively for recipients with a prior diagnosis of diabetes mellitus (DM), and 2.0/1000 PY and 1.1/1000 PY in patients without DM. In Cox Regression analysis, African Americans (AHR, 2.71, 95 %CI, 1.96–3.75), females, recipients of cadaver kidneys, patients age 33–44 (vs. >55), more recent year of transplant, and patients with maintenance TAC (tacrolimus, vs. cyclosporine) had significantly higher risk of diabetic ketoacidosis. However, the rate of diabetic ketoacidosis decreased more over time in TAC users than overall. Risk factors for hyperglycemic hyperosmolar syndrome were similar except for the significance of positive recipient hepatitis C serology and non-significance of female gender. Both diabetic ketoacidosis (AHR, 2.44, 95% CI, 2.10–2.85, p < 0.0001) and hyperglycemic hyperosmolar syndrome (AHR 1.87, 95% CI, 1.22–2.88, p = 0.004) were independently associated with increased mortality. CONCLUSIONS: We conclude that diabetic ketoacidosis and hyperglycemic hyperosmolar syndrome were associated with increased risk of mortality and were not uncommon after renal transplantation. High-risk groups were identified

    Optimal deployment of components of cloud-hosted application for guaranteeing multitenancy isolation

    Get PDF
    One of the challenges of deploying multitenant cloud-hosted services that are designed to use (or be integrated with) several components is how to implement the required degree of isolation between the components when there is a change in the workload. Achieving the highest degree of isolation implies deploying a component exclusively for one tenant; which leads to high resource consumption and running cost per component. A low degree of isolation allows sharing of resources which could possibly reduce cost, but with known limitations of performance and security interference. This paper presents a model-based algorithm together with four variants of a metaheuristic that can be used with it, to provide near-optimal solutions for deploying components of a cloud-hosted application in a way that guarantees multitenancy isolation. When the workload changes, the model based algorithm solves an open multiclass QN model to determine the average number of requests that can access the components and then uses a metaheuristic to provide near-optimal solutions for deploying the components. Performance evaluation showed that the obtained solutions had low variability and percent deviation when compared to the reference/optimal solution. We also provide recommendations and best practice guidelines for deploying components in a way that guarantees the required degree of isolation

    Friends with benefits: implementing corecursion in foundational proof assistants

    Get PDF
    We introduce AmiCo, a tool that extends a proof assistant, Isabelle/HOL, with flexible function definitions well beyond primitive corecursion. All definitions are certified by the assistant’s inference kernel to guard against inconsistencies. A central notion is that of friends: functions that preserve the productivity of their arguments and that are allowed in corecursive call contexts. As new friends are registered, corecursion benefits by becoming more expressive. We describe this process and its implementation, from the user’s specification to the synthesis of a higher-order definition to the registration of a friend. We show some substantial case studies where our approach makes a difference
    • 

    corecore