ion for pointer information Eric Bodden , Patrick Lam 2 and Laurie Hendren 1 1 School of Computer Science, McGill University 2 Department of Electrical and Computer Engineering, University of Waterloo [email protected], [email protected], [email protected]

This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two de nitions of processes given by Best and Devillers. Their notions of process correspond to equivalence relations on linear logic proofs. It is noted that the cut reduced proofs form a process under the ner of these de...

Prescription drugs comprise approximately 9% of the total cost of health care in the United States. The manner in which doctors obtain information about new and changing pharmaceuticals obviously has the potential to have a profound impact on health care costs, pharmaceutical companies' profits, and the quality of health care. Patterns learned in medical school undoubtedly influence physicians'...

INTRODUCTION The pharmaceutical industry in the United States spends about $15 billion per year advertising its products to the medical profession [1]. Pharmaceutical detailing, which is using sales representatives to call on physicians to promote products, accounts for about 45 percent of this spending [2]. In order to help sales representatives track sales leads, sales, service requests, and ...