Deposits of clastic carbonate-dominated (calciclastic) sedimentary slope systems in the rock record have been identified mostly as linearly-consistent carbonate apron deposits, even though most ancient clastic carbonate slope deposits fit the submarine fan systems better. Calciclastic submarine fans are consequently rarely described and are poorly understood. Subsequently, very little is known especially in mud-dominated calciclastic submarine fan systems. Presented in this study are a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) that reveals a >250 m thick calciturbidite complex deposited in a calciclastic submarine fan setting. Seven facies are recognised from core and thin section characterisation and are grouped into three carbonate turbidite sequences. They include: 1) Calciturbidites, comprising mostly of highto low-density, wavy-laminated bioclast-rich facies; 2) low-density densite mudstones which are characterised by planar laminated and unlaminated muddominated facies; and 3) Calcidebrites which are muddy or hyper-concentrated debrisflow deposits occurring as poorly-sorted, chaotic, mud-supported floatstones. These

Phd by thesis

Trust and reputation systems represent a significant trend in decision support for Internet mediated service provision. The basic idea is to let parties rate each other, for example after the completion of a transaction, and use the aggregated ratings about a given party to derive a trust or reputation score, which can assist other parties in deciding whether or not to transact with that party in the future. A natural side effect is that it also provides an incentive for good behaviour, and therefore tends to have a positive effect on market quality. Reputation systems can be called collaborative sanctioning systems to reflect their collaborative nature, and are related to collaborative filtering systems. Reputation systems are already being used in successful commercial online applications. There is also a rapidly growing literature around trust and reputation systems, but unfortunately this activity is not very coherent. The purpose of this article is to give an overview of existing and proposed systems that can be used to derive measures of trust and reputation for Internet transactions, to analyse the current trends and developments in this area, and to propose a research agenda for trust and reputation systems.

/pdf/a-survey-of-trust-and-reputation-systems-for-online-service-2vd0g0048y.pdf

A survey of trust and reputation systems for online service provision

We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The calculus is an extension of the process algebra CCS, following work by Engberg and Nielsen, who added mobility to CCS while preserving its algebraic properties. The rr-calculus gains simplicity by removing all distinction between variables and constants; communication links are identified by names, and computation is represented purely as the communication of names across links. After an illustrated description of how the n-calculus generalises conventional process algebras in treating mobility, several examples exploiting mobility are given in some detail. The important examples are the encoding into the n-calculus of higher-order functions (the I-calculus and combinatory algebra), the transmission of processes as values, and the representation of data structures as processes. The paper continues by presenting the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions-i.e., assumptions of inequality among names. These theories are based upon a semantics in terms of a labeled transition system and a notion of strong bisimulation, both of which are expounded in detail in a companion paper. We also report briefly on work-in-progress based upon the corresponding notion of weak bisimulation, in which internal actions cannot be observed. 0 1992 Academic Press, Inc.

A calculus of mobile processes, II

Beginning with Emlen (1966) and MacArthur and Pianka (1966) and extending through the last ten years, several authors have sought to predict the foraging behavior of animals by means of mathematical models. These models are very similar,in that they all assume that the fitness of a foraging animal is a function of the efficiency of foraging measured in terms of some "currency" (Schoener, 1971) -usually energy- and that natural selection has resulted in animals that forage so as to maximize this fitness. As a result of these similarities, the models have become known as "optimal foraging models"; and the theory that embodies them, "optimal foraging theory." The situations to which optimal foraging theory has been applied, with the exception of a few recent studies, can be divided into the following four categories: (1) choice by an animal of which food types to eat (i.e., optimal diet); (2) choice of which patch type to feed in (i.e., optimal patch choice); (3) optimal allocation of time to different patches; and (4) optimal patterns and speed of movements. In this review we discuss each of these categories separately, dealing with both the theoretical developments and the data that permit tests of the predictions. The review is selective in the sense that we emphasize studies that either develop testable predictions or that attempt to test predictions in a precise quantitative manner. We also discuss what we see to be some of the future developments in the area of optimal foraging theory and how this theory can be related to other areas of biology. Our general conclusion is that the simple models so far formulated are supported are supported reasonably well by available data and that we are optimistic about the value both now and in the future of optimal foraging theory. We argue, however, that these simple models will requre much modification, espicially to deal with situations that either cannot easily be put into one or another of the above four categories or entail currencies more complicated that just energy.

Citation classic - optimal foraging - a selective review of theory and tests

Mangroves are woody plants that grow at the interface between land and sea in tropical and sub-tropical latitudes where they exist in conditions of high salinity, extreme tides, strong winds, high temperatures and muddy, anaerobic soils. There may be no other group of plants with such highly developed morphological and physiological adaptations to extreme conditions.

Because of their environment, mangroves are necessarily tolerant of high salt levels and have mechanisms to take up water despite strong osmotic potentials. Some also take up salts, but excrete them through specialized glands in the leaves. Others transfer salts into senescent leaves or store them in the bark or the wood. Still others simply become increasingly conservative in their water use as water salinity increases Morphological specializations include profuse lateral roots that anchor the trees in the loose sediments, exposed aerial roots for gas exchange and viviparous waterdispersed propagules.

Mangroves create unique ecological environments that host rich assemblages of species. The muddy or sandy sediments of the mangal are home to a variety of epibenthic, infaunal, and meiofaunal invertebrates Channels within the mangal support communities of phytoplankton, zooplankton and fish. The mangal may play a special role as nursery habitat for juveniles of fish whose adults occupy other habitats (e.g. coral reefs and seagrass beds).

