Secure information flow via stripping and fast simulation

Type systems for secure information flow aim to prevent a program from leaking information from H (high) to L (low) variables. Traditionally, bisimulation has been the prevalent technique for proving the soundness of such systems. This work introduces a new proof technique based on stripping and fast simulation, and shows that it can be applied in a number of cases where bisimulation fails. We present a progressive development of this technique over a representative sample of languages including a simple imperative language (core theory), a multiprocessing nondeterministic language, a probabilistic language, and a language with cryptographic primitives. In the core theory we illustrate the key concepts of this technique in a basic setting. A fast low simulation in the context of transition systems is a binary relation where simulating states can match the moves of simulated states while maintaining the equivalence of low variables; stripping is a function that removes high commands from programs. We show that we can prove secure information flow by arguing that the stripping relation is a fast low simulation. We then extend the core theory to an abstract distributed language under a nondeterministic scheduler. Next, we extend to a probabilistic language with a random assignment command; we generalize fast simulation to the setting of discrete time Markov Chains, and prove approximate probabilistic noninterference. Finally, we introduce cryptographic primitives into the probabilistic language and prove computational noninterference, provided that the underling encryption scheme is secure.

Discovery of "Warm Dust" galaxies in clusters at z ~ 0.3: evidence for stripping of cool dust in the dense environment?

Using far-infrared imaging from the "Herschel Lensing Survey," we derive dust properties of spectroscopically confirmed cluster member galaxies within two massive systems at z ~ 0.3: the merging Bullet Cluster and the more relaxed MS2137.3-2353. Most star-forming cluster sources (~90%) have characteristic dust temperatures similar to local field galaxies of comparable infrared (IR) luminosity (T_dust ~ 30 K). Several sub-luminous infrared galaxy (LIRG; L_IR < 10^11 L_☉) Bullet Cluster members are much warmer (T_dust > 37 K) with far-infrared spectral energy distribution (SED) shapes resembling LIRG-type local templates. X-ray and mid-infrared data suggest that obscured active galactic nuclei do not contribute significantly to the infrared flux of these "warm dust" galaxies. Sources of comparable IR luminosity and dust temperature are not observed in the relaxed cluster MS2137, although the significance is too low to speculate on an origin involving recent cluster merging. "Warm dust" galaxies are, however, statistically rarer in field samples (>3σ), indicating that the responsible mechanism may relate to the dense environment. The spatial distribution of these sources is similar to the whole far-infrared bright population, i.e., preferentially located in the cluster periphery, although the galaxy hosts tend toward lower stellar masses (M_* < 10^10 M_☉). We propose dust stripping and heating processes which could be responsible for the unusually warm characteristic dust temperatures. A normal star-forming galaxy would need 30%-50% of its dust removed (preferentially stripped from the outer reaches, where dust is typically cooler) to recover an SED similar to a "warm dust" galaxy. These progenitors would not require a higher IR luminosity or dust mass than the currently observed normal star-forming population.

Recurrent varicose veins of the lower limbs after surgery. Role of surgical technique (stripping vs. CHIVA) and surgeon’s experience

Background. Surgical treatment of varicose veins of the lower limbs resolves symptoms and improves quality of life. However, the high recurrence (20-80%) is a costly and complex issue. Patients and methods. This is a retrospective review of 1489 patients with varicose vein of the lower limbs seen at our hospital between January 1980 and December 2005. The aim is to evaluate the effect of surgical technique (stripping vs. CHIVA) and surgeon’s experience in reducing recurrences. Results. With experienced surgeons, CHIVA appears to be more effective than stripping in reducing the recurrence rate (p <0.05). However, when performed by an inexperienced surgeon the results are far worse than those achieved with stripping. Conclusion. There was a clear reduction in recurrences at 5-10 years with CHIVA than with conventional stripping. However, if performed incorrectly, results are far worse with CHIVA. In fact, good results are far more difficult to achieve with CHIVA than with stripping, which is repeatable and easy to perform.

Desenvolvimento de métodos electroquímicos de quantificação de fármacos em amostras de água contaminadas

