Petrov type D pure radiation fields of Kundt's class

We present all Petrov type D pure radiation space-times, with or without cosmological constant, with a shear-free, non-diverging geodesic principal null congruence

Oral health in Late Pleistocene and Holocene North West Africa

Archaeological sites in North West Africa have yielded a rich record of human occupation, including well dated human burials from the Late Pleistocene Iberomaurusian and early Holocene Capsian periods. The transition broadly coincides with climatic amelioration at the end of the Holocene enabling expansion into slighter dryer inland areas. Here we investigate possible changes in oral health and subsistence behaviours during the transition between the Iberomaurusian (n = 109 individuals) and the Capsian (n = 19 individuals), based on the study of dental remains. Frequencies in oral pathologies (caries, abscesses, periodontal disease and antemortem tooth loss) were studied to assess possible differences between the late Pleistocene and early Holocene. The Late Pleistocene Iberomaurusians were characterised by high caries frequencies (60% of observed teeth). The Capsians displayed very similar patterns in oral pathologies but a slightly lower percentage of carious teeth (49%). The similarity in oral health in Iberomaurusian and Capsian populations is consistent with similarities in diet and oral hygiene. The implication of cultural and biological continuity between the Iberomaurusian and Capsian periods is supported by indicators, such as exploitation of wild plants and snails, tooth evulsion and craniofacial and dental morphology. © 201

Purely radiative perfect fluids with degenerate shear tensor

We consider non-rotating geodesic perfect fluid spacetimes which are purely radiative in the sense that the gravitational field satisfies the covariant transverse conditions div H = div E = 0. We show that when the shear tensor S is degenerate, H, E and S necessarily commute and hence the resulting spacetimes are hypersurface homogeneous of Bianchi class A (modulo some purely electric exceptions).Comment: 8 pages, references added, typos corrected, simplified some algebraic manipulation

Concurrent constraint programming with process mobility

We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purpose, we first investigate a "pure " paradigm for process migration, namely a paradigm where the only actions are those dealing with transmissions of processes. Our goal is to give a structural definition of the semantics of migration; namely, we want to describe the behaviour of the system, during the transmission of a process, in terms of the behaviour of the components. We achieve this goal by using a labeled transition system where the effects of sending a process, and requesting a process, are modeled by symmetric rules (similar to handshaking-rules for synchronous communication) between the two partner nodes in the network. Next, we extend our paradigm with the primitives of concurrent constraint programming, and we show how to enrich the semantics to cope with the notions of environment and constraint store. Finally, we show how the operational semantics can be used to define an interpreter for the basic calculus.

A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars

International audienceNeg-Raising (NR) verbs form a class of verbs with a clausal complement that show the following behavior: when a negation syntactically attaches to the matrix predicate, it can semantically attach to the embedded predicate. This paper presents an account of NR predicates within Tree Adjoining Grammar (TAG). We propose a lexical semantic interpretation that heavily relies on a Montague-like semantics for TAG and on higher-order types