User profiles for INSU P. LEE
 | Insup LeeProfessor, Computer and Information Science, University of Pennsylvania Verified email at cis.upenn.edu Cited by 24946 |
A Major Constituent of Green Tea, EGCG, Inhibits the Growth of a Human Cervical Cancer Cell Line, CaSki Cells, through Apoptosis, G1 Arrest, and Regulation of …
WS Ahn, SW Huh, SM Bae, IP Lee, JM Lee… - DNA and cell …, 2003 - liebertpub.com
A constituent of green tea, (-)-epigallocatechin-3-gallate (EGCG) has been known to possess
antiproliferative properties. In this study, we investigated the anticancer effects of EGCG in …
antiproliferative properties. In this study, we investigated the anticancer effects of EGCG in …
Cyber-physical systems: the next computing revolution
Cyber-physical systems (CPS) are physical and engineered systems whose operations are
monitored, coordinated, controlled and integrated by a computing and communication core. …
monitored, coordinated, controlled and integrated by a computing and communication core. …
Periodic resource model for compositional real-time guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy
of schedulers. We first propose a resource model to characterize a periodic resource …
of schedulers. We first propose a resource model to characterize a periodic resource …
Anticancer effects of (−)-epigallocatechin-3-gallate on ovarian carcinoma cell lines
…, SM Bae, YW Kim, JM Lee, SE Namkoong, IP Lee… - Gynecologic …, 2004 - Elsevier
Purpose: A constituent of green tea, (−)-epigallocatechin-3-gallate (EGCG), has been known
to possess anti-cancer properties. In this study, we investigated the time-course anticancer …
to possess anti-cancer properties. In this study, we investigated the time-course anticancer …
[HTML][HTML] Stacked LSTM based deep recurrent neural network with kalman smoothing for blood glucose prediction
Background Blood glucose (BG) management is crucial for type-1 diabetes patients resulting
in the necessity of reliable artificial pancreas or insulin infusion systems. In recent years, …
in the necessity of reliable artificial pancreas or insulin infusion systems. In recent years, …
Patient infusion pattern based access control schemes for wireless insulin pump system
… Insup Lee received the PhD in computer science from the University of Wisconsin, Madison,
WI. He is currently the Cecilia Fitler Moore Professor of Computer and Information Science …
WI. He is currently the Cecilia Fitler Moore Professor of Computer and Information Science …
Data flow testing as model checking
This paper presents a model checking-based approach to dataflow testing. We characterize
dataflow oriented coverage criteria in temporal logic such that the problem of test generation …
dataflow oriented coverage criteria in temporal logic such that the problem of test generation …
Automated insulin delivery for hypoglycemia avoidance and glucose counterregulation in long-standing type 1 diabetes with hypoglycemia unawareness
Objective: Automated insulin delivery (AID) may benefit individuals with long-standing type
1 diabetes where frequent exposure to hypoglycemia impairs counterregulatory responses. …
1 diabetes where frequent exposure to hypoglycemia impairs counterregulatory responses. …
Reasoning about confidence and uncertainty in assurance cases: A survey
Assurance cases are structured logical arguments supported by evidence that explain how
systems, possibly software systems, satisfy desirable properties for safety, security or …
systems, possibly software systems, satisfy desirable properties for safety, security or …
Calibrated prediction with covariate shift via unsupervised domain adaptation
… Intuitively, this reweighting upweights samples from p that are rare according to p but common
according … Lee. PAC confidence sets for deep neural networks via calibrated prediction. In …
according … Lee. PAC confidence sets for deep neural networks via calibrated prediction. In …