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.

Synthesis of anatase TiO2 supported on porous solids by chemical vapor deposition

Coating anatase TiO2 onto three different particle supports, activated carbon (AC), gamma -alumina (Al2O3) and silica gel (SiO2), by chemical vapor deposition (CVD) was studied. The effect of the CVD synthesis conditions on the loading rate of anatase TiO2 was investigated. It was found that introducing water vapor during CVD or adsorbing water before CVD was crucial to obtain anatase TiO2 on the surface of the particle supports. The evaporation temperature of precursor, deposition temperature in the reactor, flow rate of carrier gas, and the length of coating time were also important parameters to obtain more uniform and repeatable TiO2 coating. High inflow precursor concentration, high CVD reactor temperature and long coating time tended to cause block problem. Coating TiO2 onto small particles by CVD involved both chemical vapor deposition and particle deposition. It was believed that the latter was the reason for the block problem. In addition, the mechanism of CVD process in this study included two parts, pyrolysis and hydrolysis, and one of them was dominant in the CVD process under different synthesis route. Among the three types of materials, silica gel, with higher surface hydroxyl groups and macropore surface area, was found to be the most efficient support in terms of both anatase TiO2 coating and photocatalytic reaction. (C) 2001 Elsevier Science B.V. All rights reserved.

Determination of T1pH relaxation rates in charred and uncharred wood and consequences for NMR quantitation

The performance of three different techniques for determining proton rotating frame relaxation rates (T1pH) in charred and uncharred woods is compared. The variable contact time (VCT) experiment is shown to over-estimate T1pH, particularly for the charred samples, due to the presence of slowly cross-polarizing C-13 nuclei. The variable spin (VSL) or delayed contact experiment is shown to overcome these problems; however, care is needed in the analysis to ensure rapidly relaxing components are not overlooked. T1pH is shown to be non-uniform for both charred and uncharred wood samples; a rapidly relaxing component (T1pH = 0.46-1.07 ms) and a slowly relaxing component (T1pH = 3.58-7.49) is detected in each sample. T1pH for each component generally decreases with heating temperature (degree of charring) and the proportion of rapidly relaxing component increases. Direct T1pH determination (via H-1 detection) shows that all samples contain an even faster relaxing component (0.09-0.24 ms) that is virtually undetectable by the indirect (VCT and VSL) techniques. A new method for correcting for T1pH signal losses in spin counting experiments is developed to deal with the rapidly relaxing component detected in the VSL experiment. Implementation of this correction increased the proportion of potential C-13 CPMAS NMR signal that can be accounted for by up to 50% for the charred samples. An even greater proportion of potential signal can be accounted for if the very rapidly relaxing component detected in the direct T1pH determination is included; however, it must be kept in mind that this experiment also detects H-1 pools which may not be involved in H-1-C-13 cross-polarization. (C) 2002 Elsevier Science (USA).

Excitatory synaptic transmission in the lateral and central amygdala

The amygdala plays a major role in the acquisition and expression of fear conditioning. NMDA receptor-dependent synaptic plasticity within the basolateral amygdala has been proposed to underlie the acquisition and possible storage of fear memories. Here the properties of fast glutamatergic transmission in the lateral and central nuclei of the amygdala are presented. In the lateral amygdala, two types of neurons, interneurons and projection neurons, could be distinguished by their different firing properties. Glutamatergic inputs to interneurons activated AMPA receptors with inwardly rectifying current-voltage relations (I-Vs), whereas inputs to projection neurons activated receptors that had linear I-Vs, indicating that receptors on interneurons lack GluR2 subunits. Inputs to projection neurons formed dual component synapses with both AMPA and NMDA components, whereas at inputs to interneurons, the contribution of NMDA receptors was very small. Neurons in the central amygdala received dual component glutamatergic inputs that activated AMPA receptors with linear I-Vs. NMDA receptor-mediated EPSCs had slow decay time constants in the central nucleus. Application of NR2B selective blockers ifenprodil or CP-101,606 blocked NMDA EPSCs by 70% in the central nucleus, but only by 30% in the lateral nucleus. These data show that the distribution of glutamatergic receptors on amygdalar neurons is not uniform. In the lateral amygdala, interneurons and pyramidal neurons express AMPA receptors with different subunit compositions. Synapses in the central nucleus activate NMDA receptors that contain NR1 and NR2B subunits, whereas synapses in the lateral nucleus contain receptors with both NR2A and NR2B subunits.

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.

Stabilization of native protein fold by intein-mediated covalent cyclization

