Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Health related quality of life in patients with refractory chronic heart failure undergoing cardiac resynchronization: type of therapeutic response

The benefits of cardiac resynchronization therapy (CRT) in the health-related quality of life (HRQL) are largely demonstrated in selected patients with severe congestive heart failure (CHF). However, the differences between responders and non-responders, with regard to the effect of CRT in the various dimensions that constitute HRQL are still a matter of discussion. Objective: To evaluate the impact of CRT on the HRQL of patients with CHF refractory to optimal pharmacological therapy, within 6 months after CRT. Methods: 43 patients, submitted to successful implantation of CRT, were evaluated in hospital just before intervention and in the outpatient clinic within 6 months after CRT. HRQL was analyzed based on the Kansas City Cardiomyopathy Questionnaire (KCCQ). Patients were classified as super-responders (ejection fraction of left ventricle - LVEF - ≥45% post-CRT), n=15, responders (sustained improvement in functional class and LVEF increased by 15%), n=19, and non-responders (no clinical or LVEF improvement), n=9. Results: In the group of super-responders, CRT was associated with an improvement in HRQL for the various fields and sums assessed (ρ<0.05); in responders, CRT has been associated with an improvement of HRQL in the various fields and sums, except in the self-efficacy dimension (ρ<0.05); in non-responders, CRT was not associated with improvement of HRQL. Conclusion: In a population with severe CHF undergoing CRT, the patients with clinical and echocardiographic positive response, obtained a favorable impact in all dimensions of HRQL, while the group without response to CRT showed no improvement. These data reinforces the importance of HRQL as a multidimensional tool for assessment of benefits in clinical practice.

Evaluating the quality of life in patients with refractory chronic heart failure undergoing cardiac resynchronization regarding the type of therapeutic response

The benefits of cardiac resynchronization therapy (CRT) in the quality of life have been largely demonstrated in selected patients with severe congestive heart failure (CHF). However, the differences between responders and non-responders, with regard to the effect of CRT in the various dimensions of quality of life is still a matter of discussion. Objective: to evaluate the impact of CRT on the quality of life of patients with CHF refractory to optimal pharmacological therapy, within 6 months after CRT.

Synthesis, characterization and redox behaviour of benzoyldiazenido- and oxorhenium complexes bearing N,N- and S,S-type ligands

The reactions of [ReCl2{eta(2)-N2C(O)Ph}(PPh3)(2)](1) with 2-aminopyrimidine (H(2)Npyrm), 2,2'-bipyridine (bpy) and tetraethylthiuram disulfide (tds), in MeOH upon reflux, lead to the new eta(1)-(benzoyldiazenido)-rhenium(III) complexes [ReCl{eta(1)-N2C(O)Ph}(HNpyrm)(PPh3)(2)](2)and [ReCl2{eta(1)-N2C(O)Ph}(bpy)(PPh3)] (3), and the known oxo(diethyldithiocarbamato)dirhenium(v)complex [Re2O2(mu O){Et2NC(S)S}(4)](4), respectively. The Et2NC(S)S ligands in 4 result from S-S bond rupture of tds molecules. The obtained compounds have been characterized by IR, H-1, P-31{H-1} and C-13{H-1} NMR spectroscopies, FAB(+)-MS, elemental and single-crystal X-ray diffraction (for 2 and 4)analyses. Complex 2 represents the first structurally characterized Re compound derived from 2-aminopyrimidine. Besides, the redox behaviour of 2-4 in CH2Cl2 solution has been studied by cyclic voltammetry, and the Lever electrochemical ligand parameter (E-L)has been estimated, for the first time, for HNpyrm. The electrochemical results are discussed in terms of electronic properties of the Re centres and the ligands.

Incidence rate and spatio-temporal clustering of type 1 diabetes in Santiago, Chile, from 1997 to 1998

OBJECTIVE: To estimate the incidence rate of type 1 diabetes in the urban area of Santiago, Chile, from March 21, 1997 to March 20, 1998, and to assess the spatio-temporal clustering of cases during that period. METHODS: All sixty-one incident cases were located temporally (day of diagnosis) and spatially (place of residence) in the area of study. Knox's method was used to assess spatio-temporal clustering of incident cases. RESULTS: The overall incidence rate of type 1 diabetes was 4.11 cases per 100,000 children aged less than 15 years per year (95% confidence interval: 3.06--5.14). The incidence rate seems to have increased since the last estimate of the incidence calculated for the years 1986--1992 in the metropolitan region of Santiago. Different combinations of space-time intervals have been evaluated to assess spatio-temporal clustering. The smallest p-value was found for the combination of critical distances of 750 meters and 60 days (uncorrected p-value = 0.048). CONCLUSIONS: Although these are preliminary results regarding space-time clustering in Santiago, exploratory analysis of the data method would suggest a possible aggregation of incident cases in space-time coordinates.

