Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

Weak-force detection with superposed coherent states

We investigate the utility of nonclassical states of simple harmonic oscillators, particularly a superposition of coherent states, for sensitive force detection. We find that like squeezed states, a superposition of coherent states allows displacement measurements at the Heisenberg limit. Entangling many superpositions of coherent states offers a significant advantage over a single-mode superposition state with the same mean photon number.

Spatial and temporal variation in distribution of mangroves in Moreton Bay, subtropical Australia: a comparison of pattern metrics and change detection analyses based on aerial photographs

An assessment of the changes in the distribution and extent of mangroves within Moreton Bay, southeast Queensland, Australia, was carried out. Two assessment methods were evaluated: spatial and temporal pattern metrics analysis, and change detection analysis. Currently, about 15,000 ha of mangroves are present in Moreton Bay. These mangroves are important ecosystems, but are subject to disturbance from a number of sources. Over the past 25 years, there has been a loss of more than 3800 ha, as a result of natural losses and mangrove clearing (e.g. for urban and industrial development, agriculture and aquaculture). However, areas of new mangroves have become established over the same time period, offsetting these losses to create a net loss of about 200 ha. These new mangroves have mainly appeared in the southern bay region and the bay islands, particularly on the landward edge of existing mangroves. In addition, spatial patterns and species composition of mangrove patches have changed. The pattern metrics analysis provided an overview of mangrove distribution and change in the form of single metric values, while the change detection analysis gave a more detailed and spatially explicit description of change. An analysis of the effects of spatial scales on the pattern metrics indicated that they were relatively insensitive to scale at spatial resolutions less than 50 m, but that most metrics became sensitive at coarser resolutions, a finding which has implications for mapping of mangroves based on remotely sensed data. (C) 2003 Elsevier Science B.V. All rights reserved.

Infiltration from surface and buried point sources: The average wetting water content

The assumption in analytical solutions for flow from surface and buried point sources of an average water content, (θ) over bar, behind the wetting front is examined. Some recent work has shown that this assumption fitted some field data well. Here we calculated (θ) over bar using a steady state solution based on the work by Raats [1971] and an exponential dependence of the diffusivity upon the water content. This is compared with a constant value of (θ) over bar calculated from an assumption of a hydraulic conductivity at the wetting front of 1 mm day(-1) and the water content at saturation. This comparison was made for a wide range of soils. The constant (θ) over bar generally underestimated (θ) over bar at small wetted radii and overestimated (θ) over bar at large radii. The crossover point between under and overestimation changed with both soil properties and flow rate. The largest variance occurred for coarser texture soils at low-flow rates. At high-flow rates in finer-textured soils the use of a constant (θ) over bar results in underestimation of the time for the wetting front to reach a particular radius. The value of (θ) over bar is related to the time at which the wetting front reaches a given radius. In coarse-textured soils the use of a constant value of (θ) over bar can result in an error of the time when the wetting front reaches a particular radius, as large as 80% at low-flow rates and large radii.

Polarization vision and its role in biological signaling

Visual pigments, the molecules in photoreceptors that initiate the process of vision, are inherently dichroic, differentially absorbing light according to its axis of polarization. Many animals have taken advantage of this property to build receptor systems capable of analyzing the polarization of incoming light, as polarized light is abundant in natural scenes (commonly being produced by scattering or reflection). Such polarization sensitivity has long been associated with behavioral tasks like orientation or navigation. However, only recently have we become aware that it can be incorporated into a high-level visual perception akin to color vision, permitting segmentation of a viewed scene into regions that differ in their polarization. By analogy to color vision, we call this capacity polarization vision. It is apparently used for tasks like those that color vision specializes in: contrast enhancement, camouflage breaking, object recognition, and signal detection and discrimination. While color is very useful in terrestrial or shallow-water environments, it is an unreliable cue deeper in water due to the spectral modification of light as it travels through water of various depths or of varying optical quality. Here, polarization vision has special utility and consequently has evolved in numerous marine species, as well as at least one terrestrial animal. In this review, we consider recent findings concerning polarization vision and its significance in biological signaling.

Characterization of a microcystin and detection of microcystin synthetase genes from a Brazilian isolate of Nostoc

