Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficiently compute solution concepts assuming such representations. Marginal contribution nets (MC-nets), introduced by Ieong and Shoham, are one of the simplest and most influential representation schemes for coalitional gam...

Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (interaction models). None of these approaches emphasizes the evolution of data involved in the collaboration. In contrast, artifact-centric models pursue the converse strategy and begin with a specification of data objects. ...

We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new techniques for its specification that have not been addressed before. We propose to focus the specification on its data-flow; this allows to reason about inter-component synchronisations produced by a data-driven synch...

We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a situation calculus semantics for the Prolog cut operator, the central search control operator in Prolog. We show that our semantics is well-behaved when the programs are properly stratif ied. We also show that according t...

Mercury stable isotope abundances were used to trace transport of Hg-impacted river sediment near a coal ash spill at Harriman, Tennessee, USA. δ(202)Hg values for Kingston coal ash released into the Emory River in 2008 are significantly negative (-1.78 ± 0.35‰), whereas sediments of the Clinch River, into which the Emory River flows, are contaminated by an additional Hg source (potentially fro...

Complete panmixia across the entire range of a species is a relatively rare phenomenon; however, this pattern may be found in species that have limited philopatry and frequent dispersal. American white pelicans (Pelecanus erythrorhyncos) provide a unique opportunity to examine the role of long-distance dispersal in facilitating gene flow in a species recently reported as panmictic across its br...

This paper introduces a novel 3D interest point detector and feature representation for describing image sequences. The approach considers image sequences as spatio-temporal volumes and detects Maximally Stable Volumes (MSV) in efficiently calculated optical flow fields. This provides a set of binary optical flow volumes highlighting the dominant motions in the sequences. Embedded in a simple b...

For each integer n we present an explicit formulation of a compact linear program, with O(n) variables and constraints, which determines the satisfiability of any 2SAT formula with n boolean variables by a single linear optimization. This contrasts with the fact that the natural polytope for this problem, formed from the convex hull of all satisfiable formulas and their satisfying assignments, ...

Inheriting amorphous atomic structures without crystalline lattices, bulk metallic glasses (BMGs) are known to have superior mechanical properties, such as high strength approaching the ideal value, but are susceptible to catastrophic failures. Understanding the plastic-flow dynamics of BMGs is important for achieving stable plastic flow in order to avoid catastrophic failures, especially under...

Tracing is a method of assigning flows in an electricity network to particular generators and loads, assuming perfect mixing at each node. It can be used to assign costs to transmission users. We show that the resulting allocation is equal to the Shapley value of an equivalent non-cooperative game.