A mutant version of the N-terminal domain of Escherichia coli DnaB helicase was used as a model system to assess the stabilization against unfolding gained by covalent cyclization. Cyclization was achieved in vivo by formation of an amide bond between the N and C termini with the help of a split mini-intein. Linear and circular proteins were constructed to be identical in amino acid sequence. Mutagenesis of Phe102 to Glu rendered the protein monomeric even at high concentration. A difference in free energy of unfolding, DeltaDeltaG, between circular and linear protein of 2.3(+/-0.5) kcal mol(-1) was measured at 10degreesC by circular dichroism. A theoretical estimate of the difference in conformational entropy of linear and circular random chains in a three-dimensional cubic lattice model predicted DeltaDeltaG = 2.3 kcal mol(-1), suggesting that stabilization by protein cyclization is driven by the reduced conformational entropy of the unfolded state. Amide-proton exchange rates measured by NMR spectroscopy and mass spectrometry showed a uniform, approximately tenfold decrease of the exchange rates of the most slowly exchanging amide protons, demonstrating that cyclization globally decreases the unfolding rate of the protein. The amide proton exchange was found to follow EX1 kinetics at near-neutral pH, in agreement with an unusually slow refolding I measured by stopped-flow circular dichroism. rate of less than 4 min(-1) The linear and circular proteins differed more in their unfolding than in their folding rates. Global unfolding of the N-terminal domain of E. coli DnaB is thus promoted strongly by spatial separation of the N and C termini, whereas their proximity is much less important for folding. (C) 2005 Elsevier Ltd. All rights reserved.

Finite-temperature correlations and density profiles of an inhomogeneous interacting one-dimensional Bose gas

We calculate the density profiles and density correlation functions of the one-dimensional Bose gas in a harmonic trap, using the exact finite-temperature solutions for the uniform case, and applying a local density approximation. The results are valid for a trapping potential that is slowly varying relative to a correlation length. They allow a direct experimental test of the transition from the weak-coupling Gross-Pitaevskii regime to the strong-coupling, fermionic Tonks-Girardeau regime. We also calculate the average two-particle correlation which characterizes the bulk properties of the sample, and find that it can be well approximated by the value of the local pair correlation in the trap center.

Pectinase production by solid fermentation from Aspergillus niger by a new prescription experiment

The Ordos Plateau in China is covered with up to 300,000 ha of peashrub (Caragana) which is the dominant natural vegetation and ideal for fodder production. To exploit peashrub fodder, it is crucially important to optimize the culture conditions, especially culture substrate to produce pectinase complex. In this study, a new prescription process was developed. The process, based on a uniform experimental design, first optimizes the solid substrate and second, after incubation, applies two different temperature treatments (30 degrees C for the first 30 h and 23 degrees C for the second 42 h) in the fermentation process. A multivariate regression analysis is applied to a number of independent variables (water, wheat bran, rice dextrose, ammonium sulfate, and Tween 80) to develop a predictive model of pectinase activity. A second-degree polynomial model is developed which accounts for an excellent proportion of the explained variation (R-2 = 97.7%). Using unconstrained mathematical programming, an optimized substrate prescription for pectinase production is subsequently developed. The mathematical analysis revealed that the optimal formula for pectinase production from Aspergillus niger by solid fermentation under the conditions of natural aeration, natural substrate pH (about 6.5), and environmental humidity of 60% is rice dextrose 8%, wheat bran 24%, ammonium sulfate ((NH4)(2)SO4) 6%, and water 61%. Tween 80 was found to have a negative effect on the production of pectinase in solid substrate. With this substrate prescription, pectinase produced by solid fermentation of A. niger reached 36.3IU/(gDM). Goats fed on the pectinase complex obtain an incremental increase of 0.47 kg day(-1) during the initial 25 days of feeding, which is a very promising new feeding prospect for the local peashrub. It is concluded that the new formula may be very useful for the sustainable development of and and semiarid pastures such as those of the Ordos Plateau. (c) 2005 Elsevier Inc. All rights reserved.

Improved comparison plot method for pore structure characterization of MCM-41

MCM-41 samples of various pore dimensions are synthesized. Plotting of nitrogen adsorption data at 77 K versus the statistical film thickness (comparison plot) reveals three distinct stages, with a characteristic of two points of inflection. The steep intermediate stage caused by capillary condensation occurred in the highly uniform mesopores. From the slopes of the sections before and after the condensation, the surface area of the mesopores is calculated. The linear portion of the last section is extrapolated to the adsorption axis of the comparison plot, and this intercept is used to obtain the volume of the mesopores. From the surface area and pore volume, average mesopore diameter is calculated, and the value thus obtained is in good agreement with the pore dimension obtained from powder X-ray diffraction measurements. The principle of the calculation as well as problems associated are discussed in detail.

