Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Estimating the cost of contact for non-resident parents: A budget standards approach

Most Western countries have, for some time, provided income support and/or taxation relief to parents with children in their care. The significant amount of research into the costs of children to couple and sole parent households has been important in assessing and developing family support policies. Changing societal expectations about the level of involvement of fathers in child rearing activities has highlighted the need to understand the costs facing usually male non-resident parents in having contact with their children. The budget standards methodology is used in this paper to estimate the costs for non-resident parents exercising regular contact with their children. Costs of contact are found to be high. For contact with one child for 20 per cent of the year, costs of contact represent about 40 per cent of the costs of that same child in an intact couple household with a medium income and more than half of the costs of that child in a household with low income. Household infrastructure and transportation is the reason for high costs. One implication of this finding is that the total cost of children substantially increases when parents separate. The article discusses some policy implications of these findings. This research is of relevance to social security, taxation, family law and child support policies and administration.

Determining complicated winding patterns for shim coils using stream functions and the target-field method

In a magnetic resonance imaging equipment, gradient and shim coils are needed to produce a spatially varying magnetic field throughout the sample being imaged. Such coils consist of turns of wire wound on the surface of a cylindrical tube. Shim coils in particular, must sometimes be designed to produce complicated magnetic fields to correct for impurities. Streamline patterns for shim coils are much more complicated than those for gradient coils, In this work we present a detailed analysis of streamline methods and their application to shim coil design, A method is presented for determining the winding patterns to generate these complicated fields. (C) 2002 John Wiley & Sons, Inc.

A method for the design of MRI radiofrequency coils based on triangular and pulse basis functions

This paper presents a numerical technique for the design of an RF coil for asymmetric magnetic resonance imaging (MRI) systems. The formulation is based on an inverse approach where the cylindrical surface currents are expressed in terms of a combination of sub-domain basis functions: triangular and pulse functions. With the homogeneous transverse magnetic field specified in a spherical region, a functional method is applied to obtain the unknown current coefficients. The current distribution is then transformed to a conductor pattern by use of a stream function technique. Preliminary MR images acquired using a prototype RF coil are presented and validate the design method. (C) 2002 Elsevier Science B.V. All rights reserved.

Decreased perinatal sunshine duration is associated with increased non-affective but not affective psychosis birth rates

We have previously found an association between variations in schizophrenia birth rates and varyinglevels of perinatal sunshine duration. This study examines whether such an association can also be found for Ža. affective psychosis, and Žb. broadly defined nonaffective psychoses. Data for individuals born between 1931 and 1970 in Australia with ICD9 Other PsychosisŽ295–299.were obtained from the Queensland Mental Health Statistical System. ‘Affective psychosis’ included affective psychosis, schizo-affective psychosis, and depressive and excitative non-organic psychoses. ‘Non-affective psychosis’ included chizophrenia, paranoid disorders and other non-organic psychoses. Those receiving both affective and non-affective psychotic diagnoses were excluded. Rates per 10,000 live monthly general population births were calculated. For each month, we assessed the agreementŽusing the kappa statistic. between trends in Ža. birth rates and Žb. long-term trends in seasonally adjusted perinatal sunshine duration. The analyses were performed separately for males and females. There were 6265 with non-affective psychosis ŽMs3964 rate 66r10,000; Fs2299 44r10,000. and 2858 with affective psychosisŽMs1392 24r10,000; Fs1466 28r10,000.. There were no significant associations between Ža. affective psychosis birth rates for either males or females and Žb. sunshine duration. There was a significant association between nonaffective psychosis birth rates for males only and Žb. sunshine duration Žkappas0.15 p-0.001.. This suggests that, as a risk factor, the effect of reduced perinatal sunshine is specifically associated with males who develop non-affective psychosis. The Stanley Foundation supported this project.

Why do non-color words interfere with color naming?

In the non-color-word Stroop task, university students' response latencies were longer for low-frequency than for higher frequency target words. Visual identity primes facilitated color naming in groups reading the prime silently or processing it semantically (Experiment 1) but did not when participants generated a rhyme of the prime (Experiment 3). With auditory identity primes, generating an associate or a rhyme of the prime produced interference (Experiments 2 and 3). Color-naming latencies were longer for nonwords than for words (Experiment 4). There was a small long-term repetition benefit in color naming for low-frequency words that had been presented in the lexical decision task (Experiment 5). Facilitation of word recognition speeds color naming except when phonological activation of the base word increases response competition.

