Types for X10 Clocks

X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference, namely the ClockUseException. The study will open, we hope, doors to a more flexible utilisation of clocks in the X10 language.Comment: In Proceedings PLACES 2010, arXiv:1110.385

The data-exchange chase under the microscope

In this paper we take closer look at recent developments for the chase procedure, and provide additional results. Our analysis allows us create a taxonomy of the chase variations and the properties they satisfy. Two of the most central problems regarding the chase is termination, and discovery of restricted classes of sets of dependencies that guarantee termination of the chase. The search for the restricted classes has been motivated by a fairly recent result that shows that it is undecidable to determine whether the chase with a given dependency set will terminate on a given instance. There is a small dissonance here, since the quest has been for classes of sets of dependencies guaranteeing termination of the chase on all instances, even though the latter problem was not known to be undecidable. We resolve the dissonance in this paper by showing that determining whether the chase with a given set of dependencies terminates on all instances is coRE-complete. For the hardness proof we use a reduction from word rewriting systems, thereby also showing the close connection between the chase and word rewriting. The same reduction also gives us the aforementioned instance-dependent RE-completeness result as a byproduct. For one of the restricted classes guaranteeing termination on all instances, the stratified sets dependencies, we provide new complexity results for the problem of testing whether a given set of dependencies belongs to it. These results rectify some previous claims that have occurred in the literature.Comment: arXiv admin note: substantial text overlap with arXiv:1303.668

An HR Perspective: A Series on Management in Libraries -- Are There Weeds in Your Garden? Can They Be Cultivated or Should They be Plucked?

Comparing your organization to a garden may seem ludicrous but let’s take a closer look at your “garden.” When an organization is truly successful, every employee is a high performing individual. Unfortunately, most organizations have a few “weeds” and what happens when these are left unattended? The weeds in this instance aren’t the problem employees. Those you can handle through discipline procedures or termination. The weeds here blend in somewhat and aren’t as easily identified. They are the marginal or mediocre employees. By definition, marginal means “on the edge.” In organizational terms, marginal employees are those employees who live on the edge of “being productive." They exist because the organization has allowed them to do so

Real Collaboration: A Guide for Grantmakers

Looks at the role of the grantmaker in the promotion and support of inter-organizational collaboration. Makes recommendations on how foundation program officers can promote a more effective use of collaboration among grantees

Simulating STM transport in alkanes from first principles

Simulations of scanning tunneling microscopy measurements for molecules on surfaces are traditionally based on a perturbative approach, most typically employing the Tersoff-Hamann method. This assumes that the STM tip is far from the sample so that the two do not interact with each other. However, when the tip gets close to the molecule to perform measurements, the electrostatic interplay between the tip and substrate may generate non-trivial potential distribution, charge transfer and forces, all of which may alter the electronic and physical structure of the molecule. These effects are investigated with the ab initio quantum transport code SMEAGOL, combining non-equilibrium Green's functions formalism with density functional theory. In particular, we investigate alkanethiol molecules terminated with either CH3 or CF3 end-groups on gold surfaces, for which recent experimental data are available. We discuss the effects connected to the interaction between the STM tip and the molecule, as well as the asymmetric charge transfer between the molecule and the electrodes.Comment: 10 pages, 18 figure

Cleaving-temperature dependence of layered-oxide surfaces

The surfaces generated by cleaving non-polar, two-dimensional oxides are often considered to be perfect or ideal. However, single particle spectroscopies on Sr2RuO4, an archetypal non-polar two dimensional oxide, show significant cleavage temperature dependence. We demonstrate that this is not a consequence of the intrinsic characteristics of the surface: lattice parameters and symmetries, step heights, atom positions, or density of states. Instead, we find a marked increase in the density of defects at the mesoscopic scale with increased cleave temperature. The potential generality of these defects to oxide surfaces may have broad consequences to interfacial control and the interpretation of surface sensitive measurements