Hydraulic tracer studies in a pilot scale subsurface flow constructed wetland

Current design procedures for Subsurface Flow (SSF) Wetlands are based on the simplifying assumptions of plug flow and first order decay of pollutants. These design procedures do yield functional wetlands but result in over-design and inadequate descriptions of the pollutant removal mechanisms which occur within them. Even though these deficiencies are often noted, few authors have attempted to improve modelling of either flow or pollutant removal in such systems. Consequently the Oxley Creek Wetland, a pilot scale SSF wetland designed to enable rigorous monitoring, has recently been constructed in Brisbane, Australia. Tracer studies have been carried out in order to determine the hydraulics of this wetland prior to commissioning it with sealed sewage. The tracer studies will continue during the wetland's commissioning and operational phases. These studies will improve our understanding of the hydraulics of newly built SSF wetlands and the changes brought on by operational factors such as biological films and wetland plant root structures. Results to date indicate that the flow through the gravel beds is not uniform and cannot be adequately modelled by a single parameter, plug flow with dispersion, model. We have developed a multiparameter model, incorporating four plug flow reactors, which provides a better approximation of our experimental data. With further development this model will allow improvements to current SSF wetland design procedures and operational strategies, and will underpin investigations into the pollutant removal mechanisms at the Oxley Creek Wetland. (C) 1997 IAWQ. Published by Elsevier Science Ltd.

Local dispersion of the Eucalyptus leaf beetle Chrysophtharta bimaculata (Coleoptera: Chrysomelidae), and implications for forest protection

1. Chrysophtharta bimaculata is a native chrysomelid species that can cause chronic defoliation of plantation and regrowth Eucalyptus forests in Tasmania, Australia. Knowledge of the dispersion pattern of C. bimaculata was needed in order to assess the efficiency of an integrated pest management (IPM) programme currently used for its control. 2. Using data from yellow flight traps, local populations of C. bimaculata adults were monitored over a season at spatial scales relevant to commercial forestry: within a 50-ha operational management unit (a forestry 'coupe') and between coupes. In addition, oviposition was monitored over a season at a subset of the between-coupe sites. 3. Dispersion indices (Taylor's Power Law and Iwao's Mean Crowding regression method) demonstrated that C. bimaculata adults were spatially aggregated within and between coupes, although the number of egg-batches laid at the between-coupe scale was uniform. Spatial autocorrelation analysis showed that trap-catches at the within-coupe level were similar (positively autocorrelated) to a radius distance of approximately 110 m, and then dissimilar (negatively autocorrelated) at approximately 250 m. At the between-coupe scale, no repeatable spatial autocorrelation patterns were observed. 4. For any individual site, rapid changes in beetle density were observed to be associated with loosely aggregated flights of beetles into and out of that site. Peak adult catches (> the weekly mean plus standard deviation trap-catch) for a site occurred for a period of 2.0 +/- 0.22 weeks at a time (n = 37), with normally only one or two peaks per site per season. Peak oviposition events for a site occurred on average 1.4 +/- 0.11 times per season and lasted 1.5 +/- 0.12 weeks. 5. Analysis of an extensive data set (n = 417) demonstrated that adult abundance at a site was positively correlated with egg density, but negatively correlated with tree damage (caused by conspecifics) and the presence of conspecific larvae. There was no relationship between adult abundance and a visual estimate of the amount of young foliage on trees. 6. Adults of C. bimaculata are show n to occur in relatively small, mobile aggregations. This means that pest surveys must be both regular (less than 2 weeks apart) and intensive (with sampling points no more than 150 m apart) if beetle populations are to be monitored with confidence. Further refinement of the current IPM strategy must recognize the problems posed by this temporal and spatial patchiness, particularly with regard to the use of biological insecticides, such as Bacillus thuringiensis, for which only a very short operational window exists.

A Comparison of Bayesian and Sampling Theory Inferences in a Probit Model

