High precision C-14 dating of Holocene peat deposits: A comparison of Bayesian calibration and wiggle-matching approaches

The chronologies of five northern European ombrotrophic peat bogs subjected to a large ANIS C-14 dating effort (32-44 dates/site) are presented here. The results of Bayesian calibration (BCal) of dates with a prior assumption of chronological ordering were compared with a Bayesian wiggle-match approach (Bpeat) which assumes constant linear accumulation over sections of the peat profile. Interpolation of BCal age estimates of dense sequences of C-14 dates showed variable patterns of peat accumulation with time, with changes in accumulation occurring at intervals ranging from 20 to 50 cm. Within these intervals, peat accumulation appeared to be relatively linear. Close analysis suggests that some of the inferred variations in accumulation rate were related to the plant macrofossil composition of the peat. The wiggle-matched age-depth models had relatively high chronological uncertainty within intervals of closely spaced 14 C dates, suggesting that the premise of constant linear accumulation over large sections of the peat profile is unrealistic. Age models based on the assumption of linear accumulation over large parts of a peat core (and therefore only effective over millennial timescales), are not compatible with studies examining environmental change during the Holocene, where variability often occurs at decadal to centennial time-scales. Ideally, future wiggle-match age models should be constrained, with boundaries between sections based on the plant macrofossil composition of the peat and physical-chemical parameters such as the degree of decomposition. Strategies for the selection of material for dating should be designed so that there should be enough C-14 dates to accurately reconstruct the peat accumulation rate of each homogeneous stratigraphic unit. (c) 2006 Elsevier Ltd. All rights reserved.

Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic.

In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them.First of all, a quantity of conflict and two quantities of agreement are defined. The former is shown to be a generalization of the well-known Dalal distance which is the hamming distance between two interpretations. The latter are, respectively, a quantity of strong agreement which measures the amount ofinformation on which two belief bases “totally” agree, and a quantity of weak agreement which measures the amount of information that is believed by onesource but is unknown to the other. All three quantity measures are based on the weighted prime implicant, which represents beliefs in a prioritized belief base. We then define a degree of conflict and two degrees of agreement based on our quantity of conflict and quantities of agreement. We also consider the impact of these measures on belief merging and information source ordering.

The negatively charged nitrogen-vacancy centre in diamond: the electronic solution

The negatively charged nitrogen-vacancy centre in diamond is a unique defect centre in diamond that possesses properties highly suited to many applications, including quantum information processing, quantum metrology, and biolabelling. Although the unique properties of the centre have been extensively documented and utilised, a detailed understanding of the physics of the centre has not yet been achieved. Indeed there persists a number of points of contention regarding the electronic structure of the centre, such as the ordering of the dark intermediate singlet states. Without a sound model of the centre’s electronic structure, the understanding of the system’s unique dynamical properties can not effectively progress. In this work, the molecular model of the defect centre is fully developed to provide a self consistent model of the complete electronic structure of the centre. The application of the model to describe the effects of electric, magnetic and strain interactions, as well as the variation of the centre’s fine structure with temperature, provides an invaluable tool to those studying the centre and a means to design future experiments and ab initio studies of this important defect centre.

Information theoretic measures of UHG graphs with low computational complexity

We introduce a novel graph class we call universal hierarchical graphs (UHG) whose topology can be found numerously in problems representing, e.g., temporal, spacial or general process structures of systems. For this graph class we show, that we can naturally assign two probability distributions, for nodes and for edges, which lead us directly to the definition of the entropy and joint entropy and, hence, mutual information establishing an information theory for this graph class. Furthermore, we provide some results under which conditions these constraint probability distributions maximize the corresponding entropy. Also, we demonstrate that these entropic measures can be computed efficiently which is a prerequisite for every large scale practical application and show some numerical examples. (c) 2007 Elsevier Inc. All rights reserved.

Spontaneous nucleation of structural defects in inhomogeneous ion chains

