Validation study of an automated wrist monitor, omron model HEM-608, compared with the standard methods for blood pressure measurement

OBJECTIVE - The aim of our study was to assess the profile of a wrist monitor, the Omron Model HEM-608, compared with the indirect method for blood pressure measurement. METHODS - Our study population consisted of 100 subjects, 29 being normotensive and 71 being hypertensive. Participants had their blood pressure checked 8 times with alternate techniques, 4 by the indirect method and 4 with the Omron wrist monitor. The validation criteria used to test this device were based on the internationally recognized protocols. RESULTS - Our data showed that the Omron HEM-608 reached a classification B for systolic and A for diastolic blood pressure, according to the one protocol. The mean differences between blood pressure values obtained with each of the methods were -2.3 +7.9mmHg for systolic and 0.97+5.5mmHg for diastolic blood pressure. Therefore, we considered this type of device approved according to the criteria selected. CONCLUSION - Our study leads us to conclude that this wrist monitor is not only easy to use, but also produces results very similar to those obtained by the standard indirect method.

Brazelton Neonatal Behavioral Assessment Scale: a psychometric study in a Portuguese sample

Background: The Neonatal Behavioral Assessment Scale (NBAS, Brazelton & Nugent, 1995) is an instrument conceived to observe the neonatal neurobehavior. Data analysis is usually performed by organizing items into groups. The most widely used data reduction for the NBAS was developed by Lester, Als, and Brazelton (1982). Objective: Examine the psychometric properties of the NBAS items in a sample of 213 Portuguese infants. Method: The NBAS was performed in the first week of infant life (3 days±2) and in the seventh week of life (52 days±5). Results: Principal component analyses yielded a solution of four components explaining 55.13% of total variance. Construct validity was supported by better neurobehavioral performance of 7-week-old infants compared with 1-week-old infants. Conclusion: Changes in the NBAS structure for the Portuguese sample are suggested compared to Lester factors in order to reach better internal consistency of the scale.

Assessment of the DIXTAL DX-2710 Automated Oscillometric Device for Blood Pressure Measurement with the Validation Protocols of the British Hypertension Society (BHS) and the Association for the Advancement of Medical Instrumentation (AAMI)

OBJECTIVE: To assess the Dixtal DX2710 automated oscillometric device used for blood pressure measurement according to the protocols of the BHS and the AAMI. METHODS: Three blood pressure measurements were taken in 94 patients (53 females 15 to 80 years). The measurements were taken randomly by 2 observers trained to measure blood pressure with a mercury column device connected with an automated device. The device was classified according to the protocols of the BHS and AAMI. RESULT: The mean of blood pressure levels obtained by the observers was 148±38/93±25 mmHg and that obtained with the device was 148±37/89±26 mmHg. Considering the differences between the measurements obtained by the observer and those obtained with the automated device according to the criteria of the BHS, the following classification was adopted: "A" for systolic pressure (69% of the differences < 5; 90% < 10; and 97% < 15 mmHg); and "B" for diastolic pressure (63% of the differences < 5; 83% < 10; and 93% < 15 mmHg). The mean and standard deviation of the differences were 0±6.27 mmHg for systolic pressure and 3.82±6.21 mmHg for diastolic pressure. CONCLUSION: The Dixtal DX2710 device was approved according to the international recommendations.

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.

Prevalence of Dyslipidemia According to the Nutritional Status in a Representative Sample of São Paulo

Background:Overweight is one of the major public health problems in Brazil; it is associated with dyslipidemia, which is an important risk factor for cardiovascular diseases.Objective:To evaluate the lipid profile of residents of the municipality of São Paulo, state of São Paulo, according to the nutritional status.Methods:Data from the population-based cross-sectional study ISA-Capital 2008 on a sample of residents of São Paulo were used. Participants were categorized into groups according to body mass index and age range. The levels of total cholesterol, HDL-cholesterol, LDL-cholesterol, triglycerides, and non-HDL cholesterol were measured. The association between lipid profile, nutricional status, and waist circumference was investigated. The data were processed using the survey mode of the Stata 11.0 software.Results:The prevalence of any type of dyslipidemia in the population was 59.74%, with low HDL-cholesterol dyslipidemia being the most common type. Not overweight individuals had higher mean levels of HDL-cholesterol and lower levels of LDL-cholesterol, total cholesterol, triglycerides, and non-HDL cholesterol when compared with the overweight group. The rate of inadequacy of these variables was higher in the overweight individuals, regardless of the age group, to the exception of LDL-cholesterol in the adults and elderly. A higher prevalence of isolated hypertriglyceridemia was observed in individuals with higher waist circumference among the adults and the total population.Conclusion:The results indicate an association between dyslipidemia and overweight in the population of the city of São Paulo. The most prevalent dyslipidemia in this population was low HDL-cholesterol.

p.Q192R SNP of PON1 seems not to be Associated with Carotid Atherosclerosis Risk Factors in an Asymptomatic and Normolipidemic Brazilian Population Sample

