Gabriel P. Bischoff

Learn More
Information on the regulation of steroid hormone receptors and their distinct functions within the human endometrial epithelium is largely unavailable. We have immortalized human primary endometrial epithelial cells (EECs) isolated from a normal proliferative phase endometrium by stably transfecting the catalytic subunit (hTERT) of the human telomerase(More)
OBJECTIVES To determine the effectiveness of a structured multidisciplinary non-surgical obesity therapy program on the basis of a temporary low-calorie-diet for 12 weeks, and additional intervention modules to enhance nutritional education, to increase physical activity and to modify eating behavior. DESIGN Prospective multicenter observational study in(More)
In this paper, we propose a methodology to make Binary Decision Diagrams (BDDs) and Boolean Satisfiability (SAT) Solvers cooperate. The underlying idea is simple: We start a verification task with BDDs, we go on with them as long as the problem remains of manageable size, then we switch to SAT, without losing the work done on the BDD domain. We propose(More)
A 1.75 MByte L2 cache has been designed and fabricated as part of the Alpha 21364 microprocessor[1] (Figure 1), in a .18m bulk CMOS process. The cache was designed to run at 1.2 GHz, and pass-1 samples confirm this. While Alpha CPUs are known primarily for high speed, the combination of package constraints and a tight schedule forced careful attention to(More)
  • 1