We present the left inverse of Reynolds’s defunctionalization and we show its relevance to programming and to programming languages. We propose two methods to transform a program that is almost in defunctionalized form into one that is actually in defunctionalized form, and we illustrate them with a recognizer for Dyck words and with Dijkstra’s shunting-yard algorithm. Revised version of BRICS ...

Cecal ligation sepsis was studied in eight pentobarbital-anesthetized dogs with hemodynamic measurements at baseline, 2 days after cecal ligation, and following Ringer’s lactate resuscitation. Microsphere techniques were used to measure peripheral arteriovenous (A-V) shunting and distribution of cardiac output. Cecal ligation sepsis was manifested by pyrexia, leukocytosis, decreased blood press...

Interactions between excitatory and inhibitory synaptic inputs on dendrites determine the level of activity in neurons. Models based on the cable equation predict that silent shunting inhibition can strongly veto the effect of an excitatory input. The cable model assumes that ionic concentrations do not change during the electrical activity, which may not be a valid assumption, especially for s...

Thirty seven healthy infants (18 born at full term and 19 preterm) were studied serially with cross sectional and Doppler echocardiography to compare their postnatal circulatory adaptation. Pulmonary artery pressure was assessed by its inverse relationship with the ratio of pulmonary artery time to peak velocity and right ventricular ejection time measured from Doppler waveform. Patency of the ...