Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Band structure of the Jahn-Teller polaron from Quantum Monte Carlo

A path-integral representation is constructed for the Jahn-Teller polaron (JTP). It leads to a perturbation series that can be summed exactly by the diagrammatic Quantum Monte Carlo technique. The ground-state energy, effective mass, spectrum and density of states of the three-dimensional JTP are calculated with no systematic errors. The band structure of JTP interacting with dispersionless phonons, is found to be similar to that of the Holstein polaron. The mass of JTP increases exponentially with the coupling constant. At small phonon frequencies, the spectrum of JTP is flat at large momenta, which leads to a strongly distorted density of states with a massive peak at the top of the band.Comment: 5 pages of REVTeX, 3 figure

On Four-point Functions in the CFT/AdS Correspondence

We discuss the properties of four-point functions in the context of the correspondence between a classical supergravity theory in the bulk of the Anti de Sitter space and quantum conformal field theory at the boundary. The contribution to a four-point function from the exchange of a scalar field of arbitrary mass in AdS space is explicitly identified with that of the corresponding operator in the conformal partial wave expansion of a four-point function on the CFT side. Integral representations are found for the massless vector and graviton exchanges. We also discuss some aspects of the four-point functions of Tr F^2 and Tr F F^* (`dilaton' and `axion') operators in the N =4 supersymmetric Yang-Mills.Comment: 23 pages, using harvmac and epsf, three figures; v2,v3: minor corrections; v4: argument at the end of section 5 corrected and is now consistent with hep-th/9808006 by Freedman et a

Informal community support for parents of pre-school children: A comparative study investigating the subjective experience of parents attending community-based toddler groups in different socio-economic situations

"Within the United Kingdom, the importance of the appropriate parenting of children in their early years has received significant political support. However, it has been found that positive outcomes for young children, in terms of their present experience and future life chances, are often significantly weakened by the impact of poverty. A phenomenological scoping study was undertaken to explore the reasons why parents living in poverty access informal social support networks, in the form of community-based toddler groups. The study found that engagement with these networks has value for parents in terms of their mental well-being and their peer education, both of which support their ability to parent a young child appropriately.

Dietary elimination of children with food protein induced gastrointestinal allergy – micronutrient adequacy with and without a hypoallergenic formula?

Background: The cornerstone for management of Food protein-induced gastrointestinal allergy (FPGIA) is dietary exclusion; however the micronutrient intake of this population has been poorly studied. We set out to determine the dietary intake of children on an elimination diet for this food allergy and hypothesised that the type of elimination diet and the presence of a hypoallergenic formula (HF) significantly impacts on micronutrient intake. Method: A prospective observational study was conducted on children diagnosed with FPIGA on an exclusion diet who completed a 3 day semi-quantitative food diary 4 weeks after commencing the diet. Nutritional intake where HF was used was compared to those without HF, with or without a vitamin and mineral supplement (VMS). Results: One-hundred-and-five food diaries were included in the data analysis: 70 boys (66.7%) with median age of 21.8 months [IQR: 10 - 67.7]. Fifty-three children (50.5%) consumed a HF and the volume of consumption was correlated to micronutrient intake. Significantly (p <0.05) more children reached their micronutrient requirements if a HF was consumed. In those without a HF, some continued not to achieve requirements in particular for vitamin D and zinc, in spite of VMS. Conclusion: This study points towards the important micronutrient contribution of a HF in children with FPIGA. Children, who are not on a HF and without a VMS, are at increased risk of low intakes in particular vitamin D and zinc. Further studies need to be performed, to assess whether dietary intake translates into actual biological deficiencies

‘Get yourself some nice, neat, matching box files’: research administrators and occupational identity work

To date, qualitative research into occupational groups and cultures within academia has been relatively scarce, with an almost exclusive concentration upon teaching staff within universities and colleges. This article seeks to address this lacuna and applies the interactionist concept of ‘identity work’ in order to examine one specific group to date under-researched: graduate research administrators. This occupational group is of sociological interest as many of its members appear to span the putative divide between ‘academic’ and ‘administrative’ occupational worlds within higher education. An exploratory, qualitative research project was undertaken, based upon interviews with 27 research administrators. The study analyses how research administrators utilise various forms of identity work to sustain credible occupational identities, often in the face of considerable challenge from their academic colleagues

Deepening democracy within Ireland's social partnership

Ireland's social partnership process, now under attack from a number of quarters, has repeatedly been charged with being 'undemocratic' in that it undermines the sovereign position of elected political representatives, with key policy formulation and decision-making taking place in fora outside the institutions of representative democracy. These critiques echo those against new forms of networked governance more globally. A key question therefore is how (and if) democracy may be deepened within social partnership or its potential successor(s). This article addresses this question by employing a post-liberal democratic framework to examine social partnership in practice, and by drawing lessons from another partnership process, Malawi's PRSP. Drawing from Malawi's experience, it is argued that democracy can be deepened within social partnership when governance deliberations and negotiations are conducted under conditions of vibrant public debate and genuine perspective-based representation, and when the communicative and discursive norms are widened to allow for such representation

Employers and schools: how Mansfield is building a world of work approach

There is a keen interest in encouraging employers to engage with schools so that young people can learn more about careers, understand the skills that employers are interested in, broaden their aspirations and be motivated to succeed. Employer engagement in schools in England however is increasingly fragmented because of a loss of brokering infrastructure. This article describes a partnership approach developed in Mansfield where a consortium of local schools has worked with their business community and public sector organisations. Together they have listened to what young people say they both want and need to know about careers and then responded by providing a strategic careers learning programme. The particular contribution of the Mansfield Learning Partnership which is wholly funded by the town’s secondary schools is detailed in the article alongside elaboration of the Mansfield Framework for Career Learning which provides a work experience programme and several imaginative opportunities for young people to engage in meaningful encounters with employers

Effects of boundary conditions on magnetization switching in kinetic Ising models of nanoscale ferromagnets

Magnetization switching in highly anisotropic single-domain ferromagnets has been previously shown to be qualitatively described by the droplet theory of metastable decay and simulations of two-dimensional kinetic Ising systems with periodic boundary conditions. In this article we consider the effects of boundary conditions on the switching phenomena. A rich range of behaviors is predicted by droplet theory: the specific mechanism by which switching occurs depends on the structure of the boundary, the particle size, the temperature, and the strength of the applied field. The theory predicts the existence of a peak in the switching field as a function of system size in both systems with periodic boundary conditions and in systems with boundaries. The size of the peak is strongly dependent on the boundary effects. It is generally reduced by open boundary conditions, and in some cases it disappears if the boundaries are too favorable towards nucleation. However, we also demonstrate conditions under which the peak remains discernible. This peak arises as a purely dynamic effect and is not related to the possible existence of multiple domains. We illustrate the predictions of droplet theory by Monte Carlo simulations of two-dimensional Ising systems with various system shapes and boundary conditions.Comment: RevTex, 48 pages, 13 figure

Interpretation of Strong Short-Term Central Perturbations in the Light Curves of Moderate-Magnification Microlensing Events

To improve the planet detection efficiency, current planetary microlensing experiments are focused on high-magnification events searching for planetary signals near the peak of lensing light curves. However, it is known that central perturbations can also be produced by binary companions and thus it is important to distinguish planetary signals from those induced by binary companions. In this paper, we analyze the light curves of microlensing events OGLE-2007-BLG-137/MOA-2007-BLG-091, OGLE-2007-BLG-355/MOA-2007-BLG-278, and MOA-2007-BLG-199/OGLE-2007-BLG-419, for all of which exhibit short-term perturbations near the peaks of the light curves. From detailed modeling of the light curves, we find that the perturbations of the events are caused by binary companions rather than planets. From close examination of the light curves combined with the underlying physical geometry of the lens system obtained from modeling, we find that the short time-scale caustic-crossing feature occurring at a low or a moderate base magnification with an additional secondary perturbation is a typical feature of binary-lens events and thus can be used for the discrimination between the binary and planetary interpretations.Comment: 17 pages, 4 figures, 1 tabl