We present PolySing♯, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorphic session types, and we show that well-typed processes are free from faults, leaks, and communication errors. The type system is essentially line...

Objective- The aim of this study was to assess ultrasonography-derived caudal vena cava to aorta ratio (CVC/Ao) as a novel endpoint in the resuscitation of experimental hemorrhagic shock in dogs. Design- Experimental study. Animals- Ten adult mongrel healthy dogs. Procedures- After induction of anesthesia (con...

BACKGROUND There is common belief among some medical researchers that if a potential surrogate endpoint is highly correlated with a true endpoint, then a positive (or negative) difference in potential surrogate endpoints between randomization groups would imply a positive (or negative) difference in unobserved true endpoints between randomization groups. We investigate this belief when the pote...