liver injury occurs with many drugs; therefore, a thorough work up is important for establishing the diagnosis. we report a case of trifluoperazine-induced cholestatic jaundice. a 44-year old male with schizoaffective disorder developed an increase in liver enzymes and jaundice after starting treatment with trifluoperazine. workup for other potential etiologies was negative.

1. The role of the sympathetic nervous system in the release of renin during head-up tilt has been studied in five normal subjects and in four tetraplegic patients with cervical spinal-cord transection above the sympathetic outflow. Blood pressure, heart rate and concentrations of plasma noradrenaline, plasma adrenaline and plasma renin activity were measured during head-up tilt to 45 degrees b...

During sleep, under anesthesia and in vitro, cortical neurons in sensory, motor, association and executive areas fluctuate between Up and Down states (UDS) characterized by distinct membrane potentials and spike rates [1, 2, 3, 4, 5]. Another phenomenon observed in preparations similar to those that exhibit UDS, such as anesthetized rats [6], brain slices and cultures devoid of sensory input [7...

The paper presents a practical veriication tool that helps in the development of provably correct compilers. The tool is based on the approach of proving termination of PROLOG-like programs using term-rewriting techniques and a technique of testing whether a given PROLOG program can be soundly executed on PROLOG interpreters without the Occur-check test. The tool has been built on top of the th...

Logic programs augmented with delay declarations form a higly expressive programming language in which dynamic networks of processes that communicate asynchronously by means of multiparty channels can be easily created. In this paper we study correctness these programs. In particular, we propose proof methods allowing us to deal with occur check freedom, absence of deadlock, absence of errors i...