Decomposition of complete graphs into 5-cubes

Necessary conditions for the complete graph on n vertices to have a decomposition into 5-cubes are that 5 divides it - 1 and 80 divides it (it - 1)/2. These are known to be sufficient when n is odd. We prove them also sufficient for it even, thus completing the spectrum problem for the 5-cube and lending further weight to a long-standing conjecture of Kotzig. (c) 2005 Wiley Periodicals, Inc.

Do different surrogate methods detect lateral genetic transfer events of different relative ages?

Non-tree-based ('surrogate') methods have been used to identify instances of lateral genetic transfer in microbial genomes but agreement among predictions of different methods can be poor. It has been proposed that this disagreement arises because different surrogate methods are biased towards the detection of certain types of transfer events. This conjecture is supported by a rigorous phylogenetic analysis of 3776 proteins in Escherichia coli K12 MG1655 to map the ages of transfer events relative to one another.

Bioerosion Research Before and After 1996 - A Discussion of What Has Changed Since the First International Bioerosion Workshop

The First International Bioerosion Workshop held in 1996 provided a forum for an increasing interest in bioerosion research and helped foster convivial relations among researchers in this specialization. The current trend in bioerosion publishing is positive and will be aided with consolidated efforts to attract both new recruits and grant awards. Contributors of the Fourth IBW in Prague decided to hold the next meeting in Erlangen, Germany.

Flexible proof reuse for software verification

Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.

Estimating buffer overflows in three stages using cross-entropy

In this paper we propose a fast adaptive Importance Sampling method for the efficient simulation of buffer overflow probabilities in queueing networks. The method comprises three stages. First we estimate the minimum Cross-Entropy tilting parameter for a small buffer level; next, we use this as a starting value for the estimation of the optimal tilting parameter for the actual (large) buffer level; finally, the tilting parameter just found is used to estimate the overflow probability of interest. We recognize three distinct properties of the method which together explain why the method works well; we conjecture that they hold for quite general queueing networks. Numerical results support this conjecture and demonstrate the high efficiency of the proposed algorithm.

The dynamics of matrix momentum

We analyse the matrix momentum algorithm, which provides an efficient approximation to on-line Newton's method, by extending a recent statistical mechanics framework to include second order algorithms. We study the efficacy of this method when the Hessian is available and also consider a practical implementation which uses a single example estimate of the Hessian. The method is shown to provide excellent asymptotic performance, although the single example implementation is sensitive to the choice of training parameters. We conjecture that matrix momentum could provide efficient matrix inversion for other second order algorithms.

The role of texture in shape from shading: are humans biased towards seeing relief textures?

When a textured surface is modulated in depth and illuminated, the level of illumination varies across the surface, producing coarse-scale luminance modulations (LM) and amplitude modulation (AM) of the fine-scale texture. If the surface has an albedo texture (reflectance variation) then the LM and AM components are always in-phase, but if the surface has a relief texture the phase relation between LM and AM varies with the direction and nature of the illuminant. We showed observers sinusoidal luminance and amplitude modulations of a binary noise texture, in various phase relationships, in a paired-comparisons design. In the first experiment, the combinations under test were presented in different temporal intervals. Observers indicated which interval contained the more depthy stimulus. LM and AM in-phase were seen as more depthy than LM alone which was in turn more depthy than LM and AM in anti-phase, but the differences were weak. In the second experiment the combinations under test were presented in a single interval on opposite obliques of a plaid pattern. Observers were asked to indicate the more depthy oblique. Observers produced the same depth rankings as before, but now the effects were more robust and significant. Intermediate LM/AM phase relationships were also tested: phase differences less than 90 deg were seen as more depthy than LM-only, while those greater than 90 deg were seen as less depthy. We conjecture that the visual system construes phase offsets between LM and AM as indicating relief texture and thus perceives these combinations as depthy even when their phase relationship is other than zero. However, when different LM/AM pairs are combined in a plaid, the signals on the obliques are unlikely to indicate corrugations of the same texture, and in this case the out-of-phase pairing is seen as flat. [Supported by the Engineering and Physical Sciences Research Council (EPSRC)].

Exploring value through integrated service solutions:the case of e-grocery shopping

