Analysis of the chemical components of hydatid fluid from Echinococcus granulosus

Introduction The aim of this study was to explore the environment of Echinococcus granulosus (E. granulosus) protoscolices and their relationship with their host. Methods Proteins from the hydatid-cyst fluid (HCF) from E. granulosus were identified by proteomics. An inductively coupled plasma atomic emission spectrometer (ICP-AES) was used to determine the elements, an automatic biochemical analyzer was used to detect the types and levels of biochemical indices, and an automatic amino acid analyzer was used to detect the types and levels of amino acids in the E. granulosus HCF. Results I) Approximately 30 protein spots and 21 peptide mass fingerprints (PMF) were acquired in the two-dimensional gel electrophoresis (2-DE) pattern of hydatid fluid; II) We detected 10 chemical elements in the cyst fluid, including sodium, potassium, calcium, magnesium, copper, and zinc; III) We measured 19 biochemical metabolites in the cyst fluid, and the amount of most of these metabolites was lower than that in normal human serum; IV) We detected 17 free amino acids and measured some of these, including alanine, glycine, and valine. Conclusions We identified and measured many chemical components of the cyst fluid, providing a theoretical basis for developing new drugs to prevent and treat hydatid disease by inhibiting or blocking nutrition, metabolism, and other functions of the pathogen.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

ISE-SPL: Uma abordagem baseada em linha de produtos de software aplicada à geração automática de sistemas para educação médica na plataforma E-learning

E-learning, which refers to the use of Internet-related technologies to improve knowledge and learning, has emerged as a complementary form of education, bringing advantages such as increased accessibility to information, personalized learning, democratization of education and ease of update, distribution and standardization of the content. In this sense, this paper aims to develop a tool, named ISE-SPL, whose purpose is the automatic generation of E-learning systems for medical education, making use of concepts of Software Product Lines. It consists of an innovative methodology for medical education that aims to assist professors of healthcare in their teaching through the use of educational technologies, all based on computing applied to healthcare (Informatics in Health). The tests performed to validate the ISE-SPL were divided into two stages: the first was made by using a software analysis tool similar to ISE-SPL, called SPLOT and the second was performed through usability questionnaires to healthcare professors who used ISESPL. Both tests showed positive results, proving it to be an efficient tool for generation of E-learning software and useful for professors in healthcare

MRI-based breast volumetry-evaluation of three different software solutions

As lipofilling of the female breast is becoming more popular in plastic surgery, the use of MRI to assess breast volume has been employed to control postoperative results. Therefore, we sought to evaluate the accuracy of magnetic resonance imaging (MRI)-based breast volumetry software tools by comparing the measurements of silicone implant augmented breasts with the actual implant volume specified by the manufacturer. MRI-based volume analysis was performed in eight bilaterally augmented patients (46 ± 9 years) with three different software programs (Brainlab© I plan 2.6 neuronavigation software; mass analysis, version 5.3, Medis©; and OsiriX© v.3.0.2. 32-bit). The implant volumes analysed by the BrainLab© software had a mean deviation of 2.2 ± 1.7% (r?=?0.99) relative to the implanted prosthesis. OsiriX© software analysis resulted in a mean deviation of 2.8 ± 3.0% (r?=?0.99) and the Medis© software had a mean deviation of 3.1 ± 3.0% (r?=?0.99). Overall, the volumes of all analysed breast implants correlated very well with the real implant volumes. Processing time was 10 min per breast with each system and 30 s (OsiriX©) to 5 min (BrainLab© and Medis©) per silicone implant. MRI-based volumetry is a powerful tool to calculate both native breast and silicone implant volume in situ. All software solutions performed well and the measurements were close to the actual implant sizes. The use of MRI breast volumetry may be helpful in: (1) planning reconstructive and aesthetic surgery of asymmetric breasts, (2) calculating implant size in patients with missing documentation of a previously implanted device and (3) assessing post-operative results objectively.

Looking for the Holy Grail of Software Development

The history of Software Engineering has been marked by many famous project failures documented in papers, articles and books. This pattern of lack of success has prompted the creation of dozens of software analysis, requirements definition, and design methods, programming languages, software development environments and software development processes all promoted as solving ?the software problem.? What we hear less about are software projects that were successful. This article reports on the findings of an extensive analysis of successful software projects that have been reported in the literature. It discusses the different interpretations of success and extracts the characteristics that successful projects have in common. These characteristics provide Software Project Managers with an agenda of topics to be addressed that will help ensure, not guarantee, that their software project will be successful.