Structural defects in ion crystals can be formed during a linear quench of the transverse trapping frequency across the mechanical instability from a linear chain to a zigzag structure. The density of defects after the sweep can be conveniently described by the Kibble-Zurek mechanism (KZM). In particular, the number of kinks in the zigzag ordering can be derived from a time-dependent Ginzburg-Landau equation for the order parameter, here the zigzag transverse size, under the assumption that the ions are continuously laser cooled. In a linear Paul trap, the transition becomes inhomogeneous, since the charge density is larger in the center and more rarefied at the edges. During the linear quench, the mechanical instability is first crossed in the center of the chain, and a front, at which the mechanical instability is crossed during the quench, is identified that propagates along the chain from the center to the edges. If the velocity of this front is smaller than the sound velocity, the dynamics become adiabatic even in the thermodynamic limit and no defect is produced. Otherwise, the nucleation of kinks is reduced with respect to the case in which the charges are homogeneously distributed, leading to a new scaling of the density of kinks with the quenching rate. The analytical predictions are verified numerically by integrating the Langevin equations of motion of the ions, in the presence of a time-dependent transverse confinement. We argue that the non-equilibrium dynamics of an ion chain in a Paul trap constitutes an ideal scenario to test the inhomogeneous extension of the KZM, which lacks experimental evidence to date.

Influence of ionic liquids on the crystalline structure of nanocolloids

This communication demonstrates that ionic liquids can alter the crystallinity and chemical ordering of nanocolloids synthesized in solution.

Extreme events and the morphodynamics of gravel-dominated coastal barriers: Strengthening uncertain ground

The long-term morphodynamic ordering of gravel-dominated coastal systems (GDCS), many of which serve as coastal defences in northwest Europe, is dominated by extreme events that generate barrier crest overflow. An understanding of this morphodynamic ordering is fraught with several unresolved difficulties. These are related to the twin problems of the inadequacy of pertinent morphodynamic parameterisation and of obtaining data from modern shores enabling such parameterisation. Major uncertainties concern the timing of over-crest flow in terms of return period of extreme elevation; the intensity and structure of the overflow field; antecedent beachface characteristics in response to storms; the rate of relative sea-level change; tidal stage control; and barrier resistance to forcing, itself determined by a number of unknowns including barrier form and size, sediment size and mosaics, and barrier resilience. While generalised extreme value modelling may provide a means of characterising overwashing return-period and its variability, exceptional tsunami events are outside the scope of such modelling. The characterisation of GDCS morphodynamics in terms of the forcing extreme events will necessitate integrating some or all of these parameters into a single model.

Detection of Entanglement in Ultracold Lattice Gases

Probing non trivial magnetic ordering in quantum magnets realized with ultracold lattice gases demands detection methods with some spatial resolution built on it. Here we demonstrate that the Faraday matter-light interface provides an experimentally feasible tool to distinguish indubitably different quantum phases of a given many-body system in a non-demolishing way. We illustrate our approach by focussing on the Heisenberg chain for spin-1 bosons in the presence of a SU(2) symmetry breaking field. We explain how using the light signal obtained via homodyne detection one can reconstruct the phase diagram of the model. Further we show that the very same technique that provides a direct experimentally measurable signal of different order parameters can be extended to detect also the presence of multipartite entanglement in such systems.

A Low Complexity Real-time MIMO-Preprocessing For Fixed Complexity Sphere Decoder

Modern Multiple-Input Multiple-Output (MIMO) communication systems place huge demands on embedded processing resources in terms of throughput, latency and resource utilization. State-of-the-art MIMO detector algorithms, such as Fixed-Complexity Sphere Decoding (FSD), rely on efficient channel preprocessing involving numerous calculations of the pseudo-inverse of the channel matrix by QR Decomposition (QRD) and ordering. These highly complicated operations can quickly become the critical prerequisite for real-time MIMO detection, exaggerated as the number of antennas in a MIMO detector increases. This paper describes a sorted QR decomposition (SQRD) algorithm extended for FSD, which significantly reduces the complexity and latency
of this preprocessing step and increases the throughput of MIMO detection. It merges the calculations of the QRD and ordering operations to avoid multiple iterations of QRD. Specifically, it shows that SQRD reduces the computational complexity by over 60-70% when compared to conventional
MIMO preprocessing algorithms. In 4x4 to 7x7 MIMO cases, the approach suffers merely 0.16-0.2 dB reduction in Bit Error Rate (BER) performance.

