Chun-Ju Yang

Learn More
Functional rectification in late design stages has been a crucial process in modern complex system design. This paper proposes a robust functional ECO engine, which applies SAT proof minimization and interpolation techniques to automate patch construction to make old implementation and golden specification functionally equivalent. The SAT proof minimization(More)
Peak-to-average power ratio (PAPR) reduction methods for orthogonal frequency division multiplexing (OFDM) systems commonly use four times oversampling for the discrete-time OFDM signal to approximate the peak of the continuous-time OFDM signal. However, the four times oversampling process increases the computational complexity. In this paper, we propose a(More)
BACKGROUNDS MicroRNAs are small noncoding RNAs involved in posttranscriptional gene regulation, which play an important role in both physiological functioning and pathological progression. The miR-221/miR-222 microRNA family has been shown to be related to the neoplastic process in a number of different types of cancers; nevertheless, its function in oral(More)
Hepcidin is one of the regulators of iron metabolism. The expression of hepcidin is induced in spleens and livers of mice infected with pathogenic bacteria. Recent studies have indicated that serum hepcidin level is also increased in human subjects infected with Plasmodium falciparum. The mechanism of the regulation of hepcidin expression and its role in(More)
This study estimated the risk of developing psychotic disorders by comparing children with ADHD to non-ADHD controls, and to examine whether methylphenidate (MPH) treatment influences the risks of psychotic disorders. A nationwide cohort of patients who were newly diagnosed with ADHD (n=73,049) and age- and gender-matched controls (n=73,049) were selected(More)
Constrained random simulation is becoming the mainstream methodology in functional verification. In order to achieve the verification closure, a high-throughput and evenly-distributed constrained random pattern generator has become a must. In this paper, we propose a novel Range-Splitting heuristic and a Solution-Density Estimation technique (RSSDE) to(More)
OBJECTIVE The purpose of this study is to determine the risk of developing depressive disorders by evaluating children with attention-deficit/hyperactivity disorder (ADHD) in comparison to controls that do not have ADHD, as well as to analyze whether the medications used to treat ADHD, methylphenidate (MPH) and atomoxetine (ATX), influence the risk of(More)
A method for the dense integration of high sensitivity photonic crystal (PC) waveguide based biosensors is proposed and experimentally demonstrated on a silicon platform. By connecting an additional PC waveguide filter to a PC microcavity sensor in series, a transmission passband is created, containing the resonances of the PC microcavity for sensing(More)