The generic task toolset: High level languages for the construction of planning and problem solving systems

The current generation of languages for the construction of knowledge-based systems as being at too low a level of abstraction is criticized, and the need for higher level languages for building problem solving systems is advanced. A notion of generic information processing tasks in knowledge-based problem solving is introduced. A toolset which can be used to build expert systems in a way that enhances intelligibility and productivity in knowledge acquistion and system construction is described. The power of these ideas is illustrated by paying special attention to a high level language called DSPL. A description is given of how it was used in the construction of a system called MPA, which assists with planning in the domain of offensive counter air missions

Chlamydia diagnosis rate in England in 2012: an ecological study of local authorities

Objectives Local authorities (LAs) in England commission chlamydia screening as part of the National Chlamydia Screening Programme. It is recommended that LAs achieve a chlamydia diagnosis rate of ≥2300 cases per 100 000 population aged 15–24. We describe national patterns in attainment of the chlamydia diagnosis rate recommendation and possible implications of using it to measure LA-level performance. Methods We used publicly available data sets from England (2012) to explore the association between LAs attaining the recommended chlamydia diagnosis rate and population size, socioeconomic deprivation, test setting and sex. Results We used data from 1 197 121 recorded chlamydia tests in females and 564 117 in males. The chlamydia diagnosis rate recommendation was achieved by 22% (72/324) of LAs overall (43% female population; 8% male population). LAs in the highest deprivation quintile were more likely to reach the recommendation than those in the least-deprived quintile for both sexes (women: unadjusted prevalence ratio (UPR) 7.43, 95% CI 3.65 to 15.11; men: UPR 7.00, 95% CI 1.66 to 29.58). The proportion of tests performed in genitourinary medicine clinics was negatively associated with attainment of the recommended diagnosis rate (UPR 0.95, 0.93 to 0.97). Conclusions Chlamydia diagnosis rate recommendations that reflect local area deprivation (as a proxy for disease burden) may be more appropriate than a single national target if the aim is to reduce health inequalities nationally. We suggest LAs monitor their chlamydia diagnosis rate, test coverage and test positivity across a range of measures (including setting and sex) and pre/post changes to commissioned services. Critical evaluation of performance against the recommendation should be reflected in local commissioning decisions

A practical method to detect, analyse and engineer higher order Van Hove singularities in multi-band Hamiltonians

We present a practical method to detect, diagnose and engineer higher order Van Hove singularities in multiband systems, with no restrictions on the number of bands and hopping terms. The method allows us to directly compute the Taylor expansion of the dispersion of any band at arbitrary points in momentum space, using a generalised extension of the Feynman Hellmann theorem, which we state and prove. Being fairly general in scope, it also allows us to incorporate and analyse the effect of tuning parameters on the low energy dispersions, which can greatly aid the engineering of higher order Van Hove singularities. A certain class of degenerate bands can be handled within this framework. We demonstrate the use of the method, by applying it to the Haldane model.Comment: 19 page

Regulation of Dendritogenesis in Sympathetic Neurons

In postganglionic sympathetic neurons, the size of the dendritic arbor determines presynaptic convergence, which correlates with tonic activity, and aberrant dendritic morphology is associated with disease. There is, therefore, great interest in understanding how dendritic morphology is regulated in these neurons. Early studies established a role for target-derived nerve growth factor (NGF) in regulating the size of the dendritic arbor of sympathetic neurons in vivo. However, in vitro studies revealed that even in the presence of optimal concentrations of NGF, rat sympathetic neurons cultured in the absence of serum or non-neuronal cells survive and elaborate extensive axonal arbors, but fail to form dendrites. Subsequently, it was discovered that bone morphogenetic proteins (BMPs) trigger cultured sympathetic neurons to extend a dendritic arbor comparable to that of their in vivo counterparts. The goals of this chapter are to: (i) summarize these early experiments; (ii) discuss evidence substantiating a role for BMPs in glial-induced dendritic growth in vitro and regulation of dendritic growth in vivo; (iii) review what is known about the molecular mechanisms by which NGF, BMPs and other factors influence dendritic arborization of sympathetic neurons; and (iv) identify key data gaps in understanding of how dendrites are regulated in sympathetic neurons

Diagonal and Low-Rank Matrix Decompositions, Correlation Matrices, and Ellipsoid Fitting

In this paper we establish links between, and new results for, three problems that are not usually considered together. The first is a matrix decomposition problem that arises in areas such as statistical modeling and signal processing: given a matrix $X$ formed as the sum of an unknown diagonal matrix and an unknown low rank positive semidefinite matrix, decompose $X$ into these constituents. The second problem we consider is to determine the facial structure of the set of correlation matrices, a convex set also known as the elliptope. This convex body, and particularly its facial structure, plays a role in applications from combinatorial optimization to mathematical finance. The third problem is a basic geometric question: given points $v_1,v_2,...,v_n\in \R^k$ (where $n > k$) determine whether there is a centered ellipsoid passing \emph{exactly} through all of the points. We show that in a precise sense these three problems are equivalent. Furthermore we establish a simple sufficient condition on a subspace $U$ that ensures any positive semidefinite matrix $L$ with column space $U$ can be recovered from $D+L$ for any diagonal matrix $D$ using a convex optimization-based heuristic known as minimum trace factor analysis. This result leads to a new understanding of the structure of rank-deficient correlation matrices and a simple condition on a set of points that ensures there is a centered ellipsoid passing through them.Comment: 20 page