A nostocalean nitrogen-fixing cyanobacterium isolated from an eutrophic freshwater reservoir located in Piracicaba, Sao Paulo, Brazil, was evaluated for the production of hepatotoxic cyclic heptapeptides, microcystins. Morphologically this new cyanobacterium strain appears closest to Nostoc, however, in the phylogenetic analysis of 165 rRNA gene it falls into a highly stable cluster distantly only related to the typical Nostoc cluster. Extracts of Nostoc sp. CENA88 cultured cells, investigated using ELISA assay, gave positive results and the microcystin profile revealed by ESI-Q-TOF/MS/MS analysis confirmed the production of [Dha(7)]MCYST-YR. Further, Nostoc sp. CENA88 genomic DNA was analyzed by PCR for sequences of mcyD, mcyE and mcyG genes of microcystin synthetase (mcy) cluster. The result revealed the presence of mcyD, mcyE and mcyG genes with similarities to those from mcy of Nostoc sp. strains 152 and IO-102-I and other cyanobacterial genera. The phylogenetic tree based on concatenated McyG, McyD and McyE amino acids clustered the sequences according to cyanobacterial genera, with exception of the Nostoc sp. CENA88 sequence, which was placed in a clade distantly related from other Nostoc strains, as previously observed also in the 165 rRNA phylogenetic analysis. The present study describes for the first time a Brazilian Nostoc microcystin producer and also the occurrence of demethyl MCYST-YR variant in this genus. The sequenced Nostoc genes involved in the microcystin synthesis can contribute to a better understanding of the toxigenicity and evolution of this cyanotoxin. (C) 2009 Elsevier Ltd. All rights reserved.

Behavioural abnormalities of the hyposulphataemic Nas1 knock-out mouse

We recently generated a sodium sulphate cotransporter knock-out mouse (Nas1-/-) which has increased urinary sulphate excretion and hyposulphataemia. To examine the consequences of disturbed sulphate homeostasis in the modulation of mouse behavioural characteristics, Nas1-/- mice were compared with Nas1+/- and Nas1+/+ littermates in a series of behavioural tests. The Nas1-/- mice displayed significantly (P < 0.001) decreased marble burying behaviour (4.33 +/- 0.82 buried) when compared to Nas1+/+ (7.86 +/- 0.44) and Nas1+/- (8.40 +/- 0.37) animals, suggesting that Nas1-/- mice may have decreased object-induced anxiety. The Nas1-/- mice also displayed decreased locomotor activity by moving less distance (1.53 +/- 0.27 m, P < 0.05) in an open-field test when compared to Nas1+/+ (2.31 +/- 0.24 m) and Nas1+/- (2.15 +/- 0.19 m) mice. The three genotypes displayed similar spatiotemporal and ethological behaviours in the elevated-plus maze and open-field test, with the exception of a decreased defecation frequency by the Nas1-/- mice (40% reduction, P < 0.01). There were no significant differences between Nas1-/- and Nas1+/+ mice in a rotarod performance test of motor coordination and in the forced swim test assessing (anti-)depressant-like behaviours. This is the first study to demonstrate behavioural abnormalities in the hyposulphataemic Nas1-/- mice. (C) 2004 Elsevier B.V. All rights reserved.

Solid-phase microextraction using poly(pyrrole) film and liquid chromatography with UV detection for analysis of antidepressants in plasma samples

Poly(pyrrole) (PPY) coating was prepared on a stainless-steel (SS) wire for solid-phase microextraction (SPME) by electrochemical deposition (cyclic voltammetric). The PPY was evaluated by analyzing new-generation antidepressants (mirtazapine, citalopram, paroxetine, duloxetine, fluoxetine, and sertraline) in plasma sample by SPME and liquid chromatography with UV detection (LC-UV). The effect of electrolyte Solution (lithium perchlorate or tetrabutylammonium perchlorate) and the number of cycles (50, 100 or 200) applied during the polymerization process on the SPME performance was evaluated. Important factors in the optimization of SPME efficiency such as extraction time, temperature, pH, influence of plasma proteins on sorption mechanisms, and desorption conditions are discussed. The SPME-PPY/LC method showed to be linear in concentrations ranging from the limit of quantification (LOQ) to 1200 ng mL(-1). The LOQ values range from 16 to 25 ng mL-1. The inter-day precision of the SPME-PPY/LC method presented coefficient of variation (CV) lower than 15%. Based on analytical validation results, the SPME-PPY/LC methodology showed to be adequate for antidepressant analysis, from therapeutic to toxic levels. In order to evaluate the proposed method for clinical use, the SPME-PPY/LC method was applied to the analysis of plasma samples from elderly depressed patients. (c) 2009 Elsevier B.V. All rights reserved,

