Organic geochemical studies of sinking particulate material in China sea area(I) - Organic matter fluxes and distributional features of hydrocarbon compounds and fatty acids

Sinking particulate material collected from Nansha Yongshu reef lagoon and the continental shelf of the East China Sea by sediment traps has been analyzed and studied for the first time using organic geochemical method. The results show that about half of the sinking particulate organic matter in the two study areas are consumed before reaching the depth of 5 m to the sea floor and the degree of this consumption in Yongshu reef lagoon is larger than that in the continental shelf of the East China Sea. The distributions of hydrocarbons and fatty acids indicate that the minor difference of biological sources of sinking particulate organic matter exists between Yongshu reel lagoon and the continental shelf of the East China Sea, but they mainly come from marine plankton. Stronger biological and biochemical transformations of sinking particulate organic matter are also observed and the intensity of this transformation in Yongshu reef lagoon is greater than that in the continental shelf of the East China Sea. It is found that the occurrence of C-25 highly branched isoprenoid (HBI) diene may be related to the composition of diatom species.

Naive Physics, Event Perception, Lexical Semantics, and Language Acquisition

This thesis proposes a computational model of how children may come to learn the meanings of words in their native language. The proposed model is divided into two separate components. One component produces semantic descriptions of visually observed events while the other correlates those descriptions with co-occurring descriptions of those events in natural language. The first part of this thesis describes three implementations of the correlation process whereby representations of the meanings of whole utterances can be decomposed into fragments assigned as representations of the meanings of individual words. The second part of this thesis describes an implemented computer program that recognizes the occurrence of simple spatial motion events in simulated video input.

Foundations of Actor Semantics

The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula, and out of the use of continuations to interpret imperative constructs within A-calculus. The mathematical content of the model has been developed by Carl Hewitt, Irene Greif, Henry Baker, and Giuseppe Attardi. This thesis extends and unifies their work through the following observations. The ordering laws postulated by Hewitt and Baker can be proved using a notion of global time. The most general ordering laws are in fact equivalent to an axiom of realizability in global time. Independence results suggest that some notion of global time is essential to any model of concurrent computation. Since nondeterministic concurrency is more fundamental than deterministic sequential computation, there may be no need to take fixed points in the underlying domain of a power domain. Power domains built from incomplete domains can solve the problem of providing a fixed point semantics for a class of nondeterministic programming languages in which a fair merge can be written. The event diagrams of Greif's behavioral semantics, augmented by Baker's pending events, form an incomplete domain. Its power domain is the semantic domain in which programs written in actor-based languages are assigned meanings. This denotational semantics is compatible with behavioral semantics. The locality laws postulated by Hewitt and Baker may be proved for the semantics of an actor-based language. Altering the semantics slightly can falsify the locality laws. The locality laws thus constrain what counts as an actor semantics.

Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough-Based Approaches

R. Jensen and Q. Shen. Semantics-Preserving Dimensionality Reduction: Rough and Fuzzy-Rough Based Approaches. IEEE Transactions on Knowledge and Data Engineering, 16(12): 1457-1471. 2004.

Aspects of Semantics and Pragmatics of Dialogue. SemDial 2010, 14th Workshop on the Semantics and Pragmatics of Dialogue