Purpose – The purpose of this paper is to demonstrate the need for an improved understanding of consumer value for online grocery purchases and to propose the notion of “integrated service solution” packages as a strategy for growing and successfully sustaining the channel to guide both marketing strategy and policy. Design/methodology/approach – This paper integrates and synthesises research from retailing, consumer behaviour and service quality literatures in order to develop a conceptual framework for understanding the value of e-grocery shopping to aid practitioners to address the critical needs, expectations and concerns of consumers for the development of grocery shopping within the online environment. Findings – This paper offers an alternative approach to allow e-grocery to become a mainstream retail channel in its own right and not to compete with the in-store offerings. The research demonstrates the need for a progressive approach that follows contemporary consumer needs and habits at the household level. The conjecture is that shopping for fast-moving consumer goods follows a learning path that needs to be replicated in the online context. Moreover, it is suggested that consumer resistance to the adoption of the new channel should be addressed not only from a technological perspective but also from the social aspects of online shopping. Originality/value – The research provides a practical framework for both retailers and policy makers on how the “next generation” of online services can be developed using a “bottom up” consumer perspective. This paper also advocates a non-technological bias to e-grocery retailing strategy.

Design and development of a time of flight fast scattering spectrometer : a quantitative surface analysis technique and a new approach towards the experimental investigation of the surface particle interactions

A new surface analysis technique has been developed which has a number of benefits compared to conventional Low Energy Ion Scattering Spectrometry (LEISS). A major potential advantage arising from the absence of charge exchange complications is the possibility of quantification. The instrumentation that has been developed also offers the possibility of unique studies concerning the interaction between low energy ions and atoms and solid surfaces. From these studies it may also be possible, in principle, to generate sensitivity factors to quantify LEISS data. The instrumentation, which is referred to as a Time-of-Flight Fast Atom Scattering Spectrometer has been developed to investigate these conjecture in practice. The development, involved a number of modifications to an existing instrument, and allowed samples to be bombarded with a monoenergetic pulsed beam of either atoms or ions, and provided the capability to analyse the spectra of scattered atoms and ions separately. Further to this a system was designed and constructed to allow incident, exit and azimuthal angles of the particle beam to be varied independently. The key development was that of a pulsed, and mass filtered atom source; which was developed by a cyclic process of design, modelling and experimentation. Although it was possible to demonstrate the unique capabilities of the instrument, problems relating to surface contamination prevented the measurement of the neutralisation probabilities. However, these problems appear to be technical rather than scientific in nature, and could be readily resolved given the appropriate resources. Experimental spectra obtained from a number of samples demonstrate some fundamental differences between the scattered ion and neutral spectra. For practical non-ordered surfaces the ToF spectra are more complex than their LEISS counterparts. This is particularly true for helium scattering where it appears, in the absence of detailed computer simulation, that quantitative analysis is limited to ordered surfaces. Despite this limitation the ToFFASS instrument opens the way for quantitative analysis of the 'true' surface region to a wider range of surface materials.

An age-related increase in resistance to DNA damage-induced apoptotic cell death is associated with development of DNA repair mechanisms

Neurons in the developing brain die via apoptosis after DNA damage, while neurons in the adult brain are generally resistant to these insults. The basis for this resistance is a matter of conjecture. We report here that cerebellar granule neurons (CGNs) in culture lose their competence to die in response to DNA damage as a function of time in culture. CGNs at either 1 day in vitro (DIV) or 7 DIV were treated with the DNA damaging agents camptothecin, UV or gamma-irradiation and neuronal survival measured. The younger neurons were effectively killed by these agents, while the older neurons displayed a significant resistance to killing. Neuronal survival did not change with time in culture when cells were treated with C2-ceramide or staurosporine, agents which do not target DNA. The resistance to UV irradiation developed over time in culture and was not due to changes in mitotic rate. Increases in DNA strand breakage, up-regulation of the levels of both p53 and its phosphorylated form and nuclear translocation of p53 were equivalent in both older and younger neurons, indicating a comparable p53 stress response. In addition, we show that treatment of older neurons with pharmacological inhibitors of distinct components of the DNA repair machinery promotes the accumulation of DNA damage and sensitizes these cells to the toxic effects of UV exposure. These data demonstrate that older neurons appear to be more proficient in DNA repair in comparison to their younger counterparts, and that this leads to increased survival after DNA damage.

The effect of beta-adrenergic receptor antagonists on the temporal accommodative response

