Dependence Logic with Generalized Quantifiers: Axiomatizations

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.Comment: 17 page

Homogenization of random degenerated nonlinear monotone operators

This paper deals with homogenization of random nonlinear monotone operators in divergence form. We assume that the structure conditions (strict monotonicity and continuity conditions) degenerate and are given in terms of a weight function. Under proper integrability assumptions on the weight function we construct the effective operator and prove the homogenization result

Considering Polymorphism in Change-Based Test Suite Reduction

With the increasing popularity of continuous integration, algorithms for selecting the minimal test-suite to cover a given set of changes are in order. This paper reports on how polymorphism can handle false negatives in a previous algorithm which uses method-level changes in the base-code to deduce which tests need to be rerun. We compare the approach with and without polymorphism on two distinct cases ---PMD and CruiseControl--- and discovered an interesting trade-off: incorporating polymorphism results in more relevant tests to be included in the test suite (hence improves accuracy), however comes at the cost of a larger test suite (hence increases the time to run the minimal test-suite).Comment: The final publication is available at link.springer.co

Antibodies against phosphorylcholine in hospitalized versus non‑hospitalized obese subjects

Obesity associates with reduced life expectancy, type 2 diabetes, hypertension and cardiovascular disease, and is characterized by chronic inflammation. Phosphorylcholine (PC) is an epitope on oxidized low-density lipoprotein, dead cells and some microorganisms. Antibodies against PC (anti-PC) have anti-inflammatory properties. Here, we explored the role of anti-PC in hospitalized versus non-hospitalized obese. One-hundred-and-twenty-eight obese (BMI ≥ 30 kg/m2) individuals (59.8 (± 5.5) years, 53.9% women) from the Malmö Diet and Cancer Cardiovascular Cohort were examined and IgM, IgG1 and IgG2 anti-PC were analyzed by ELISA. Individuals with at least one recorded history of hospitalization prior to study baseline were considered hospitalized obese (HO). Associations between IgM, IgG1 and IgG2 anti-PC and HO (n = 32)/non-hospitalized obese (NHO) (n = 96), but also with metabolic syndrome and diabetes were analysed using logistic regressions. Both IgM and IgG1 anti-PC were inversely associated with HO, also after controlling for age and sex. When further adjusted for waist circumference, systolic blood pressure, glucose levels and smoking status, only IgG1 anti-PC remained significantly associated with HO. In multivariate models, each 1 standard deviation of increment in anti-PC IgG1 levels was inversely associated with prevalence of HO (odds ratio 0.57; CI 95% 0.33–0.98; p = 0.044). IgG2 anti-PC did not show any associations with HO. Low levels of IgM and IgG1 anti-PC are associated with higher risk of being a HO individual independent of sex and age, IgG1 anti-PC also independently of diabetes and metabolic syndrome. The anti-inflammatory properties of these antibodies may be related to inflammation in obesity and its complications

The Method of Images in Cosmology

31 pages, 18 figures31 pages, 18 figuresWe apply the method of images to the exact initial data for cosmological models that contain a number of regularly arranged discrete masses. This allows us to join cosmological regions together by throats, and to construct wormholes in the initial data. These wormholes allow for the removal of the asymptotically flat "flange" regions that would otherwise exist on the far side of black holes. The method of images also provides us with a way to investigate the definition of mass is cosmology, and the cosmological consequences of the gravitational interaction energies between massive objects. We find evidence that the interaction energies within clusters of massive objects do indeed appear to contribute to the total energy budget in the cosmological regions of the space-time

Charge-Fluctuation-Induced Non-analytic Bending Rigidity

In this Letter, we consider a neutral system of mobile positive and negative charges confined on the surface of curved films. This may be an appropriate model for: i) a highly charged membrane whose counterions are confined to a sheath near its surface; ii) a membrane composed of an equimolar mixture of anionic and cationic surfactants in aqueous solution. We find that the charge fluctuations contribute a non-analytic term to the bending rigidity that varies logarithmically with the radius of curvature. This may lead to spontaneous vesicle formation, which is indeed observed in similar systems.Comment: Revtex, 9 pages, no figures, submitted to PR

Improved Cortisol Exposure-Time Profile and Outcome in Patients with Adrenal Insufficiency: A Prospective Randomized Trial of a Novel Hydrocortisone Dual-Release Formulation.

Context:Patients with treated adrenal insufficiency (AI) have increased morbidity and mortality rate. Our goal was to improve outcome by developing a once-daily (OD) oral hydrocortisone dual-release tablet with a more physiological exposure-time cortisol profile.Objective:The aim was to compare pharmacokinetics and metabolic outcome between OD and the same daily dose of thrice-daily (TID) dose of conventional hydrocortisone tablets.Design and Setting:We conducted an open, randomized, two-period, 12-wk crossover multicenter trial with a 24-wk extension at five university hospital centers.Patients:The trial enrolled 64 adults with primary AI; 11 had concomitant diabetes mellitus (DM).Intervention:The same daily dose of hydrocortisone was administered as OD dual-release or TID.Main Outcome Measure:We evaluated cortisol pharmacokinetics.Results:Compared with conventional TID, OD provided a sustained serum cortisol profile 0-4 h after the morning intake and reduced the late afternoon and the 24-h cortisol exposure. The mean weight (difference = -0.7 kg, P = 0.005), systolic blood pressure (difference = -5.5 mm Hg, P = 0.0001) and diastolic blood pressure (difference: -2.3 mm Hg; P = 0.03), and glycated hemoglobin (absolute difference = -0.1%, P = 0.0006) were all reduced after OD compared with TID at 12 wk. Compared with TID, a reduction in glycated hemoglobin by 0.6% was observed in patients with concomitant DM during OD (P = 0.004).Conclusion:The OD dual-release tablet provided a more circadian-based serum cortisol profile. Reduced body weight, reduced blood pressure, and improved glucose metabolism were observed during OD treatment. In particular, glucose metabolism improved in patients with concomitant DM

Measurement of the Two-Loop Lamb Shift in Lithiumlike U

Using the SuperEBIT electron beam ion trap we have measured the 2s{sub 1/2}-2p{sub 1/2} transitions in U{sup 88+} and U{sup 89+}. The value of 280.645 {+-} 0.015 eV for Li-like U{sup 89+} improves the available precision by nearly an order of magnitude and establishes a new benchmark for testing QED, including higher-order contributions, within a fractional accuracy of better than 3 x 10{sup -4}. From our measurement, we infer a value for both the 2s and 1s two-loop Lamb shift, yielding excellent agreement with recent calculations of the 1.26 eV 1s two-loop Lamb shift in U{sup 91+}