A semantics and implementation of a causal logic programming language

The increasingly widespread availability of multicore and manycore computers demands new programming languages that make parallel programming dramatically easier and less error prone. This paper describes a semantics for a new class of declarative programming languages that support massive amounts of implicit parallelism

Datalog as a parallel general purpose programming language

The increasing available parallelism of computers demands new programming languages that make parallel programming dramatically easier and less error prone. It is proposed that datalog with negation and timestamps is a suitable basis for a general purpose programming language for sequential, parallel and distributed computers. This paper develops a fully incremental bottom-up interpreter for datalog that supports a wide range of execution strategies, with trade-offs affecting efficiency, parallelism and control of resource usage. Examples show how the language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics

Relationships between dust grain components responsible for observed interstellar extinction and polarization

Ultraviolet extinction properties of interstellar dust are well observed. The amount of extinction measured in the visible (E(B-V)), at the 2200 A feature (E(BUMP)), and in the far ultraviolet (E(1550-V)) are only vaguely correlated indicating that at least 3 fairly independent populations of grains contribute to the overall extinction curve. A search of literature was made for polarimetric observations of the 1415 stars included in the extinction catalog derived from the Astronomical Netherlands Satellite (ANS) data. It was found that about 900 of the stars had at least one unfiltered polarimetric observation, p (%). In addition, 150 stars had calculated values of lambda sub max (wavelength at which maximum polarization occurs). The lambda sub max and p/E(B-V) parameters are discussed

Polynomial approximation via compressed sensing of high-dimensional functions on lower sets

This work proposes and analyzes a compressed sensing approach to polynomial approximation of complex-valued functions in high dimensions. Of particular interest is the setting where the target function is smooth, characterized by a rapidly decaying orthonormal expansion, whose most important terms are captured by a lower (or downward closed) set. By exploiting this fact, we present an innovative weighted $\ell_1$ minimization procedure with a precise choice of weights, and a new iterative hard thresholding method, for imposing the downward closed preference. Theoretical results reveal that our computational approaches possess a provably reduced sample complexity compared to existing compressed sensing techniques presented in the literature. In addition, the recovery of the corresponding best approximation using these methods is established through an improved bound for the restricted isometry property. Our analysis represents an extension of the approach for Hadamard matrices in [5] to the general case of continuous bounded orthonormal systems, quantifies the dependence of sample complexity on the successful recovery probability, and provides an estimate on the number of measurements with explicit constants. Numerical examples are provided to support the theoretical results and demonstrate the computational efficiency of the novel weighted $\ell_1$ minimization strategy.Comment: 33 pages, 3 figure

Severing the Link between Farm Program Payments and Farm Production: Motivation, International Efforts, and Lessons

Agricultural and Food Policy, International Relations/Trade,

VLTI observations of the dust geometry around R Coronae Borealis stars

We are investigating the formation and evolution of dust around the hydrogen-deficient supergiants known as R Coronae Borealis (RCB) stars. We aim to determine the connection between the probable merger past of these stars and their current dust-production activities. We carried out high-angular resolution interferometric observations of three RCB stars, namely RY Sgr, V CrA, and V854 Cen with the mid-IR interferometer, MIDI on the VLTI, using two telescope pairs. The baselines ranged from 30 to 60 m, allowing us to probe the dusty environment at very small spatial scales (~ 50 mas or 400 stellar radii). The observations of the RCB star dust environments were interpreted using both geometrical models and one-dimensional radiative transfer codes. From our analysis we find that asymmetric circumstellar material is apparent in RY Sgr, may also exist in V CrA, and is possible for V854 Cen. Overall, we find that our observations are consistent with dust forming in clumps ejected randomly around the RCB star so that over time they create a spherically symmetric distribution of dust. However, we conclude that the determination of whether there is a preferred plane of dust ejection must wait until a time series of observations are obtained.Comment: Accepted for publication in MNRAS; 14 pages, 10 figures, 6 table