Muhammad Taimoor Khan

Learn More
Impaired pre-synaptic noradrenaline uptake-1 mechanism has been reported in a swine model of hibernating myocardium (HM). To ascertain whether adrenergic neuroeffector abnormalities are present in human HM, we combined functional measurements in vivo using cardiovascular magnetic resonance (CMR) and positron emission tomography (PET) to assess pre- and(More)
OBJECTIVES This study's aim was to examine whether treatment with pioglitazone, added to conventional lipid-lowering therapy, would improve myocardial glucose utilization (MGU) and blood flow (MBF) in nondiabetic patients with familial combined hyperlipidemia (FCHL). BACKGROUND Thiazolidinediones were found to improve insulin sensitivity and MGU in type 2(More)
AIMS Whole body and myocardial insulin resistance are features of non-insulin-dependent diabetes mellitus (NIDDM) and left-ventricular dysfunction (LVD). We determined whether abnormalities of insulin receptor substrate-1 (IRS1), IRS1-associated PI3K (IRS1-PI3K), and glucose transporter 4 (GLUT4) contribute to tissue-specific insulin resistance. METHODS(More)
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics and technical details of the middleware but also opens an opportunity to extend the middleware to support other complex(More)
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs. The main goal of our work is to find behavioral errors in such programs w.r.t. their specifications by static analysis. This task is more complex for widely used computer(More)
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT [6]. Since, the (provable) behavioral correctness of a software system is a fundamental pre-requisite of the system’s security. Therefore, the goal of the work is to first formalize the behavioral semantics of the middleware as a(More)
In this paper, we give a definition of the formal (denotational) semantics of MiniMaple (a substantial subset of a widely used computer algebra system Maple with slight modifications) and its specification language. Defining the formal semantics of MiniMaple and its specification language is rather a challenging task as these support non-standard types of(More)
Determining the language-dominant hemisphere is essential for planning epilepsy surgery. A 60-year-old right-handed woman with epilepsy since age 16 failed a partial right anterior lobectomy at age 21. Later, a brain MRI found extensive right-sided cortical dysplasia and periventricular heterotopia. Subsequently, prolonged video-EEG monitoring localized her(More)