The papers collected in this book cover a range of topics in semantics and pragmatics of dialogue. All these papers were presented at SemDial 2010, the 14th Workshop on the Semantics and Pragmatics of Dialogue. This 14th edition in the SemDial series, also known as PozDial, took place in Poznań (Poland) in June 2010, and was organized by the Chair of Logic and Cognitive Science (Institute of Psychology, Adam Mickiewicz University). From over 30 submissions overall, 14 were accepted as full papers for plenary presentation at the workshop, and all are included in this book. In addition, 10 were accepted as posters, and are included here as 2-4 page short papers. Finally, we also include abstracts from our keynote speakers. We hope that the ideas gathered in this book will be a valuable source of up-to-date achievements in the field, and will become a valuable inspiration for new ones. We would like to express our thanks to all those who submitted to and participated in SemDial 2010, especially the invited speakers: Dale Barr (University of Glasgow), Jonathan Ginzburg (King's College London), Jeroen Groenendijk (University of Amsterdam) and Henry Prakken (Utrecht University, The University of Groningen). Last but not least, we would like to thank everybody engaged in the workshop organization -- the chairs, the local organizing committee for their hard work in Poznań, and the programme committee members for their thorough and helpful reviews.

A Formal Semantics for Weak References

A weak reference is a reference to an object that is not followed by the pointer tracer when garbage collection is called. That is, a weak reference cannot prevent the object it references from being garbage collected. Weak references remain a troublesome programming feature largely because there is not an accepted, precise semantics that describes their behavior (in fact, we are not aware of any formalization of their semantics). The trouble is that weak references allow reachable objects to be garbage collected, therefore allowing garbage collection to influence the result of a program. Despite this difficulty, weak references continue to be used in practice for reasons related to efficient storage management, and are included in many popular programming languages (Standard ML, Haskell, OCaml, and Java). We give a formal semantics for a calculus called λweak that includes weak references and is derived from Morrisett, Felleisen, and Harper’s λgc. λgc formalizes the notion of garbage collection by means of a rewrite rule. Such a formalization is required to precisely characterize the semantics of weak references. However, the inclusion of a garbage-collection rewrite-rule in a language with weak references introduces non-deterministic evaluation, even if the parameter-passing mechanism is deterministic (call-by-value in our case). This raises the question of confluence for our rewrite system. We discuss natural restrictions under which our rewrite system is confluent, thus guaranteeing uniqueness of program result. We define conditions that allow other garbage collection algorithms to co-exist with our semantics of weak references. We also introduce a polymorphic type system to prove the absence of erroneous program behavior (i.e., the absence of “stuck evaluation”) and a corresponding type inference algorithm. We prove the type system sound and the inference algorithm sound and complete.

Instrumental and interpretive methods in evaluating urban programmes

The turn within urban policy to address increasingly complex social, economic and environmental problems has exposed some of the fragility of traditional measurement models and their reliance on the rational paradigm. This article looks at the experiences of the European Union (EU) Programme for Peace and Reconciliation in Northern Ireland and its particular attempt to construct new District Partnerships to deliver area-based regeneration programmes. It highlights the need to combine instrumental and interpretative evaluation methods in an attempt to explain the wider contribution of governance to conflict resolution and participatory practice in local development. It concludes by highlighting the value of conceptual approaches that deal with the politics of evaluation and the distributional effects of policy interventions designed to create new relationships within and between multiple stakeholders.

Range-edge effects promote clonal growth in peripheral populations of the one-sided wintergreen Orthilia secunda

Existing in suboptimal conditions is a frequent occurrence for species inhabiting the cusp of their ecological range. In range-edge populations of plants, the scarcity of suitable habitat may be reflected in small population sizes which may result in increased self-pollination and/or inbreeding and an increase in the incidence of clonal reproduction. These factors may result in a decrease in levels of genetic diversity and a loss of potential adaptive variation that may compromise species' ability to cope with changes in their environment, an issue that is particularly relevant today with the current concern surrounding global climate change and its effect on species' distributional ranges. In the present study, we have compared the levels of clonal reproduction in the one-sided wintergreen Orthilia secunda (L.) House in (1) populations from its main continuous distribution range, (2) populations occurring on the limits of the continuous range, and (3) peripheral populations outwith the species' continuous distribution range. Range-edge populations in Scotland and Sweden displayed significantly lower genotypic richness and diversity than those from the main area of the species' distribution in these countries. Populations from Ireland, which occur in the temperate zone rather than the boreal conditions that are the preferred habitat for the species, and which represent relict populations left over from cooler periods in the Earth's history, displayed no within-population genetic diversity, suggesting a complete lack of sexual reproduction. Furthermore, the genetic distinctiveness of the Irish populations, which contained alleles not found in either the Scottish or the Swedish populations, highlights the value of 'trailing edge' populations and supports the concept of 'parochial conservation', namely the conservation of species that are locally rare but globally common.

A time-domain approach to the analysis and modeling of on-body propagation characteristics using synchronized measurements at 2.45 GHz

Modeling of on-body propagation channels is of paramount importance to those wishing to evaluate radio channel performance for wearable devices in body area networks (BANs). Difficulties in modeling arise due to the highly variable channel conditions related to changes in the user's state and local environment. This study characterizes these influences by using time-series analysis to examine and model signal characteristics for on-body radio channels in user stationary and mobile scenarios in four different locations: anechoic chamber, open office area, hallway, and outdoor environment. Autocorrelation and cross-correlation functions are reported and shown to be dependent on body state and surroundings. Autoregressive (AR) transfer functions are used to perform time-series analysis and develop models for fading in various on-body links. Due to the non-Gaussian nature of the logarithmically transformed observed signal envelope in the majority of mobile user states, a simple method for reproducing the failing based on lognormal and Nakagami statistics is proposed. The validity of the AR models is evaluated using hypothesis testing, which is based on the Ljung-Box statistic, and the estimated distributional parameters of the simulator output compared with those from experimental results.