Fuzzy Bigraphs: An Exercise in Fuzzy Communicating Agents

Bigraphs and their algebra is a model of concurrency. Fuzzy bigraphs are a generalization of birgraphs intended to be a model of concurrency that incorporates vagueness. More specifically, this model assumes that agents are similar, communication is not perfect, and, in general, everything is or happens to some degree.Comment: 11 pages, 3 figure

The turtles of the Purbeck Limestone Group of Dorset, southern England

The turtles from the Purbeck Limestone are revised and it is concluded that there are four shell-based cryptodire species present, namely Pleurosternon bullockii, ‘Glyptops’typocardium comb. nov., Helochelydra anglica comb. nov.,Hylaeochelys latiscutata. There is also one skull-based species, Dorsetochelys delairi, which may prove to be the skull of ‘Glyptops’, Hylaeochelys or an unknown shell-type. All other taxa are junior synonyms except ‘Chelone’obovata Owen, 1842 and Tretosternon punctatum Owen, 1842 which are nomina dubia, the material being unfigured and either lost or incorrectly associated. Other taxonomic conclusions are that (1) because Tretosternon is a nomen dubium, the next senior name for this Purbeck–Wealden genus is Helochelydra Nopcsa, 1928; (2) ‘Pleurosternon’typocardium and ‘Glyptops’ruetimeyeri are synonymous, the senior combination being ‘Glyptops’typocardium; (3) the Purbeck ‘Tretosternon’ material is combined with the holotype and only specimen of Platychelys? anglica as Helochelydra anglica comb. nov.; (4) Hylaeochelys emarginata and H. sollasi are junior synonyms of Hylaeochelys latiscutata; (5) one of Owen's ‘lost’ syntypes of ‘Tretosternon punctatum’ has been recognised and is a plastron of Hylaeochelys latiscutata

Science for Global Ubiquitous Computing

This paper describes an initiative to provide theories that can underlie the development of the Global Ubiquitous Computer, the network of ubiquitous computing devices that will pervade the civilised world in the course of the next few decades. We define the goals of the initiative and the criteria for judging whether they are achieved; we then propose a strategy for the exercise. It must combine a bottom-up development of theories in directions that are currently pursued with success, together with a top-down approach in the form of collaborative projects relating these theories to engineered systems that exist or are imminent

Causality and replication in concurrent processes

The replication operator was introduced by Milner for obtaining a simplified description of recursive processes. The standard interleaving semantics denotes the replication of a process P, written !P, a shorthand for its unbound parallel composition, operationally equivalent to the process P | P | …, with P repeated as many times as needed. Albeit the replication mechanism has become increasingly popular, investigations on its causal semantics has been scarce. In fact, the correspondence between replication and unbound parallelism makes it difficult to recover basic properties usually associated with these semantics, such as the so-called concurrency diamond. In this paper we consider the interleaving semantics for the operator proposed by Sangiorgi and Walker, and we show how to refine it in order to capture causality. Furthermore, we prove it coincident with the standard causal semantics for recursive process studied in the literature, for processes defined by means of constant invocations

The tetrapod Caerorhachis bairdi Holmes and Carroll from the Lower Carboniferous of Scotland

The tetrapod Caerorhachis bairdi, probably from the Pendleian Limestone Coal Group in the Scottish Midland Valley, is redi agnosed and redescribed, and its affinities are discussed. Caerorachis was originally interpreted as a temnospondyl amphibian, based on characters that are now regarded as primitive for tetrapods, or of uncertain polarity. Several features of Caerorhachis (e.g. gastrocentrous vertebrae, curved trunk ribs, reduced dorsal iliac blade, L-shaped tarsal intermedium) are observed in certain primitive amniotes. In particular, Caerorhachis resembles ‘anthracosaurs’, generally considered to be among the most primitive of stem-group amniotes. The phylogenetic position of Caerorhachis is considered in the light of recently published cladistic analyses of Palaeozoic tetrapods. Most analyses place Caerorhachis at the base of, or within, ‘anthra- cosaurs’. When multiple, equally parsimonious solutions are found, its ‘anthracosaur’ affinities are shown in at least some trees, and are supported by several informative and, generally, highly consistent characters. Alternative phylogenetic placements (e.g. sister taxon to temnospondyls) are usually less well corroborated. If the fundamental evolutionary split of most early tetrapods into stem-group lissamphibians (e.g. temnospondyl s) and stem-group amniotes (e.g. ‘anthracosaurs’) is accepted, then the revised interpretation of Caerorhachi s sheds light on near-ancestral conditions for Amniota

Corn Harvesting Handling Marketing in Ohio

PDF pages: 3

A Process Calculus for Dynamic Networks

In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery computations and it contains features for broadcasting at multiple transmission ranges and for viewing networks at different levels of abstraction. We develop a theory of confluence for the calculus and we use the machinery developed towards the verification of a leader-election algorithm for mobile ad hoc networks