Formal Verification of Full-Wave Rectifier: A Case Study

We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.

UDP-glucose 4, 6-dehydratase Activity Plays an Important Role in Maintaining Cell Wall Integrity and Virulence of Candida albicans

Candida albicans, a human fungal pathogen, undergoes morphogenetic changes that are associated with virulence. We report here that GAL102 in C. albicans encodes a homolog of dTDP-glucose 4,6-dehydratase, an enzyme that affects cell wall properties as well as virulence of many pathogenic bacteria. We found that GAL102 deletion leads to greater sensitivity to antifungal drugs and cell wall destabilizing agents like Calcofluor white and Congo red. The mutant also formed biofilms consisting mainly of hyphal cells that show less turgor. The NMR analysis of cell wall mannans of gal102 deletion strain revealed that a major constituent of mannan is missing and the phosphomannan component known to affect virulence is greatly reduced. We also observed that there was a substantial reduction in the expression of genes involved in biofilm formation but increase in the expression of genes encoding glycosylphosphatidylinositol-anchored proteins in the mutant. These, along with altered mannosylation of cell wall proteins together might be responsible for multiple phenotypes displayed by the mutant. Finally, the mutant was unable to grow in the presence of resident peritoneal macrophages and elicited a weak pro-inflammatory cytokine response in vitro. Similarly, this mutant elicited a poor serum pro-inflammatory cytokine response as judged by IFN gamma and TNF alpha levels and showed reduced virulence in a mouse model of systemic candidiasis. Importantly, an Ala substitution for a conserved Lys residue in the active site motif YXXXK, that abrogates the enzyme activity also showed reduced virulence and increased filamentation similar to the gal102 deletion strain. Since inactivating the enzyme encoded by GAL102 makes the cells sensitive to antifungal drugs and reduces its virulence, it can serve as a potential drug target in combination therapies for C. albicans and related pathogens.

Structural Integrity of the Greek Key Motif in beta gamma-Crystallins Is Vital for Central Eye Lens Transparency