Assessment of guanylin peptides system in type 2 diabetes

Os doentes com diabetes mellitus tipo 2 apresentam predisposição para a retenção de sódio e são frequentemente hipertensos. No entanto, os mecanismos implicados na dificuldade do rim diabético em mobilizar o sódio são, ainda, pouco compreendidos. Os peptídeos da família das guanilinas estão envolvidos na regulação do transporte de electrólitos e água nos epitélios intestinal e renal, através da activação do receptor guanilato ciclase-C (GC-C) e subsequente libertação intracelular de GMPc. O objectivo do presente estudo foi a avaliação da actividade do sistema dos peptídeos das guanilinas (SPG) e do seu papel na regulação do balanço de sódio num modelo animal de diabetes tipo 2. Ratinhos machos C57BL/6 foram submetidos a uma dieta com alto teor de gordura e rica em hidratos de carbono simples (ratinhos diabéticos) ou a uma dieta normal (ratinhos controlo). A expressão renal e intestinal da guanilina (GN), uroguanilina (UGN) e do receptor GC-C assim como os níveis de GMPc na urina e plasma foram avaliados nos ratinhos controlo e diabéticos, durante a ingestão de dietas normo (NS) e hiper-salina (HS). Nos ratinhos diabéticos, durante a dieta NS verificou-se um aumento significativo da pressão arterial que foi acompanhado de redução da expressão do ARNm da GN, UGN e do GC-C no intestino e de aumento da expressão de ARNm da UGN no rim. A dieta HS induziu um aumento da expressão do ARNm da UGN no jejuno dos ratinhos controlo mas não nos diabéticos. Os ratinhos diabéticos apresentaram níveis urinários de GMPc inferiores aos controlos, em condições de dieta NS. Em conclusão, os nossos resultados sugerem que na diabetes tipo 2 ocorre uma redução da actividade intestinal do SPG que é acompanhada por um aumento compensatório da actividade renal do SPG. A diminuição da actividade do SPG intestinal na diabetes tipo 2 deve-se não só a uma redução da expressão dos peptídeos GN e UGN, mas também a uma redução da expressão do seu receptor, GC-C. Estes resultados sugerem que o SPG pode contribuir para a sensibilidade ao sódio na diabetes.

A soft origin for CKM-type CP violation

We present a two-Higgs-doublet model, with a Z(3) symmetry, in which CP violation originates solely in a soft (dimension-2) coupling in the scalar potential, and reveals itself solely in the CKM (quark mixing) matrix. In particular, in the mass basis the Yukawa interactions of the neutral scalars are all real. The model has only eleven parameters to fit the six quark masses and the four independent CKM-matrix observables. We find regions of parameter space in which the flavour-changing neutral couplings are so suppressed that they allow the scalars to be no heavier than a few hundred GeV. (C) 2011 Elsevier B.V. All rights reserved.

Chromatographic behaviour of monoclonal antibodies against wild-type amidase from Pseudomonasaeruginosa on immobilized metal chelates

The aim of this work was to devise a one-step purification procedure for monoclonal antibodies (MAbs) of IgG class by immobilized metal affinity chromatography (IMAC). Therefore, several stationary phases were prepared containing immobilized metal chelates in order to study the chromatographic behaviour of MAbs against wild-type amidase from Pseudomonas aeruginosa. Such MAbs adsorbed to Cu(II), Ni(II), Zn(II) and Co(II)-IDA agarose columns. The increase in ligand concentration and the use of longer spacer arms and higher pH values resulted in higher adsorption of MAbs into immobilized metal chelates. The dynamic binding capacity and the maximum binding capacity were 1.33 +/- 0.015 and 3.214 +/- 0.021 mg IgG/mL of sedimented commercial matrix, respectively. A K(D) of 4.53 x 10(-7) M was obtained from batch isotherm measurements. The combination of tailor-made stationary phases of IMAC and the correct selection of adsorption conditions permitted a one-step purification procedure to be devised for MAbs of IgG class. Culture supernatants containing MAbs were purified by IMAC on commercial-Zn(II) and EPI-30-IDA-Zn(II) Sepharose 6B columns and by affinity chromatography on Protein A-Sepharose CL-4B. This MAb preparation revealed on SDS-PAGE two protein bands with M(r) of 50 and 22 kDa corresponding to the heavy and light chains, respectively. Copyright (C) 2011 John Wiley & Sons, Ltd.

Structural characterization and immunogenicity in wild-type and immune tolerant mice of degraded recombinant human interferon Alpha2b

