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.

D-amino acid residue in the C-type natriuretic peptide from the venom of the mammal, Ornithorhynchus anatinus, the Australian platypus

The C-type natriuretic peptide from the platypus venom (OvCNP) exists in two forms, OvCNPa and OvCNPb, whose amino acid sequences are identical. Through the use of nuclear magnetic resonance, mass spectrometry, and peptidase digestion studies, we discovered that OvCNPb incorporates a D-amino acid at position 2 in the primary structure. Peptides containing a D-amino acid have been found in lower forms of organism, but this report is the first for a D-amino acid in a biologically active peptide from a mammal. The result implies the existence of a specific isomerase in the platypus that converts an L-amino acid residue in the protein to the D-configuration. (C) 2002 Federation of European Biochemical Societies. Published by Elsevier Science B.V. All rights reserved.

Neural correlates of the emergence of consciousness of thirst

Thirst was induced by rapid i.v. infusion of hypertonic saline (0.51 M at 13.4 ml/min). Ten humans were neuroimaged by positron-emission tomography (PET) and four by functional MRI (fMRI). PET images were made 25 min after beginning infusion, when the sensation of thirst began to enter the stream of consciousness. The fMRI images were made when the maximum rate of increase of thirst occurred. The PET results showed regional cerebral blood flow changes similar to those delineated when thirst was maximal. These loci involved the phylogenetically ancient areas of the brain. fMRI showed activation in the anterior wall of the third ventricle, an area that is key in the genesis of thirst but is not an area revealed by PET imaging. Thus, this region plays as major a role in thirst for humans as for animals. Strong activations in the brain with fMRI included the anterior cingulate, parahippocampal gyrus, inferior and middle frontal gyri, insula, and cerebellum. When the subjects drank water to satiation, thirst declined immediately to baseline. A precipitate decline in intensity of activation signal occurred in the anterior cingulate area (Brodmann area 32) putatively related to consciousness of thirst. The intensity of activation in the anterior wall of the third ventricle was essentially unchanged, which is consistent with the fact that a significant time (15-20 min) would be needed before plasma Na concentration changed as a result of water absorption from the gut.

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.

Non-Spatial Government Policies and Regional Income Inequality in Brazil

