Vaccination is one of the most successful immunology applications that has considerably improved human health. The DNA vaccine is a new vaccine being developed since the early 1990s. Although the DNA vaccine is promising, no human DNA vaccine has been approved to date. The main problem facing DNA vaccine efficacy is the lack of a DNA vaccine delivery system. Several studies explored this limita...

One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the results are usually checked by simulation. In consequence, both the behavioral specification and the HLS results have to be simulated by the same set of test vectors. Due to the HLS and the inherent changes in the cycle-b...

Citation: Kim B-J, Kim B-R, Kook Y-H and Kim B-J (2018) Development of a Live Recombinant BCG Expressing Human Immunodeficiency Virus Type 1 (HIV-1) Gag Using a pMyong2 Vector System: Potential Use As a Novel HIV-1 Vaccine. Front. Immunol. 9:643. doi: 10.3389/fimmu.2018.00643 Development of a live recombinant Bcg expressing human immunodeficiency Virus Type 1 (hiV-1) gag Using a pMyong2 Vector ...

The high-speed rail system provides a fast, reliable and comfortable means to transport large number of travelers over long distances. The existence of bird nests in overhead catenary system (OCS) can hazard to the safety of the high-speed rails, which will potentially result in long time delays and expensive damages. A vision-based intelligent inspection system capable of automatic detection o...