Learn More
In this paper, a corner block list -- a new efficient topological representation for non-slicing floorplan is proposed with applications to VLSI floorplan and building block placement. Given a corner block list, it takes only linear time to construct the floorplan. Unlike the O-tree structure, which determines the exact floorplan based on given block sizes,(More)
A mouse model with liver-specific deletion of the NADPH-cytochrome P450 reductase (Cpr) gene (designated Alb-Cre/Cprlox mice) was generated and characterized in this study. Hepatic microsomal CPR expression was significantly reduced at 3 weeks and was barely detectable at 2 months of age in the Alb-Cre+/-/Cprlox+/+ (homozygous) mice, with corresponding(More)
The satissability (SAT) problem is a core problem in mathematical logic and computing theory. In practice, SAT is fundamental in solving many problems in automated reasoning, computer-aided design, computer-aided manufacturing, machine vision, database, robotics, integrated circuit design, computer architecture design, and computer network design.(More)
Paeoniflorin (PF), the principal component of Paeoniae Radix prescribed in traditional Chinese medicine, has been reported to exhibit many pharmacological effects including protection against ischemic injury. However, the mechanisms underlying the protective effects of PF on cerebral ischemia are still under investigation. The present study showed that PF(More)
A Gram-negative, motile, non-spore-forming and moderately halophilic ellipsoid-shaped marine coccobacillus, designated strain SS011B1-4(T), was isolated from benthic sediment of the South China Sea. Optimum growth occurred at 30-37 degrees C, pH 7.5-8.0 and 4-8 % (w/v) NaCl. Strain SS011B1-4(T) utilized a variety of organic substrates as sole carbon(More)
We tested the general applicability of in situ proteolysis to form protein crystals suitable for structure determination by adding a protease (chymotrypsin or trypsin) digestion step to crystallization trials of 55 bacterial and 14 human proteins that had proven recalcitrant to our best efforts at crystallization or structure determination. This is a work(More)
—This paper discusses quality-of-service (QoS) mul-ticast in wavelength-division multiplexing (WDM) networks. Given a set of QoS multicast requests, we are to find a set of cost suboptimal QoS routing trees and assign wavelengths to them. The objective is to minimize the number of wavelengths in the system. This is a challenging issue. It involves not only(More)