HE PROBIT MODEL IS A POPULAR DEVICE for explaining binary choice decisions in econometrics. It has been used to describe choices such as labor force participation, travel mode, home ownership, and type of education. These and many more examples can be found in papers by Amemiya (1981) and Maddala (1983). Given the contribution of economics towards explaining such choices, and given the nature of data that are collected, prior information on the relationship between a choice probability and several explanatory variables frequently exists. Bayesian inference is a convenient vehicle for including such prior information. Given the increasing popularity of Bayesian inference it is useful to ask whether inferences from a probit model are sensitive to a choice between Bayesian and sampling theory techniques. Of interest is the sensitivity of inference on coefficients, probabilities, and elasticities. We consider these issues in a model designed to explain choice between fixed and variable interest rate mortgages. Two Bayesian priors are employed: a uniform prior on the coefficients, designed to be noninformative for the coefficients, and an inequality restricted prior on the signs of the coefficients. We often know, a priori, whether increasing the value of a particular explanatory variable will have a positive or negative effect on a choice probability. This knowledge can be captured by using a prior probability density function (pdf) that is truncated to be positive or negative. Thus, three sets of results are compared:those from maximum likelihood (ML) estimation, those from Bayesian estimation with an unrestricted uniform prior on the coefficients, and those from Bayesian estimation with a uniform prior truncated to accommodate inequality restrictions on the coefficients.

Estimating Income Inequality in China Using Grouped Data and the Generalized Beta Distribution

There are two main types of data sources of income distributions in China: household survey data and grouped data. Household survey data are typically available for isolated years and individual provinces. In comparison, aggregate or grouped data are typically available more frequently and usually have national coverage. In principle, grouped data allow investigation of the change of inequality over longer, continuous periods of time, and the identification of patterns of inequality across broader regions. Nevertheless, a major limitation of grouped data is that only mean (average) income and income shares of quintile or decile groups of the population are reported. Directly using grouped data reported in this format is equivalent to assuming that all individuals in a quintile or decile group have the same income. This potentially distorts the estimate of inequality within each region. The aim of this paper is to apply an improved econometric method designed to use grouped data to study income inequality in China. A generalized beta distribution is employed to model income inequality in China at various levels and periods of time. The generalized beta distribution is more general and flexible than the lognormal distribution that has been used in past research, and also relaxes the assumption of a uniform distribution of income within quintile and decile groups of populations. The paper studies the nature and extent of inequality in rural and urban China over the period 1978 to 2002. Income inequality in the whole of China is then modeled using a mixture of province-specific distributions. The estimated results are used to study the trends in national inequality, and to discuss the empirical findings in the light of economic reforms, regional policies, and globalization of the Chinese economy.

Visualising the activity of the cystine-glutamate antiporter in glial cells using antibodies to aminoadipic acid, a selectively transported substrate

The cystine-glutamate antiporter is a transport system that facilitates the uptake of cystine, concomitant with the release of glutamate. The cystine accumulated by this transporter is generally considered for use in the formation of the cysteine-containing antioxidant glutathione, which is abundant in many glial cells. This study used the simple strategy of generating an antibody to aminoadipic acid, a selective substrate for the cystine-glutamate antiporter. Stereospecific accumulation of aminoadipic acid into specific cell types in rat brain slice preparations was detected immunocytochemically. Strong accumulation was detected in astroglial cells in all brain regions studied including those in white matter tracts. Strong accumulation into radial glial cells, including the retinal Muller cells and the Bergmann glial cells was also observed. Glial accumulation was observed not only in cells within the blood brain barrier, but also outside such; anterior pituitary folliculostellate cell and intermediate lobe pituitary glial cells exhibited strong accumulation of aminoadipic acid. Interestingly, some glial cells such as the posterior pituitary glial cells (pituicytes) exhibited very little if any accumulation of aminoadipic acid. Within the brain labelling was not uniform. Particularly strong labelling was noted in some regions, such as the glial cells surrounding the CA1 pyramidal cells. By contrast, neurons never exhibited uptake of aminoadipic acid. Because cystine uptake is associated with glutamate release, it is suggested that this antiporter might contribute to release of glutamate from glial cells under some pathophysiological conditions. (C) 2001 Wiley-Liss, Inc.

MapScript: A map algebra programming language incorporating neighborhood analysis

Map algebra is a data model and simple functional notation to study the distribution and patterns of spatial phenomena. It uses a uniform representation of space as discrete grids, which are organized into layers. This paper discusses extensions to map algebra to handle neighborhood operations with a new data type called a template. Templates provide general windowing operations on grids to enable spatial models for cellular automata, mathematical morphology, and local spatial statistics. A programming language for map algebra that incorporates templates and special processing constructs is described. The programming language is called MapScript. Example program scripts are presented to perform diverse and interesting neighborhood analysis for descriptive, model-based and processed-based analysis.