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

High-repetition-rate combustion thermometry with two-line atomic fluorescence excited by diode lasers

We report on kilohertz-repetition-rate flame temperature measurements performed using blue diode lasers. Two-line atomic fluorescence was performed by using diode lasers emitting at around 410 and 451 nm to probe seeded atomic indium. At a repetition rate of 3.5 kHz our technique offers a precision of 1.5% at 2000 K in laminar methane/air flames. The spatial resolution is better than 150 mu m, while the setup is compact and easy to operate, at much lower cost than alternative techniques. By modeling the spectral overlap between the locked laser and the probed indium lines we avoid the need for any calibration of the measurements. We demonstrate the capability of the technique for time-resolved measurements in an acoustically perturbed flame. The technique is applicable in flames with a wide range of compositions including sooting flames

Experimental and theoretical lifetimes and transition probabilities in Sb I

We present experimental atomic lifetimes for 12 levels in Sb I, out of which seven are reported for the first time. The levels belong to the 5p$^2$($^3$P)6s $^{2}$P, $^{4}$P and 5p$^2$($^3$P)5d $^{4}$P, $^{4}$F and $^{2}$F terms. The lifetimes were measured using time-resolved laser-induced fluorescence. In addition, we report new calculations of transition probabilities in Sb I using a Multiconfigurational Dirac-Hartree-Fock method. The physical model being tested through comparisons between theoretical and experimental lifetimes for 5d and 6s levels. The lifetimes of the 5d $^4$F$_{3/2, 5/2, 7/2}$ levels (19.5, 7.8 and 54 ns, respectively) depend strongly on the $J$-value. This is explained by different degrees of level mixing for the different levels in the $^4$F term.Comment: 10 page

Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines

In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, some coverage criteria have been proposed which try to test at least all feature interactions without the necessity to test all products, e.g., all pairs of features (pairwise coverage). In addition, it is desirable to first test products composed by a set of priority features. This problem is known as the Prioritized Pairwise Test Data Generation Problem. In this work we propose two hybrid algorithms using Integer Programming (IP) to generate a prioritized test suite. The first one is based on an integer linear formulation and the second one is based on a integer quadratic (nonlinear) formulation. We compare these techniques with two state-of-the-art algorithms, the Parallel Prioritized Genetic Solver (PPGS) and a greedy algorithm called prioritized-ICPL. Our study reveals that our hybrid nonlinear approach is clearly the best in both, solution quality and computation time. Moreover, the nonlinear variant (the fastest one) is 27 and 42 times faster than PPGS in the two groups of instances analyzed in this work.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Partially funded by the Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2014-57341-R, the University of Málaga, Andalucía Tech and the Spanish Network TIN2015-71841-REDT (SEBASENet)

Soft and rigid core latex nanoparticles prepared by RAFT-mediated surfactant-free emulsion polymerization for cellulose modification – a comparative study

Latex nanoparticles comprising cationically charged coronas and hydrophobic cores with different glass transition temperatures (Tg) have been prepared by surfactant-free, RAFT-mediated emulsion polymerization, where the particles form through a polymerization-induced self-assembly (PISA) type mechanism. Poly(2-dimethylaminoethyl methacrylate-co-methacrylic acid) (P(DMAEMA-co-MAA)) was utilized as a hydrophilic macroRAFT agent for the polymerization of methyl methacrylate (MMA) or n-butyl methacrylate (nBMA), respectively, resulting in two different latexes, with either a core of high (PMMA) or low (PnBMA) Tg polymer. By varying the molar mass of the hydrophobic block, latexes of different sizes were obtained (DHca. 40–120 nm). The adsorption of the latexes to cellulose model surfaces and cellulose nanofibrils (CNF) was studied using quartz crystal microbalance with dissipation monitoring (QCM-D). The surfaces with adsorbed PnBMA latexes yielded hydrophobic surfaces both before and after annealing, whereas surfaces with adsorbed PMMA latex became hydrophobic only after annealing, clearly showing the influence of the Tg of the core. The latexes were also used to modify macroscopic cellulose in the form of filter papers. Similar to the CNF surfaces, no annealing was required to achieve hydrophobic surfaces with PnBMA latexes. Finally, nanocomposites of CNF and the polymer nanoparticles were prepared through a one-pot mixing procedure. It was found that the largest synthesized PMMA latex (120 nm) facilitated a more strainable CNF network at 50% relative humidity, with a nearly 200% increase in strain at break compared to the neat CNF reference film as well as to the composite films with PnBMA latexes or to the smaller sized PMMA latexes. This difference was attributed to the spherical shape and rigidity of the large PMMA latex nanoparticles during composite formation. This highly interesting result should indeed be considered in the future design of novel biocomposites.</p

