A model for determining an effective in vivo dose of transplanted islets based on in vitro insulin secretion