Silveira Neto R. Da M. and Azzoni C. R. Non-spatial government policies and regional income inequality in Brazil, Regional Studies. This paper uses both macro- and micro-data to analyse the role of social programmes in the recent reduction in Brazilian regional income inequality. Convergence indicators are presented for different sources of regional income in the period 1995-2006. A decomposition of the Gini indicator allows the identification of the role of each of these income sources with respect to the reduction of regional inequality during the period. The results point out that both labour productivity and government non-spatial policies - mainly minimum wage changes and income transference programmes - do have a role in explaining regional inequality reduction during the period. [image omitted] Silveira Neto R. Da M. et Azzoni C. R. Les politiques gouvernementales non-spatiales et l`ecart des revenus regionaux au Bresil, Regional Studies. Cet article emploie des donnees a la fois macroeconomiques et microeconomiques afin d`analyser le role des programmes d`actions sociales quant a la baisse recente de l`ecart des revenus regionaux au Bresil. On presente des indicateurs de convergence pour diverses sources des revenus regionaux pour la periode allant de 1995 a 2006. Une decomposition du coefficient de Gini permet d`identifier le role de chacune de ces sources des revenus par rapport a la baisse de l`ecart des revenus pendant cette periode. Les resultats indiquent que la productivite du travail et les politiques gouvernementales non-spatiales - notamment la modification du salaire minimum et les programmes visant le transfert des revenus - ont un role a jouer pour expliquer la baisse de l`ecart des revenus regionaux pendant la periode en question. Convergence Productivite du travail Transfert des revenus Salaire minimum Effets spatiaux des politiques non-spatiales Silveira Neto R. Da M. und Azzoni C. R. Nicht raumliche Regierungspolitiken und das regionale Einkommensungleichgewicht in Brasilien, Regional Studies. In diesem Beitrag analysieren wir mit Hilfe von Makro- und Mikrodaten die Rolle von sozialen Programmen bei der unlangst erzielten Verringerung des regionalen Einkommensungleichgewichts in Brasilien. Wir stellen Konvergenz-Indikatoren fur verschiedene regionale Einkommensquellen im Zeitraum von 1995 bis 2006 vor. Eine Dekomposition des Gini-Indikators ermoglicht die Identifizierung der jeweiligen Rolle dieser Einkommensquellen fur die Verringerung des regionalen Ungleichgewichts im betreffenden Zeitraum. Die Ergebnisse weisen darauf hin, dass sowohl die Produktivitat der Arbeitskrafte als auch die nicht raumlichen Regierungspolitiken - in erster Linie Veranderungen beim Mindestlohn und Programme fur Einkommenstransfers - als Grunde fur die Verringerung des regionalen Ungleichgewichts in dieser Periode durchaus eine Rolle spielen. Konvergenz Arbeitsproduktivitat Einkommenstransfer Mindestlohn Raumliche Auswirkungen nicht raumlicher Politiken Silveira Neto R. Da M. y Azzoni C. R. Politicas gubernamentales no espaciales y desigualdades de ingresos regionales en Brasil, Regional Studies. En este articulo utilizamos datos macro y micro para analizar el papel de los programas sociales en la reciente reduccion en las desigualdades de ingresos regionales de Brasil. Presentamos los indicadores de convergencia para diferentes fuentes de ingresos regionales en el periodo de 1995 a 2006. Una descomposicion del indice Gini permite identificar el papel de cada una de estas fuentes de ingresos con respecto a la reduccion de las desiguadades regionales durante este periodo. Los resultados destacan que tanto la productividad laboral como las politicas no espaciales del gobierno - principalmente los cambios de salario minimo y los programas de transferencias de ingresos - desempenan una funcion a la hora de explicar la reduccion de las desigualdades regionales durante este periodo. Convergencia Productividad laboral Transferencias de ingresos Salario minimo Efectos espaciales de politicas no espaciales.

A spectral clustering algorithm for manufacturing cell formation

A graph clustering algorithm constructs groups of closely related parts and machines separately. After they are matched for the least intercell moves, a refining process runs on the initial cell formation to decrease the number of intercell moves. A simple modification of this main approach can deal with some practical constraints, such as the popular constraint of bounding the maximum number of machines in a cell. Our approach makes a big improvement in the computational time. More importantly, improvement is seen in the number of intercell moves when the computational results were compared with best known solutions from the literature. (C) 2009 Elsevier Ltd. All rights reserved.

Gene-engineered T cells as a superior adjuvant therapy for metastatic cancer

The major limiting factor in the successful application of adjuvant therapy for metastatic disease is the lack of adjuvant specificity that leads to severe side effects. Reasoning that T cells of the immune system are highly specific, we generated tumor-specific T cells by genetic modification of mouse primary T cells with a chimeric receptor reactive with the human breast cancer-associated Ag erbB-2. These T cells killed breast cancer cells and secreted IFN-gamma in an Ag-specific manner in vitro. We investigated their use against metastatic breast cancer in mice in an adjuvant setting, and compared their effectiveness with the commonly applied adjuvants doxorubicin, 5-fluorouracil, and herceptin. Mice were inoculated orthotopically with the human erbB-2-expressing spontaneously metastatic mouse breast cancer 4T1.2 in mammary tissue, and the primary tumor was surgically removed 8 days later., Significant metastatic disease was demonstrated in lung and liver at the time of surgery on day 8 with increased tumor burden at later time points. T cell adjuvant treatment of day 8 metastatic disease resulted in dramatic increases in survival of mice, and this survival was significantly greater than that afforded by either doxorubicin, 5-fluorouracil, or herceptin.

The relationship between prepulse inhibition and perceived intensity of the blink-eliciting stimulus: Stimulus intensity and lead interval effects

The hypothesis that prepulse inhibition of the blink reflex reflects a transient process that protects preattentive processing of the prepulse was investigated. Participants were presented with pairs of blink-eliciting noises, with some noises preceded by a prepulse, and were asked to rate the intensity of the second noise relative to the first. Inhibition of blink amplitude was greater for a 110 dB(A) noise than for a 95 dB(A) noise with a 120 ms lead interval, whereas there was no difference with a 30 ms lead interval. The reduction in perceived intensity was greater for the 110 dB(A) noise than for the 95 dB(A) noise with the 120 ms lead interval, but not with the 30 ms lead interval. The parallel results support an association between prepulse inhibition and perceived intensity. However, the prepulse did not reduce intensity ratings relative to control trials in some conditions, suggesting that prepulse inhibition is not always associated with an attenuation of the impact of the blink-eliciting stimulus.

New porphyrins tailored as biodiesel fluorescent markers

This work reports the synthesis, characterization, and evaluation of new porphyrins tailored to become biodiesel fluorescent markers. The compounds were obtained by the synthetic modification of the commercially available porphyrin 5,10,15,20-meso-tetrakis(pentafluorophenyl)porphyrin (TPPF(20)) using ethanol and hexadecan-1-ol (cetylic alcohol) as nucleophilic reagents. The stability of the marked biodiesel fuel solutions was investigated every 15 days for a total period of 3 months, and under different storage temperature and light exposure condition, simulating the conventional stock conditions. The influence of the different substituents of the porphyrins on the fluorescence properties of the biodiesel fuel markers was also assessed. The resulting porphyrins were highly soluble in biodiesel fuel and displayed strong fluorescence characterized by two strong emission bands. The fluorescent markers did not affect the biodiesel physical properties and were stable in storage conditions for at least 3 months at a concentration of 4 ppm. The best storage condition was found to be absence of light and 6 degrees C; the limit of detection by photoluminescence technique had magnitude of 10(-13) mol L(-1). The synthesized porphyrins were characterized by nuclear magnetic resonance ((1)H-NMR and (19)F-NMR), mass spectrometry (HRMS), ultraviolet visible absorption spectroscopy, and photoluminescence spectroscopy. (C) 2011 Elsevier Ltd. All rights reserved.

Tripolyphosphate as precursor for REPO4: Eu3+ (RE = Y, La, Gd) by a polymeric method

A modification of the Pechini method was applied to obtain luminescent rare earth orthophosphates. The developed synthetic route is based on the ability of the tripolyphosphate anion (P3O105-) to act both as a complexing agent and as an orthophosphate precursor. Heating of aqueous solutions containing RE3+, Eu3+, P3O105-, citric acid, and ethylene glycol led to polymeric resins. The ignition of these resins at different temperatures yielded luminescent orthophosphates. The produced nanosized phosphors (YPO4:Eu3+, (Y,Gd)PO4:Eu3+, and LaPO4:Eu3+) were analyzed by infrared and luminescence spectroscopies, X-ray diffractometry, and scanning electron microscopy.

The interaction of bothropstoxin-I (Lys49-PLA(2)) with liposome membranes

Bothropstoxin-I (BthTx-I) is a Lys49-PLA(2) from the venom of the snake Bothrops jararacussu, which permeabilizes biological and artificial membranes by a mechanism independent of lipid hydrolysis. This mechanism has been investigated by studying the interaction of nine single tryptophan BthTx-I mutants with negatively charged phospholipid membranes. Changes in the solvent exposure of the tryptophan in each mutant were evaluated comparing the rate of chemical modification (k(mod)) by bromosuccinamide with the maximum intrinsic tryptophan fluorescence emission wavelength (lambda(max)) in buffer and in the presence of 10% DMPA/90% DPPC liposomes. No changes in lambda(max). were observed, whereas k(mod) values for tryptophans at positions 7, 10, 31 and 125 were significantly reduced in the presence of lipids, suggesting that bound phospholipid decreases solvent accessibility at these positions. Since the half-lives of the fluorescence and chemical modification effects differ by at least six orders of magnitude, these results suggest that the bound phospholipid may interact with multiple locations on the protein surface over micro- to millisecond timescales. (C) 2009 Elsevier Ltd. All rights reserved.

Selective involvement of GABAergic mechanisms of the dorsal periaqueductal gray and inferior colliculus on the memory of the contextual fear as assessed by the fear potentiated startle test

The inferior colliculus (IC) together with the dorsal periaqueductal gray (dPAG), the amygdala and the medial hypothalamus make part of the brain aversion system, which has mainly been related to the organization of unconditioned fear. However, the involvement of the IC and dPAG in the conditioned fear is still unclear. It is certain that GABA has a regulatory role on the aversive states generated and elaborated in these midbrain structures. In this study, we evaluated the effects of injections of the GABA-A receptor agonist muscimol (1.0 and 2.0 nmol/0.2 mu L) into the IC or dPAG on the freezing and fear-potentiated startle (FPS) responses of rats submitted to a context fear conditioning. Intra-IC injections of muscimol did not cause any significant effect on the FPS or conditioned freezing but enhanced the startle reflex in non-conditioned animals. In contrast, intra-dPAG injections of muscimol caused significant reduction in FPS and conditioned freezing without changing the startle reflex in non-conditioned animals. Thus, intra-dPAG injections of muscimol produced the expected inhibitory effects on the anxiety-related responses, the FPS and the freezing whereas these injections into the IC produced quite opposite effects suggesting that descending inhibitory pathways from the IC, probably mediated by GABA-A mechanisms, exert a regulatory role on the lower brainstem circuits responsible for the startle reflex. (C) 2008 Elsevier Inc. All rights reserved.

Icelandic Control Really Is A-Movement: Reply to Bobaljik and Landau

This article discusses the challenges that Bobaljik and Landau (2009) pose to Boeckx and Hornstein`s (2006) movement-based analysis of control in Icelandic. We show in detail that contrary to what Bobaljik and Landau claim, the movement theory of control (with a modification to accommodate quirky Case, a specialty of Icelandic) makes the right empirical cuts regarding the issues they raise, namely, (a) the differences in Case agreement between control and raising constructions, (b) the different patterns of Case transmission (un)available, and (c) the fact that allegedly Case-marked PROs are phonetically null. We argue that rather than being problematic, the data bearing on these issues actually provide independent support to the movement theory of control.

