Palynological investigations at hallowell moss near witton gilbert, Durham a history of man's impact on vegetation

Hallowe11 Moss, near Durham, contains a continuous pollen record from about 3,700 B.C. until, probably, the present day. Having studied the history of the area, an attempt is made, with the assistance of radiocarbon dating, to correlate the vegetational phases recorded in the bog with the various archaeological and historical periods. The area remained densely forested until Bronze Age times, when there is evidence for slight grazing pressure within the forest and a small temporary clearance. In the Romano-British period, an extensive clearance making the landscape about as open as that of today may be correlated with similar clearances in Weardale. This phase comes to a rather abrupt end, probably with the advent of Anglo-Saxon rule and throughout the Saxon and Mediaeval periods the area remains as managed woodland with some grass and arable land. Extensive, “permanent" clearance does not occur until probably the sixteenth and seventeenth centuries. Evidence for later afforestation is presented, and an explanation for recent changes in land use

Petri nets for systems and synthetic biology

We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms. Each perspective adds its con- tribution to the understanding of the system, thus the three approaches do not compete, but complement each other. We illustrate our approach by applying it to an extended model of the three stage cascade, which forms the core of the ERK signal transduction pathway. Consequently our focus is on transient behaviour analysis. We demonstrate how quali- tative descriptions are abstractions over stochastic or continuous descrip- tions, and show that the stochastic and continuous models approximate each other. Although our framework is based on Petri nets, it can be applied more widely to other formalisms which are used to model and analyse biochemical networks

Feedback control of unsupported standing in paraplegia. Part I: optimal control approach

This is the first of a pair of papers which describe an investigation into the feasibility of providing artificial balance to paraplegics using electrical stimulation of the paralyzed muscles. By bracing the body above the shanks, only stimulation of the plantarflexors is necessary. This arrangement prevents any influence from the intact neuromuscular system above the spinal cord lesion. Here, the authors extend the design of the controllers to a nested-loop LQG (linear quadratic Gaussian) stimulation controller which has ankle moment feedback (inner loops) and inverted pendulum angle feedback (outer loop). Each control loop is tuned by two parameters, the control weighting and an observer rise-time, which together determine the behavior. The nested structure was chosen because it is robust, despite changes in the muscle properties (fatigue) and interference from spasticity

A template-based approach for the generation of abstractable and reducible models of featured networks

We investigate the relationship between symmetry reduction and inductive reasoning when applied to model checking networks of featured components. Popular reduction techniques for combatting state space explosion in model checking, like abstraction and symmetry reduction, can only be applied effectively when the natural symmetry of a system is not destroyed during specification. We introduce a property which ensures this is preserved, open symmetry. We describe a template-based approach for the construction of open symmetric Promela specifications of featured systems. For certain systems (safely featured parameterised systems) our generated specifications are suitable for conversion to abstract specifications representing any size of network. This enables feature interaction analysis to be carried out, via model checking and induction, for systems of any number of featured components. In addition, we show how, for any balanced network of components, by using a graphical representation of the features and the process communication structure, a group of permutations of the underlying state space of the generated specification can be determined easily. Due to the open symmetry of our Promela specifications, this group of permutations can be used directly for symmetry reduced model checking. The main contributions of this paper are an automatic method for developing open symmetric specifications which can be used for generic feature interaction analysis, and the novel application of symmetry detection and reduction in the context of model checking featured networks. We apply our techniques to a well known example of a featured network – an email system

Investigation of the Hammerstein hypothesis in the modeling of electrically stimulated muscle

To restore functional use of paralyzed muscles by automatically controlled stimulation, an accurate quantitative model of the stimulated muscles is desirable. The most commonly used model for isometric muscle has had a Hammerstein structure, in which a linear dynamic block is preceded by a static nonlinear function, To investigate the accuracy of the Hammerstein model, the responses to a pseudo-random binary sequence (PRBS) excitation of normal human plantarflexors, stimulated with surface electrodes, were used to identify a Hammerstein model but also four local models which describe the responses to small signals at different mean levels of activation. Comparison of the local models with the Linearized Hammerstein model showed that the Hammerstein model concealed a fivefold variation in the speed of response. Also, the small-signal gain of the Hammerstein model was in error by factors up to three. We conclude that, despite the past widespread use of the Hammerstein model, it is not an accurate representation of isometric muscle. On the other hand, local models, which are more accurate predictors, can be identified from the responses to short PRBS sequences. The utility of local models for controller design is discussed

Gas chromatograph injection system

An injection system for a gas chromatograph is described which uses a small injector chamber (available in various configurations). The sample is placed in the chamber while the chamber is not under pressure and is not heated, and there is no chance of leakage caused by either pressure or heat. It is injected into the apparatus by changing the position of a valve and heating the chamber, and is volatilized and swept by a carrier gas into the analysis apparatus

The two components of the SO(3)-character space of the fundamental group of a closed surface of genus 2

We use geometric techniques to explicitly find the topological structure of the space of SO(3)-representations of the fundamental group of a closed surface of genus 2 quotient by the conjugation action by SO(3). There are two components of the space. We will describe the topology of both components and describe the corresponding SU(2)-character spaces by parametrizing them by spherical triangles. There is the sixteen to one branch-covering for each component, and the branch locus is a union of 2-spheres or 2-tori. Along the way, we also describe the topology of both spaces. We will later relate this result to future work into higher-genus cases and the SL(3,R)-representations

Non-Abelian Monopoles on Four-Manifolds

We present a non-abelian generalization of Witten monopole equations and we analyze the associated moduli problem, which can be regarded as a generalization of Donaldson theory. The moduli space of solutions for SU(2) monopoles on K\"ahler manifolds is discussed. We also construct, using the Mathai-Quillen formalism, the topological quantum field theory corresponding to the new moduli problem. This theory involves the coupling of topological Yang-Mills theory to topological matter in four dimensionsComment: 35 pages, macropackage phyzz

Junior Must Pay: Pricing the Implicit Put in Privatizing Social Security

Proposals that portion of the Social Security Trust Fund assets be invested in equities entail the possibility that a severe decline in equity prices renders the Fund assets insufficient to provide the currently mandated level of benefits. In this event, existing taxpayers may be compelled to act as insurers of last resort. The cost to taxpayers of such an implicit commitment equals the value of a put option with payoff equal to the benefit's shortfall. We calibrate an OLG model that generates realistic equity premia and value the put. With 20 percent of the Fund assets invested in equities, the highest level currently under serious discussion, we value a put that guarantees the currently mandated level of benefits at one percent of GDP, or a temporary increase in Social Security taxation of at most 25 percent. We value a put that guarantees 90 percent of benefits at merely .03 percent of GDP. In contrast to earlier literature, our results account for the significant changes in the distribution of security returns resulting from Trust Fund purchases. We also explore the inter-generational welfare implications of the guarantee.