Dual-Phase Liquid Xenon Detectors for Dark Matter Searches

Dual-phase time projection chambers (TPCs) filled with the liquid noble gas xenon (LXe) are currently the most sensitive detectors searching for interactions of WIMP dark matter in a laboratory-based experiment. This is achieved by combining a large, monolithic dark matter target of a very low background with the capability to localize the interaction vertex in three dimensions, allowing for target fiducialization and multiple-scatter rejection. The background in dual-phase LXe TPCs is further reduced by the simultaneous measurement of the scintillation and ionization signal from a particle interaction, which is used to distinguish signal from background signatures. This article reviews the principle of dual-phase LXe TPCs, and provides an overview about running as well as future experimental efforts.Comment: 11 pages, 4 figures. Article for INSTR14. Matches published versio

Dark Matter 2014

This article gives an overview on the status of experimental searches for dark matter at the end of 2014. The main focus is on direct searches for weakly interacting massive particles (WIMPs) using underground-based low-background detectors, especially on the new results published in 2014. WIMPs are excellent dark matter candidates, predicted by many theories beyond the standard model of particle physics, and are expected to interact with the target nuclei either via spin-independent (scalar) or spin-dependent (axial-vector) couplings. Non-WIMP dark matter candidates, especially axions and axion-like particles are also briefly discussed.Comment: 8 pages, 4 figures. Contribution to DHF201

AutoBayes: A System for Generating Data Analysis Programs from Statistical Models

Data analysis is an important scientific task which is required whenever information needs to be extracted from raw data. Statistical approaches to data analysis, which use methods from probability theory and numerical analysis, are well-founded but difficult to implement: the development of a statistical data analysis program for any given application is time-consuming and requires substantial knowledge and experience in several areas. In this paper, we describe AutoBayes, a program synthesis system for the generation of data analysis programs from statistical models. A statistical model specifies the properties for each problem variable (i.e., observation or parameter) and its dependencies in the form of a probability distribution. It is a fully declarative problem description, similar in spirit to a set of differential equations. From such a model, AutoBayes generates optimized and fully commented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Code is produced by a schema-guided deductive synthesis process. A schema consists of a code template and applicability constraints which are checked against the model during synthesis using theorem proving technology. AutoBayes augments schema-guided synthesis by symbolic-algebraic computation and can thus derive closed-form solutions for many problems. It is well-suited for tasks like estimating best-fitting model parameters for the given data. Here, we describe AutoBayes's system architecture, in particular the schema-guided synthesis kernel. Its capabilities are illustrated by a number of advanced textbook examples and benchmarks

Neutrality and Many-Valued Logics

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom. These logics are built as different extensions of standard many-valued logics (namely, Lukasiewicz's, Goedel's, Product, and Post's logics). The informal sense of Archimedes' axiom is that anything can be measured by a ruler. Also logical multiple-validity without Archimedes' axiom consists in that the set of truth values is infinite and it is not well-founded and well-ordered. On the base of non-Archimedean valued logics, we construct non-Archimedean valued interval neutrosophic logic INL by which we can describe neutrality phenomena.Comment: 119 page

Monitoring of Streamflow in the Verde River by ERTS-1 Data Collection System (DCS)

Streamflow monitoring in Verde River by ERTS-1 data collection system (DCS

Two Squares of Opposition: for Analytic and Synthetic Propositions

In the paper I prove that there are two squares of opposition. The unconventional one is built up for synthetic propositions. There a, i are contrary, a, o (resp. e, i) are contradictory, e, o are subcontrary, a, e (resp. i, o) are said to stand in the subalternation