Exact solution to the exit-time problem for an undamped free particle driven by Gaussian white noise

In a recent paper [Phys. Rev. Lett. 75, 189 (1995)] we have presented the exact analytical expression for the mean exit time, T(x,v), of a free inertial process driven by Gaussian white noise out of a region (0,L) in space. In this paper we give a detailed account of the method employed and present results on asymptotic properties and averages of T(x,v).

Contracting with free software communities

Industry and large Agencies needs ¿agile¿ programming resources, to reinforce their own development staff and take advantage of innovative approaches produced by ¿fresh minds¿ all over the world. At the same time they may be reluctant to engage in classical software development call for tenders and contracts. Such contracts are often ¿trusted¿ by large ICT firms, which will deliver according to their own rigid frameworks (often based on alliances with proprietary software vendors), may propose comfortable quality assurances, but will cover their (real) risks and liability with high contingency costs and will charge for any change request in case the original specifications have not fixed all possible issues. Introducing FLOSS in business implies a new contracting philosophy, based on incentives rather than penalties and liability. Based on 2011 experience with a large Space Agency, Patrice-Emmanuel Schmitz pictures the needed legal instruments for a novel approach.

Design Space Exploration for MPSoC Architectures

Multiprocessor system-on-chip (MPSoC) designs utilize the available technology and communication architectures to meet the requirements of the upcoming applications. In MPSoC, the communication platform is both the key enabler, as well as the key differentiator for realizing efficient MPSoCs. It provides product differentiation to meet a diverse, multi-dimensional set of design constraints, including performance, power, energy, reconfigurability, scalability, cost, reliability and time-to-market. The communication resources of a single interconnection platform cannot be fully utilized by all kind of applications, such as the availability of higher communication bandwidth for computation but not data intensive applications is often unfeasible in the practical implementation. This thesis aims to perform the architecture-level design space exploration towards efficient and scalable resource utilization for MPSoC communication architecture. In order to meet the performance requirements within the design constraints, careful selection of MPSoC communication platform, resource aware partitioning and mapping of the application play important role. To enhance the utilization of communication resources, variety of techniques such as resource sharing, multicast to avoid re-transmission of identical data, and adaptive routing can be used. For implementation, these techniques should be customized according to the platform architecture. To address the resource utilization of MPSoC communication platforms, variety of architectures with different design parameters and performance levels, namely Segmented bus (SegBus), Network-on-Chip (NoC) and Three-Dimensional NoC (3D-NoC), are selected. Average packet latency and power consumption are the evaluation parameters for the proposed techniques. In conventional computing architectures, fault on a component makes the connected fault-free components inoperative. Resource sharing approach can utilize the fault-free components to retain the system performance by reducing the impact of faults. Design space exploration also guides to narrow down the selection of MPSoC architecture, which can meet the performance requirements with design constraints.

Simulation of the Interaction Mean Free Path between Neutrons and TRISO Particles

The interaction mean free path between neutrons and TRISO particles is simulated using scripts written in MATLAB to solve the increasing error present with an increase in the packing factor in the reactor physics code Serpent. Their movement is tracked both in an unbounded and in a bounded space. Their track is calculated, depending on the program, linearly directly using the position vectors of the neutrons and the surface equations of all the fuel particles; by dividing the space in multiple subspaces, each of which contain a fraction of the total number of particles, and choosing the particles from those subspaces through which the neutron passes through; or by choosing the particles that lie within an infinite cylinder formed on the movement axis of the neutron. The estimate from the current analytical model, based on an exponential distribution, for the mean free path, utilized by Serpent, is used as a reference result. The results from the implicit model in Serpent imply a too long mean free path with high packing factors. The received results support this observation by producing, with a packing factor of 17 %, approximately 2.46 % shorter mean free path compared to the reference model. This is supported by the packing factor experienced by the neutron, the simulation of which resulted in a 17.29 % packing factor. It was also observed that the neutrons leaving from the surfaces of the fuel particles, in contrast to those starting inside the moderator, do not follow the exponential distribution. The current model, as it is, is thus not valid in the determination of the free path lengths of the neutrons.

Amino acid composition of parturient plasma, the intervillous space of the placenta and the umbilical vein of term newborn infants

