Immunocytochemical localization of chymase to cytoplasmic vesicles after rat peritoneal mast cell stimulation by compound 48/80

The subcellular events responsible for release of mediators by mast cells may help to clarify roles for mast cells in health and disease. In this study we show that the granule-associated protease chymase is also within cytoplasmic vesicles in appropriately stimulated rat peritoneal mast cells. Rat peritoneal mast cells were recovered before or 1-10 sec after exposure to the secretogogue compound 48/80 (10 micrograms/ml) and then were examined by radioimmunoassay to quantify histamine release or were processed, using routine methods for postembedding immunoelectron microscopy, to identify the subcellular localization of chymase. In comparison to unstimulated cells, compound 48/80 stimulated cells in two independent experiments showed an increase (15%, 28%) in the surface area of the cell and a decrease (12%, 6%) in the surface area of the total granule compartment before degranulation channel formation. These global cellular changes occurred in a background of transient but significant (p < 0.01) increases in the area and number of chymase-immunoreactive vesicles per microns2 cytoplasm. These changes were detectable at 5 or 7 sec after stimulation with compound 48/80 but returned to near prestimulation levels by 9 or 10 sec after addition of compound 48/80 (total cumulative histamine release was 28% by 8 sec and 47% by 14 sec). These observations suggest that vesicles participate in the early stages of regulated secretion of chymase from rat peritoneal mast cells.     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Intermolecular interactions and formation of the hydration sphere in phosphonic acid model systems as an approach to the description of vinyl phosphonic acid based polymers

Molecular model systems based on propyl phosphonic acid (ppa) were studied by means of density functional theory calculations in order to describe the acid-acid interaction and the formation of the hydration sphere. The formation of ppa dimers is reported and the energetic difference between two dimer structures is presented. The hydration sphere of ppa was represented by model systems ppa(H₂O)_n, for which the system with n=4 formed the first hydration sphere (h¹), while n=7 can be considered a good approximation to the complete inner hydration sphere around the phosphonic acid group. The study of the ppa-H⁺ (H₂O)_n model systems showed an interesting structural behavior comparatively to the ppa(H₂O)_n systems. The protonated acids exhibited equivalent phosphorous-oxygen bonds and a general molecular structure is proposed to represent these protonated species.     

Spatial shape error concealment for object-based image and video coding

In this paper, an original spatial shape error-concealment technique, to be used in the context of object-based image and video coding schemes, is proposed. In this technique, it is assumed that the shape of the corrupted object at hand is in the form of a binary alpha plane, in which some of the shape data is missing due to channel errors. From this alpha plane, a contour corresponding to the border of the object can be extracted. However, due to errors, some parts of the contour will be missing and, therefore, the contour will be broken. The proposed technique relies on the interpolation of the missing contours with Bézier curves, which is done based on the available surrounding contours. After all the missing parts of the contour have been interpolated, the concealed alpha plane can be easily reconstructed from the fully recovered contour and used instead of the erroneous one improving the final subjective impact.     

Surveillance test policy optimization through genetic algorithms using non-periodic intervention frequencies and considering seasonal constraints

In order to maximize systems average availability during a given period of time, it has recently been developed a non-periodic surveillance test optimization methodology based on genetic algorithms (GA). The fact of allowing non-periodic tests turns the solution space much more flexible and schedules can be better adjusted, providing gains in the overall system average availability, when compared to those obtained by an optimized periodic test scheme. This approach, however, turns the optimization problem more complex. Hence, the use of a powerful optimization technique, such as GA, is required.Considering that some particular features of certain systems can turn it advisable to introduce other specific constraints in the optimization problem, this work investigates the application of seasonal constraints for the set of the Emergency Diesel Generation of a typical four-loop pressurized water reactor in order to planning and optimizing its surveillance test policy. In this analysis, the growth of the blackout accident probability during summer, due to electrical power demand increases, was considered. Here, the used model penalizes surveillance test interventions when the blackout probability is higher.Results demonstrate the ability of the method in adapting the surveillance test policy to seasonal constraints. The knowledge acquired by the GA during the searching process has lead to test schedules that drastically minimize test interventions at periods of high blackout probability. It is compensated by more frequent redistributed tests through the periods of low blackout probability in order to improve on the overall average availability at the system level.     

Comparative study of the electrical properties of diamond films grown by microwave plasma assisted and hot-filament chemical vapor deposition

Schottky diodes were built on different polycrystalline diamond films grown by Microwave Plasma and Hot Filament Chemical Vapor Deposition and their electrical properties were studied. The barrier height increased with the diamond film quality and the corresponding ideality factor decreased. Even though the lower-quality HFCVD film displayed poor rectifying properties, it was found to be much less sensitive to variations in the operating conditions (air vs. vacuum). The activation energies of the films depend on morphological parameters, as preferable grain size or orientation. The bulk conduction also depends on the quality of the deposited films, changing from ohmic to trap-free or shallow trap SCLC and SCLC with an exponential distribution of traps. The hypothesis of using the electrical measurements as an indicator for film quality has been discussed.     

The pattern of inflammation in rat sepsis due to enterotoxin-producing Staphylococcus aureus: a comparison with ischemia-reperfusion injury

Sepsis and trauma have similarities in their immunopathologic profiles. Both conditions can result in multi-system organ failure which is sometimes associated with cytokine generation and inflammatory cell activation. Furthermore, decreases in peripheral blood monocyte expression of HLA-DR have been noted in both human sepsis and trauma. However, the magnitude, onset, and time course of such stimuli are often difficult to ascertain in human studies. Thus, to study a more detailed in vivo immunologic profile in these conditions, rat models were employed. Our aim was to describe and analyze cytokine and peripheral blood immunophenotype patterns in bacterially induced rat sepsis and to compare this to rat ischemia-reperfusion injury. Sprague-Dawley rats underwent either bacterial injection with enterotoxin producing Staphylococcus aureus or hind limb ischemia/ reperfusion. Two bacterial doses which were either lethal or sublethal at 24-48 hours were utilized. Peripheral blood neutrophils and B-lymphocytes were studied for expression of beta-integrins (CD11b and CD11b/c) and I-A, respectively, using flow cytometry. Corresponding plasma levels of TNF alpha and interferon gamma were measured by ELISA. At 24 hr, a lethal bacterial lethal bacterial dose injection resulted in significantly higher levels of neutrophil CD11b/c expression (p < 0.005) compared with ischemia-reperfusion treatment. B-cell I-A expression was also higher in lethal sepsis. Gamma interferon levels were significantly higher in lethal sepsis compared with ischemia-reperfusion (p = 0.005). Studies over time showed that CD11b expression and interferon gamma were both more marked at 6 hr than at 24 hr in lethal sepsis. This pattern was not observed in sublethal sepsis or in ischemia-reperfusion. CD11b/c expression on the other hand remained elevated at comparable levels at 6 and 24 hr in lethal sepsis. B-cell I-A expression in ischemia-reperfusion and sublethal sepsis decreased at 24 hr compared with baseline. Lethal sepsis in rats injected with enterotoxin producing staphylococcus results in phasic alterations in neutrophil CD11b and plasma interferon levels prior to death. In analogy to the findings of monocyte decreases in DR expression observed in human trauma and sepsis, rat B-cell I-A expression showed decreases in sublethal sepsis as well as in ischemia-reperfusion injury. However, this was not observed in lethal sepsis. These findings have implications in understanding the immunologic/inflammatory changes observed in human sepsis and trauma.