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.

Model for gas-liquid flow through wet porous medium

A method involving bubbling of air through a fibrous filter immersed in water has recently been investigated (Agranovski et al. [1]). Experimental results showed that the removal efficiency for ultra-fine aerosols by such filters was greatly increased compared to dry filters. Nuclear Magnetic Resonance (NMR) imaging was used to examine the wet filter and to determine the nature of the gas flow inside the filter (Agranovski et al. [2]). It was found that tortuous preferential pathways (or flow tubes) develop within the filter through which the air flows and the distribution of air and water inside the porous medium has been investigated. The aim of this paper is to investigate the geometry of the pathways and to make estimates of the flow velocities and particle removal efficiency in such pathways. A mathematical model of the flow of air along the preferred pathways has been developed and verified experimentally. Even for the highest realistic gas velocity the flow field was essentially laminar (Re approximate to 250). We solved Laplace's equation for stream function to map trajectories of particles and gas molecules to investigate the possibility of their removal from the carrier.

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.

Physiological role of calcium-activated potassium currents in the rat lateral amygdala

Principal neurons in the lateral nucleus of the amygdala (LA) exhibit a continuum of firing properties in response to prolonged current injections ranging from those that accommodate fully to those that fire repetitively. In most cells, trains of action potentials are followed by a slow after hyperpolarization (AHP) lasting several seconds. Reducing calcium influx either by lowering concentrations of extracellular calcium or by applying nickel abolished the AHP, confirming it is mediated by calcium influx. Blockade of large conductance calcium-activated potassium channel (BK) channels with paxilline, iberiotoxin, or TEA revealed that BK channels are involved in action potential repolarization but only make a small contribution to the fast AHP that follows action potentials. The fast AHP was, however, markedly reduced by low concentrations of 4-aminopyridine and alpha-dendrotoxin, indicating the involvement of voltage-gated potassium channels in the fast AHP. The medium AHP was blocked by apamin and UCL1848, indicating it was mediated by small conductance calcium-activated potassium channel (SK) channels. Blockade of these channels had no effect on instantaneous firing. However, enhancement of the SK-mediated current by 1-ethyl-2-benzimidazolinone or paxilline increased the early interspike interval, showing that under physiological conditions activation of SK channels is insufficient to control firing frequency. The slow AHP, mediated by non-SK BK channels, was apamin-insensitive but was modulated by carbachol and noradrenaline. Tetanic stimulation of cholinergic afferents to the LA depressed the slow AHP and led to an increase in firing. These results show that BK, SK, and non-BK SK-mediated calcium-activated potassium currents are present in principal LA neurons and play distinct physiological roles.

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.

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.

Current smoking and the risk of non-fatal myocardial infarction in the WHO MONICA Project populations

Background: Cohort studies have shown that smoking has a substantial influence on coronary heart disease mortality in young people. Population based data on non-fatal events have been sparse, however. Objective: To study the impact of smoking on the risk of non-fatal acute myocardial infarction (MI) in young middle age people. Methods: From 1985 to 1994 all non-fatal MI events in the age group 35 - 64 were registered in men and women in the WHO MONICA ( multinational monitoring of trends and determinants in cardiovascular disease) project populations ( 18 762 events in men and 4047 in women from 32 populations from 21 countries). In the same populations and age groups 65 741 men and 66 717 women participated in the surveys of risk factors ( overall response rate 72%). The relative risk of non-fatal MI for current smokers was compared with non-smokers, by sex and five year age group. Results: The prevalence of smoking in people aged 35 - 39 years who experienced non-fatal MI events was 81% in men and 77% in women. It declined with increasing age to 45% in men aged 60 - 64 years and 36% in women, respectively. In the 35 - 39 years age group the relative risk of non-fatal MI for smokers was 4.9 (95% confidence interval (CI) 3.9 to 6.1) in men and 5.3 ( 95% CI 3.2 to 8.7) in women, and the population attributable fractions were 65% and 55%, respectively. Conclusions: During the study period more than half of the non-fatal MIs occurring in young middle age people can be attributed to smoking.

Teleportation in a non-inertial frame

In this work, we describe the process of teleportation between Alice in an inertial frame, and Rob who is in uniform acceleration with respect to Alice. The fidelity of the teleportation is reduced due to Davies-Unruh radiation in Rob's frame. In so far as teleportation is a measure of entanglement, our results suggest that quantum entanglement is degraded in non-inertial frames. We discuss this reduction in fidelity for both bosonic and fermionic resources.