The objective of the present study was to determine the levels of amino acids in maternal plasma, placental intervillous space and fetal umbilical vein in order to identify the similarities and differences in amino acid levels in these compartments of 15 term newborns from normal pregnancies and deliveries. All amino acids, except tryptophan, were present in at least 186% higher concentrations in the intervillous space than in maternal venous blood, with the difference being statistically significant. This result contradicted the initial hypothesis of the study that the plasma amino acid levels in the placental intervillous space should be similar to those of maternal plasma. When the maternal venous compartment was compared with the umbilical vein, we observed values 103% higher on the fetal side which is compatible with currently accepted mechanisms of active amino acid transport. Amino acid levels of the placental intervillous space were similar to the values of the umbilical vein except for proline, glycine and aspartic acid, whose levels were significantly higher than fetal umbilical vein levels (average 107% higher). The elevated levels of the intervillous space are compatible with syncytiotrophoblast activity, which maintain high concentrations of free amino acids inside syncytiotrophoblast cells, permitting asymmetric efflux or active transport from the trophoblast cells to the blood in the intervillous space. The plasma amino acid levels in the umbilical vein of term newborns probably may be used as a standard of local normality for clinical studies of amino acid profiles.

Defining Contexts in Context-Free Grammars

This thesis introduces an extension of Chomsky’s context-free grammars equipped with operators for referring to left and right contexts of strings.The new model is called grammar with contexts. The semantics of these grammars are given in two equivalent ways — by language equations and by logical deduction, where a grammar is understood as a logic for the recursive definition of syntax. The motivation for grammars with contexts comes from an extensive example that completely defines the syntax and static semantics of a simple typed programming language. Grammars with contexts maintain most important practical properties of context-free grammars, including a variant of the Chomsky normal form. For grammars with one-sided contexts (that is, either left or right), there is a cubic-time tabular parsing algorithm, applicable to an arbitrary grammar. The time complexity of this algorithm can be improved to quadratic,provided that the grammar is unambiguous, that is, it only allows one parsefor every string it defines. A tabular parsing algorithm for grammars withtwo-sided contexts has fourth power time complexity. For these grammarsthere is a recognition algorithm that uses a linear amount of space. For certain subclasses of grammars with contexts there are low-degree polynomial parsing algorithms. One of them is an extension of the classical recursive descent for context-free grammars; the version for grammars with contexts still works in linear time like its prototype. Another algorithm, with time complexity varying from linear to cubic depending on the particular grammar, adapts deterministic LR parsing to the new model. If all context operators in a grammar define regular languages, then such a grammar can be transformed to an equivalent grammar without context operators at all. This allows one to represent the syntax of languages in a more succinct way by utilizing context specifications. Linear grammars with contexts turned out to be non-trivial already over a one-letter alphabet. This fact leads to some undecidability results for this family of grammars

Disrupting heterosexual space? : the implementation of a campus Positive Space Campaign

Drawing on a growing literature on the interconnection of queer theory, sexuality and space, this thesis critically assesses the development, implementation and impact of a campus-based Positive Space Campaign aimed at raising the visibility and number of respectful, supportive, educational and welcoming spaces for lesbian, gay, bi, trans, two-spirited, queer and questioning (LGBTQ) students staff and faculty. The analysis, based on participatory action research (PAR), interrogates the extent to which the Positive Space Campaign challenges heteronormativity on campus. I contend that the Campaign, in its attempt to challenge dominant notions of sex, gender and sexuality, disrupts heterosexual space. Further, as I consider the meanings of 'queer', I consider the extent to which Positive Space Campaigns may be 'queering' space, by contributing to an 'imagined' campus space free of sexual and gender-based discrimination. The case study contributes to queer theory, the literature on sexuality and space, the literature on queer organizing in educational spaces and to broader queer organizing efforts in Canada.

Estimating surface CO2 fluxes from space-borne dry air mole fraction observations using an Ensemble Kalman filter