Explora: Infrastructure for Scaling Up Software Visualisation to Corpora

Visualisation provides good support for software analysis. It copes with the intangible nature of software by providing concrete representations of it. By reducing the complexity of software, visualisations are especially useful when dealing with large amounts of code. One domain that usually deals with large amounts of source code data is empirical analysis. Although there are many tools for analysis and visualisation, they do not cope well software corpora. In this paper we present Explora, an infrastructure that is specifically targeted at visualising corpora. We report on early results when conducting a sample analysis on Smalltalk and Java corpora.

Acessibilidade aos serviços de saúde por pessoas com deficiência

OBJETIVO: Analisar as dificuldades de acessibilidade aos serviços de saúde vividas por pessoas com deficiência. PROCEDIMENTOS METODOLÓGICOS: Estudo qualitativo realizado com pessoas que relataram ter algum tipo de deficiência (paralisia ou amputação de membros; baixa visão, cegueira unilateral ou total; baixa audição, surdez unilateral ou total). Foram entrevistados 25 indivíduos (14 mulheres) na cidade de São Paulo, SP, de junho a agosto de 2007, que responderam perguntas referentes a deslocamento e acessibilidade aos serviços de saúde. A metodologia utilizada para análise foi o discurso do sujeito coletivo e as análises foram conduzidas com recurso do programa Qualiquantisoft. ANÁLISE DOS RESULTADOS: A análise dos discursos sobre o deslocamento ao serviço de saúde mostrou diversidade quanto ao usuário ir ao serviço sozinho ou acompanhado, utilizar carro particular, transporte coletivo, ir a pé ou de ambulância e demandar tempo variado para chegar ao serviço. Com relação às dificuldades oferecidas de acessibilidade pelos serviços de saúde, houve relatos de demora no atendimento, problemas com estacionamento, falta de rampas, elevadores, cadeiras de rodas, sanitários adaptados e de médicos. CONCLUSÕES: As pessoas com algum tipo de deficiência fizeram uso de meios de transporte diversificados, necessitando de companhia em alguns casos. Problemas na acessibilidade dos serviços de saúde foram relatados pelos sujeitos com deficiências, contrariando o princípio da eqüidade, preceito do Sistema Único de Saúde.

Allelic loss of cyclophilin 40, an estrogen receptor-associated immunophilin, in breast carcinomas

Purpose: Cyclophilin 40 (CyP40) is an estrogen receptor-associated protein which appears to modify receptor function. The aim of this study was to determine the extent of allelic loss at the CyP40 locus in a panel of breast carcinomas using a newly characterized microsatellite marker located upstream of the CyP40 gene and then to correlate this with losses at chromosomal sites for cancer-associated genes. Methods: Allelic loss at CyP40 was determined from patients' matched tumor and normal breast tissue using Genescan 672 software analysis of fluorescently labeled, PAGE-separated PCR products incorporating the marker. For each patient, allelic loss at CyP40 was then assessed and compared with losses at markers for various cancer-associated genes. Results: Allelic loss was detected in 30% of breast carcinomas from patients heterozygous for the CyP40 marker. All carcinomas demonstrating allelic loss were grade II or III invasive ductal carcinomas and generally showed multiple losses at other sites near known cancer-associated genes. Conclusions: The polymorphic marker which we characterized was useful in determining allelic loss at the CyP40 locus in breast cancer patients and when applied in these studies in conjunction with various cancer-associated gene markers, suggests that deletions in the region of the CyP40 gene might be a late event in breast tumor progression.

Diagnóstico de máquinas elétricas pela análise de vibração