In this thesis a modified Canon IR optometer was used to record static and continuous responses of accommodation during sustained visual tasks. The instrument was assessed with regard to the ocular exit pupil used, its frequency response and noise levels. Experimental work concerned essentially the temporal characteristics and neurological basis of the accommodative mechanism. In the absence of visual stimuli, the accommodative system assumes a resting or tonic accommodative (TA) position, which may be modified by periods of sustained fixation. The rate of regression from a near task to TA in darkness has exhibited differences between regression rates for enunetropes (EMMs) compared with late-onset myopes (WMs). The rate of accommodative regression from a task set at 3D above TA was examined for a group of 10 EMMs and 10 LOMs for 3 conditions: saline, timolol and betaxolol. Timolol retarded the regression to TA for a sub-group of EMMs. The patterns of regression for the remaining emmetropes mirrored that for the LOMs, the drugs showing no difference in rate of regression compared with the saline condition. This provides support for the conjecture that LOMs and certain EMMs appear to be deficient in a sympathetic inhibitory component to the ciliary muscle which may attenuate adaptational changes in tonus and which leave them susceptible to the development of LOM. It is well established that the steady-state accommodative response is characterised by temporal changes in lens power having 2 dominant frequency components: a low frequency component (LFC: < 0.6Hz) and a high frequency component (HFC: 1.0-2.2Hz). This thesis investigates various aspects of these microfluctuations of accommodation.The HFC of accommodative fluctuations was shown to be present in central and peripheral lens zones, although the magnitude of the rms of accommodative microfluctuations was found to be reduced in the lens periphery. These findings concur with the proposal that the lens capsule acts as a force distributor, transmitting the tension from the zonules evenly over the whole of the lens surface.An investigation into the correlation between arterial pulse and the HFC of accommodative fluctuations showed that the peak frequency of the HFC was governed by the arterial pulse frequency. It was proposed that the microflucutations comprised a combination of neurological control (LFC) and physiological variations (HFC).The effect of timolol maleate on the steady-state accommodative response for a group of 10 emmetropes showed that timolol reduced significantly the rms of accommodative microfluctuations in treated but not untreated eyes. Consequently, the effect was considered to be locally, rather than systemically induced.The influence of the sympathetic system on within-task measurements of accommodation was examined by recording the accommodative response of 3 subjects to a sinusoidally moving target at 6 temporal frequencies from 0.05Hz to 0.5Hz for 3 drug conditions: saline, timolol and betaxolol. Timolol caused a reduced gain for frequencies below 0.3 whereas betaxolol reduced accommodative gain for all frequencies. It was proposed that the results for timolol were consistent with temporal response characteristics of sympathetic innervation of the ciliary muscle whereas the betaxolol results were thought to be a manifestation of fatigue resulting from the CNS depressant effect of the drug.

The development of Cannabidiol as a psychiatric therapeutic:a review of its antipsychotic efficacy and possible underlying pharmacodynamic mechanisms

Cannabidiol (CBD), a once-considered inert cannabis constituent, is one of two primary constituents of cannabis, alongside delta-9-tetrahydrocannabinol (?9-THC/THC). In the last 30 years, CBD has become implicated with a range of pharmaceutical mechanisms of great therapeutic interest and utility. This review details the literature speculating CBD’s attenuation of psychotic symptoms, particularly in light of a marked elevation in mean THC concentrations, and a concomitant decline in CBD concentrations in the prevalent U.K street market cannabis derivatives since c. 2000. CBD is purported to exhibit pharmacology akin to established atypical antipsychotics, whilst THC has been implicated with the precipitation of psychosis, and the induction of associated symptoms. The aim of the review was to clarify the conjecture surrounding CBD’s antipsychotic efficacy, before going on to detail prominent theories about its associated pharmacodynamics. Were CBD’s antipsychotic efficacy established, then there is potential for major latent anthropological repercussions to manifest, such as significant elevations in psychosis manifestations in the U.K. The review found a largely affirmative body of evidence asserting CBD’s antipsychotic efficacy. CBD exhibited capacity to attenuate natural and artificially induced psychoses in both animal and human cohorts, the latter of which included individuals considered resistant to conventional treatment. CBD also shows promising potential for use as an antipsychotic drug for Parkinson’s disease (PD) patients with psychosis, owing to its low rate of extra-pyramidal side-effect induction. A range of potential pharmacological mechanisms behind CBD’s neuroleptic pharmacology are outlined, with particular emphasis on its prevention of the hydrolysis and reuptake of the endogenous cannabinoid, anandamide. However, given the nebular aetiological basis for psychoses, explicit conclusions on how CBD attenuates psychotic symptoms remains to be determined.

From Differences to Derivatives

A relation showing that the Grünwald-Letnikov and generalized Cauchy derivatives are equal is deduced confirming the validity of a well known conjecture. Integral representations for both direct and reverse fractional differences are presented. From these the fractional derivative is readily obtained generalizing the Cauchy integral formula.

On Li’s Coefficients for Some Classes of L-Functions

AMS Subj. Classification: 11M41, 11M26, 11S40