Este trabalho teve como objectivo, o desenvolvimento de um método electroquímico, para quantificação do fármaco carbamazepina (CBZ) em águas contaminadas. Neste trabalho foram utilizados quatro métodos voltamétricos: a voltametria cíclica, a voltametria de varrimento linear, a voltametria de onda quadrada e a voltametria de impulso diferencial. Os eléctrodos de trabalho utilizados foram, o eléctrodo de mercúrio de gota suspensa, o eléctrodo de carbono vítreo clássico e um eléctrodo de carbono vítreo modificado com um filme de nanotubos de carbono de paredes múltiplas (MWCNTs). O eléctrodo de mercúrio de gota suspensa permitiu o estudo da redução da CBZ numa região de potencial mais catódico, e os eléctrodos de carbono vítreo, com e sem modificação, permitiram o estudo da oxidação da CBZ numa região de potencial mais anódico. Nas condições experimentais estudadas, o eléctrodo de mercúrio de gota suspensa revelou ser um sensor voltamétrico pouco eficaz na determinação quantitativa da carbamazepina, em amostras com uma matriz complexa. Entre os eléctrodos de carbono vítreo, o eléctrodo de carbono vítreo modificado com os MWCNTs revelou ser o sensor voltamétrico mais eficaz e sensível, na detecção e determinação da carbamazepina. Modificado com um filme de nanotubos de carbono de paredes múltiplas, que previamente foram dispersos em dihexadecilhidrogenofosfato (DHP) e água, este novo eléctrodo permitiu obter uma resposta electroquímica da CBZ, consideravelmente superior ao eléctrodo não modificado. Utilizando a voltametria de varrimento linear e as condições experimentais consideradas óptimas, o eléctrodo nanoestruturado permitiu obter uma relação linear entre o sinal medido e a concentração da CBZ no intervalo 0.13- 1.60 M (30.7- 378 g -1), com os limites de detecção e quantificação mais baixos, até à data reportados com métodos electroquímicos (0.04 e 0.14M, respectivamente). O eléctrodo modificado foi aplicado na quantificação da CBZ, em formulações farmacêuticas, em águas naturais tratadas e em amostras de águas residuais, ambas dopadas, obtendo-se taxas de recuperação consideravelmente elevadas (100.6%, 98.0%,95.8%, respectivamente). Os resultados obtidos, na análise da CBZ em amostras ambientais, com o eléctrodo modificado, foram comparados com resultados obtidos por HPLC-UV e LC­ ESI-MS/MS, validando o método electroquímico desenvolvido neste trabalho. ABSTRACT: The aim of this work was to develop a new electrochemical method for the quantification of carbamazepine (CBZ) in contaminated waters. ln this study, four voltammetric methods were used: cyclic voltammetry, linear sweep voltammetry, square wave voltammetry and differential pulse voltammetry. the working electrodes used were the hanging mercury drop electrode (HMDE), the classical glassy carbon electrode (GCE), and a glassy carbon electrode modified with a film of multi-walled carbon nanotubes (MWCNls). Using HMDE, the reduction of CBZ was studied in the cathodic potential region. the CGE sensors, with or without modification, allowed the study of CBZ oxidation in the anodic potential region. ln the tested conditions, the results obtained for the quantification of CBZ using the HMDE sensor were not very satisfactory, especially when more complex samples were analysed. When the MWCNls-dihexadecyl hydrogen phosphate (DHP) film­ coated GCE was used for the voltammetric determination of CBZ, the results obtained showed that this modified electrode exhibits excellent enhancement effects on the electrochemical oxidation of CBZ. the oxidation peak current of CBZ at this film­ modified electrode increased significantly, when compared with that at a bare glassy carbon electrode. The enhanced electrooxidation and voltammetry of CBZ at the surface of MWCNTs-DHP film coated GCE in phosphate buffer solution (pH 6.71) was attributed to the unique properties of MWCNTs such as large specific surface area and strong adsorptive properties providing more reaction sites. The proposed method was applied to the quantification of CBZ in pharmaceutical formulations, drinking water and wastewater samples with good recoveries and low limits of detection and quantification (0.04 and 0.14 M, respectively), and was positively compared with chromatographic techniques usually used in the quantification of pharmaceutical compounds in environmental samples. HPLC-UV and LC-ESI-MS/MS were also used in the quantification of CBZ in pharmaceutical formulations and wastewater samples to prove the importance and accuracy of his voltammetric method.