HRT and breast cancer: Impact on population risk and incidence

This study has calculated the potential impact of hormone replacement therapy (HRT) on breast cancer incidence in Australia and has estimated how changes in prescribing HRT to women could affect this risk. The effects of HRT on breast cancer incidence was estimated using the attributable fraction technique with prevalence data derived from the 2001 Australian Health Survey and published rates of breast cancer relative risks from HRT use. In Australia, 12% of adult women were current HRT users and in 2001, 11783 breast cancers were reported. Of these, 1066 (9%) were potentially attributable to HRT. Restricting HRT use to women aged less than 65 years, ceasing HRT prescribing after 10 years or limiting combined oestrogen and progesterone HRT to five years (but otherwise keeping prescription levels to 2001 levels) may reduce the annual breast cancer caseload by 280 (2.4%), 555 (4.7%) or 674 (5.7%), respectively. In conclusion, this study has demonstrated that when HRT prevalence is relatively high, the effect on breast cancer incidence in the population will be significant. A small modification in HRT prescribing practices may impact breast cancer incidence in Australia with associated financial and health care provision implications. (C) 2005 Elsevier Ltd. All rights reserved.

Chronic absence of baroreceptor inputs prevents training-induced cardiovascular adjustments in normotensive and spontaneously hypertensive rats

