Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

Interlaced X-ray diffraction computed tomography

An X-ray diffraction computed tomography data-collection strategy that allows, post experiment, a choice between temporal and spatial resolution is reported. This strategy enables time-resolved studies on comparatively short timescales, or alternatively allows for improved spatial resolution if the system under study, or components within it, appear to be unchanging. The application of the method for studying an Mn–Na–W/SiO2 fixed-bed reactor in situ is demonstrated. Additionally, the opportunities to improve the data-collection strategy further, enabling post-collection tuning between statistical, temporal and spatial resolutions, are discussed. In principle, the interlaced scanning approach can also be applied to other pencil-beam tomographic techniques, like X-ray fluorescence computed tomography, X-ray absorption fine structure computed tomography, pair distribution function computed tomography and tomographic scanning transmission X-ray microscopy

Searching for Planets in the Hyades II: Some Implications of Stellar Magnetic Activity

The Hyades constitute a homogeneous sample of stars ideal for investigating the dependence of planet formation on the mass of the central star. Due to their youth, Hyades members are much more chromospherically active than stars traditionally surveyed for planets using high precision radial velocity (RV) techniques. Therefore, we have conducted a detailed investigation of whether magnetic activity of our Hyades target stars will interfere with our ability to make precise RV searches for substellar companions. We measure chromospheric activity (which we take as a proxy for magnetic activity) by computing the equivalent of the R'HK activity index from the Ca II K line. is not constant in the Hyades: we confirm that it decreases with increasing temperature in the F stars, and also find it decreases for stars cooler than mid-K. We examine correlations between simultaneously measured R'HK and RV using both a classical statistical test and a Bayesian odds ratio test. We find that there is a significant correlation between R'HK and the RV in only 5 of the 82 stars in this sample. Thus, simple Rprime HK-RV correlations will generally not be effective in correcting the measured RV values for the effects of magnetic activity in the Hyades. We argue that this implies long timescale activity variations (of order a few years; i.e., magnetic cycles or growth and decay of plage regions) will not significantly hinder our search for planets in the Hyades if the stars are closely monitored for chromospheric activity. The trends in the RV scatter (sigma'_v) with , vsini, and P_rot for our stars is generally consistent with those found in field stars in the Lick planet search data, with the notable exception of a shallower dependence of sigma'_v on for F stars.Comment: 15 pages, 7 figures, 3 tables; To appear in the July 2002 issue of The Astronomical Journa

Fluxes in H\alpha and Ca II H and K for a sample of Southern stars

The main chromospheric activity indicator is the S index, which is esentially the ratio of the flux in the core of the Ca II H and K lines to the continuum nearby, and is well studied basically for stars from F to K. Another usual chromospheric proxy is the H\alpha line, which is beleived to be tightly correlated with the Ca II index. In this work we characterize both chromospheric activity indicators, one associated with the H and K Ca II lines and the other with H\alpha, for the whole range of late type stars, from F to M. We present periodical medium-resolution echelle observations covering the complete visual range, which were taken at the CASLEO Argentinean Observatory. These observations are distributed along 7 years. We use a total of 917 flux-calibrated spectra for 109 stars which range from F6 to M5. We statistically study these two indicators for stars of different activity levels and spectral types. We directly derive the conversion factor which translate the known S index to flux in the Ca II cores, and extend its calibration to a wider spectral range. We investigate the relation between the activity measurements in the calcium and hydrogen lines, and found that the usual correlation observed is basically the product of the dependence of each flux with stellar colour, and not the product of similar activity phenomena.Comment: 12 pages, including 11 figures and 2 tables. Accepted for publication in Astronomy and Astrophysic

Українська шляхта між польським та українським етносами

Appearance and existence of the Ukrainian gentry relates to the traditions of Polish political culture, so during the whole period of its life it was between the Ukrainian and the Polish ethnic groups. Polanisation of the Ukrainian gentry begins at the date when some of the Ukrainian territories become a part of Poland and strengthens after Cossack revolution in the middle and at the end of the 16th century. Especially this process becomes effective at the beginning of the 18th century when a great part of gentry from other Polish lands migrates to Pravoberezhia (right-banked Ukraine). Nevertheless, having captured upper class and partially middle class of the Ukrainian gentry, polanisation mainly influenced consciousness and less religion of the lower class of the Ukrainian gentry. As for ethnoculture and language local gentry was mostly Ukrainian and it assimilated numerous Polish gentlemen-immigrants

Kunstmestvervangers onderzocht

Het in dit pamflet beschreven onderzoek worden de landbouwkundige en milieukundige effecten van het gebruik van de producten uit de installaties als meststof getest. Het onderzoek bestaat uit verschillende deelprojecten die kort benoemd worde

HIP 38939B: A New Benchmark T Dwarf in the Galactic Plane Discovered with Pan-STARRS1

We report the discovery of a wide brown dwarf companion to the mildly metal-poor ([Fe/H]=-0.24), low galactic latitude (b = 1.88 deg) K4V star HIP 38939. The companion was discovered by its common proper motion with the primary and its red optical (Pan-STARRS1) and blue infrared (2MASS) colors. It has a projected separation of 1630 AU and a near-infrared spectral type of T4.5. As such it is one of only three known companions to a main sequence star which have early/mid-T spectral types (the others being HN Peg B and eps Indi B). Using chromospheric activity we estimate an age for the primary of 900{+1900,-600} Myr. This value is also in agreement with the age derived from the star's weak ROSAT detection. Comparison with evolutionary models for this age range indicates that HIP 38939B falls in the mass range 38+/-20 Mjup with an effective temperature range of 1090+/-60 K. Fitting our spectrum with atmospheric models gives a best fitting temperature of 1100 K. We include our object in an analysis of the population of benchmark T dwarfs and find that while older atmospheric models appeared to over-predict the temperature of the coolest objects compared to evolutionary models, more recent atmospheric models provide better agreement.Comment: ApJ, in press. Tiny changes incorporated into final version: added analysis of likelihood of companionship, clarified the fitting proceedure, and updated the benchmark analysis to highlight when the quoted evolutionary models use the atmospheric model they are being compared to as a boundary conditio