Because they are surrounded by loose sediments, the submerged mangroves' roots, trunks and branches are islands of habitat that may attract rich epifaunal communities including bacteria, fungi, macroalgae and invertebrates. The aerial roots, trunks, leaves and branches host other groups of organisms. A number of crab species live among the roots, on the trunks or even forage in the canopy. Insects, reptiles, amphibians, birds and mammals thrive in the habitat and contribute to its unique character.

Living at the interface between land and sea, mangroves are well adapted to deal with natural stressors (e.g. temperature, salinity, anoxia, UV). However, because they live close to their tolerance limits, they may be particularly sensitive to disturbances like those created by human activities. Because of their proximity to population centers, mangals have historically been favored sites for sewage disposal. Industrial effluents have contributed to heavy metal contamination in the sediments. Oil from spills and from petroleum production has flowed into many mangals. These insults have had significant negative effects on the mangroves.

Habitat destruction through human encroachment has been the primary cause of mangrove loss. Diversion of freshwater for irrigation and land reclamation has destroyed extensive mangrove forests. In the past several decades, numerous tracts of mangrove have been converted for aquaculture, fundamentally altering the nature of the habitat. Measurements reveal alarming levels of mangrove destruction. Some estimates put global loss rates at one million ha y−1, with mangroves in some regions in danger of complete collapse. Heavy historical exploitation of mangroves has left many remaining habitats severely damaged.

These impacts are likely to continue, and worsen, as human populations expand further into the mangals. In regions where mangrove removal has produced significant environmental problems, efforts are underway to launch mangrove agroforestry and agriculture projects. Mangrove systems require intensive care to save threatened areas. So far, conservation and management efforts lag behind the destruction; there is still much to learn about proper management and sustainable harvesting of mangrove forests.

Mangroves have enormous ecological value. They protect and stabilize coastlines, enrich coastal waters, yield commercial forest products and support coastal fisheries. Mangrove forests are among the world's most productive ecosystems, producing organic carbon well in excess of the ecosystem requirements and contributing significantly to the global carbon cycle. Extracts from mangroves and mangrove-dependent species have proven activity against human, animal and plant pathogens. Mangroves may be further developed as sources of high-value commercial products and fishery resources and as sites for a burgeoning ecotourism industry. Their unique features also make them ideal sites for experimental studies of biodiversity and ecosystem function. Where degraded areas are being revegetated, continued monitoring and thorough assessment must be done to help understand the recovery process. This knowledge will help develop strategies to promote better rehabilitation of degraded mangrove habitats the world over and ensure that these unique ecosystems survive and flourish.

Biology of mangroves and mangrove Ecosystems

Petri nets, event structures and domains, part I

This is a draft version of a chapter for the Handbook of Logic and the Foundations of Computer Science, Oxford University Press. The final draft can be found as DAIMI PB 463. It surveys a range of models for parallel computation to include interleaving models like transition systems, synchronisation trees and languages (often called Hoare traces in this context), and models like Petri nets, asynchronous transition systems, event structures, pomsets and Mazurkiewicz traces where concurrency is represented more explicitly by a form of causal independence. The presentation is unified by casting the models in a category-theoretic framework. One aim is to use category theory to provide abstract characterisations of constructions like parallel composition valid throughout a range of different models and to provide formal means for translating between different models. It is still a draft at present. In particular, the ''Notes'' surveying related work are incomplete and the appendix on fibred categories needs to be overhauled in the light of some slick proofs, provided by Bart Jacobs. It is ragged in other places too. Constructive comments and corrections will be appreciated. A knowledge of basic category theory is assumed, up to an acquaintance with the notion of adjunction.

Models for concurrency

The general aim of the paper is to find a theory of concurrency combining the approaches of Petri and Scott (and other workers) [Pet 1,2],ESeo ~,3],[Sto]. To connect the abstract ideas of events and domains of information, we show how causal nets induce certain kinds of domains where the information points are certain sets of events. This allows translations between the languages of net theory and domain theory. Following the idea that events of causal nets are occurrences we generalise causal nets to occurrence nets, by adding forwards conflict; just as infinite flow chartsunfold finite ones [Sco 2], so transition nets can be unfolded into occurrence nets. Next we extend the above connections between nets and domains to these new nets. Event structures, which are intermediate between nets and domains play an important part in all our work.

Petri Nets, Event Structures and Domains

Decidability Issues for Petri Nets - a survey.

An abstract definition of bisimulation is presented It makes possible a uniform definition of bisimulation across a range of different models for parallel computation presented as categories As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets), and labelled event structures are considered On transition systems the abstract definition readily specialises to Milner's strong bisimulation On event structures it explains and leads to a strengthening of the history-preserving bisimulation of Rabinovitch and Traktenbrot and van Glabeek and Goltz A tie-up with open maps in a (pre)topos, as they appear in the work of Joyal and Moerdijk, brings to light a new model, presheaves on categories of pomsets, into which the usual category of labelled event structures embeds fully and faithfully As an indication of its promise, this new presheaf model has “refinement” operators The general approach yields a logic, generalising Hennessy?Milner logic, which is characteristic for the generalised notion of bisimulation

Mogens Nielsen

Papers

Petri nets, event structures and domains, part I

Models for concurrency

Petri Nets, Event Structures and Domains

Decidability Issues for Petri Nets - a survey.

Bisimulation from Open Maps