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)
The satisfiability (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, computeraided manufacturing, machine vision, database, robotics, integrated circuit design, computer architecture design, and computer network design.(More)
Human cytochrome P450 2A13 (CYP2A13), which is highly efficient in the metabolic activation of a major tobacco-specific carcinogen, 4-(methylnitrosamino)-1-(3-pyridyl)-1-butanone (NNK), may play important roles in xenobiotic toxicity and tobacco-related tumorigenesis in the respiratory tract. The aim of this study was to identify any genetic polymorphisms(More)
Recently more evidences support baicalein (Bai) is neuroprotective in models of ischemic stroke. This study was conducted to determine the molecular mechanisms involved in this effect. Either permanent or transient (2 h) middle cerebral artery occlusion (MCAO) was induced in rats in this study. Permanent MCAO led to larger infarct volumes in contrast to(More)
AIM To establish the methylation profile of the promoter CpG islands of 31 genes that might play etiological roles in colon carcinogenesis. METHODS The methylation specific PCR in conjunction of sequencing verification was used to establish the methylation-profile of the promoter CpG islands of 31 genes in colorectal cancer (n = 65), the neighboring(More)
This paper discusses quality-of-service (QoS) multicast 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)
Backtracking search is frequently applied to solve a constraint-based search prob!em, but it often suffers from exponential growth of computing time. We present an alternative to backtracking search: local search with conflict minimization. We have applied this general search framework to study a benchmark constraint-based search problem, the n-queens(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)