Voodoo - a vector algebra for portable database performance on modern hardware

In-memory databases require careful tuning and many engineering tricks to achieve good performance. Such database performance engineering is hard: a plethora of data and hardware-dependent optimization techniques form a design space that is difficult to navigate for a skilled engineer --- even more so for a query compiler. To facilitate performance-oriented design exploration and query plan compilation, we present Voodoo, a declarative intermediate algebra that abstracts the detailed architectural properties of the hardware, such as multi- or many-core architectures, caches and SIMD registers, without losing the ability to generate highly tuned code. Because it consists of a collection of declarative, vector-oriented operations, Voodoo is easier to reason about and tune than low-level C and related hardware-focused extensions (Intrinsics, OpenCL, CUDA, etc.). This enables our Voodoo compiler to produce (OpenCL) code that rivals and even outperforms the fastest state-of-the-art in memory databases for both GPUs and CPUs. In addition, Voodoo makes it possible to express techniques as diverse as cache-conscious processing, predication and vectorization (again on both GPUs and CPUs) with just a few lines of code. Central to our approach is a novel idea we termed control vectors, which allows a code generating frontend to expose parallelism to the Voodoo compiler in a abstract manner, enabling portable performance across hardware platforms. We used Voodoo to build an alternative backend for MonetDB, a popular open-source in-memory database. Our backend allows MonetDB to perform at the same level as highly tuned in-memory databases, including HyPeR and Ocelot. We also demonstrate Voodoo's usefulness when investigating hardware conscious tuning techniques, assessing their performance on different queries, devices and data

Nonsupersymmetric smooth geometries and D1-D5-P bound states

We construct smooth nonsupersymmetric soliton solutions with D1-brane, D5-brane, and momentum charges in type IIB supergravity compactified on T4×S1, with the charges along the compact directions. This generalizes previous studies of smooth supersymmetric solutions. The solutions are obtained by considering a known family of U(1)×U(1) invariant metrics, and studying the conditions imposed by requiring smoothness. We discuss the relation of our solutions to states in the CFT describing the D1-D5 system and describe various interesting features of the geometry

A problem with problem solving: motivational traits, but not cognition, predict success on novel operant foraging tasks

Rates of innovative foraging behaviours and success on problem-solving tasks are often used to assay differences in cognition, both within and across species. Yet the cognitive features of some problem-solving tasks can be unclear. As such, explanations that attribute cognitive mechanisms to individual variation in problem-solving performance have revealed conflicting results. We investigated individual consistency in problem-solving performances in captive-reared pheasant chicks, Phasianus colchicus, and addressed whether success depends on cognitive processes, such as trial-and-error associative learning, or whether performances may be driven solely via noncognitive motivational mechanisms, revealed through subjects' willingness to approach, engage with and persist in their interactions with an apparatus, or via physiological traits such as body condition. While subjects' participation and success were consistent within the same problems and across similar tasks, their performances were inconsistent across different types of task. Moreover, subjects' latencies to approach each test apparatus and their attempts to access the reward were not repeatable across trials. Successful individuals did not improve their performances with experience, nor were they consistent in their techniques in repeated presentations of a task. However, individuals that were highly motivated to enter the experimental chamber were more likely to participate. Successful individuals were also faster to approach each test apparatus and more persistent in their attempts to solve the tasks than unsuccessful individuals. Our findings therefore suggest that individual differences in problem-solving success can arise from inherent motivational differences alone and hence be achieved without inferring more complex cognitive processes

Mid-infrared observations of the ultraluminous galaxies IRAS14348-1447, IRAS19254-7245, and IRAS23128-5919

We present a study of the three ultraluminous infrared galaxies IRAS14348-1447, IRAS19254-7245, and IRAS23128-5919, based on mid-infrared (MIR) spectro-imaging (5-18microns) observations performed with ISOCAM. We find that the MIR emission from each system, which consists of a pair of interacting late type galaxies, is principally confined to the nuclear regions with diameters of 1-2kpc and can account for more than 95% of their IRAS 12micron flux. In each interacting system, the galaxy hosting an active galactic nucleus (AGN) dominates the total spectrum and shows stronger dust continuum (12-16microns) relative to the Unidentified Infrared Band (UIB) emission (6-9microns), suggestive of its enhanced radiation field. The MIR dominant galaxy also exhibits elevated 15micron/Halpha and 15micron/K ratios which trace the high extinction due to the large quantities of molecular gas and dust present in its central regions. Using only diagnostics based on our mid-infrared spectra, we can establish that the Seyfert galaxy IRAS19254-7245 exhibits MIR spectral features of an AGN while the MIR spectrum of the Seyfert (or LINER) member of IRAS23128-5919 is characteristic of dust emission principally heated by star forming regions.Comment: Accepted for publication in Astronomy & Astrophysics, 13 pages, 9 figure

Helping Farmers and Reducing Car Crashes: The Surprising Benefits of Predators

Humans may be Earth’s apex predator, but the fleeting shadow of a vulture or the glimpse of a big cat can cause instinctive fear and disdain. But new evidence suggests that predators and scavengers are much more beneficial to humans than commonly believed, and that their loss may have greater consequences than we have imagined