New dimeric supramolecular structure of mixed (phthalocyaninato)(porphyrinato)-europium(III) sandwiches : preparation and spectroscopic characteristics

The mixed double-decker Eu\[Pc(15C5)4](TPP) (1) was obtained by base-catalysed tetramerisation of 4,5-dicyanobenzo-15-crown-5 using the half-sandwich complex Eu(TPP)(acac) (acac = acetylacetonate), generated in situ, as the template. For comparative studies, the mixed triple-decker complexes Eu2\[Pc(15C5)4](TPP)2 (2) and Eu2\[Pc(15C5)4]2(TPP) (3) were also synthesised by the raise-by-one-story method. These mixed ring sandwich complexes were characterised by various spectroscopic methods. Up to four one-electron oxidations and two one-electron reductions were revealed by cyclic voltammetry (CV) and differential pulse voltammetry (DPV). As shown by electronic absorption and infrared spectroscopy, supramolecular dimers (SM1 and SM3) were formed from the corresponding double-decker 1 and triple-decker 3 in the presence of potassium ions in MeOH/CHCl3.

Electrochemistry of Heteroleptic Tris(phthalocyaninato) Rare Earth(III) Complexes

The electrochemical characteristics of a series of heteroleptic tris(phthalocyaninato) complexes with identical rare earths or mixed rare earths (Pc)M(OOPc)M(OOPc) [M = Eu...Lu, Y; H2Pc = unsubstituted phthalocyanine, H2(OOPc) = 3,4,12,13,21,22,30,31-octakis(octyloxy)phthalocyanine] and (Pc)Eu(OOPc)Er(OOPc) have been recorded and studied comparatively by cyclic voltammetry (CV) and differential pulse voltammetry (DPV) in CH2Cl2 containing 0.1 M tetrabutylammonium perchlorate (TBAP). Up to five quasi-reversible one-electron oxidations and four one-electron reductions have been revealed. The half-wave potentials of the first, second and fifth oxidations depend on the size of the metal center, but the fifth changes in the opposite direction to that of the first two. Moreover, the difference in redox potentials of the first oxidation and first reduction for (Pc)M(OOPc)M(OOPc), 0.85−0.98 V, also decreases linearly along with decreasing rare earth ion radius, clearly showing the rare earth ion size effect and indicating enhanced π−π interactions in the triple-deckers connected by smaller lanthanides. This order follows the red-shift seen in the lowest energy band of triple-decker compounds. The electronic differences between the lanthanides and yttrium are more apparent for triple-decker sandwich complexes than for the analogous double-deckers. By comparing triple-decker, double-decker and mononuclear [ZnII] complexes containing the OOPc ligand, the HOMO−LUMO gap has been shown to contract approximately linearly with the number of stacked phthalocyanine ligands.

Comparative Electrochemical Study of Unsubstituted and Substituted Bis(phthalocyaninato) Rare Earth(III) Complexes

The electrochemistry of homoleptic substituted phthalocyaninato rare earth double-decker complexes M(TBPc)2 and M(OOPc)2 [M = Y, La...Lu except Pm; H2TBPc = 3(4),12(13),21(22),30(31)-tetra-tert-butylphthalocyanine, H2OOPc = 3,4,12,13,21,22,30,31-octakis(octyloxy)phthalocyanine] has been comparatively studied by cyclic voltammetry (CV) and differential pulse voltammetry (DPV) in CH2Cl2 containing 0.1 M tetra-n-butylammonium perchlorate (TBAP). Two quasi-reversible one-electron oxidations and three or four quasi-reversible one-electron reductions have been revealed for these neutral double-deckers of two series of substituted complexes, respectively. For comparison, unsubstituted bis(phthalocyaninato) rare earth analogues M(Pc)2 (M = Y, La...Lu except Pm; H2Pc = phthalocyanine) have also been electrochemically investigated. Two quasi-reversible one-electron oxidations and up to five quasi-reversible one-electron reductions have been revealed for these neutral double-decker compounds. The three bis(phthalocyaninato)cerium compounds display one cerium-centered redox wave between the first ligand-based oxidation and reduction. The half-wave potentials of the first and second oxidations and first reduction for double-deckers of the tervalent rare earths depend on the size of the metal center. The difference between the redox potentials of the second and third reductions for MIII(Pc)2, which represents the potential difference between the first oxidation and first reduction of [MIII(Pc)2]−, lies in the range 1.08−1.37 V and also gradually diminishes along with the lanthanide contraction, indicating enhanced π−π interactions in the double-deckers connected by the smaller, lanthanides. This corresponds well with the red-shift of the lowest energy band observed in the electronic absorption spectra of reduced double-decker [MIII(Pc′)2]− (Pc′ = Pc, TBPc, OOPc).

