BACKGROUND The high and increasing prevalence of Dilated Cardiomyopathy (DCM) represents a serious public health problem. New technologies are being used aiming at more accurate diagnoses in order to improve therapeutic approach. In this scenario, speckle tracking echocardiography (STE) uses natural myocardial markers to analyze the systolic deformation of the left ventricle (LV). OBJECTIVE T...

OBJECTIVES In a large cohort of out-of-hospital cardiac arrest (OHCA) patients without ST-segment elevation (STE), the study assessed the relationship between the use of an early invasive strategy and patient outcome. BACKGROUND Emergent coronary angiogram (CAG) and reperfusion are currently a standard of care in patients resuscitated from an OHCA with ST-segment elevation (STE). However, usi...

BACKGROUND Early detection of subclinical left ventricular (LV) systolic dysfunction in hypertensive patients is important for the prevention of progression of hypertensive heart disease. METHODS We studied 60 hypertensive patients (age ranged from 21 to 49 years, the duration of hypertension ranged from 1 to 18 years) and 30 healthy controls, all had preserved left ventricular ejection fract...

The state explosion problem is the fundamental limitation of veriication through model checking. In many cases, representing the state space of a system as a lattice is an eeective way of ameliorating this problem. The partial order of the state space lattice represents an information ordering. The paper shows why using a lattice structure is desirable, and why a quaternary temporal logic rathe...

Thermal stability of the thermolysin-like protease produced by Bacillus stearothermophilus (TLP-ste) is highly dependent on calcium at concentrations in the millimolar range. We describe the rational design and production of a fully active TLP-ste variant whose stability is only slightly dependent on calcium concentration.

Economic indicator prediction in big data requires treating all random variables as an independent set of selective values and used a discriminative method for classification tasks. A Bayesian network is popular graphical representation approach modeling probabilistic dependencies causality among to incorporate huge amount human expert knowledge about the problem interest involving diagnostic r...

Alternatives to animal testing are being used assess the safety of raw ingredients during process developing cosmetics. However, since cosmetic products composed a variety ingredients, product itself should also be tested. In this study, we attempted evaluate skin irritation potential lotions by modifying existing alternative test methods. To commercial in form an objective indicator, calculate...

Symbolic trajectory evaluation (STE) — a model checking technique based on partial orderrepresentations of state spaces — has been shown to be an effective model checking techniquefor large circuit models. However, the temporal logic that it supports is restricted, and as with allverification techniques has significant performance limitations. The demand for verifying largercirc...

Silver halides have unique features in solid state physics because their properties are considered to be of borderline nature between ionic and covalent bonding. In AgCl, the self-trapped hole (STH) is centered and partly trapped in the cationic sublattice, forming an Ag(2+) ion inside of a (AgCl(6))(4-) complex as a result of the Jahn-Teller distortion. The STH in AgCl can capture an electron ...

We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. We use Symbolic Trajectory based Evalaution (STE) for combinational equivalence checking. STE accurately captures transistor level behaviors. We use simulation based error diagnosis techniques and present a seamless in...