Muhammad Taimoor Khan

Learn 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)
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)
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 initial results on the behavioral analysis of computer algebra programs. Computer algebra programs written in symbolic computation languages such as Maple and Mathematica sometimes do not behave as expected [5], e.g. by triggering runtime errors or delivering wrong results. There has been a lot of research on applying formal techniques to(More)
In this paper, we give the complete definition of a formal (denota-tional) semantics of a subset of the language of the computer algebra systems Maple which we call MiniMaple. As a next step we will develop a verification calculus for this language. The verification conditions generated by the calculus must be sound with respect to the formal semantics.
This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define a verification framework for MiniMaple. Formal specification of MiniMaple programs is rather complex(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 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)