Learn More
Rab11 is a small GTP-binding protein that in cultured mammalian cells has been shown to be concentrated in the pericentriolar endosomal recycling compartment and to play a key role in passage of the recycling transferrin receptor through that compartment [Ullrich, O., Reinsch, S., Urbé, S., Zerial, M. & Parton, R. G. (1996) J. Cell Biol. 135, 913-924]. To(More)
Time Petri nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A fundamental and most widely applied method for analyzing Petri nets is reachability analysis. The existing technique for reachability analysis of TPNs, however, is not suitable for timing property verification because one cannot derive end-to-end(More)
Pitch period is a key parameter in speech compression, synthesis and recognition. The AMDF is often used to determine this parameter. Due to the falling trend of the AMDF curve, however, it is easy to make the estimated pitch doubled or halved To correct these errors, the algoritlun has to increase its complexity. In this paper, we propose a new function,(More)
Stimulation of insulin secretion by the incretin hormones glucagon-like peptide 1 (GLP-1) and glucose-dependent insulinotropic peptide (GIP) has been found to be diminished in type 2 diabetes. We hypothesized that this impairment is due to a defect at the receptor level induced by the diabetic state, particularly hyperglycemia. Gene expression of incretin(More)
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart Message (SM) is a user-defined distributed program which executes on nodes of interest, named by their properties, and uses an explicit lightweight migration to reach these nodes.(More)
We have proposed that hyperglycemia-induced dedifferentiation of beta-cells is a critical factor for the loss of insulin secretory function in diabetes. Here we examined the effects of the duration of hyperglycemia on gene expression in islets of partially pancreatectomized (Px) rats. Islets were isolated, and mRNA was extracted from rats 4 and 14 weeks(More)
Sitagliptin, a selective dipeptidyl peptidase 4 inhibitor, inhibits the inactivation and degradation of glucagon like peptide 1 (GLP-1), which is used for the treatment of type 2 diabetes mellitus. However, little is known about the role of GLP-1 in hypertension. This study investigated whether the activation of GLP-1 signaling protects endothelial function(More)
Oxidative stress, which is found in pancreatic beta-cells in the diabetic state, suppresses insulin gene transcription and secretion, but the signaling pathways involved in the beta-cell dysfunction induced by oxidative stress remain unknown. In this study, subjecting rat islets to oxidative stress activates JNK, p38 MAPK, and protein kinase C, preceding(More)