Learn More
In the automotive industry, the compilation and maintenance of correct product configuration data is a complex task. Our work shows how formal methods can be applied to the validation of such business critical data. Our consistency support tool BIS works on an existing data base of Boolean constraints expressing valid configurations and their transformation(More)
t he american society of Colon and Rectal surgeons is dedicated to ensuring high-quality patient care by advancing the science, prevention, and management of disorders and diseases of the colon, rectum, and anus. the Clinical Practice Guideline Committee is composed of society members who are chosen because they have demonstrated expertise in the specialty(More)
In this papel; a new methodology for design space exploration (DSE) and knowledge capture is presented. The methodology presents analog IPS as a hierarchy of devices and modules. The hierarchy is implemented using an analog language called CAIRO+. A mechanism, which is established between devices and modules, allows modules to question devices about their(More)
We demonstrate that HPV-16 E7 forms a complex with Miz-1. UV-induced expression of the CDK-inhibitor p21(Cip1) and subsequent cell cycle arrest depends upon endogenous Miz-1 in HPV-negative C33A cervical cancer cells containing mutated p53. Transient expression of E7 in C33A inhibits UV-induced expression of p21(Cip1) and overcomes Miz-1-induced G1-phase(More)
THz CMOS imagers integrated with hyperhemispherical Si-lenses are presented and characterized. FPAs are implemented in 65nm CMOS bulk and SOI technologies. Lens-integrated detectors at 0.65 THz show an increase of 15dB and 20dB in SNR compared to front-side illumination for SOI and bulk respectively. The responsivities R<inf>v</inf> are increased and a(More)
T he American Society of Colon and Rectal Surgeons is dedicated to ensuring high-quality patient care by advancing the science, prevention, and management of disorders and diseases of the colon, rectum, and anus. The Standards Committee is composed of Society members who are chosen because they have demonstrated expertise in the specialty of colon and(More)