Background: We highlight an unrecognized physiological role for the Greek key motif, an evolutionarily conserved super-secondary structural topology of the beta gamma-crystallins. These proteins constitute the bulk of the human eye lens, packed at very high concentrations in a compact, globular, short-range order, generating transparency. Congenital cataract (affecting 400,000 newborns yearly worldwide), associated with 54 mutations in beta gamma-crystallins, occurs in two major phenotypes nuclear cataract, which blocks the central visual axis, hampering the development of the growing eye and demanding earliest intervention, and the milder peripheral progressive cataract where surgery can wait. In order to understand this phenotypic dichotomy at the molecular level, we have studied the structural and aggregation features of representative mutations. Methods: Wild type and several representative mutant proteins were cloned, expressed and purified and their secondary and tertiary structural details, as well as structural stability, were compared in solution, using spectroscopy. Their tendencies to aggregate in vitro and in cellulo were also compared. In addition, we analyzed their structural differences by molecular modeling in silico. Results: Based on their properties, mutants are seen to fall into two classes. Mutants A36P, L45PL54P, R140X, and G165fs display lowered solubility and structural stability, expose several buried residues to the surface, aggregate in vitro and in cellulo, and disturb/distort the Greek key motif. And they are associated with nuclear cataract. In contrast, mutants P24T and R77S, associated with peripheral cataract, behave quite similar to the wild type molecule, and do not affect the Greek key topology. Conclusion: When a mutation distorts even one of the four Greek key motifs, the protein readily self-aggregates and precipitates, consistent with the phenotype of nuclear cataract, while mutations not affecting the motif display `native state aggregation', leading to peripheral cataract, thus offering a protein structural rationale for the cataract phenotypic dichotomy ``distort motif, lose central vision''.

Structural Integrity of the Contralesional Hemisphere Predicts Cognitive Impairment in Ischemic Stroke at Three Months

After stroke, white matter integrity can be affected both locally and distally to the primary lesion location. It has been shown that tract disruption in mirror's regions of the contralateral hemisphere is associated with degree of functional impairment. Fourteen patients suffering right hemispheric focal stroke (S) and eighteen healthy controls (HC) underwent Diffusion Weighted Imaging (DWI) and neuropsychological assessment. The stroke patient group was divided into poor (SP; n = 8) and good (SG; n = 6) cognitive recovery groups according to their cognitive improvement from the acute phase (72 hours after stroke) to the subacute phase (3 months post-stroke). Whole-brain DWI data analysis was performed by computing Diffusion Tensor Imaging (DTI) followed by Tract Based Spatial Statistics (TBSS). Assessment of effects was obtained computing the correlation of the projections on TBSS skeleton of Fractional Anisotropy (FA) and Radial Diffusivity (RD) with cognitive test results. Significant decrease of FA was found only in right brain anatomical areas for the S group when compared to the HC group. Analyzed separately, stroke patients with poor cognitive recovery showed additional significant FA decrease in several left hemisphere regions; whereas SG patients showed significant decrease only in the left genu of corpus callosum when compared to the HC. For the SG group, whole brain analysis revealed significant correlation between the performance in the Semantic Fluency test and the FA in the right hemisphere as well as between the performance in the Grooved Pegboard Test (GPT) and theTrail Making Test-part A and the FA in the left hemisphere. For the SP group, correlation analysis revealed significant correlation between the performance in the GPT and the FA in the right hemisphere. Palabras clave

Structural Integrity of the Contralesional Hemisphere Predicts Cognitive Impairment in Ischemic Stroke at Three Months

After stroke, white matter integrity can be affected both locally and distally to the primary lesion location. It has been shown that tract disruption in mirror's regions of the contralateral hemisphere is associated with degree of functional impairment. Fourteen patients suffering right hemispheric focal stroke (S) and eighteen healthy controls (HC) underwent Diffusion Weighted Imaging (DWI) and neuropsychological assessment. The stroke patient group was divided into poor (SP; n = 8) and good (SG; n = 6) cognitive recovery groups according to their cognitive improvement from the acute phase (72 hours after stroke) to the subacute phase (3 months post-stroke). Whole-brain DWI data analysis was performed by computing Diffusion Tensor Imaging (DTI) followed by Tract Based Spatial Statistics (TBSS). Assessment of effects was obtained computing the correlation of the projections on TBSS skeleton of Fractional Anisotropy (FA) and Radial Diffusivity (RD) with cognitive test results. Significant decrease of FA was found only in right brain anatomical areas for the S group when compared to the HC group. Analyzed separately, stroke patients with poor cognitive recovery showed additional significant FA decrease in several left hemisphere regions; whereas SG patients showed significant decrease only in the left genu of corpus callosum when compared to the HC. For the SG group, whole brain analysis revealed significant correlation between the performance in the Semantic Fluency test and the FA in the right hemisphere as well as between the performance in the Grooved Pegboard Test (GPT) and theTrail Making Test-part A and the FA in the left hemisphere. For the SP group, correlation analysis revealed significant correlation between the performance in the GPT and the FA in the right hemisphere.

Construção de barreiras para diminuir as falhas nas mensurações glicêmicas realizadas pela enfermagem em pacientes críticos com insulina intravenosa

Esta pesquisa tem como objeto os fatores que influenciam a mensuração glicêmica realizada pela enfermagem em pacientes que recebem insulina contínua intravenosa utilizando glicosímetros portáteis à beira leito. Vários fatores podem influenciar a mensuração glicêmica, tais como a amostra sanguínea, a calibração do aparelho, a estocagem das fitas-teste, o hematócrito dos pacientes, o uso de vasoaminas e falhas do operador. A partir da Tese de que: A identificação dos fatores que influenciam a mensuração glicêmica realizada pela enfermagem através de glicosímetros é determinante para a eficiência das barreiras de salvaguarda voltadas para a minimização de falhas na sua execução, a fim de garantir resultados glicêmicos confiáveis e, consequentemente, realizar a titulação da insulina com segurança, teve-se como objetivo geral propor ações de enfermagem que funcionem como barreiras para diminuir as falhas nas mensurações glicêmicas realizadas pela enfermagem em pacientes que recebem infusão contínua de insulina. Espera-se contribuir com ações para garantir a adequação e o controle rigoroso da insulina administrada. Estudo observacional, transversal, prospectivo com abordagem quantitativa na análise dos dados, em uma unidade intensiva cirúrgica cardiológica de um hospital público do Rio de Janeiro. As variáveis do estudo foram submetidas a tratamentos estatísticos não paramétricos e às medidas de associação. Foram investigados 42 pacientes com observação de 417 glicemias. Predominaram pacientes do sexo feminino (57,14%), média de idade de 48 (15,85) anos, sem insuficiência renal e sem tratamento dialítico (90,48%). Observou-se PAM com média de 77(10,29) mmHg, uso de vasoaminas (80,95%), PaO2 ≥ 90mmHg em 85,71% e hematócrito <35% em 71,42%. Encontrou-se uma incidência de hipoglicemia de 35,7%, sendo a população dividida em dois grupos, o primeiro (G1) com pacientes que apresentaram hipoglicemia ≤ 60mg/dl (n=15), e o segundo (G2), com pacientes sem hipoglicemia (n=27). O hematócrito baixo foi a característica clínica que apresentou maior associação com a hipoglicemia. Pacientes com esta condição apresentaram 5,60 vezes mais risco de apresentarem hipoglicemia. O uso de vasoaminas elevou 3,3 vezes o risco de hipoglicemia em pacientes com estas medicações. A realização de cirurgias de emergência, a presença de insuficiência renal com tratamento dialítico, e a elevação da PaO2 acima de 90mmHg também apresentaram associação positiva com a hipoglicemia. Das 417 mensurações observadas, predominou o uso de amostra sanguínea de origem arterial. Observou-se que em todas as etapas da técnica de mensuração houve desvio de execução, com exceção de compressão da polpa digital. Os desvios observados que mostraram associação positiva (RR>1) para pacientes com hipoglicemia foram: a falta de calibração do glicosímetro, a falta de verificação da validade/integridade da fita teste, a falta da higienização das mãos e a falta da coleta de até 1 ml de sangue. Construiu-se uma revisão da técnica de mensuração glicêmica com enfoque nos fatores que podem comprometer o resultado glicêmico levando em conta o risco de hipoglicemia. Tornou-se evidente que a compreensão apropriada dos fatores que influenciam a glicemia e a mensuração glicêmica é indispensável para o enfermeiro na obtenção de resultados glicêmicos confiáveis, e assim, evitar erros na titulação das doses de insulina administrada.

Verification of a novel material model to predict damage in composite structures

An intralaminar damage model (IDM), based on continuum damage mechanics, was developed for the simulation of composite structures subjected to damaging loads. This model can capture the complex intralaminar damage mechanisms, accounting for mode interactions, and delaminations. Its development is driven by a requirement for reliable crush simulations to design composite structures with a high specific energy absorption. This IDM was implemented as a user subroutine within the commercial finite element package, Abaqus/Explicit[1]. In this paper, the validation of the IDM is presented using two test cases. Firstly, the IDM is benchmarked against published data for a blunt notched specimen under uniaxial tensile loading, comparing the failure strength as well as showing the damage. Secondly, the crush response of a set of tulip-triggered composite cylinders was obtained experimentally. The crush loading and the associated energy of the specimen is compared with the FE model prediction. These test cases show that the developed IDM is able to capture the structural response with satisfactory accuracy

Privacy-Protected Facial Biometric Verification via Fuzzy Forest Learning

Although visual surveillance has emerged as an effective technolody for public security, privacy has become an issue of great concern in the transmission and distribution of surveillance videos. For example, personal facial images should not be browsed without permission. To cope with this issue, face image scrambling has emerged as a simple solution for privacyrelated applications. Consequently, online facial biometric verification needs to be carried out in the scrambled domain thus bringing a new challenge to face classification. In this paper, we investigate face verification issues in the scrambled domain and propose a novel scheme to handle this challenge. In our proposed method, to make feature extraction from scrambled face images robust, a biased random subspace sampling scheme is applied to construct fuzzy decision trees from randomly selected features, and fuzzy forest decision using fuzzy memberships is then obtained from combining all fuzzy tree decisions. In our experiment, we first estimated the optimal parameters for the construction of the random forest, and then applied the optimized model to the benchmark tests using three publically available face datasets. The experimental results validated that our proposed scheme can robustly cope with the challenging tests in the scrambled domain, and achieved an improved accuracy over all tests, making our method a promising candidate for the emerging privacy-related facial biometric applications.

Authentic Leadership and Behavioral Integrity as Drivers of Follower Commitment and Performance

The literatures on both authentic leadership and behavioral integrity have argued that leader integrity drives follower performance. Yet, despite overlap in conceptualization and mechanisms, no research has investigated how authentic leadership and behavioral integrity relate to one another in driving follower performance. In this study, we propose and test the notion that authentic leadership behavior is an antecedent to perceptions of leader behavioral integrity, which in turn affects follower affective organizational commitment and follower work role performance. Analysis of a survey of 49 teams in the service industry supports the proposition that authentic leadership is related to follower affective organizational commitment, fully mediated through leader behavioral integrity. Next, we found that authentic leadership and leader behavioral integrity are related to follower work role performance, fully mediated through follower affective organizational commitment. These relationships hold when controlling for ethical organizational culture.

Integrity and shame

In a recent study, Damian Cox, Marguerite La Caze and Michael P. Levine argue for a complex conception of integrity. But they leave two questions unanswered. The first is whether integrity is of greater importance to the agent's own sense of themselves or whether it is a virtue that is of social significance. The bulk of the literature on this virtue stresses its existential import. However, considerable weight should be given to its social significance. It should be linked to the essentially social reaction of shame, as opposed to the existential and personal reaction of guilt. The second question is whether the virtue of integrity has been analysed in such general terms that no specific meaning can be given to the virtue. Being a person of integrity might just collapse into being a virtuous person. This essay offers a distinctive account of integrity by asking what it is to act from the virtue in particular contexts that require public trust.

Criteria for the systematic review of health promotion and public health interventions

Systematic reviews of public health interventions are fraught with challenges. Complexity is inherent; this may be due to multi-component interventions, diverse study populations, multiple outcomes measured, mixed study designs utilized and the effect of context on intervention design, implementation and effectiveness. For policy makers and practitioners to use systematic reviews to implement effective public health programmes, systematic reviews must include this information, which seeks to answer the questions posed by decision makers, including recipients of programmes. This necessitates expanding the traditional evaluation of evidence to incorporate the assessment of theory, integrity of interventions, context and sustainability of the interventions and outcomes. Unfortunately however, the critical information required for judging both the quality of a public health intervention and whether or not an intervention is worthwhile or replicable is missing from most public health intervention studies. When the raw material is not available in primary studies the systematic review process becomes even more challenging. Systematic reviews, which highlight these critical gaps, may act to encourage better reporting in primary studies. This paper provides recommendations to reviewers on the issues to address within a public health systematic review and, indirectly, provides advice to researchers on the reporting requirements of primary studies for the production of high quality systematic reviews.

The perennial problem of police gratuities : public concerns, political optics, and an accountability ethos

Despite the perennial nature of the problem of gratuities in considerations of police ethics, many prior analyses of this issue have rested on anecdotal, piecemeal or hypothetical considerations.. This paper draws on a unique sample of actual complaint cases involving gratuities, providing evidence of a range of public concerns about the problem. Gratuities are analysed and contextualised by reference to the concept of conflict of interest, which draws attention to the potential for the performance of public duty to be tainted in fact or appearance. In either case, public trust in the integrity of the police is damaged, giving rise to "political optics" as a key problem with gratuities.  The paper argues that an accountability ethos must be developed to promote active responsibility and a preparedness to prioritise the public interest in policing.

Cost-effective authentic and anonymous data sharing with forward security

Data sharing has never been easier with the advances of cloud computing, and an accurate analysis on the shared data provides an array of benefits to both the society and individuals. Data sharing with a large number of participants must take into account several issues, including efficiency, data integrity and privacy of data owner. Ring signature is a promising candidate to construct an anonymous and authentic data sharing system. It allows a data owner to anonymously authenticate his data which can be put into the cloud for storage or analysis purpose. Yet the costly certificate verification in the traditional public key infrastructure (PKI) setting becomes a bottleneck for this solution to be scalable. Identity-based (ID-based) ring signature, which eliminates the process of certificate verification, can be used instead. In this paper, we further enhance the security of ID-based ring signature by providing forward security: If a secret key of any user has been compromised, all previous generated signatures that include this user still remain valid. This property is especially important to any large scale data sharing system, as it is impossible to ask all data owners to re-authenticate their data even if a secret key of one single user has been compromised. We provide a concrete and efficient instantiation of our scheme, prove its security and provide an implementation to show its practicality.

GDP 4.0 transfer to SGP 3.0 for SCIAMACHY no2 column processing: Verification with SDOAS / GDOAS prototype algorithms and delta-validation with NDACC / UV-visible network data

Until mid 2006, SCIAMACHY data processors for the operational retrieval of nitrogen dioxide (NO2) column data were based on the historical version 2 of the GOME Data Processor (GDP). On top of known problems inherent to GDP 2, ground-based validations of SCIAMACHY NO2 data revealed issues specific to SCIAMACHY, like a large cloud-dependent offset occurring at Northern latitudes. In 2006, the GDOAS prototype algorithm of the improved GDP version 4 was transferred to the off-line SCIAMACHY Ground Processor (SGP) version 3.0. In parallel, the calibration of SCIAMACHY radiometric data was upgraded. Before operational switch-on of SGP 3.0 and public release of upgraded SCIAMACHY NO2 data, we have investigated the accuracy of the algorithm transfer: (a) by checking the consistency of SGP 3.0 with prototype algorithms; and (b) by comparing SGP 3.0 NO2 data with ground-based observations reported by the WMO/GAW NDACC network of UV-visible DOAS/SAOZ spectrometers. This delta-validation study concludes that SGP 3.0 is a significant improvement with respect to the previous processor IPF 5.04. For three particular SCIAMACHY states, the study reveals unexplained features in the slant columns and air mass factors, although the quantitative impact on SGP 3.0 vertical columns is not significant.

Prevention of Money Laundering and of the Financing of Terrorism to Ensure the Integrity of Financial Markets in Latin America and the Caribbean

This paper reviews the current status of the international fight against money laundering and the financing of terrorism, highlighting the importance of its prevention for economic and financial stability in Latin America and the Caribbean. It synthesizes the recent history of international legislation and agreements with respect to the issues, and presents the framework of public and private sector actors engaged in combating these threats. It reviews Latin American and Caribbean countries’ compliance with the Financial Action Task Force (FATF) (40 + 9) Recommendations, and analyzes the region’s performance with respect to their third round Mutual Evaluation Reports.