Applications of Transition Metals in Organic Synthesis and Polymerization

1 Results Classic oxidants require rigorous control of the experimental conditions added with the problem of lack of selectivity. Catalysis by transition metals with environmentally safe oxidants provides synthetic routes to minimize pollution by giving environmental benign by-products. Fe (Ⅵ) is a powerful and a selective oxidant with Fe(Ⅲ) as a by-product, while hydrogen peroxide is clean with water as the only by-product. Separation of sodium or potassium ferrates requires tedious processes. Associat...     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

Cooperative Sensor Anomaly Detection Using Global Information

Sensor networks are deployed in many application areas nowadays ranging from environment monitoring, industrial monitoring, and agriculture monitoring to military battlefield sensing. The accuracy of sensor readings is without a doubt one of the most important measures to evaluate the quality of a sensor and its network. Therefore, this work is motivated to propose approaches that can detect and repair erroneous (i.e., dirty) data caused by inevitable system problems involving various hardware and software components of sensor networks. As information about a single event of interest in a sensor network is usually reflected in multiple measurement points, the inconsistency among multiple sensor measurements serves as an indicator for data quality problem. The focus of this paper is thus to study methods that can effectively detect and identify erroneous data among inconsistent observations based on the inherent structure of various sensor measurement series from a group of sensors. Particularly, we present three models to characterize the inherent data structures among sensor measurement traces and then apply these models individually to guide the error detection of a sensor network. First, we propose a multivariate Gaussian model which explores the correlated data changes of a group of sensors. Second, we present a Principal Component Analysis (PCA) model which captures the sparse geometric relationship among sensors in a network. The PCA model is motivated by the fact that not all sensor networks have clustered sensor deployment and clear data correlation structure. Further, if the sensor data show non-linear characteristic, a traditional PCA model can not capture the data attributes properly. Therefore, we propose a third model which utilizes kernel functions to map the original data into a high dimensional feature space and then apply PCA model on the mapped linearized data. All these three models serve the purpose of capturing the underlying phenomenon of a sensor network from its global view, and then guide the error detection to discover any anomaly observations. We conducted simulations for each of the proposed models, and evaluated the performance by deriving the Receiver Operating Characteristic (ROC) curves.     

HIV-1 superinfection despite broad CD8+ T-cell responses containing replication of the primary virus

Early treatment of acute HIV-1 infection followed by treatment interruptions has shown promise for enhancing immune control of infection. A subsequent loss of control, however, allows the correlates of protective immunity to be assessed. Here we show that sudden breakthrough of plasma viraemia occurred after prolonged immune containment in an individual infected with HIV-1 at a time when 25 distinct CD8+ T-cell epitopes in the viral proteins Gag, RT, Integrase, Env, Nef, Vpr, Vif and Rev were being targeted. Sequencing of the virus in plasma and cells showed that superinfection with a second clade-B virus was coincident with the loss of immune control. This sudden increase in viraemia was associated with a decline in half of the CD8+ T-cell responses. The declining CD8+ T-cell responses were coupled with sequence changes relative to the initial virus that resulted in impaired recognition. Our data show that HIV-1 superinfection can occur in the setting of a strong and broadly directed virus-specific CD8+ T-cell response. The lack of cross-protective immunity for closely related HIV-1 strains, despite persistent recognition of multiple CD8 epitopes, has important implications for public health and vaccine development.     

Transport of oxygen through membranes containing haemoglobin solutions

Zusammenfassung Die Scholanderschen Befunde über den Sauerstofftransport durch Hämoglobinlösungen werden auf der Basis der irreversiblen Thermodynamik behandelt.     

Thymosin beta4 activates integrin-linked kinase and promotes cardiac cell migration, survival and cardiac repair

Heart disease is a leading cause of death in newborn children and in adults. Efforts to promote cardiac repair through the use of stem cells hold promise but typically involve isolation and introduction of progenitor cells. Here, we show that the G-actin sequestering peptide thymosin beta4 promotes myocardial and endothelial cell migration in the embryonic heart and retains this property in postnatal cardiomyocytes. Survival of embryonic and postnatal cardiomyocytes in culture was also enhanced by thymosin beta4. We found that thymosin beta4 formed a functional complex with PINCH and integrin-linked kinase (ILK), resulting in activation of the survival kinase Akt (also known as protein kinase B). After coronary artery ligation in mice, thymosin beta4 treatment resulted in upregulation of ILK and Akt activity in the heart, enhanced early myocyte survival and improved cardiac function. These findings suggest that thymosin beta4 promotes cardiomyocyte migration, survival and repair and the pathway it regulates may be a new therapeutic target in the setting of acute myocardial damage.     

Occurance of aldehyde-fuchsin and performic acid-victoria blue positive granules in the ovarian pedicle of Dysdercus koenigii F. (Pyrrhocridae: Heteroptera).

A cycle of activity of aldehyde-fuchsin and performic acid-Victoria blue positive granules was observed in the ovarian pedicle of Dysdercus koenigii during the first ovipositional cycle. The quantitative variation of these granules in the pedicle can also be correlated directly with the increase or decrease of the neurosecretory material in the A-type cells of the pars intercerebralis medialis region of the protocerebrum of the brian.     

Hepatic acid hydrolases of albino rats,Mastomys natalensis and albino mice duringPlasmodium berghei infection

Summary Changes in liver acid hydrolase activities during the infection of albino rats,Mastomys or mice withPlasmodium berghei are described. B-Glucosidase, B-galactosidase and N-acetyl-B-D-glucosaminidase exhibited widely different responses with acid phosphatase and cathepsin-B the least responsive and are likely to be causally related to immunity of animals.