We have developed an ensemble Kalman Filter (EnKF) to estimate 8-day regional surface fluxes of CO2 from space-borne CO2 dry-air mole fraction observations (XCO2) and evaluate the approach using a series of synthetic experiments, in preparation for data from the NASA Orbiting Carbon Observatory (OCO). The 32-day duty cycle of OCO alternates every 16 days between nadir and glint measurements of backscattered solar radiation at short-wave infrared wavelengths. The EnKF uses an ensemble of states to represent the error covariances to estimate 8-day CO2 surface fluxes over 144 geographical regions. We use a 12×8-day lag window, recognising that XCO2 measurements include surface flux information from prior time windows. The observation operator that relates surface CO2 fluxes to atmospheric distributions of XCO2 includes: a) the GEOS-Chem transport model that relates surface fluxes to global 3-D distributions of CO2 concentrations, which are sampled at the time and location of OCO measurements that are cloud-free and have aerosol optical depths <0.3; and b) scene-dependent averaging kernels that relate the CO2 profiles to XCO2, accounting for differences between nadir and glint measurements, and the associated scene-dependent observation errors. We show that OCO XCO2 measurements significantly reduce the uncertainties of surface CO2 flux estimates. Glint measurements are generally better at constraining ocean CO2 flux estimates. Nadir XCO2 measurements over the terrestrial tropics are sparse throughout the year because of either clouds or smoke. Glint measurements provide the most effective constraint for estimating tropical terrestrial CO2 fluxes by accurately sampling fresh continental outflow over neighbouring oceans. We also present results from sensitivity experiments that investigate how flux estimates change with 1) bias and unbiased errors, 2) alternative duty cycles, 3) measurement density and correlations, 4) the spatial resolution of estimated flux estimates, and 5) reducing the length of the lag window and the size of the ensemble. At the revision stage of this manuscript, the OCO instrument failed to reach its orbit after it was launched on 24 February 2009. The EnKF formulation presented here is also applicable to GOSAT measurements of CO2 and CH4.

A shock capturing scheme for steady, supercritical, free-surface flow

Abstract A finite difference scheme is presented for the solution of the two-dimensional shallow water equations in steady, supercritical flow. The scheme incorporates numerical characteristic decomposition, is shock capturing by design and incorporates space-marching as a result of the assumption that the flow is wholly supercritical in at least one space dimension. Results are shown for problems involving oblique hydraulic jumps and reflection from a wall.

Robot free will

We introduce the perspex machine which unifies projective geometry and Turing computation and results in a supra-Turing machine. We show two ways in which the perspex machine unifies symbolic and non-symbolic AI. Firstly, we describe concrete geometrical models that map perspexes onto neural networks, some of which perform only symbolic operations. Secondly, we describe an abstract continuum of perspex logics that includes both symbolic logics and a new class of continuous logics. We argue that an axiom in symbolic logic can be the conclusion of a perspex theorem. That is, the atoms of symbolic logic can be the conclusions of sub-atomic theorems. We argue that perspex space can be mapped onto the spacetime of the universe we inhabit. This allows us to discuss how a robot might be conscious, feel, and have free will in a deterministic, or semi-deterministic, universe. We ground the reality of our universe in existence. On a theistic point, we argue that preordination and free will are compatible. On a theological point, we argue that it is not heretical for us to give robots free will. Finally, we give a pragmatic warning as to the double-edged risks of creating robots that do, or alternatively do not, have free will.

On the long time behavior of free stochastic Schrödinger evolutions

We discuss the time evolution of the wave function which is the solution of a stochastic Schrödinger equation describing the dynamics of a free quantum particle subject to spontaneous localizations in space. We prove global existence and uniqueness of solutions. We observe that there exist three time regimes: the collapse regime, the classical regime and the diffusive regime. Concerning the latter, we assert that the general solution converges almost surely to a diffusing Gaussian wave function having a finite spread both in position as well as in momentum. This paper corrects and completes earlier works on this issue.

Likelihood-free estimation of model evidence

Statistical methods of inference typically require the likelihood function to be computable in a reasonable amount of time. The class of “likelihood-free” methods termed Approximate Bayesian Computation (ABC) is able to eliminate this requirement, replacing the evaluation of the likelihood with simulation from it. Likelihood-free methods have gained in efficiency and popularity in the past few years, following their integration with Markov Chain Monte Carlo (MCMC) and Sequential Monte Carlo (SMC) in order to better explore the parameter space. They have been applied primarily to estimating the parameters of a given model, but can also be used to compare models. Here we present novel likelihood-free approaches to model comparison, based upon the independent estimation of the evidence of each model under study. Key advantages of these approaches over previous techniques are that they allow the exploitation of MCMC or SMC algorithms for exploring the parameter space, and that they do not require a sampler able to mix between models. We validate the proposed methods using a simple exponential family problem before providing a realistic problem from human population genetics: the comparison of different demographic models based upon genetic data from the Y chromosome.