The Lake House Extension

The project comprises of the re-ordering and extension of a 19th century country house in the extreme south west of Ireland. The original house is what can be termed an Irish house of the middle size. A common typology in 19th century Ireland the classical house of the middle size is characterised by a highly ordered plan containing a variety of rooms within a square or rectangular form. A strategy of elaborating the threshold between the reception rooms of the house and the garden was adopted by wrapping the house in a notional forest of columns creating deep verandas to the south and west
of the main living spaces. The grid of structural columns derived its proportions directly from the house. The columns became analogous with the mature oak and pine trees in the garden beyond while the floor and ceiling were considered as landscapes in their own right, with the black floor forming hearth stone, kitchen island and basement cellar and the concrete roof inflected to hold roof lights, a chimney and a landscape of pleasure on the roof above.

Aims / Objectives / Questions
1To restore and extend a “house of the middle size”, a historic Irish typology, in a sympathetic manner.
2To address the new build accommodation in a sustainable manner through strategies associated with orientation, micro climates, materiality and engineering both mechanical and structural.
3To explore and develop an understanding for two spatial orders, the enfilade room and non directional space of the grid.
4The creation of deep threshold space.
5Marbling as a finish in fair faced concrete
6Concrete as a sustainable building material

Computational techniques for a simple theory of conditional preferences

A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intelligence, especially when sources of information are pervaded with uncertainty. Many merging operators have been proposed to deal with this problem in possibilistic logic, a weighted logic which is powerful for handling inconsistency and deal-ing with uncertainty. They often result in a possibilistic knowledge base which is a set of weighted formulas. Although possibilistic logic is inconsistency tolerant, it suffers from the well-known "drowning effect". Therefore, we may still want to obtain a consistent possibilistic knowledge base as the result of merging. In such a case, we argue that it is not always necessary to keep weighted information after merging. In this paper, we define a merging operator that maps a set of possibilistic knowledge bases and a formula representing the integrity constraints to a classical knowledge base by using lexicographic ordering. We show that it satisfies nine postulates that generalize basic postulates for propositional merging given in [11]. These postulates capture the principle of minimal change in some sense. We then provide an algorithm for generating the resulting knowledge base of our merging operator. Finally, we discuss the compatibility of our merging operator with propositional merging and establish the advantage of our merging operator over existing semantic merging operators in the propositional case.

TlCu1.73Fe0.27Se2 studied by means of Mössbauer spectroscopy and SQUID magnetometry

TlCu2-xFexSe2 is a p-type metal for x < 0.5 which crystallizes in a body-centred tetragonal structure. The metal atoms are situated in ab-planes, similar to 7 angstrom apart, while the metal - metal distance within the plane is similar to 2.75 angstrom. Due to the large difference in cation distances, the solid solutions show magnetic properties of mainly two-dimensional character. The SQUID measurements performed for x = 0.27 give the c-axis as the easy axis of magnetization, but also show clear hysteresis effects at 10 K, indicating a partly ferromagnetic coupling. The magnetic ordering temperature T-c is 55( 5) K as found from both SQUID and Mossbauer spectra. At T << Tc the magnetic hyperfine fields are distributed with a maximum at about 30 T, which are compared to the measured magnetic moment per iron atom, which is 0.97 mu(B)/Fe as found from SQUID measurements. The experimental results are compared to results using other methods on isostructural Tl selenides.

Magnetic properties of TlCu2-xFexSe2 crystals

The magnetic properties of two compositions of random solutions in the TlCu2-xFexSe2 system with x = 0.2 and 0.45 have been investigated by superconducting quantum interference device magnetometry. The crystal structure is of a layer type and ordering due to the iron atoms occurs at low temperatures, with T-c = 85 K for x = 0.2 and T-c = 130 K for x = 0.45. The samples were highly textured crystals and the magnetic moments of both compositions were found to align along the c axis of the structure. The saturation moments were found to be 1.5 mu(B)/Fe x = 0.2 and 0.66 mu(B)/Fe for x = 0.45. (c) 2005 American Institute of Physics.