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

Loneliness in Middle and Old Age

Purpose of the research: (a) To identify the degree of much loneliness reported in the Portuguese population over 50 years of age and (b) test whether loneliness can be predicted by socio-demographic, health related or social characteristic of the sample other than age. Materials and methods: 1174 late middle age and older adults were interviewed face to face by different interviewers across the country; after the informed consent was signed, we asked the participants several socio-demographic and health-related questions; finally we asked ‘‘How often do you feel lonely?’’ and participants responded according to a five point Likert scale. Principal results: The results showed that 12% of participants reporting feeling lonely often or always, whereas 40% reporting never feeling lonely. The remaining 48% self-reported they felt lonely seldom or sometimes. Additionally, results show that, when taken together, variables such as marital status, type of housing, residence settings, health conditions, social satisfaction, social isolation, lack of interest, transportation, and age were predictors of loneliness. Major conclusions: (1) The association of loneliness with advanced age has been greatly exaggerated by mass media and common sense; (2) But although our findings did not confirm the most alarmist views, the 12% of older adults reporting that they are feeling lonely always or often should be cause for attention and concern. It is necessary to understand the meaning, reasons and level of suffering implied on those feelings of loneliness. (3) Our findings suggest that it makes no sense to construe age as a singular feature or cause for feelings of loneliness. Instead, age and also a number of other features combine to predict feelings of loneliness. But even with our predictor variables there was a substantial of variance left unexplained. Therefore it is necessary to continue exploring how feelings of loneliness arise from the experience of living and how they can be changed.

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.

O impacto energético e as emissões de CO2 dos veículos eléctricos em Portugal

Para a diminuição da dependência energética de Portugal face às importações de energia, a Estratégia Nacional para a Energia 2020 (ENE 2020) define uma aposta na produção de energia a partir de fontes renováveis, na promoção da eficiência energética tanto nos edifícios como nos transportes com vista a reduzir as emissões de gases com efeito de estufa. No campo da eficiência energética, o ENE 2020 pretende obter uma poupança energética de 9,8% face a valores de 2008, traduzindo-se em perto de 1800 milhões de tep já em 2015. Uma das medidas passa pela aposta na mobilidade eléctrica, onde se prevê que os veículos eléctricos possam contribuir significativamente para a redução do consumo de combustível e por conseguinte, para a redução das emissões de CO2 para a atmosfera. No entanto, esta redução está condicionada pelas fontes de energia utilizadas para o abastecimento das baterias. Neste estudo foram determinados os consumos de combustível e as emissões de CO2 de um veículo de combustão interna adimensional representativo do parque automóvel. É também estimada a previsão de crescimento do parque automóvel num cenário "Business-as-Usual", através dos métodos de previsão tecnológica para o horizonte 2010-2030, bem como cenários de penetração de veículos eléctricos para o mesmo período com base no método de Fisher- Pry. É ainda analisado o impacto que a introdução dos veículos eléctricos tem ao nível dos consumos de combustível, das emissões de dióxido de carbono e qual o impacto que tal medida terá na rede eléctrica, nomeadamente no diagrama de carga e no nível de emissões de CO2 do Sistema Electroprodutor Nacional. Por fim, é avaliado o impacto dos veículos eléctricos no diagrama de carga diário português, com base em vários perfis de carga das baterias. A introdução de veículos eléctricos em Portugal terá pouca expressão dado que, no melhor dos cenários haverão somente cerca de 85 mil unidades em circulação, no ano de 2030. Ao nível do consumo de combustíveis rodoviários, os veículos eléctricos poderão vir a reduzir o consumo de gasolina até 0,52% e até 0,27% no consumo de diesel, entre 2010 e 2030, contribuindo ligeiramente uma menor dependência energética externa. Ao nível do consumo eléctrico, o abastecimento das baterias dos veículos eléctricos representará até 0,5% do consumo eléctrico total, sendo que parte desse abastecimento será garantido através de centrais de ciclo combinado a gás natural. Apesar da maior utilização deste tipo de centrais térmicas para produção de energia, tanto para abastecimento das viaturas eléctricas, como para o consumo em geral, verifica-se que em 2030, o nível de emissões do sistema electroprodutor será cerca de 46% inferior aos níveis registados em 2010, prevendo-se que atinja as 0,163gCO2/kWh produzido pelo Sistema Electroprodutor Nacional devido à maior quota de produção das fontes de energia renovável, como o vento, a hídrica ou a solar.

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.