The synthesis and application of novel profluorescent nitroxides as probes for polymer degradation

This PhD project has expanded the knowledge in the area of profluorescent nitroxides with regard to the synthesis and characterisations of novel profluorescent nitroxide probes as well as physical characterisation of the probe molecules in various polymer/physical environments. The synthesis of the first example of an azaphenalene-based fused aromatic nitroxide TMAO, [1,1,3,3-tetramethyl-2,3-dihydro-2-azaphenalen-2-yloxyl, was described. This novel nitroxide possesses some of the structural rigidity of the isoindoline class of nitroxides, as well as some properties akin to TEMPO nitroxides. Additionally, the integral aromatic ring imparts fluorescence that is switched on by radical scavenging reactions of the nitroxide, which makes it a sensitive probe for polymer degradation. In addition to the parent TMAO, 5 other azaphenalene derivatives were successfully synthesised. This new class of nitroxide was expected to have interesting redox properties when the structure was investigated by high-level ab initio molecular orbitals theory. This was expected to have implications with biological relevance as the calculated redox potentials for the azaphenalene ring class would make them potent antioxidant compounds. The redox potentials of 25 cyclic nitroxides from four different structural classes (pyrroline, piperidine, isoindoline and azaphenalene) were determined by cyclic voltammetry in acetonitrile. It was shown that potentials related to the one electron processes of the nitroxide were influenced by the type of ring system, ring substituents or groups surrounding the moiety. Favourable comparisons were found between theoretical and experimental potentials for pyrroline, piperidine and isoindoline ring classes. Substitution of these ring classes, were correctly calculated to have a small yet predictable effect on the potentials. The redox potentials of the azaphenalene ring class were underestimated by the calculations in all cases by at least a factor of two. This is believed to be due to another process influencing the redox potentials of the azaphenalene ring class which is not taken into account by the theoretical model. It was also possible to demonstrate the use of both azaphenalene and isoindoline nitroxides as additives for monitoring radical mediated damage that occurs in polypropylene as well as in more commercially relevant polyester resins. Polymer sample doped with nitroxide were exposed to both thermo-and photo-oxidative conditions with all nitroxides showing a protective effect. It was found that isoindoline nitroxides were able to indicate radical formation in polypropylene aged at elevated temperatures via fluorescence build-up. The azaphenalene nitroxide TMAO showed no such build-up of fluorescence. This was believed to be due to the more labile bond between the nitroxide and macromolecule and the protection may occur through a classical Denisov cycle, as is expected for commercially available HAS units. Finally, A new profluorescent dinitroxide, BTMIOA (9,10-bis(1,1,3,3- tetramethylisoindolin-2-yloxyl-5-yl)anthracene), was synthesised and shown to be a powerful probe for detecting changes during the initial stages of thermo-oxidative degradation of polypropylene. This probe, which contains a 9,10-diphenylanthracene core linked to two nitroxides, possesses strongly suppressed fluorescence due to quenching by the two nitroxide groups. This molecule also showed the greatest protective effect on thermo-oxidativly aged polypropylene. Most importantly, BTMIOA was found to be a valuable tool for imaging and mapping free-radical generation in polypropylene using fluorescence microscopy.

Does chemometrics enhance the performance of electroanalysis?

This review explores the question whether chemometrics methods enhance the performance of electroanalytical methods. Electroanalysis has long benefited from the well-established techniques such as potentiometric titrations, polarography and voltammetry, and the more novel ones such as electronic tongues and noses, which have enlarged the scope of applications. The electroanalytical methods have been improved with the application of chemometrics for simultaneous quantitative prediction of analytes or qualitative resolution of complex overlapping responses. Typical methods include partial least squares (PLS), artificial neural networks (ANNs), and multiple curve resolution methods (MCR-ALS, N-PLS and PARAFAC). This review aims to provide the practising analyst with a broad guide to electroanalytical applications supported by chemometrics. In this context, after a general consideration of the use of a number of electroanalytical techniques with the aid of chemometrics methods, several overviews follow with each one focusing on an important field of application such as food, pharmaceuticals, pesticides and the environment. The growth of chemometrics in conjunction with electronic tongue and nose sensors is highlighted, and this is followed by an overview of the use of chemometrics for the resolution of complicated profiles for qualitative identification of analytes, especially with the use of the MCR-ALS methodology. Finally, the performance of electroanalytical methods is compared with that of some spectrophotometric procedures on the basis of figures-of-merit. This showed that electroanalytical methods can perform as well as the spectrophotometric ones. PLS-1 appears to be the method of practical choice if the %relative prediction error of not, vert, similar±10% is acceptable.

Osteryoung square wave voltammetric determination of lactose in food samples by a derivative procedure

A method for determination of lactose in food samples by Osteryoung square wave voltammetry (OSWV) was developed. It was based on the nucleophilic addition reaction between lactose and aqua ammonia. The carbonyl group of lactose can be changed into imido group, and this increases the electrochemical activity in reduction and the sensitivity. The optimal condition for the nucleophilic addition reaction was investigated and it was found that in NH4Cl–NH3 buffer of pH 10.1, the linear range between the peak current and the concentration of lactose was 0.6–8.4 mg L−1, and the detection limits was 0.44 mg L−1. The proposed method was applied to the determination of lactose in food samples and satisfactory results were obtained.

Spectrometric and voltammetric studies of the interaction between quercetin and bovine serum albumin using warfarin as site marker with the aid of chemometrics

The interaction of quercetin, which is a bioflavonoid, with bovine serum albumin (BSA) was investigated under pseudo-physiological conditions by the application of UV–vis spectrometry, spectrofluorimetry and cyclic voltammetry (CV). These studies indicated a cooperative interaction between the quercetin–BSA complex and warfarin, which produced a ternary complex, quercetin–BSA–warfarin. It was found that both quercetin and warfarin were located in site I. However, the spectra of these three components overlapped and the chemometrics method – multivariate curve resolution-alternating least squares (MCR-ALS) was applied to resolve the spectra. The resolved spectra of quercetin–BSA and warfarin agreed well with their measured spectra, and importantly, the spectrum of the quercetin–BSA–warfarin complex was extracted. These results allowed the rationalization of the behaviour of the overlapping spectra. At lower concentrations ([warfarin] < 1 × 10−5 mol L−1), most of the site marker reacted with the quercetin–BSA, but free warfarin was present at higher concentrations. Interestingly, the ratio between quercetin–BSA and warfarin was found to be 1:2, suggesting a quercetin–BSA–(warfarin)2 complex, and the estimated equilibrium constant was 1.4 × 1011 M−2. The results suggest that at low concentrations, warfarin binds at the high-affinity sites (HAS), while low-affinity binding sites (LAS) are occupied at higher concentrations.

Experimental and theoretical studies of the redox potentials of cyclic nitroxides

The redox potentials of 25 cyclic nitroxides from four different structural classes (pyrrolidine, piperidine, isoindoline, and azaphenalene) were determined experimentally by cyclic voltammetry in acetonitrile, and also via high-level ab initio molecular orbital calculations. It is shown that the potentials are influenced by the type of ring system, ring substituents and/or groups surrounding the radical moiety. For the pyrrolidine, piperidine, and isoindolines there is excellent agreement (mean absolute deviation of 0.05 V) between the calculated and experimental oxidation potentials; for the azaphenalenes, however, there is an extraordinary discrepancy (mean absolute deviation of 0.60 V), implying that their one-electron oxidation might involve additional processes not considered in the theoretical calculations. This recently developed azaphenalene class of nitroxide represents a new variant of a nitroxide ring fused to an aromatic system and details of the synthesis of five derivatives involving differing aryl substitution are also presented.

Physiological investigation of periosteum structure and its application in periosteum tissue engineering

Although many different materials, techniques and methods, including artificial or engineered bone substitutes, have been used to repair various bone defects, the restoration of critical-sized bone defects caused by trauma, surgery or congenital malformation is still a great challenge to orthopedic surgeons. One important fact that has been neglected in the pursuit of resolutions for large bone defect healing is that most physiological bone defect healing needs the periosteum and stripping off the periosteum may result in non-union or non-healed bone defects. Periosteum plays very important roles not only in bone development but also in bone defect healing. The purpose of this project was to construct a functional periosteum in vitro using a single stem cell source and then test its ability to aid the repair of critical-sized bone defect in animal models. This project was designed with three separate but closely-linked parts which in the end led to four independent papers. The first part of this study investigated the structural and cellular features in periostea from diaphyseal and metaphyseal bone surfaces in rats of different ages or with osteoporosis. Histological and immunohistological methods were used in this part of the study. Results revealed that the structure and cell populations in periosteum are both age-related and site-specific. The diaphyseal periosteum showed age-related degeneration, whereas the metaphyseal periosteum is more destructive in older aged rats. The periosteum from osteoporotic bones differs from normal bones both in terms of structure and cell populations. This is especially evident in the cambial layer of the metaphyseal area. Bone resorption appears to be more active in the periosteum from osteoporotic bones, whereas bone formation activity is comparable between the osteoporotic and normal bone. The dysregulation of bone resorption and formation in the periosteum may also be the effect of the interaction between various neural pathways and the cell populations residing within it. One of the most important aspects in periosteum engineering is how to introduce new blood vessels into the engineered periosteum to help form vascularized bone tissues in bone defect areas. The second part of this study was designed to investigate the possibility of differentiating bone marrow stromal cells (BMSCs) into the endothelial cells and using them to construct vascularized periosteum. The endothelial cell differentiation of BMSCs was induced in pro-angiogenic media under both normoxia and CoCl2 (hypoxia-mimicking agent)-induced hypoxia conditions. The VEGF/PEDF expression pattern, endothelial cell specific marker expression, in vitro and in vivo vascularization ability of BMSCs cultured in different situations were assessed. Results revealed that BMSCs most likely cannot be differentiated into endothelial cells through the application of pro-angiogenic growth factors or by culturing under CoCl2-induced hypoxic conditions. However, they may be involved in angiogenesis as regulators under both normoxia and hypoxia conditions. Two major angiogenesis-related growth factors, VEGF (pro-angiogenic) and PEDF (anti-angiogenic) were found to have altered their expressions in accordance with the extracellular environment. BMSCs treated with the hypoxia-mimicking agent CoCl2 expressed more VEGF and less PEDF and enhanced the vascularization of subcutaneous implants in vivo. Based on the findings of the second part, the CoCl2 pre-treated BMSCs were used to construct periosteum, and the in vivo vascularization and osteogenesis of the constructed periosteum were assessed in the third part of this project. The findings of the third part revealed that BMSCs pre-treated with CoCl2 could enhance both ectopic and orthotopic osteogenesis of BMSCs-derived osteoblasts and vascularization at the early osteogenic stage, and the endothelial cells (HUVECs), which were used as positive control, were only capable of promoting osteogenesis after four-weeks. The subcutaneous area of the mouse is most likely inappropriate for assessing new bone formation on collagen scaffolds. This study demonstrated the potential application of CoCl2 pre-treated BMSCs in the tissue engineering not only for periosteum but also bone or other vascularized tissues. In summary, the structure and cell populations in periosteum are age-related, site-specific and closely linked with bone health status. BMSCs as a stem cell source for periosteum engineering are not endothelial cell progenitors but regulators, and CoCl2-treated BMSCs expressed more VEGF and less PEDF. These CoCl2-treated BMSCs enhanced both vascularization and osteogenesis in constructed periosteum transplanted in vivo.