Learn More
Functional dependency is concerned with rewriting a Boolean function <i>f</i> as a function <i>h</i> over a set of base functions {<i>g</i><sub>1</sub>, ..., <i>g<sub>n</sub></i>}, i.e. <i>f</i> = <i>h(g</i><sub>1</sub>, ..., <i>g<sub>n</sub></i>). It plays an important role in many aspects of electronic design automation (EDA), ranging from logic synthesis(More)
Task consolidation is a way of maximizing cloud computing resource, which brings many benefits such as better use of resources, rationalization of maintenance, IT service customization, QoS and reliable services, etc. However, maximizing resource utilization does not mean efficient energy usage. Many literature show that energy consumption and resource(More)
—Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions It plays an important role in many aspects of electronic design automation (EDA). Prior approaches to the exploration of functional dependency are based on binary decision diagrams (BDDs), which may not be easily scalable to large designs.(More)
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in this paper, including: (1) a generic watching scheme on general gate types for efficient Boolean Constraint Propagation (BCP), (2) an implicit implication graph representation for(More)
Infectious bursal disease virus (IBDV) infection destroys the bursa of Fabricius, causing immunosuppression and rendering chickens susceptible to secondary bacterial or viral infections. IBDV large-segment-protein-expressing DNA has been shown to confer complete protection of chickens from infectious bursal disease (IBD). The purpose of the present study(More)
The objective of the present study was to determine if chicken melanoma differentiation-associated gene 5 (MDA5) senses infectious bursal disease virus (IBDV) infection to initiate and amplify an innate immune response in the chicken MDA5 (chMDA5) signaling pathway. Chicken embryo fibroblast DF-1 cells were infected with IBDV LP1 at a multiplicity of(More)
Peroxisome proliferator-activated receptor γ (PPARγ) is a ligand-activated nuclear receptor that regulates cellular lipid and glucose metabolism and also plays an inhibitory role in various cancers. However, the role of PPARγ in hepatocellular carcinoma (HCC) remains controversial. This study aimed to investigate the prognostic value of PPARγ in HCC and its(More)
The objective of the present study was to determine if chicken melanoma-differentiation-associated gene 5 (MDA5) senses infectious bursal disease virus infection to induce innate immunity that bridges to adaptive immunity. During IBDV infection in HD11 cells, IBDV titers and RNA loads increased up to 3.4 × 107 plaque-forming units (PFU)/mL and 1114 ng/µL,(More)
  • 1