AT-GIS: highly parallel spatial query processing with associative transducers

Users in many domains, including urban planning, transportation, and environmental science want to execute analytical queries over continuously updated spatial datasets. Current solutions for largescale spatial query processing either rely on extensions to RDBMS, which entails expensive loading and indexing phases when the data changes, or distributed map/reduce frameworks, running on resource-hungry compute clusters. Both solutions struggle with the sequential bottleneck of parsing complex, hierarchical spatial data formats, which frequently dominates query execution time. Our goal is to fully exploit the parallelism offered by modern multicore CPUs for parsing and query execution, thus providing the performance of a cluster with the resources of a single machine. We describe AT-GIS, a highly-parallel spatial query processing system that scales linearly to a large number of CPU cores. ATGIS integrates the parsing and querying of spatial data using a new computational abstraction called associative transducers(ATs). ATs can form a single data-parallel pipeline for computation without requiring the spatial input data to be split into logically independent blocks. Using ATs, AT-GIS can execute, in parallel, spatial query operators on the raw input data in multiple formats, without any pre-processing. On a single 64-core machine, AT-GIS provides 3× the performance of an 8-node Hadoop cluster with 192 cores for containment queries, and 10× for aggregation queries

How an accelerator can catalyse your ecosystem

Many industries from IT to car manufacturing, robotic and biotechnology, competition is moving from the product level to the ecosystem level. The creation of an ecosystem by a rival and the consequent shift to ecosystem competition can be quite challenging for product-focused incumbent organisations who may find that they have a challenge to establish the reputation and legitimacy of their own new ecosystem. This article discusses the ways and means an incumbent organisation can adopt and mobilise their own ecosystem

A Fresh Approach to Forecasting in Astroparticle Physics and Dark Matter Searches

We present a toolbox of new techniques and concepts for the efficient forecasting of experimental sensitivities. These are applicable to a large range of scenarios in (astro-)particle physics, and based on the Fisher information formalism. Fisher information provides an answer to the question what is the maximum extractable information from a given observation?. It is a common tool for the forecasting of experimental sensitivities in many branches of science, but rarely used in astroparticle physics or searches for particle dark matter. After briefly reviewing the Fisher information matrix of general Poisson likelihoods, we propose very compact expressions for estimating expected exclusion and discovery limits (equivalent counts method). We demonstrate by comparison with Monte Carlo results that they remain surprisingly accurate even deep in the Poisson regime. We show how correlated background systematics can be efficiently accounted for by a treatment based on Gaussian random fields. Finally, we introduce the novel concept of Fisher information flux. It can be thought of as a generalization of the commonly used signal-to-noise ratio, while accounting for the non-local properties and saturation effects of background and instrumental uncertainties. It is a powerful and flexible tool ready to be used as core concept for informed strategy development in astroparticle physics and searches for particle dark matter.Comment: 33 pages, 12 figure

Studies of noble-metal thermocouple stability at high temperatures

Two investigatory studies on performance characteristics of noble-metal thermocouples are described. (1) thermoelectric stability as affected by preferential oxidation of iridium in the system iridium-40% rhodium versus iridium, and (2) the effects of temperature gradients on the emf stability of the systems platinum-13% rhodium versus platinum and iridium-40% rhodium versus iridium, operating in air. The stability investigation was carried out at three temperatures - 1700, 1850, and 2000 C - by comparing the output of the test thermocouple in air with the output of an identically constructed reference thermocouple in nitrogen. The results show that no calibration shift was observed producing a change in output greater than that corresponding to a 2.0% change in the indicated temperature for all samples tested. The investigation of gradient effects was carried out by subjecting test thermocouples to both severe and mild gradients for periods up to 200 hours. For the platinum system, the operating temperature was 1500 C with gradients of 1475 and 700 C/cm; for the iridium system, 2000 C with gradients of 700, 1500, and 1975 C/cm. Exposure to temperature gradients was found to introduce significant changes in calibration for both systems. In both investigations, the thermoelements were examined by means of electron-probe analysis and by metallographic methods to detect chemical and structural changes. Data and micrographs are presented

Curves on K3 surfaces and modular forms

We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces are proven. As a consequence, we prove the Katz-Klemm-Vafa conjecture evaluating $\lambda_g$ integrals (in all genera) in terms of explicit modular forms. Indeed, all K3 invariants in primitive classes are shown to be governed by modular forms. The method of proof is by degeneration to elliptically fibered rational surfaces. New formulas relating reduced virtual classes on K3 surfaces to standard virtual classes after degeneration are needed for both maps and sheaves. We also prove a Gromov-Witten/Pairs correspondence for toric 3-folds. Our approach uses a result of Kiem and Li to produce reduced classes. In Appendix A, we answer a number of questions about the relationship between the Kiem-Li approach, traditional virtual cycles, and symmetric obstruction theories. The interplay between the boundary geometry of the moduli spaces of curves, K3 surfaces, and modular forms is explored in Appendix B by A. Pixton.Comment: An incorrect example in Appendix A, pointed out to us by Dominic Joyce, has been replaced by a reference to a new paper arXiv:1204.3958 containing a corrected exampl

Permanents, Pfaffian orientations, and even directed circuits

Given a 0-1 square matrix A, when can some of the 1's be changed to -1's in such a way that the permanent of A equals the determinant of the modified matrix? When does a real square matrix have the property that every real matrix with the same sign pattern (that is, the corresponding entries either have the same sign or are both zero) is nonsingular? When is a hypergraph with n vertices and n hyperedges minimally nonbipartite? When does a bipartite graph have a "Pfaffian orientation"? Given a digraph, does it have no directed circuit of even length? Given a digraph, does it have a subdivision with no even directed circuit? It is known that all of the above problems are equivalent. We prove a structural characterization of the feasible instances, which implies a polynomial-time algorithm to solve all of the above problems. The structural characterization says, roughly speaking, that a bipartite graph has a Pfaffian orientation if and only if it can be obtained by piecing together (in a specified way) planar bipartite graphs and one sporadic nonplanar bipartite graph.Comment: 47 pages, published versio

Kinesthetic control simulator

A kinesthetic control simulator is reported that has a flat base upon which rests a support structure having a lower spherical surface for rotation on the base plate with columns which support a platform above the support structure at a desired location with respect to the center of curvature of the spherical surface. A handrail is at approximately the elevation of the hips of the operator above the platform with a ring attached to the support structure which may be used to limit the angle of tilt. Five degree freedom-of-motion can be obtained by utilizing an air pad structure for support of the control simulator

Ezetimibe therapy: mechanism of action and clinical update.

The lowering of low-density lipoprotein cholesterol (LDL-C) is the primary target of therapy in the primary and secondary prevention of cardiovascular events. Although statin therapy is the mainstay for LDL-C lowering, a significant percentage of patients prescribed these agents either do not achieve targets with statin therapy alone or have partial or complete intolerance to them. For such patients, the use of adjuvant therapy capable of providing incremental LDL-C reduction is advised. One such agent is ezetimibe, a cholesterol absorption inhibitor that targets uptake at the jejunal enterocyte brush border. Its primary target of action is the cholesterol transport protein Nieman Pick C1 like 1 protein. Ezetimibe is an effective LDL-C lowering agent and is safe and well tolerated. In response to significant controversy surrounding the use and therapeutic effectiveness of this drug, we provide an update on the biochemical mechanism of action for ezetimibe, its safety and efficacy, as well as the results of recent randomized studies that support its use in a variety of clinical scenarios