Impactos da acalmia de tráfego na sinistralidade rodoviária das travessias urbanas: casos de estudo - Lagoa e Albufeira

Em Portugal os acidentes com vítimas ocorridos no interior das localidades representaram 73% da totalidade dos acidentes com vítimas registados em 2010. Apesar de todo o esforço empregue nesse sentido, as particularidades das áreas urbanas e de todas as vivências que lhes estão associadas, exigem um maior empenho no sentido de prevenir e mitigar os riscos de acidentes presentes num ambiente urbano. A acalmia de tráfego surge como uma possível solução de prevenção de todos os tipos de conflitos originados pelas diferentes velocidades de circulação que caracterizam cada um dos modos de transporte presentes nos aglomerados urbanos. Felizmente, apesar de se tratar de uma fase ainda inicial, em Portugal já existem alguns casos de situações urbanas tratadas com recurso a técnicas de acalmia de tráfego. Este trabalho vai no sentido de avaliar, através de dados relativos à sinistralidade, qual o real impacto e dividendos deste tipo de solução na redução do número de acidentes ocorridos no interior das localidades, particularmente na ocorrência de atropelamentos, uma vez que acarreta custos sociais e económicos elevadíssimos. As zonas alvo deste estudo foram os Concelhos de Lagoa e Albufeira, que são atravessados pela Estrada Nacional 125, tornando-se um caso típico de atravessamento urbano onde as medidas de acalmia de tráfego implementadas demonstraram alguma eficácia no aumento da segurança rodoviária no interior das zonas estudadas.

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.

Segurança no circuito do medicamento citotóxico: contributos para a avaliação da realidade hospitalar em Portugal

Introdução: O medicamento citotóxico é definido pelas suas características de genotoxicidade, mutagenicidade, carcinogenicidade, teratogenicidade, toxicidade reprodutiva e toxicidade orgânica em baixas doses. Deste modo, existe uma grande preocupação no que concerne ao manuseamento deste tipo de medicamentos, devido aos riscos ocupacionais que podem surtir da exposição a que os profissionais de farmácia envolvidos estão sujeitos. Objectivos: Analisar a realidade da farmácia hospitalar face ao cumprimento das normas e procedimentos preconizados pelas actuais guidelines para o manuseamento seguro de medicamentos citotóxicos, e identificar as lacunas existentes, conduzindo à promoção de práticas centradas na minimização do risco de exposição/contaminação dos profissionais e do ambiente. Material e Métodos: Foi realizada uma pesquisa bibliográfica sistemática sobre o tema, utilizando-se como instrumento de recolha de dados um inquérito por questionário, em que os TDT de Farmácia foram abordados sobre os procedimentos verificados no hospital onde exercem actividade profissional. Resultados: Face ao cumprimento das normas na recepção, armazenamento e transporte de medicamentos citotóxicos, verifica-se que todos os hospitais se encontram acima da média. Apesar desta evidência, é na fase de transporte que se verifica um menor cumprimento. As principais lacunas detectadas foram ao nível da não utilização de EPI nas fases de recepção e armazenamento; a recepção de medicamentos citotóxicos em conjunto com outros medicamentos; a falta de um sistema de ventilação no local de armazenamento e, ainda, ausência de portas de correr e/ou gavetas fechadas nos carros de transporte de medicamentos citotóxicos. Conclusões: Os resultados deste estudo revelam alguma heterogeneidade de procedimentos nos hospitais Portugueses, sugerindo a necessidade de intervenção e reformulação do programa de segurança e gestão de risco desenvolvidos para o manuseamento de citotóxicos.

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.

An heuristic approach for optimal location of gas supply units in transportation system

The best places to locate the Gas Supply Units (GSUs) on a natural gas systems and their optimal allocation to loads are the key factors to organize an efficient upstream gas infrastructure. The number of GSUs and their optimal location in a gas network is a decision problem that can be formulated as a linear programming problem. Our emphasis is on the formulation and use of a suitable location model, reflecting real-world operations and constraints of a natural gas system. This paper presents a heuristic model, based on lagrangean approach, developed for finding the optimal GSUs location on a natural gas network, minimizing expenses and maximizing throughput and security of supply.The location model is applied to the Iberian high pressure natural gas network, a system modelised with 65 demand nodes. These nodes are linked by physical and virtual pipelines – road trucks with gas in liquefied form. The location model result shows the best places to locate, with the optimal demand allocation and the most economical gas transport mode: by pipeline or by road truck.

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.