Satisfiability of CTL* with constraints

We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at Concur 201

Structural correlates of spoken language abilities : a surface-based region-of interest morphometry study

Brain structure can predict many aspects of human behavior, though the extent of this relationship in healthy adults, particularly for language-related skills, remains largely unknown. The objective of the present study was to explore this relation using magnetic resonance imaging (MRI) on a group of 21 healthy young adults who completed two language tasks: (1) semantic fluency and (2) sentence generation. For each region of interest, cortical thickness, surface area, and volume were calculated. The results show that verbal fluency scores correlated mainly with measures of brain morphology in the left inferior frontal cortex and bilateral insula. Sentence generation scores correlated with structure of the left inferior parietal and right inferior frontal regions. These results reveal that the anatomy of several structures in frontal and parietal lobes is associated with spoken language performance. The presence of both negative and positive correlations highlights the complex relation between brain and language

Effects of Residue Background Events in Direct Dark Matter Detection Experiments on the Determination of the WIMP Mass

In the earlier work on the development of a model-independent data analysis method for determining the mass of Weakly Interacting Massive Particles (WIMPs) by using measured recoil energies from direct Dark Matter detection experiments directly, it was assumed that the analyzed data sets are background-free, i.e., all events are WIMP signals. In this article, as a more realistic study, we take into account a fraction of possible residue background events, which pass all discrimination criteria and then mix with other real WIMP-induced events in our data sets. Our simulations show that, for the determination of the WIMP mass, the maximal acceptable fraction of residue background events in the analyzed data sets of O(50) total events is ~20%, for background windows of the entire experimental possible energy ranges, or in low energy ranges; while, for background windows in relatively higher energy ranges, this maximal acceptable fraction of residue background events can not be larger than ~10%. For a WIMP mass of 100 GeV with 20% background events in the windows of the entire experimental possible energy ranges, the reconstructed WIMP mass and the 1-sigma statistical uncertainty are ~97 GeV^{+61%}_{-35%} (~94 GeV^{+55%}_{-33%} for background-free data sets).Comment: 27 pages, 22 eps figures; v2: revised version for publication, references added and update

Topological and geometrical restrictions, free-boundary problems and self-gravitating fluids

Let (P1) be certain elliptic free-boundary problem on a Riemannian manifold (M,g). In this paper we study the restrictions on the topology and geometry of the fibres (the level sets) of the solutions f to (P1). We give a technique based on certain remarkable property of the fibres (the analytic representation property) for going from the initial PDE to a global analytical characterization of the fibres (the equilibrium partition condition). We study this analytical characterization and obtain several topological and geometrical properties that the fibres of the solutions must possess, depending on the topology of M and the metric tensor g. We apply these results to the classical problem in physics of classifying the equilibrium shapes of both Newtonian and relativistic static self-gravitating fluids. We also suggest a relationship with the isometries of a Riemannian manifold.Comment: 36 pages. In this new version the analytic representation hypothesis is proved. Please address all correspondence to D. Peralta-Sala

The EDELWEISS Experiment : Status and Outlook

The EDELWEISS Dark Matter search uses low-temperature Ge detectors with heat and ionisation read- out to identify nuclear recoils induced by elastic collisions with WIMPs from the galactic halo. Results from the operation of 70 g and 320 g Ge detectors in the low-background environment of the Modane Underground Laboratory (LSM) are presented.Comment: International Conference on Dark Matter in Astro and Particle Physics (Dark 2000), Heidelberg, Germany, 10-16 Jul 2000, v3 minor revision

Satisfiability of ECTL* with tree constraints

Recently, we have shown that satisfiability for $\mathsf{ECTL}^*$ with constraints over $\mathbb{Z}$ is decidable using a new technique. This approach reduces the satisfiability problem of $\mathsf{ECTL}^*$ with constraints over some structure A (or class of structures) to the problem whether A has a certain model theoretic property that we called EHD (for "existence of homomorphisms is decidable"). Here we apply this approach to concrete domains that are tree-like and obtain several results. We show that satisfiability of $\mathsf{ECTL}^*$ with constraints is decidable over (i) semi-linear orders (i.e., tree-like structures where branches form arbitrary linear orders), (ii) ordinal trees (semi-linear orders where the branches form ordinals), and (iii) infinitely branching trees of height h for each fixed $h\in \mathbb{N}$. We prove that all these classes of structures have the property EHD. In contrast, we introduce Ehrenfeucht-Fraisse-games for $\mathsf{WMSO}+\mathsf{B}$ (weak $\mathsf{MSO}$ with the bounding quantifier) and use them to show that the infinite (order) tree does not have property EHD. As a consequence, a different approach has to be taken in order to settle the question whether satisfiability of $\mathsf{ECTL}^*$ (or even $\mathsf{LTL}$) with constraints over the infinite (order) tree is decidable

Dark Matter Search in the Edelweiss Experiment

Preliminary results obtained with 320g bolometers with simultaneous ionization and heat measurements are described. After a few weeks of data taking, data accumulated with one of these detectors are beginning to exclude the upper part of the DAMA region. Prospects for the present run and the second stage of the experiment, EDELWEISS-II, using an innovative reversed cryostat allowing data taking with 100 detectors, are briefly described.Comment: IDM 2000, 3rd International Workshop on the Identification of Dark Matter, York (GB), 18-22/09/2000, v2.0 minor modification

SICANE: a Detector Array for the Measurement of Nuclear Recoil Quenching Factors using Monoenergetic Neutron Beam

SICANE is a neutron scattering multidetector facility for the determination of the quenching factor (ratio of the response to nuclear recoils and to electrons) of cryogenic detectors used in direct WIMP searches. Well collimated monoenergetic neutron beams are obtained with inverse (p,n) reactions. The facility is described, and results obtained for the quenching factors of scintillation in NaI(Tl) and of heat and ionization in Ge are presented.Comment: 30 pages, Latex, 11 figures. Submitted to NIM