Emmanuel Rodriguez

Learn More
Cocaine is a potent sympathomimetic agent associated with the development of possible fatal cardiovascular complications. Dysrhythmias, acute myocardial infarction, hypertension and dilated cardiomyopathy are just some of many cardiovascular effects related to the abuse of cocaine. A 38-year-old Hispanic male with a past medical history of hypertension(More)
INTRODUCTION Idiopathic cluster of differentiation 4 (CD4+) T-cell lymphocytopenia (ICL) is a rare non human immunodeficiency virus (HIV)-related syndrome with unclear natural history and prognosis that was first reported and defined in 1992. ICL has been observed in patients after the onset of an opportunistic infection without known immunosuppression. (More)
PATIENT Female, 66 FINAL DIAGNOSIS: Chorea • hyperglycemia • Basal Ganglia Syndrome (C-H-BG) Symptoms: Hemibalism • hemichorea MEDICATION - Clinical Procedure: - Specialty: Endocrinology and Metabolic. OBJECTIVE Challenging differential diagnosis. BACKGROUND Hemichorea-hemiballism (HCHB) is a spectrum of involuntary, continuous non-patterned movement(More)
PATIENT Male, 22 FINAL DIAGNOSIS: Cardiomyopathy Symptoms: Shortness of breath • dispnoea • chest discomfort MEDICATION - Clinical Procedure: Echocardiogram • cardiac MRI Specialty: Cardiology. OBJECTIVE Challenging differential diagnosis. BACKGROUND Non-compaction cardiomyopathy (NCM) is a rare congenital cardiomyopathy characterized by increased(More)
This paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false counterexamples are produced at the end of verification on(More)
— Efficacy of partial order reduction in reducing state space relies on adequate extraction of the independence relation among possible behaviors. However, traditional approaches by statically analyzing system model structures are often not able to reveal enough independence for reduction. To address such a problem, this paper presents a behavioral analysis(More)
— Partial order reduction is essential to address state explosion when verifying concurrent systems by reducing states irrelevant to the verification results. However, traditional static approaches by analyzing system model structures often do not work well. To address such problem, this paper presents a new behavioral analysis approach where a(More)
  • 1