Chih-Chun Lee

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)
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)
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)
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1; . . . ; gn}, i.e., f 1⁄4 hðg1; . . . ; gnÞ. 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(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)
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)
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)
In related work, most algorithms generate high dynamic range image by fusing several differently exposed images. In this paper, we propose an image fusion pipeline that generates a high dynamic range image by fusing longand short-exposure raw images. Some algorithms generating high dynamic range image with two exposure images may incur artifacts. Our method(More)