O diagnóstico de máquinas elétricas pela análise de vibração é utilizado num plano de manutenção, onde é dado a conhecer a “real condição do equipamento”, e surgiu da necessidade de detetar vibrações indesejáveis nas máquinas elétricas, de uma forma simples e com custos acessíveis. Numa fase inicial é obtido um sinal correspondente á vibração da máquina, recorrendo a um acelerômetro, que dependendo da aceleração da máquina, constrói uma forma de onda correspondente. A forma de onda fica guardada em formato de áudio *.wav. Posteriormente, em software Matlab o ficheiro *.wav irá ser carregado, e comparado com o ficheiro *.wav original da máquina. Ao comparar os ficheiros o software analisa o espectro original da máquina através da transformada de Fourier, com o espectro atual. Se este espectro sair do intervalo de segurança, o software deteta nesse espectro a origem da vibração, pois cada vibração tem uma frequência associada. Percorridos os passos descritos, o software disponibiliza ao utilizador as respetivas formas de onda e todo o restante diagnóstico de forma a uma possível intervenção antecipada da avaria.

Sistema de reconhecimento de impressões digitais baseado em FPGA

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia de Eletrónica e Telecomunicações

Análise de complexidade de programas em ferramentas de apoio à decisão

Dissertação de mestrado em Engenharia de Sistemas

Anàlisi i disseny d'un programari de Gestió Remota d'un Parc Modular d'Energia Solar

Anàlisi i disseny d'una aplicació per gestionar de manera remota l'activitat d'un parc d'energia solar fotovoltaica.

Genetic characterisation of Langerin gene in human immunodeficiency virus-1-infected women from Bahia, Brazil

Studies on human genetic variations are a useful source of knowledge about human immunodeficiency virus (HIV)-1 infection. The Langerin protein, found at the surface of Langerhans cells, has an important protective role in HIV-1 infection. Differences in Langerin function due to host genetic factors could influence susceptibility to HIV-1 infection. To verify the frequency of mutations in the Langerin gene, 118 samples from HIV-1-infected women and 99 samples from HIV-1-uninfected individuals were selected for sequencing of the promoter and carbohydrate recognition domain (CRD)-encoding regions of the Langerin gene. Langerin promoter analysis revealed two single nucleotide polymorphisms (SNPs) and one mutation in both studied groups, which created new binding sites for certain transcription factors, such as NFAT5, HOXB9.01 and STAT6.01, according to MatInspector software analysis. Three SNPs were observed in the CRD-encoding region in HIV-1-infected and uninfected individuals: p.K313I, c.941C>T and c.983C>T. This study shows that mutations in the Langerin gene are present in the analysed populations at different genotypic and allelic frequencies. Further studies should be conducted to verify the role of these mutations in HIV-1 susceptibility.

Differentiation of focal liver lesions: usefulness of parametric imaging with contrast-enhanced US.

Purpose: To evaluate whether parametric imaging with contrast material-enhanced ultrasonography (US) is superior to visual assessment for the differential diagnosis of focal liver lesions (FLLs). Materials and Methods: This study had institutional review board approval, and verbal patient informed consent was obtained. Between August 2005 and October 2008, 146 FLLs in 145 patients (63 women, 82 men; mean age, 62.5 years; age range, 22-89 years) were imaged with real-time low-mechanical-index contrast-enhanced US after a bolus injection of 2.4 mL of a second-generation contrast agent. Clips showing contrast agent uptake kinetics (including arterial, portal, and late phases) were recorded and subsequently analyzed off-line with dedicated image processing software. Analysis of the dynamic vascular patterns (DVPs) of lesions with respect to adjacent parenchyma allowed mapping DVP signatures on a single parametric image. Cine loops of contrast-enhanced US and results from parametric imaging of DVP were assessed separately by three independent off-site readers who classified each lesion as benign, malignant, or indeterminate. Sensitivity, specificity, accuracy, and positive and negative predictive values were calculated for both techniques. Interobserver agreement (κ statistics) was determined. Results: Sensitivities for visual interpretation of cine loops for the three readers were 85.0%, 77.9%, and 87.6%, which improved significantly to 96.5%, 97.3%, and 96.5% for parametric imaging, respectively (P < .05, McNemar test), while retaining high specificity (90.9% for all three readers). Accuracy scores of parametric imaging were higher than those of conventional contrast-enhanced US for all three readers (P < .001, McNemar test). Interobserver agreement increased with DVP parametric imaging compared with conventional contrast-enhanced US (change of κ from 0.54 to 0.99). Conclusion: Parametric imaging of DVP improves diagnostic performance of contrast-enhanced US in the differentiation between malignant and benign FLLs; it also provides excellent interobserver agreement.