Inference in complex biological systems with Gaussian processes and parallel tempering

Parameter inference in mathematical models of complex biological systems, expressed as coupled ordinary differential equations (ODEs), is a challenging problem. These depend on kinetic parameters, which cannot all be measured and have to be ascertained a different way. However, the computational costs associated with repeatedly solving the ODEs are often staggering, making many techniques impractical. Therefore, aimed at reducing this cost, new concepts using gradient matching have been proposed. This paper combines current adaptive gradient matching approaches, using Gaussian processes, with a parallel tempering scheme, in order to compare 2 different paradigms using the same nonlinear regression method. We use 2 ODE systems to assess our technique, showing an improvement over the recent method in Calderhead et al. (2008)

The Social Wasps (Hymenoptera: Vespidae) of Indiana

An updated taxonomic treatment of the social wasps (Hymenoptera: Vespidae) of Indiana is made. Illustrated identification keys are provided for species of Polistes, Vespa, Vespula, and Dolichovespula. New distributional records and biological notes are provided for each species

Boron-oxygen defect imaging in p-type Czochralski silicon

In this work, we demonstrate an accurate method for determining the effective boron-oxygen (BO) related defect density on Czochralski-grown silicon wafers using photoluminescence imaging. Furthermore, by combining a recently developed dopant density imaging technique and microscopic Fourier transform infrared spectroscopy measurements of the local interstitial oxygen concentration [Oi ], the BO-related defect density, [Oi ], and the boron dopant density from the same wafer were determined, all with a spatial resolution of 160 μm. The results clearly confirm the established dependencies of the BO-related defect density on [Oi ] and the boron dopant density and demonstrate a powerful technique for studying this important defect.This work was supported by the Australian Research Council (ARC) Future Fellowships program and the Australian Renewable Energy Agency (ARENA) fellowships program

The large area crop inventory experiment: A major demonstration of space remote sensing

Strategies are presented in agricultural technology to increase the resistance of crops to a wider range of meteorological conditions in order to reduce year-to-year variations in crop production. Uncertainties in agricultral production, together with the consumer demands of an increasing world population, have greatly intensified the need for early and accurate annual global crop production forecasts. These forecasts must predict fluctuation with an accuracy, timeliness and known reliability sufficient to permit necessary social and economic adjustments, with as much advance warning as possible

In the soft-to-hard technical spectrum: Where is software engineering?

In the computer journals and tabloids, there have been a plethora of articles written about the software engineering field. But while advocates of the need for an engineering approach to software development, it is impressive how many authors have treated the subject of software engineering without adequately addressing the fundamentals of what engineering as a discipline consists of. A discussion is presented of the various related facets of this issue in a logical framework to advance the thesis that the software development process is necessarily an engineering process. The purpose is to examine more of the details of the issue of whether or not the design and development of software for digital computer processing systems should be both viewed and treated as a legitimate field of professional engineering. Also, the type of academic and professional level education programs that would be required to support a software engineering discipline is examined

Land use change detection with LANDSAT-2 data for monitoring and predicting regional water quality degradation

There are no author-identified significant results in this report

Predicting adaptive responses - simulating occupied environments

Simulation of building performance is increasingly being used in design practice to predict comfort of occupants in finished buildings. This is an area of great uncertainty: what actions does a person take when too warm or suffering from glare; how is comfort measured; how do groups of people interact to control environmental conditions, etc? An increasing attention to model these issues is evident in current research. Two issues are covered in this paper: how comfort can be assessed and what actions occupants are likely to make to achieve and maintain a comfortable status. The former issue describes the implementation of existing codes within a computational framework. This is non-trivial as information on local air velocities, radiant temperature and air temperature and relative humidity have to be predicted as they evolve over time in response to changing environmental conditions. This paper also presents a nascent algorithm for modelling occupant behaviour with respect to operable windows. The algorithm is based on results of several field studies which show the influence of internal and external temperatures on decision making in this respect. The derivation and implementation of the algorithm is discussed, highlighting areas where further effort could be of benefit

Applying inspection to object-oriented software

The benefits of the object-oriented paradigmare widely cited. At the same time, inspection is deemed to be the most cost-effective means of detecting defects in software products. Why then, is there no published experience, let alone quantitative data, on the application of inspection to object-oriented systems? We describe the facilities of the object-oriented paradigm and the issues that these raise when inspecting object-oriented code. Several problems are caused by the disparity between the static code structure and its dynamic runtime behaviour. The large number of small methods in object-oriented systems can also cause problems. We then go on to describe three areas which may help mitigate problems found. Firstly, the use of various programming methods may assist in making object-oriented code easier to inspect. Secondly, improved program documentation can help the inspector understand the code which is under inspection. Finally, tool support can help the inspector to analyse the dynamic behaviour of the code. We conclude that while both the object-oriented paradigm and inspection provide excellent benefits on their own, combining the two may be a difficult exercise, requiring extensive support if it is to be successful

Collective excitations in double-layer quantum Hall systems

We study the collective excitation spectra of double-layer quantum-Hall systems using the single mode approximation. The double-layer in-phase density excitations are similar to those of a single-layer system. For out-of-phase density excitations, however, both inter-Landau-level and intra-Landau-level double-layer modes have finite dipole oscillator strengths. The oscillator strengths at long wavelengths for the latter transitions are shifted upward by interactions by identical amounts proportional to the interlayer Coulomb coupling. The intra-Landau-level out-of-phase mode has a gap when the ground state is incompressible except in the presence of spontaneous inter-layer coherence. We compare our results with predictions based on the Chern-Simons-Landau-Ginzburg theory for double-layer quantum Hall systems.Comment: RevTeX, 21 page