Purpose: This study was conducted to study the influence of protein structure on the immunogenicity in wild-type and immune tolerant mice of well-characterized degradation products of recombinant human interferon alpha2b (rhIFNα2b). Methods: RhIFNα2b was degraded by metal-catalyzed oxidation (M), cross-linking with glutaraldehyde (G), oxidation with hydrogen peroxide (H), and incubation in a boiling water bath (B). The products were characterized with UV absorption, circular dichroism and fluorescence spectroscopy, gel permeation chromatography, reverse-phase high-pressure liquid chromatography, sodium dodecyl sulfate polyacrylamide gel electrophoresis, Western blotting, and mass spectrometry. The immunogenicity of the products was evaluated in wild-type mice and in transgenic mice immune tolerant for hIFNα2. Serum antibodies were detected by enzyme-linked immunosorbent assay or surface plasmon resonance. Results: M-rhIFNα2b contained covalently aggregated rhIFNα2b with three methionines partly oxidized to methionine sulfoxides. G-rhIFNα2b contained covalent aggregates and did not show changes in secondary structure. H-rhIFNα2b was only chemically changed with four partly oxidized methionines. B-rhIFNα2b was largely unfolded and heavily aggregated. Nontreated (N) rhIFNα2b was immunogenic in the wild-type mice but not in the transgenic mice, showing that the latter were immune tolerant for rhIFNα2b. The anti-rhIFNα2b antibody levels in the wild-type mice depended on the degradation product: M-rhIFNα2b > H-rhIFNα2b ∼ N-rhIFNα2b ≫ B-rhIFNα2b; G-rhIFNα2b did not induce anti-rhIFNα2b antibodies. In the transgenic mice, only M-rhIFNα2b could break the immune tolerance. Conclusions: RhIFNα2b immunogenicity is related to its structural integrity. Moreover, the immunogenicity of aggregated rhIFNα2b depends on the structure and orientation of the constituent protein molecules and/or on the aggregate size.

Synthesis and antioxidant activity of new xanthone-type compounds

3rd Portuguese Meeting on Medicinal Chemistry and 1st Portuguese-Spanish-Brazilian Meeting on Medicinal Chemistry, Aveiro, 28-30 Novembro 2012.

Influence of ventilation type in volatile organic compounds exposure: poultry case

Agricultural workers especially poultry farmers are at increased risk of occupational respiratory diseases. Epidemiological studies showed increased prevalence of respiratory symptoms and adverse changes in pulmonary function parameters in poultry workers. In poultry production volatile organic compounds (VOCs) presence can be due to some compounds produced by molds that are volatile and are released directly into the air. These are known as microbial volatile organic compounds (MVOCs). Because these compounds often have strong and/or unpleasant odors, they can be the source of odors associated with molds. MVOC's are products of the microorganisms primary and secondary metabolism and are composed of low molecular weight alcohols, aldehydes, amines, ketones, terpenes, aromatic and chlorinated hydrocarbons, and sulfur-based compounds, all of which are variations of carbon-based molecules.

Invasion success and development of benthic assemblages: effect of timing, duration of submersion and substrate type

Copyright © 2013 Elsevier Ltd. All rights reserved.

Flavored asymmetries for type II seesaw leptogenesis

A novel contribution to the leptonic CP asymmetries in type II seesaw leptogenesis scenarios is obtained for the cases in which flavor effects are relevant for the dynamics of leptogenesis. In the so-called flavored leptogenesis regime, the interference between the tree-level amplitude of the scalar triplet decaying into two leptons and the one-loop wave function correction with leptons in the loop, leads to a new nonvanishing CP asymmetry contribution. The latter conserves total lepton number but violates lepton flavor. Cases in which this novel contribution may be dominant in the generation of the baryon asymmetry are briefly discussed.

Influencing factors on bread-derived exposure to ochratoxin A: type, origin and composition

The nearly ubiquitous consumption of cereals all over the world renders them an important position in international nutrition, but concurrently allocates exposure to possible contained contaminants. Mycotoxins are natural food contaminants, difficult to predict, evade, and reduce, so it is important to establish the real contribution of each contaminated food product, with the aim to evaluate mycotoxin exposure. This was the key objective of this survey and analysis for ochratoxin A content on 274 samples of commercialized bread in the Portuguese market, during the winter 2007. Different bread products were analyzed through an HPLC-FD method, including traditional types, novel segments, and different grain based bread products. A wide-ranging low level contamination was observed in all regions and types of bread products analyzed, especially in the Porto and Coimbra regions, and in the maize and whole-grain or fiber-enriched bread. Nevertheless, the exposure through contaminated wheat bread continues to be the most significant, given its high consumption and dominance in relation to the other types of bread.

Controllability results for impulsive mixed type functional integro-differential evolution equations with nonlocal conditions

In this paper, we establish the controllability for a class of abstract impulsive mixed-type functional integro-differential equations with finite delay in a Banach space. Some sufficient conditions for controllability are obtained by using the Mönch fixed point theorem via measures of noncompactness and semigroup theory. Particularly, we do not assume the compactness of the evolution system. An example is given to illustrate the effectiveness of our results.