The influence of plant species number on productivity, ground coverage and floral performance in grass-free lawns

The grass-free lawn is a novel development in modern ornamental horticulture where the traditional monoculture of grass is replaced by a variety of mowing-tolerant clonal forbs. It brings floral aesthetics and a diverse species approach to the use of lawn space. How the number of constituent forb species affects the aesthetic and structural performance of grass-free lawns was investigated using grass-free lawns composed of four, six and twelve British native clonal perennial forb species. Lawn productivity was seen to increase with increasing species number but the relationship was not linear. Plant cover was dynamic in all lawn types, varied between years and was not representative of individual species' floral performance. The behaviour of component species common to all lawns suggested that lawns with 12 species show greater structural stability than the lawns with a lower species number. Visual performance in lawns with the greatest species number was lower than in lawns with fewer species, with increasing variety in floral size and individual species floral productivity leading to a trade-off between diversity and floral performance. Individual species were seen to have different aesthetic functions in grass-free lawns either by providing flowers, ground coverage or both.

The grass-free lawn: floral performance and management implications

Grass lawns are a ubiquitous feature of urban green-space throughout much of the temperate world. Species poor and intensively managed, lawns are ecologically impoverished, however environmentally aware lawn owners are reluctant to implement alternatives due to aesthetic concerns. Developing an alternative lawn format which is both biodiversity friendly and aesthetically pleasing is an imperative for urban greening. We suggest that such an alternative can be provided by replacing the grass lawn by a forb-based mix. To advance this, we tested the floral performance of three groups of clonal perennial forbs (native, non-native and mixed), each maintained using standard lawn management mowing regimes. Our findings show that both the frequency of mowing and the height at which mowing is applied influence floral performance and lawn aesthetics. Species origin was found to influence floral productivity, floral visibility and floral variety within grass-free lawns, with native species providing the greatest floral performance. The behaviour and management of grass lawns was not found to be a suitable analogue for the management of grass-free lawns and grass-free lawns are sufficiently different from grass lawns to require an entirely original management approach. We suggest that the grass-free lawn can provide an aesthetically and environmentally relevant replacement for the ubiquitous and ecologically-poor grass lawn.

Progress report from the strategic sanctuary for the destruction of free will

Progress Report from the Strategic Sanctuary for the Destruction of Free Will presents a new work combining film, music and installation that juxtaposes the setting of the institution with the aesthetics of psychedelia.Progress Report from the Strategic Sanctuary for the Destruction of Free Will is an installation, film and sound work that takes over the gallery. Using plain white card, it distorts the structure of the gallery’s architecture, producing a paranoid shrunken space. Inside this space, performers in cardboard costumes re-enact abstracted, broken gestures drawn from video documentation of acid trips, psychedelic dancing, rehab sessions and radical psychotherapy workshops. Progress Report from the Strategic Sanctuary for the Destruction of Free Will has been formed through Pil and Galia Kollectiv’s research into the anti-psychiatry movement, their interests in counter cultural movements and their studies around biopolitics and the proliferation of societal medication. In 1958, having had a life changing experience with LSD, former alcoholic Charles Dederich founded Synanon, a drug rehabilitation program based on residential care and an aggressive form of group therapy called ‘The Game’. The organisation gradually evolved into a controversial alternative community, described in a critical pamphlet as creating Strategic Sanctuaries for the Destruction of Free Will, “a subversive program for mixing delinquents and lefties”. In 1984, anti-psychiatrist R. D. Laing described tranquillizers as chemical straight jackets. With our growing understanding of the plasticity of the brain and the potential to shape it, the tension between liberation and control in the struggle over the mind continues to define our relationship to labour, culture and production. Interrogating these ideas, the exhibition poses the question of whether a collective body can overcome the solipsism of the incommunicable experience of the individual mind.