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)
The present study was undertaken to identify and characterize chicken melanoma differentiation-associated gene 5 (MDA5) from alternative translation initiation. The alternatively translated chicken MDA5 had an open reading frame of 3309 base pairs, shorter than the predicted chicken MDA5 sequence by 549 base pairs and longer than the recently published(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)
Although Escherichia coli does not have a natural transformation process, strains of E. coli can incorporate extracellular plasmids into cytoplasm 'naturally' at low frequencies. A standard method was developed in which stationary phase cells were concentrated, mixed with plasmids, and then plated on agar plates with nutrients which allowed cells to grow.(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)
Although Escherichia coil does not have a natural transformation process, strains of E. coil can incorporate extracellular plasmids into cytoplasm 'naturally' at low frequencies. A standard method was developed in which stationary phase cells were concentrated, mixed with plasmids, and then plated on agar plates with nutrients which allowed cells to grow.(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)