On the complexity of Existential Positive Queries

We systematically investigate the complexity of model checking the existential positive fragment of first-order logic. In particular, for a set of existential positive sentences, we consider model checking where the sentence is restricted to fall into the set; a natural question is then to classify which sentence sets are tractable and which are intractable. With respect to fixed-parameter tractability, we give a general theorem that reduces this classification question to the corresponding question for primitive positive logic, for a variety of representations of structures. This general theorem allows us to deduce that an existential positive sentence set having bounded arity is fixed-parameter tractable if and only if each sentence is equivalent to one in bounded-variable logic. We then use the lens of classical complexity to study these fixed-parameter tractable sentence sets. We show that such a set can be NP-complete, and consider the length needed by a translation from sentences in such a set to bounded-variable logic; we prove superpolynomial lower bounds on this length using the theory of compilability, obtaining an interesting type of formula size lower bound. Overall, the tools, concepts, and results of this article set the stage for the future consideration of the complexity of model checking on more expressive logics

A Novel Use of Light Guides and Wavelength Shifting Plates for the Detection of Scintillation Photons in Large Liquid Argon Detectors

Scintillation light generated as charged particles traverse large liquid argon detectors adds valuable information to studies of weakly-interacting particles. This paper uses both laboratory measurements and cosmic ray data from the Blanche dewar facility at Fermilab to characterize the efficiency of the photon detector technology developed at Indiana University for the single phase far detector of DUNE. The efficiency of this technology was found to be 0.48% at the readout end when the detector components were characterized with laboratory measurements. A second determination of the efficiency using cosmic ray tracks is in reasonable agreement with the laboratory determination. The agreement of these two efficiency determinations supports the result that minimum ionizing muons generate ${\mathcal N}_{phot} = 40,000$ photons/MeV as they cross the LAr volume.Comment: Accepted version (without final editorial corrections

All for One and One for All: Dynamic Injection of Situations in a Generic Context-Aware Application

In a new smart-world, users are getting accustomed to fast-responding applications that make their everyday tasks and daily life easier. In order to meet their expectancies, mobile applications are shifting towards a new era of context awareness. Nonetheless, it seems that context-aware applications are still struggling to provide the user with a real situation understanding. They only consider non-evolving limited scenarios and react to them using only generic services. To address these concerns, we have developed the Long Life Application, a dynamic context-aware situation-based distributed mobile application dedicated to assist end-users in their everyday needs. This application considers the requirements of the users and provides them with the appropriate services according to their current context. In this paper we focus in the way that the user''s context is considered by the application. We propose a hybrid approach that combines both high-level context (top-down approach), by injecting user-related context, and a low-level context (bottom-up approach), by inferring it from sensor data. Peer-review under responsibility of the Conference Program Chairs

Epidermal Growth Factor Modulates Fetal Thymocyte Growth and Differentiation

In the present study, we used the fetal organ culture (FTOC) technique in order to study a putative effect of epidermal growth factor (EGF) on the thymus ontogeny. Functional EGF receptors and more recently the EGF molecule itself, respectively, on the membrane of epithelial components of thymic stroma and on a few thymocytes in adult thymus, had been reported in the literature. We could observe a dose-dependent decrease in cellularity and a progressive retention of thymocytes in the double-negative (CD4-/CD8-) stage of differentiation when exogenous EGF was added. Epidermal growth factor interfered with both fetal stroma growth and thymocyte development at a precise moment, that is, in the passage from double-negative to the double-positive (CD4+/CD8+) stage. After a 7-day FTOC in the presence of EGF, most cells recovered were Thy-1.2+, c-kit+, TSA1-/int, CD3-, and one of CD44high/CD25int, CD44-/CD25int, or CD44-/CD25-. Some developed into γδTCR+ cells with a mature (CD3+) phenotype, but not into αβTCR+ thymocytes. It seems that EGF addition makes the cultures "nonpermissible" for αβTCR+ thymocyte generation. We report here the presence of a high Mr "EGF-like" molecule on the membrane of fetal thymocytes, which role in the observed effects is under investigation. Further biochemical characterization of this molecule is still required, because its presence was only evidenced on the basis of its antigenicity

Status epilepticus of inflammatory etiology: A cohort study.

OBJECTIVE: Inflammation-related epilepsy is increasingly recognized; however, studies on status epilepticus (SE) are very infrequent. We therefore aimed to determine the frequency of inflammatory etiologies in adult SE, and to assess related demographic features and outcomes. METHODS: This was a retrospective analysis of a prospective registry of adult patients with SE treated in our center, from January 2008 to June 2014, excluding postanoxic causes. We classified SE episodes into 3 etiologic categories: infectious, autoimmune, and noninflammatory. Demographic and clinical variables were analyzed regarding their relationship to etiologies and functional outcome. RESULTS: Among the 570 SE consecutive episodes, 33 (6%) were inflammatory (2.5% autoimmune; 3.3% infectious), without any change in frequency over the study period. Inflammatory SE episodes involved younger patients (mean age 53 vs 61 years, p = 0.015) and were more often refractory to initial antiepileptic treatment (58% vs 38%, odds ratio = 2.19, 95% confidence interval = 1.07-4.47, p = 0.041), despite similar clinical outcome. Subgroup analysis showed that, compared with infectious SE episodes, autoimmune SE involved younger adults (mean age 44 vs 60 years, p = 0.017) and was associated with lower morbidity (return to baseline conditions in 71% vs 32%, odds ratio = 5.41, 95% confidence interval = 1.19-24.52, p = 0.043) without any difference in mortality. CONCLUSIONS: Despite increasing awareness, inflammatory SE etiologies were relatively rare; their occurrence in younger individuals and higher refractoriness to treatment did not have any effect on outcome. Autoimmune SE episodes also occurred in younger patients, but tended to have better outcomes in survivors than infectious SE

Optimum morphology of gold nanorods for light-induced hyperthermia

Owing to their unique chemical and physical properties, colloidal gold nanoparticles have prompted a wide variety of biocompatible nano-agents for cancer imaging, diagnosis and treatment. In this context, biofunctionalized gold nanorods (AuNRs) are promising candidates for light-induced hyperthermia, to cause local and selective damage in malignant tissue. Yet, the efficacy of AuNR-based hyperthermia is highly dependent on several experimental parameters; in particular, the AuNR morphology strongly affects both physical and biological involved processes. In the present work, we systematically study the influence of different structural parameters like the AuNR aspect ratio, length and molecular weight on in vitro cytotoxicity, cellular uptake and heat generation efficiency. Our results enable us to identify the optimum AuNR morphology to be used for in vivo hyperthermia treatment.Postprint (author's final draft

The Golden Channel at a Neutrino Factory revisited: improved sensitivities from a Magnetised Iron Neutrino Detector

This paper describes the performance and sensitivity to neutrino mixing parameters of a Magnetised Iron Neutrino Detector (MIND) at a Neutrino Factory with a neutrino beam created from the decay of 10 GeV muons. Specifically, it is concerned with the ability of such a detector to detect muons of the opposite sign to those stored (wrong-sign muons) while suppressing contamination of the signal from the interactions of other neutrino species in the beam. A new more realistic simulation and analysis, which improves the efficiency of this detector at low energies, has been developed using the GENIE neutrino event generator and the GEANT4 simulation toolkit. Low energy neutrino events down to 1 GeV were selected, while reducing backgrounds to the $10^{-4}$ level. Signal efficiency plateaus of ~60% for $\nu_\mu$ and ~70% for $\bar{\nu}_\mu$ events were achieved starting at ~5 GeV. Contamination from the $\nu_\mu\rightarrow \nu_\tau$ oscillation channel was studied for the first time and was found to be at the level between 1% and 4%. Full response matrices are supplied for all the signal and background channels from 1 GeV to 10 GeV. The sensitivity of an experiment involving a MIND detector of 100 ktonnes at 2000 km from the Neutrino Factory is calculated for the case of $\sin^2 2\theta_{13}\sim 10^{-1}$. For this value of $\theta_{13}$, the accuracy in the measurement of the CP violating phase is estimated to be $\Delta \delta_{CP}\sim 3^\circ - 5^\circ$, depending on the value of $\delta_{CP}$, the CP coverage at $5\sigma$ is 85% and the mass hierarchy would be determined with better than $5\sigma$ level for all values of $\delta_{CP}$

The Hardness of Embedding Grids and Walls

The dichotomy conjecture for the parameterized embedding problem states that the problem of deciding whether a given graph $G$ from some class $K$ of "pattern graphs" can be embedded into a given graph $H$ (that is, is isomorphic to a subgraph of $H$) is fixed-parameter tractable if $K$ is a class of graphs of bounded tree width and $W[1]$-complete otherwise. Towards this conjecture, we prove that the embedding problem is $W[1]$-complete if $K$ is the class of all grids or the class of all walls