We investigate whether arterial baroreceptors mediate the training-induced blood pressure fall and resting bradycardia in hypertensive (SHR) and normotensive rats (WKY). Male SHR and WKY rats, submitted to sino-aortic denervation (SAD) or sham surgery (SHAM group), were allocated to training (T; 55% of maximal exercise capacity) or sedentary (S) protocols for 3 months. Rats were instrumented with arterial and venous catheters for haemodynamic measurements at rest (power spectral analysis) and baroreceptor testing. Kidney and skeletal muscles were processed for morphometric analysis of arterioles. Elevated mean arterial pressure (MAP) and heart rate (HR) in SHAM SHRS were accompanied by increased sympathetic variability and arteriolar wall/lumen ratio [+3.4-fold on low-frequency (LF) power and +70%, respectively, versus WKYS, P < 0.05]. Training caused significant HR (similar to 9% in WKY and SHR) and MAP reductions (-8% in the SHR), simultaneously with improvement of baroreceptor reflex control of HR (SHR and WKY), LF reduction (with a positive correlation between LF power and MAP levels in the SHR) and normalization of wall/lumen ratio of the skeletal muscle arterioles (SHR only). In contrast, SAD increased pressure variability in both strains of rats, causing reductions in MAP (-13%) and arteriolar wall/lumen ratio (-35%) only in the SHRS. Training effects were completely blocked by SAD in both strains; in addition, after SAD the resting MAP and HR and the wall/lumen ratio of skeletal muscle arterioles were higher in SHRT versus SHRS and similar to those of SHAM SHRS. The lack of training-induced effects in the chronic absence of baroreceptor inputs strongly suggests that baroreceptor signalling plays a decisive role in driving beneficial training-induced cardiovascular adjustments.