Blockade of vascular smooth muscle cell proliferation and intimal thickening after balloon injury by the sulfated oligosaccharide PI-88: Phosphomannopentaose sulfate directly binds FGF-2, blocks cellular signaling, and inhibits proliferation

Percutaneous transluminal coronary angioplasty is a frequently used interventional technique to reopen arteries that have narrowed because of atherosclerosis. Restenosis, or renarrowing of the artery shortly after angioplasty, is a major limitation to the success of the procedure and is due mainly to smooth muscle cell accumulation in the artery wall at the site of balloon injury. In the present study, we demonstrate that the antiangiogenic sulfated oligosaccharide, PI-88, inhibits primary vascular smooth muscle cell proliferation and reduces intimal thickening 14 days after balloon angioplasty of rat and rabbit arteries. PI-88 reduced heparan sulfate content in the injured artery wall and prevented change in smooth muscle phenotype. However, the mechanism of PI-88 inhibition was not merely confined to the antiheparanase activity of this compound. PI-88 blocked extracellular signal-regulated kinase-1/2 (ERK1/2) activity within minutes of smooth muscle cell injury. It facilitated FGF-2 release from uninjured smooth muscle cells in vitro, and super-released FGF-2 after injury while inhibiting ERK1/2 activation. PI-88 inhibited the decrease in levels of FGF-2 protein in the rat artery wall within 8 minutes of injury. PI-88 also blocked injury-inducible ERK phosphorylation, without altering the clotting time in these animals. Optical biosensor studies revealed that PI-88 potently inhibited (K-i 10.3 nmol/L) the interaction of FGF-2 with heparan sulfate. These findings show for the first time the capacity of this sulfated oligosaccharide to directly bind FGF-2, block cellular signaling and proliferation in vitro, and inhibit injury-induced smooth muscle cell hyperplasia in two animal models. As such, this study demonstrates a new role for PI-88 as an inhibitor of intimal thickening after balloon angioplasty. The full text of this article is available online at http://www.circresaha.org.

Group theory and quasiprobability integrals of Wigner functions

The integral of the Wigner function of a quantum-mechanical system over a region or its boundary in the classical phase plane, is called a quasiprobability integral. Unlike a true probability integral, its value may lie outside the interval [0, 1]. It is characterized by a corresponding selfadjoint operator, to be called a region or contour operator as appropriate, which is determined by the characteristic function of that region or contour. The spectral problem is studied for commuting families of region and contour operators associated with concentric discs and circles of given radius a. Their respective eigenvalues are determined as functions of a, in terms of the Gauss-Laguerre polynomials. These polynomials provide a basis of vectors in a Hilbert space carrying the positive discrete series representation of the algebra su(1, 1) approximate to so(2, 1). The explicit relation between the spectra of operators associated with discs and circles with proportional radii, is given in terms of the discrete variable Meixner polynomials.

Variation in the dispersal potential of non-feeding invertebrate larvae: the desperate larva hypothesis and larval size

For many species of marine invertebrates, variability in larval settlement behaviour appears to be the rule rather than the exception. This variability has the potential to affect larval dispersal, because settlement behaviour will influence the length of time larvae are in the plankton. Despite the ubiquity and importance of this variability, relatively few sources of variation in larval settlement behaviour have been identified. One important factor that can affect larval settlement behaviour is the nutritional state of larvae. Non-feeding larvae often become less discriminating in their 'choice' of settlement substrate, i.e. more desperate to settle, when energetic reserves run low. We tested whether variation in larval size (and presumably in nutritional reserves) also affects the settlement behaviour of 3 species of colonial marine invertebrate larvae, the bryozoans Bugula neritina and Watersipora subtorquata and the ascidian Diplosoma listerianum. For all 3 species, larger larvae delayed settlement for longer in the absence of settlement cues, and settlement of Bugula neritina larvae was accelerated by the presence of settlement cues, independently of larval size. In the field, larger W subtorquata larvae also took longer to settle than smaller larvae and were more discriminating towards settlement surfaces. These differences in settlement time are likely to result in differences in the distance that larvae disperse in the field. We suggest that species that produce non-feeding larvae can affect the dispersal potential of their offspring by manipulating larval size and thus larval desperation.