Weighted programming: A programming paradigm for specifying mathematical models

We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces. Weights can be numbers but also other objects like words from an alphabet, polynomials, formal power series, or cardinal numbers. We argue that weighted programming as a paradigm can be used to specify mathematical models beyond probability distributions (as is done in probabilistic programming). We develop weakest-precondition- and weakest-liberal-precondition-style calculi à la Dijkstra for reasoning about mathematical models specified by weighted programs. We present several case studies. For instance, we use weighted programming to model the ski rental problem - an optimization problem. We model not only the optimization problem itself, but also the best deterministic online algorithm for solving this problem as weighted programs. By means of weakest-precondition-style reasoning, we can determine the competitive ratio of the online algorithm on source code level

First HARPSpol discoveries of magnetic fields in massive stars

In the framework of the Magnetism in Massive Stars (MiMeS) project, a HARPSpol Large Program at the 3.6m-ESO telescope has recently started to collect high-resolution spectropolarimetric data of a large number of Southern massive OB stars in the field of the Galaxy and in many young clusters and associations. In this Letter, we report on the first discoveries of magnetic fields in two massive stars with HARPSpol - HD 130807 and HD 122451, and confirm the presence of a magnetic field at the surface of HD 105382 that was previously observed with a low spectral resolution device. The longitudinal magnetic field measurements are strongly varying for HD 130807 from $\sim$-100 G to $\sim$700 G. Those of HD 122451 and HD 105382 are less variable with values ranging from $\sim$-40 to -80 G, and from $\sim$-300 to -600 G, respectively. The discovery and confirmation of three new magnetic massive stars, including at least two He-weak stars, is an important contribution to one of the MiMeS objectives: the understanding of origin of magnetic fields in massive stars and their impacts on stellar structure and evolution.Comment: 4 pages, 2 figures, accepted for publication in A&A Lette

ISOGAL: A deep survey of the obscured inner Milky Way with ISO at 7 and 15 micron and with DENIS in the near-infrared

The ISOGAL project is an infrared survey of specific regions sampling the Galactic Plane selected to provide information on Galactic structure,stellar populations,stellar mass-loss and the recent star formation history of the inner disk and Bulge of the Galaxy. ISOGAL combines 7 and 15 micron ISOCAM observations - with a resolution of 6'' at worst - with DENIS IJKs data to determine the nature of the sources and theinterstellar extinction. We have observed about 16 square degrees with a sensitivity approaching 10-20mJy, detecting ~10^5 sources,mostly AGB stars,red giants and young stars. The main features of the ISOGAL survey and the observations are summarized in this paper,together with a brief discussion of data processing and quality. The primary ISOGAL products are described briefly (a full description is given in Schuller et al. 2003, astro-ph/0304309): viz. the images and theISOGAL-DENIS five-wavelength point source catalogue. The main scientific results already derived or in progress are summarized. These include astrometrically calibrated 7 and 15um images,determining structures of resolved sources; identification and properties of interstellar dark clouds; quantification of the infrared extinction law and source dereddening; analysis of red giant and (especially) AGB stellar populations in the central Bulge,determining luminosity,presence of circumstellar dust and mass--loss rate,and source classification,supplemented in some cases by ISO/CVF spectroscopy; detection of young stellar objects of diverse types,especially in the inner Bulge with information about the present and recent star formation rate; identification of foreground sources with mid-IR excess. These results are the subject of about 25 refereed papers published or in preparation.Comment: A&A in press. 19 pages,10 Ps figures; problems with figures fixe

First ISOCAM images of the Milky Way

ISOGAL is a 15 μm ISOCAM survey of ∼ 12 deg2 in the Galactic Plane interior to |ℓ| = 45°. In combination with IJK data from the near-infrared southern sky survey DENIS, the ISO images allow the first detailed study of stellar populations throughout the inner Galaxy. We present preliminary results from a test observation at ℓ = 45° with 6" pixels and completeness limit 8 mJy. Of the ∼ 3000 sources deg2 detected, about half are KM giants, seen through extinction of up to Av, ∼, 30,while most of the remainder are probably dusty young stars. Although away from bright IRAS regions, the field displays spectacular emission features, and, unexpectedly, a number of regions which are optically thick at 15 μm. The dark regions are presumably dense filaments with Av, >, 25

Multisite spectroscopic seismic study of the beta Cep star V2052 Oph: inhibition of mixing by its magnetic field

We used extensive ground-based multisite and archival spectroscopy to derive observational constraints for a seismic modelling of the magnetic beta Cep star V2052 Ophiuchi. The line-profile variability is dominated by a radial mode (f_1=7.14846 d^{-1}) and by rotational modulation (P_rot=3.638833 d). Two non-radial low-amplitude modes (f_2=7.75603 d^{-1} and f_3=6.82308 d^{-1}) are also detected. The four periodicities that we found are the same as the ones discovered from a companion multisite photometric campaign (Handler et al. 2012) and known in the literature. Using the photometric constraints on the degrees l of the pulsation modes, we show that both f_2 and f_3 are prograde modes with (l,m)=(4,2) or (4,3). These results allowed us to deduce ranges for the mass (M \in [8.2,9.6] M_o) and central hydrogen abundance (X_c \in [0.25,0.32]) of V2052 Oph, to identify the radial orders n_1=1, n_2=-3 and n_3=-2, and to derive an equatorial rotation velocity v_eq \in [71,75] km s^{-1}. The model parameters are in full agreement with the effective temperature and surface gravity deduced from spectroscopy. Only models with no or mild core overshooting (alpha_ov \in [0,0.15] local pressure scale heights) can account for the observed properties. Such a low overshooting is opposite to our previous modelling results for the non-magnetic beta Cep star theta Oph having very similar parameters, except for a slower surface rotation rate. We discuss whether this result can be explained by the presence of a magnetic field in V2052 Oph that inhibits mixing in its interior.Comment: 12 pages, 6 figures and 5 tables; accepted for publication in MNRAS on 2012 August 1

Regional patterns of U.S. household carbon emissions

Market-based policies to address fossil fuel-related externalities including climate change typically operate by raising the price of those fuels. Increases in energy prices have important consequences for a typical U.S. household that spent almost $4,000 per year on electricity, fuel oil, natural gas, and gasoline in 2005. A key question for policymakers is how these consequences vary over different regions and subpopulations across the country—especially as adjustment and compensation programs are designed to protect more vulnerable regions. To answer this question, we use non-publicly available data from the U.S. Consumer Expenditure Survey over the period 1984–2000 to estimate long-run geographic variation in household use of electricity, fuel oil, natural gas, and gasoline, as well as the associated incidence of a$10 per ton tax on carbon dioxide (ignoring behavioral response). We find substantial variation: incidence from the tax range from $97 dollars per year per household in New York County, New York to$235 per year per household in Tensas Parish, Louisiana. This variation can be explained by differences in energy use, carbon intensity of electricity generation, and electricity regulation