Background:Evidences suggest that paraoxonase 1 (PON1) confers important antioxidant and anti-inflammatory properties when associated with high-density lipoprotein (HDL).Objective:To investigate the relationships between p.Q192R SNP ofPON1, biochemical parameters and carotid atherosclerosis in an asymptomatic, normolipidemic Brazilian population sample.Methods:We studied 584 volunteers (females n = 326, males n = 258; 19-75 years of age). Total genomic DNA was extracted and SNP was detected in the TaqMan® SNP OpenArray® genotyping platform (Applied Biosystems, Foster City, CA). Plasma lipoproteins and apolipoproteins were determined and PON1 activity was measured using paraoxon as a substrate. High-resolution β-mode ultrasonography was used to measure cIMT and the presence of carotid atherosclerotic plaques in a subgroup of individuals (n = 317).Results:The presence of p.192Q was associated with a significant increase in PON1 activity (RR = 12.30 (11.38); RQ = 46.96 (22.35); QQ = 85.35 (24.83) μmol/min; p < 0.0001), HDL-C (RR= 45 (37); RQ = 62 (39); QQ = 69 (29) mg/dL; p < 0.001) and apo A-I (RR = 140.76 ± 36.39; RQ = 147.62 ± 36.92; QQ = 147.49 ± 36.65 mg/dL; p = 0.019). Stepwise regression analysis revealed that heterozygous and p.192Q carriers influenced by 58% PON1 activity towards paraoxon. The univariate linear regression analysis demonstrated that p.Q192R SNP was not associated with mean cIMT; as a result, in the multiple regression analysis, no variables were selected with 5% significance. In logistic regression analysis, the studied parameters were not associated with the presence of carotid plaques.Conclusion:In low-risk individuals, the presence of the p.192Q variant ofPON1 is associated with a beneficial plasma lipid profile but not with carotid atherosclerosis.

stochastic method for automated matching of horizons across a fault in 3D seismic data

Seismic analysis, horizon matching, fault tracking, marked point process,stochastic annealing

Gradient injection in preparative chromatography : exploitation of sample solvents different than the mobile phase

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2010

Culturas de bacilos ácido-álcool resistentes isolados de hematófagos infectados em leprosos: evidências de se tratar do bacilo de Hansen

The A. summarises the history of his first culture of acidfast bacillus isolated directly from leprosy lesions (Sample José) and refers about two samples recovered from guinea pig and white rat inoculated with said culture. Then the A. completes his previous descriptions of four cultures of acidfast bacilli isolated by him from ticks (Amblyomma cajaennense and Boophilus microplus, two cultures from each species) infected experimentally in lepers. The A. having found specimens of two species of Triatomidae (Triatoma infestans and Panstrongylus megistus) naturally infected with HANSEN bacillus in huts habited by lepers in the State of Minas Gerais (Dec. 1942), started a series of experiments, using larvae and nymphs of T. infestans bred in laboratory at the Instituto Oswaldo Cruz, to infect in active cases of leprosy, in the city of Rio de Janeiro, could obtain two new samples of cultures of acid-fast bacilli (Ns. 6 and 7 of his set). In this papaer the A. studies the biological properties of said cultures, proving that Penicilin has not effect upon them, like other substances. The sulphuric and acetic acids were used to purify some of the cultures, with good results, the cultures becoming more rich and growing faster. Potassium hydroxide Sodium (10% solution) was also used with success to isolate and to purify the cultures, but it seems that it affects the bacilli in some way. In flud glycerinated media the majority of such cultures produce velum suitable for the preparation of antigens for skin tests and for therapeutical use. At last the A. says that he is becoming convinced that the HANSEN bacillus is in cause, especially after thee evidences of culturing the bacillus from one patient, in different opportunities.

Parametric and semiparametric estimation of sample selection models: an empirical application to the female labour force in Portugal

This comment corrects the errors in the estimation process that appear in Martins (2001). The first error is in the parametric probit estimation, as the previously presented results do not maximize the log-likelihood function. In the global maximum more variables become significant. As for the semiparametric estimation method, the kernel function used in Martins (2001) can take on both positive and negative values, which implies that the participation probability estimates may be outside the interval [0,1]. We have solved the problem by applying local smoothing in the kernel estimation, as suggested by Klein and Spady (1993).

Testing the entrepreneurial intention model on a two-country sample

This paper tests the Entrepreneurial Intention Model -which is adapted from the Theory of Planned Behavior- on a sample of 533 individuals from two quite different countries: one of them European (Spain) and the other South Asian (Taiwan). A newly developed Entrepreneurial Intention Questionnaire (EIQ) has being used which tries to overcome some of the limitations of previous instruments. Structural equations techniques were used in the empirical analysis. Results are generally satisfactory, indicating that the model is probably adequate for studying entrepreneurship. Support for the model was found not only in the combined sample, but also in each of the national ones. However, some differences arose that may indicate demographic variables contribute differently to the formation of perceptions in each culture.

Labor productivity in Europe: evidence from a sample of regions

The present paper aims at analyzing the sources of productivity in Europe to account for its recent underperformance and identify potential geographic idiosyncracies. We study the productivity performance and its sources in a sample of ten European regions belonging to four countries (France, Germany, Italy and Spain). Exploiting the increasing availability of disaggregated data at regional level in Europe, we propose both a descriptive statistics and an econometric analysis of productivity sources since 1995. Our main finding is that the sources of labor productivity are rather heterogeneous across our sample but may be associated with regional or national idiosyncracies.

Opinions and attitudes of a sample of Swiss physicians about physical activity promotion in a primary care setting

Little is known about the opinions, beliefs and behavior of Swiss physicians regarding physical activity (PA) promotion in a primary care setting. A qualitative study was performed with semi-structured interviews. We purposively recruited and interviewed 16 physicians in the French speaking part of Switzerland. Their statements and ideas regarding the promotion of PA in a primary care setting were transcribed and synthesized from the tape recorded interviews. Les opinions, les représentations et les comportements des médecins suisses en matière de promotion de l'activité physique au cabinet médical restent largement méconnus en Suisse. Une étude qualitative a été réalisée au moyen d'entretiens semi-structurés. Nous avons intentionnellement recruté et interviewé 16 médecins en Suisse romande. Leurs opinions et attitudes concernant la promotion de l'activité physique au cabinet médical ont été transcrites et synthétisées à partir de l'enregistrement de ces entretiens.