Microextraction in packed sorbent for analysis of antidepressants in human plasma by liquid chromatography and spectrophotometric detection

A sensitive and reproducible method by microextraction packed sorbent and liquid chromatography with UV detection (MEPS/LC-UV) is described for the determination of new generation antidepressants (sertraline, mirtazapine, fluoxetine, citalopram and paroxetine) in human plasma samples. The MEPS variables, such as sample volume, pH, number of extraction cycles (draw-eject), and desorption conditions (solvent and solvent volume of elution) influenced the MEPS/LC efficiency significantly. Important factors in the optimization of MEPS efficiency, as well as washing steps and carryover effect are discussed. The analyses were carried out using small sample volumes (400 mu L.), and in a short time period (3 min for the entire sample preparation step). The MEPS/LC-UV method was shown to be linear at concentrations ranging from the limit of quantification (LOQ) to 1000 ng mL(-1). The LOQ values ranged from 10 to 25 ng mL(-1). The inter-day precision of the method presented coefficient of the variation ranging from 1.3% to 8.7%. On the basis of analytical validation, it is shown that the MEPS/LC-UV methodology is adequate for antidepressant analysis, from therapeutic to toxic levels. In order to evaluate the proposed method for clinical use, the MEPS/LC-UV method was applied to analysis of plasma samples from elderly depressed patients. (C) 2010 Elsevier B.V. All rights reserved.

Determination of fluoxetine and norfluoxetine enantiomers in human plasma by polypyrrole-coated capillary in-tube solid-phase microextraction coupled with liquid chromatography-fluorescence detection

A sensitive, selective, and reproducible in-tube polypyrrole-coated capillary (PPY) solid-phase microextraction and liquid chromatographic method for fluoxetine and norfluoxetine enantiomers analysis in plasma samples has been developed, validated, and further applied to the analysis of plasma samples from elderly patients undergoing therapy with antidepressants. Important factors in the optimization of in-tube SPME efficiency are discussed, including the sample draw/eject volume, draw/eject cycle number, draw/eject flow-rate, sample pH, and influence of plasma proteins. Separation of the analytes was achieved with a Chiralcel OD-R column and a mobile phase consisting of potassium hexafluorophosphate 7.5 mM and sodium phosphate 0.25 M solution, pH 3.0, and acetonitrile (75:25, v/v) in the isocratic mode, at a flow rate of 1.0 mL/min. Detection was carried out by fluorescence absorbance at Ex/Em 230/290 nm. The multifunctional porous surface structure of the PPY-coated film provided high precision and accuracy for enantiomers. Compared with other commercial capillaries, PPY-coated capillary showed better extraction efficiency for all the analytes. The quantification limits of the proposed method were 10 ng/mL for R- and S-fluoxetine, and 15 ng/mL for R- and S-norfluoxetine, with a coefficient of variation lower than 13%. The response of the method for enantiomers is linear over a dynamic range, from the limit of quantification to 700ng/mL, with correlation coefficients higher than 0.9940. The in-tube SPME/LC method can therefore be successfully used to analyze plasma samples from ageing patients undergoing therapy with fluoxetine. (C) 2009 Elsevier B.V. All rights reserved.

First detection of lead in black paper from intraoral film An environmental concern

