The effects of behavioral tasks on the in vitro phosphorylation of intermediate filament subunits of rat hippocampus are mediated by CaMKII and PKA

In the homodimeric hemoglobin from Scapharca, HbI, functional communication between the two heme groups is based on their direct structural linkage across the subunit interface through the heme propionates. The heme-protein interactions have been altered in deutero- and meso-HbI by substituting the vinyl groups at positions 2 and 4 of protoheme with hydrogen and ethyl groups, respectively. In meso-HbI the introduction of the ethyl groups in the heme pocket induces significant alterations in the conformation of the heme peripheral substituents, including the propionates, and in the structure of bound CO, as revealed by the resonance Raman spectra. The functional counterpart of these structural changes is the loss of cooperativity in carbon monoxide binding and in the rate of oxygen dissociation. Oxygen pulse and flash photolysis experiments indicate that meso-HbI is locked in the liganded conformation. It is postulated that the ethyl groups, which occupy a larger volume than vinyl ones, impair the ligand-linked movement of the heme relative to its pocket and in turn the expression of cooperativity. In deutero-HbI structural alterations have not been monitored. Functionally, cooperativity in the CO binding kinetics is increased as if hydrogen atoms at positions 2 and 4 permitted more marked movements of the heme than in the native protein.     

Normal form approach to compiler design

This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of algebraic manipulations, into a normal form that describes the behaviour of a stored-program computer. Each transformation eliminates high-level language constructs in favour of lower-level constructs. The correctness of the compiler follows from the correctness of each of the algebraic transformations.     

The Effect of Reagents on Ultrafine Iron Ore Vacuum Filtration

Continuous vacuum filters normally carry out the final removal of water from iron ore products. The objective of this investigation is to check the possibility of enhancing the industrial performance of a horizontal belt filter by adding one flocculant and two surfactants to the filtration feed slurry. The mineral sample came from the Iron Quadrangle (State of Minas Gerais, Brazil). X-ray diffraction showed a predominance of hematite and small amounts of quartz and goethite. The filtration tests were performed at laboratory scale using a modified Büchner funnel apparatus, which was connected to a scale/computer system. The results indicated: a) the best filtration condition was achieved near the zero charge condition; b) cake moisture, cake porosity, cake formation time and the specific cake resistance were pronouncedly influenced by the flocculant addition; and c) surfactants tested were not able to significantly reduce the cake moisture.     

Development of a predictive model for polymer/solvent diffusion coefficient calculations

A new calculation procedure for free‐volume parameters is considered in this work by using viscosity prediction methods and the Levenberg‐Marquardt calculation scheme. All parameters used in the Vrentas–Duda free‐volume theory can be estimated from pure component properties. The prediction results are compared with experimental data for some polymer/solvent systems. The diffusion coefficient calculated by Vrentas–Duda theory can be used in the modeling of membrane separation processes. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Link quality estimation in wireless multi-hop networks using Kernel based methods

A new approach for link modelling in wireless multi-hop networks is described for portable devices, based on Kernel Regression Statistics. A non-parametric estimation of errors in the wireless medium provides an efficient and accurate model of link errors between any two nodes. This estimation results from the analysis of the inter-arrival time between any periodically sent packets. The obtained results prove that it is possible to infer on link quality without having unrealistic assumptions or additional overhead, by using Kernel Methods. Moreover, similar performances were achieved for different scenarios, without requiring model recalculations. The presented results show that the proposed link quality estimation can be used in order to improve wireless connectivity and ubiquity in future networks.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

Structure and catalytic activity of highly ordered AlMCM-48 materials with different Si/Al ratios on the degradation of high-density polyethylene

Journal of Porous Materials - Catalysts of AlMCM-48 with different Si/Al molar rations were synthesized by modified hydrothermal method with respect to previous works. As a consequence, the...