Kashif Munir

Learn More
BACKGROUND AND PURPOSE One former study reported higher prefrontal N-acetylaspartate (NAA) levels in patients with Asperger syndrome (AS). The objective of the current study was to test the hypothesis that patients with AS would have higher dorsolateral prefrontal and anterior cingulate cortex NAA/creatine (Cr) and that NAA/Cr would be correlated with(More)
We consider sustainable and deterministic QoS a key ingredient for providing virtualization and hence introduce an end-to-end Quality of Service mechanism for Grid bulk data transfers. Our mechanism enables per-flow guarantees and efficiently utilizes available resources without requiring any router support except for the provisioning of a single high class(More)
Epidemiological studies demonstrate robust correlations between green tea consumption and reduced risk of type 2 diabetes and its cardiovascular complications. However, underlying molecular, cellular, and physiological mechanisms remain incompletely understood. Health promoting actions of green tea are often attributed to epigallocatechin gallate (EGCG),(More)
Advance Reservation mechanisms in Grid systems should include the network just like any other resource; this is usually not only a technical, but also an administrative challenge. In this paper, we present a QoS mechanism for bulk data transfers which minimizes the necessary support from network service providers. By shifting the complexity of controlling(More)
This paper proposes an opportunistic, reliable and realistic QoS mechanism for bulk data transfers in Grids, which maximizes acceptance rate and network resource utilization by using an event based priority queue. The metrics that have been studied in the evaluation of elastic scheduling heuristics are the acceptance percentage and the mean flow time of(More)
With rates of obesity and diabetes rising across the world, effective therapies to treat hyperglycemia and its associated comorbidities continue to be in demand. Empagliflozin is a highly selective sodium glucose transporter-2 inhibitor that improves serum glucose levels by inducing glucosuria. Taken orally, it is rapidly absorbed with linear(More)
In this paper, we propose a bounded model-checking based approach for the verification of declarative Web services composition processes using satisfiability solving (SAT). The need for the bounded model-checking approach stems from the nature of declarative processes as they are defined by only specifying the constraints that mark the boundary of the(More)