Deaths Among Adult Patients with Hypopituitarism: Hypocortisolism During Acute Stress, and De Novo Malignant Brain Tumors Contribute to an Increased Mortality.

Context:Patients with hypopituitarism have an increased standardized mortality rate. The basis for this has not been fully clarified.Objective:To investigate in detail the cause of death in a large cohort of patients with hypopituitarism subjected to long-term follow-up.Design and Methods:All-cause and cause-specific mortality in 1286 Swedish patients with hypopituitarism prospectively monitored in KIMS (Pfizer International Metabolic Database) 1995-2009 were compared to general population data in the Swedish National Cause of Death Registry. In addition, events reported in KIMS, medical records, and postmortem reports were reviewed.Main Outcome Measures:Standardized mortality ratios (SMR) were calculated, with stratification for gender, attained age, and calendar year during follow-up.Results:An excess mortality was found, 120 deaths vs 84.3 expected, SMR 1.42 (95% confidence interval: 1.18-1.70). Infections, brain cancer, and sudden death were associated with significantly increased SMRs (6.32, 9.40, and 4.10, respectively). Fifteen patients, all ACTH-deficient, died from infections. Eight of these patients were considered to be in a state of adrenal crisis in connection with death (medical reports and post-mortem examinations). Another 8 patients died from de novo malignant brain tumors, 6 of which had had a benign pituitary lesion at baseline. Six of these 8 subjects had received prior radiation therapy.Conclusion:Two important causes of excess mortality were identified: first, adrenal crisis in response to acute stress and intercurrent illness; second, increased risk of a late appearance of de novo malignant brain tumors in patients who previously received radiotherapy. Both of these causes may be in part preventable by changes in the management of pituitary disease

Emotional stress as a trigger of falls leading to hip or pelvic fracture. Results from the ToFa study – a case-crossover study among elderly people in Stockholm, Sweden

<p>Abstract</p> <p>Background</p> <p>Sudden emotions may interfere with mechanisms for keeping balance among the elderly. The aim of this study is to analyse if emotional stress and specifically feelings of anger, sadness, worries, anxiety or stress, can trigger falls leading to hip or pelvic fracture among autonomous older people.</p> <p>Methods</p> <p>The study applied the case-crossover design and was based on data gathered by face to face interviews carried out in Stockholm between November 2004 and January 2006 at the emergency wards of two hospitals. Cases (n = 137) were defined as persons aged 65 and older admitted for at least one night due to a fall-related hip or pelvic fracture (ICD10: S72 or S32) and meeting a series of selection criteria. Results are presented as relative risks with 95% confidence intervals.</p> <p>Results</p> <p>There was an increased risk for fall and subsequent hip or pelvic fracture for up to one hour after emotional stress. For anger there was an increased relative risk of 12.2 (95% CI 2.7–54.7), for sadness of 5.7 (95% CI 1.1–28.7), and for stress 20.6 (95% CI 4.5–93.5) compared to periods with no such feelings.</p> <p>Conclusion</p> <p>Emotional stress seems to have the potential to trigger falls and subsequent hip or pelvic fracture among autonomous older people. Further studies are needed to clarify how robust the findings are – as the number of exposed cases is small – and the mechanisms behind them – presumably balance and vision impairment in stress situation.</p

Asymptotic Expansions for Stationary Distributions of Perturbed Semi-Markov Processes

New algorithms for computing of asymptotic expansions for stationary distributions of nonlinearly perturbed semi-Markov processes are presented. The algorithms are based on special techniques of sequential phase space reduction, which can be applied to processes with asymptotically coupled and uncoupled finite phase spaces.Comment: 83 page