Lead (Pb) contamination in the black paper that recovers intraoral films (BKP) has been investigated. BKP samples were collected from the Radiology Clinics of the Dental School of Ribeirao Preto, University of Sao Paulo, Brazil. For sake of comparison, four different methods were used. The results revealed the presence of high lead levels, well above the maximum limit allowed by the legislation. Pb contamination levels achieved after the following treatments: paper digestion in nitric acid, microwave treatment, DIN38414-54 method and TCLP method were 997 mu g g(-1), 189 mu g g(-1), 20.8 mu g g(-1), and 54.0 mu g g(-1), respectively. Flame atomic absorption spectrometry (FAAS) and inductively coupled plasma mass spectrometry (ICP-MS) were employed for lead determination according to the protocols of the applied methods. Lead contamination in used BKP was confirmed by scanning electron microscopy coupled with energy dispersive X-ray microanalysis (SEM-EDS). All the SEM imaging was carried out in the secondary electron mode (SE) and backscattered-electron mode (QBSD) following punctual X-ray fluorescence spectra. Soil contamination derived from this product revealed the urgent need of addressing this problem. These elevated Pb levels, show that a preliminary treatment of BKP is mandatory before it is disposed into the common trash. The high lead content of this material makes its direct dumping into the environment unwise. (C) 2009 Elsevier B.V. All rights reserved.

NEURAL CORRELATES OF SCENT MARKING BEHAVIOR IN C57BL/6J MICE: DETECTION AND RECOGNITION OF A SOCIAL STIMULUS

Mice show urinary scent marking behavior as a form of social communication. Marking to a conspecific stimulus mouse or odor varies with stimulus familiarity, indicating discrimination of novel and familiar animals. This study investigated Fos immunoreactivity in inbred C57BL/6J (C57) males following scent marking behavior in response to detection of a social stimulus, or discrimination between a familiar and an unfamiliar conspecific. In Experiment 1 C57 mice were exposed for four daily trials to an empty chamber; on a test day they were exposed to the same chamber or to a male CD-1 mouse in that chamber. Increased scent marking to the CD-1 mouse was associated with increased Fos-immunoreactive cells in the basolateral amygdala, medial amygdala, and dorsal and ventral premammillary nuclei. In Experiment 2 C57 mice were habituated to a CD-1 male for 4 consecutive days and, on the 5th day, exposed to the same CD-1 male, or to a novel CD-1 male. Mice exposed to a novel CD-1 displayed a significant increase in scent marking compared to their last exposure to the familiar stimulus, indicating discrimination of the novelty of this social stimulus. Marking to the novel stimulus was associated with enhanced activation of several telencephalic, as well as hypothalamic and midbrain, structures in which activation had not been seen in the detection paradigm (Experiment 1). These included medial prefrontal and piriform cortices, and lateral septum; the paraventricular nuclei, ventromedial nuclei, and lateral area of the hypothalamus, and the ventrolateral column of the periaqueductal gray. These data suggest that a circumscribed group of structures largely concerned with olfaction is involved in detection of a conspecific olfactory stimulus, whereas discrimination of a novel vs. a familiar conspecific stimulus engages a wider range of forebrain structures encompassing higher-order processes and potentially providing an interface between cognitions and emotions. (C) 2009 IBRO. Published by Elsevier Ltd. All rights reserved.

Molecular detection of Paracoccidioides brasiliensis in road-killed wild animals

Paracoccidioides brasiliensis infections have been little studied in wild and/or domestic animals, which may represent an important indicator of the presence of the pathogen in nature. Road-killed wild animals have been used for surveillance of vectors of zoonotic pathogens and may offer new opportunities for eco-epidemiological studies of paracoccidiodomycosis (PCM). The presence of P. brasiliensis infection was evaluated by Nested-PCR in tissue samples collected from 19 road-killed animals; 3 Cavia aperea (guinea pig), 5 Cerdocyon thous (crab-eating-fox), 1 Dasypus novemcinctus (nine-banded armadillo), 1 Dasypus septemcinctus (seven-banded armadillo), 2 Didelphis albiventris (white-eared opossum), 1 Eira barbara (tayra), 2 Gallictis vittata (grison), 2 Procyon cancrivorus (raccoon) and 2 Sphiggurus spinosus (porcupine). Specific P. brasiliensis amplicons were detected in (a) several organs of the two armadillos and one guinea pig, (b) the lung and liver of the porcupine, and (c) the lungs of raccoons and grisons. P. brasiliensis infection in wild animals from endemic areas might be more common than initially postulated. Molecular techniques can be used for detecting new hosts and mapping `hot spot` areas of PCM.