Associations between apolipoprotein E genotype and circulating F<Subscript>2</Subscript>-isoprostane levels in humans

Apolipoprotein E (apoE), an important determinant of plasma lipoprotein metabolism, has three common alleles (&amp;#949;2, &amp;#949;3, and &amp;#949;4). Population studies have shown that the risk of diseases characterized by oxidative damage, such as coronary heart disease and Alzheimer&amp;#8217;s disease, is significantly higher in &amp;#603;4 carriers. We evaluated the association between apoE genotypes and plasma F₂-isoprostane levels, an index of lipid peroxidation, in humans. Two hundred seventy-four healthy subjects (104 males, 170 females; 46.9±13.0 yr; 200 whites, 74 blacks; 81 nonsmokers, 64 passive smokers, and 129 active smokers) recruited for a randomized clinical antioxidant intervention trial were included in this analysis. ApoE genotype was determined by PCR and restriction enzyme digestion. Free plasma F₂-isoprostane was measured by GC-MS. Genotype groups were compared using multiple regression analysis with adjustment for sex, age, race, smoking status, body mass index, plasma ascorbic acid, and &amp;#946;-carotene. Subjects with &amp;#949;3/&amp;#949;4 and &amp;#949;4/&amp;#949;4 genotype (&amp;#949;4-carriers) and with &amp;#949;2/&amp;#949;3 and &amp;#949;3/&amp;#949;3 (non-&amp;#949;4-carriers) were pooled for analysis. In subjects with high cholesterol levels (total cholesterol above 200 mg/dl), plasma F₂-isoprostane levels were 29% higher in &amp;#949;4 carriers than in non-&amp;#949;4-carriers (P=0.0056). High-cholesterol subjects that are &amp;#949;4 carriers have significantly higher levels of lipid peroxidation as assessed by circulating F₂-isoprostane levels.     

Synthesis and properties of chitosan-modified poly(vinyl butyrate)

Modification of chitosan by grafting of vinyl butyrate was carried out in homogeneous phase using potassium persulfate as redox initator and 1.5% acetic acid as solvent. The percent grafting and grafting efficiency were analysed and the high grafting efficiency up to 94% was observed. The effects of reaction variables such as monomer concentration, initiator concentration, temperature and reaction time were investigated. It was observed that the solubility of chitosan was markedly reduced after grafting with vinyl butyrate. The grafted product is insoluble in common organic solvents as well in dilute organic and inorganic acids. Characterization of the graft copolymers were carried out by using Fourier Transform Infrared Spectroscopy (FTIR), Differential Scanning Calorimetry (DSC) and Scanning Electron Microscopy (SEM) technics. Characteristic signal of carbonyl group was observed at 1,731 cm^&amp;#8722;1 which belongs to the poly vinyl butyrate segments in the graft copolymer. The melting transition of the chitosan main chain in the copolymer shifted to 124°C from its original value 101°C. In addition to these, we have also studied topology of the graft copolymer and the SEM micrograph showed continuous homogenous matrix which means there is no phase separation.     

Crystal structural refinement of the new compound TmAlB14

Single crystals of the new phase TmAlB₁₄ were grown using the high-temperature solution method. The crystal structure of TmAlB₁₄ was refined from X-ray powder diffraction data using the Rietveld method. The structure is of MgAlB₁₄-type with the space group Imma and unit cell parameters a = 5.8212(3) Å, B = 10.3837(2) Å and C = 8.1762(3) Å. The final, conventional R-valve and profile R-value are 0.031 and 0.064, respectively. The structure is characterized by a partial occupancy of both metal positions and a splitting of the thulium atomic position.     

Two CEGAR-based approaches for the safety verification of PLC-controlled plants

In this paper we address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider a specification of the control program of the PLCs, extended with the specification of the dynamic plant behavior. The resulting hybrid models can be transformed to hybrid automata, for which advanced techniques for reachability analysis exist. However, the hybrid automata models are often too large to be analyzed. We propose two counterexample-guided abstraction refinement (CEGAR) approaches to keep the size of the hybrid models moderate.     

Contract-based verification of discrete-time multi-rate Simulink models

This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems.     

Application of particle swarm optimization in epileptic spike EEG source localization

Surgical therapy has become an important therapeutic alternative for patients with medically intractable epilepsy. Correct and anatomically precise localization of an epileptic focus is essential to decide if resection of brain tissue is possible. The inverse problem in EEG-based source localization is to determine the location of the brain sources that are responsible for the measured potentials at the scalp electrodes. We propose a new global optimization method based on particle swarm optimization (PSO) to solve the epileptic spike EEG source localization inverse problem. In a forward problem a modified subtraction method is proposed to reduce the computational time. The good accuracy and fast convergence are demonstrated for 2D and 3D cases with realistic head models. The results from the new method are promising for use in the pre-surgical clinic in the future.     

Real-time crowd motion planning

Real-time crowd motion planning requires fast, realistic methods for path planning as well as obstacle avoidance. In a previous work (Morini et&amp;nbsp;al. in Cyberworlds International Conference, pp. 144&amp;#8211;151, 2007), we introduced a hybrid architecture to handle real-time motion planning of thousands of pedestrians. In this article, we present an extended version of our architecture, introducing two new features: an improved short-term collision avoidance algorithm, and simple efficient group behavior for crowds. Our approach allows the use of several motion planning algorithms of different precision for regions of varied interest. Pedestrian motion continuity is ensured when switching between such algorithms. To assess our architecture, several performance tests have been conducted, as well as a subjective test demonstrating the impact of using groups. Our results show that the architecture can plan motion in real time for several thousands of characters.