Search

Your search keyword '"Kwon, Hyung-Joon"' showing total 35 results
Start Over Author "Kwon, Hyung-Joon" Search Limiters Full Text
35 results on '"Kwon, Hyung-Joon"'

1. Logical Pseudocode: Connecting Algorithms with Proofs

Author

Kwon, Keehang and Kwon, Hyung Joon

Subjects
Computer Science - Logic in Computer Science
Abstract

Proofs (sequent calculus, natural deduction) and imperative algorithms (pseudocodes) are two well-known coexisting concepts. Then what is their relationship? Our answer is that \[ imperative\ algorithms\ =\ proofs\ with\ cuts \] This observation leads to a generalization to pseudocodes which we call {\it logical pseudocodes}. It is similar to natural deduction proof of computability logic\cite{Jap03,Jap08}. Each statement in it corresponds to a proof step in natural deduction. Therefore, the merit over pseudocode is that each statement is guaranteed to be correct and safe with respect to the initial specifications. It can also be seen as an extension to computability logic web (\colw) with forward reasoning capability., Comment: 4 pages. Induction is missing in version 1 but added in version 2. arXiv admin note: text overlap with arXiv:2108.10728

Published
2022

5. Enhanced virulence and waning vaccine-elicited antibodies account for breakthrough infections caused by SARS-CoV-2 delta and beyond

Author

Kwon, Hyung-Joon, Kosikova, Martina, Tang, Weichun, Ortega-Rodriguez, Uriel, Radvak, Peter, Xiang, Ruoxuan, Mercer, Kelly E., Muskhelishvili, Levan, Davis, Kelly, Ward, Jerrold M., Kosik, Ivan, Holly, Jaroslav, Kang, Insung, Yewdell, Jonathan W., Plant, Ewan P., Chen, Wilbur H., Shriver, Mallory C., Barnes, Robin S., Pasetti, Marcela F., Zhou, Bin, Wentworth, David E., and Xie, Hang

Published
2022
Full Text
View/download PDF

6. HPK1 Dysregulation‐Associated NK Cell Dysfunction and Defective Expansion Promotes Metastatic Melanoma Progression.

Author

Choi, Woo Seon, Kwon, Hyung‐Joon, Yi, Eunbi, Lee, Haeun, Kim, Jung Min, Park, Hyo Jin, Choi, Eun Ji, Choi, Myoung Eun, Sung, Young Hoon, Won, Chong Hyun, Sung, Chang Ohk, and Kim, Hun Sik

Subjects
*KILLER cells, *IMMUNE checkpoint proteins, *CYTOTOXINS, *TUMOR growth, *IMMUNE response
Abstract

Distant metastasis, the leading cause of cancer death, is efficiently kept in check by immune surveillance. Studies have uncovered peripheral natural killer (NK) cells as key antimetastatic effectors and their dysregulation during metastasis. However, the molecular mechanism governing NK cell dysfunction links to metastasis remains elusive. Herein, MAP4K1 encoding HPK1 is aberrantly overexpressed in dysfunctional NK cells in the periphery and the metastatic site. Conditional HPK1 overexpression in NK cells suffices to exacerbate melanoma lung metastasis but not primary tumor growth. Conversely, MAP4K1‐deficient mice are resistant to metastasis and further protected by combined immune‐checkpoint inhibitors. Mechanistically, HPK1 restrains NK cell cytotoxicity and expansion via activating receptors. Likewise, HPK1 limits human NK cell activation and associates with melanoma NK cell dysfunction couples to TGF‐β1 and patient response to immune checkpoint therapy. Thus, HPK1 is an intracellular checkpoint controlling NK‐target cell responses, which is dysregulated and hijacked by tumors during metastatic progression. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

7. Monoclonal Antibodies as SARS-CoV-2 Serology Standards: Experimental Validation and Broader Implications for Correlates of Protection

Author

Wang, Lili, primary, Patrone, Paul N., additional, Kearsley, Anthony J., additional, Izac, Jerilyn R., additional, Gaigalas, Adolfas K., additional, Prostko, John C., additional, Kwon, Hyung Joon, additional, Tang, Weichun, additional, Kosikova, Martina, additional, Xie, Hang, additional, Tian, Linhua, additional, Elsheikh, Elzafir B., additional, Kwee, Edward J., additional, Kemp, Troy, additional, Jochum, Simon, additional, Thornburg, Natalie, additional, McDonald, L. Clifford, additional, Gundlapalli, Adi V., additional, and Lin-Gibson, Sheng, additional

Published
2023
Full Text
View/download PDF

10. CAMEL NANOBODIES NEUTRALIZE SARS-COV-2 VARIANTS

Author

Hong, Jessica, primary, Kwon, Hyung Joon, additional, Cachau, Raul, additional, Butay, Kevin John, additional, Duan, Zhijian, additional, Li, Dan, additional, Ren, Hua, additional, Hsieh, Chao-Ming, additional, Dandey, Venkata P, additional, Borgnia, Mario J, additional, Xie, Hang, additional, and Ho, Mitchell, additional

Published
2023
Full Text
View/download PDF

14. Dromedary camel nanobodies broadly neutralize SARS-CoV-2 variants

Author

Hong, Jessica, primary, Kwon, Hyung Joon, additional, Cachau, Raul, additional, Chen, Catherine Z., additional, Butay, Kevin John, additional, Duan, Zhijian, additional, Li, Dan, additional, Ren, Hua, additional, Liang, Tianyuzhou, additional, Zhu, Jianghai, additional, Dandey, Venkata P., additional, Martin, Negin P., additional, Esposito, Dominic, additional, Ortega-Rodriguez, Uriel, additional, Xu, Miao, additional, Borgnia, Mario J., additional, Xie, Hang, additional, and Ho, Mitchell, additional

Published
2022
Full Text
View/download PDF

19. Modulation of Nogo receptor 1 expression orchestrates myelin-associated infiltration of glioblastoma

Author

Hong, Jun-Hee, primary, Kang, Sangjo, additional, Sa, Jason K, additional, Park, Gunwoo, additional, Oh, Young Taek, additional, Kim, Tae Hoon, additional, Yin, Jinlong, additional, Kim, Sung Soo, additional, D’Angelo, Fulvio, additional, Koo, Harim, additional, You, Yeonhee, additional, Park, Saewhan, additional, Kwon, Hyung Joon, additional, Kim, Chan Il, additional, Ryu, Haseo, additional, Lin, Weiwei, additional, Park, Eun Jung, additional, Kim, Youn-Jae, additional, Park, Myung-Jin, additional, Kim, Hyunggee, additional, Kim, Mi-Suk, additional, Chung, Seok, additional, Park, Chul-Kee, additional, Park, Sung-Hye, additional, Kang, Yun Hee, additional, Kim, Jong Heon, additional, Saya, Hideyuki, additional, Nakano, Ichiro, additional, Gwak, Ho-Shin, additional, Yoo, Heon, additional, Lee, Jeongwu, additional, Hur, Eun-Mi, additional, Shi, Bingyang, additional, Nam, Do-Hyun, additional, Iavarone, Antonio, additional, Lee, Seung-Hoon, additional, and Park, Jong Bae, additional

Published
2021
Full Text
View/download PDF

20. Endogenous DEL-1 restrains melanoma lung metastasis by limiting myeloid cell–associated lung inflammation

Author

Hyun, Young-Min, primary, Seo, Sang-Uk, additional, Choi, Woo Seon, additional, Kwon, Hyung-Joon, additional, Kim, Dong-Young, additional, Jeong, Soi, additional, Kang, Gyeong-Yi, additional, Yi, Eunbi, additional, Kim, Minjung, additional, Ryu, Hyun Jin, additional, Looney, Mark R., additional, Choi, Eun Young, additional, and Kim, Hun Sik, additional

Published
2020
Full Text
View/download PDF

21. ARS2/MAGL signaling in glioblastoma stem cells promotes self-renewal and M2-like polarization of tumor-associated macrophages

Author

Yin, Jinlong, primary, Kim, Sung Soo, additional, Choi, Eunji, additional, Oh, Young Taek, additional, Lin, Weiwei, additional, Kim, Tae-Hoon, additional, Sa, Jason K., additional, Hong, Jun Hee, additional, Park, Se Hwan, additional, Kwon, Hyung Joon, additional, Jin, Xiong, additional, You, Yeonhee, additional, Kim, Ji Hye, additional, Kim, Hyunggee, additional, Son, Jaekyoung, additional, Lee, Jeongwu, additional, Nam, Do-Hyun, additional, Choi, Kui Son, additional, Shi, Bingyang, additional, Gwak, Ho-Shin, additional, Yoo, Heon, additional, Iavarone, Antonio, additional, Kim, Jong Heon, additional, and Park, Jong Bae, additional

Published
2020
Full Text
View/download PDF

22. A new division algorithm based on lookahead of partial-remainder (LAPR) for high-speed/low-power coding applications

Author

Kwon, Hyung-Joon and Lee, Kwyro

Subjects
Algorithms -- Research, Approximation theory -- Research, Coding theory -- Research, Business, Computers and office automation industries, Electronics, Electronics and electrical industries
Abstract

A new polynomial division algorithm in finite field GF([2.sup.m]) based on the lookahead of partial-remainder (LAPR) is proposed. Since our algorithm is based on partial division on group basis and lookahead technique exploiting the linearity in finite field arithmetic, it is possible to completely eliminate polynomial multiplications leading to highly increased throughput per unit time. The inherent regularity and feedforward nature of our algorithm make it possible to be fully pipelined. When pipelined, its throughput is one quotient and one remainder per clock cycle, regardless of the degree of dividend polynomial, which is orders of magnitude faster than the conventional architecture using linear feedback shift register. An area-efficient sequential architecture based on LAPR is also presented. Although the throughput rate of sequential architecture is lower than that of the pipelined one, it is still higher than that of any division architecture ever reported. Those will be shown to be efficient, regular, and easily expandable, and hence, naturally suitable for very large scale integration implementation. In systems requiring modest speed, the high-speed nature of our proposed architecture can be traded for low-power consumption by reducing clock rate. We verified the general validity of the division algorithm based on LAPR by mathematical manipulation and simulation. The superiority of our proposed architecture compared with other reported ones is demonstrated with regard to its throughput, latency delays, and power. Index Terms - Author, please supply index terms. E-mail keywords@ieee.org for info.

Published
1999

26. Transglutaminase 2 Inhibition Reverses Mesenchymal Transdifferentiation of Glioma Stem Cells by Regulating C/EBPβ Signaling

Author

Yin, Jinlong, primary, Oh, Young Taek, additional, Kim, Jeong-Yub, additional, Kim, Sung Soo, additional, Choi, Eunji, additional, Kim, Tae Hoon, additional, Hong, Jun Hee, additional, Chang, Nakho, additional, Cho, Hee Jin, additional, Sa, Jason K., additional, Kim, Jeong Cheol, additional, Kwon, Hyung Joon, additional, Park, Saewhan, additional, Lin, Weiwei, additional, Nakano, Ichiro, additional, Gwak, Ho-Shin, additional, Yoo, Heon, additional, Lee, Seung-Hoon, additional, Lee, Jeongwu, additional, Kim, Jong Heon, additional, Kim, Soo-Youl, additional, Nam, Do-Hyun, additional, Park, Myung-Jin, additional, and Park, Jong Bae, additional

Published
2017
Full Text
View/download PDF

35. Suppression of Glioblastoma Stem Cell Potency and Tumor Growth via LRRK2 Inhibition.

Author

Park S, Kim KH, Bae YH, Oh YT, Shin H, Kwon HJ, Kim CI, Kim SS, Choi HG, Park JB, and Lee BD

Abstract

Leucine-rich repeat kinase 2 (LRRK2), a large GTP-regulated serine/threonine kinase, is well-known for its mutations causing late-onset Parkinson's disease. However, the role of LRRK2 in glioblastoma (GBM) carcinogenesis has not yet been fully elucidated. Here, we discovered that LRRK2 was overexpressed in 40% of GBM patients, according to tissue microarray analysis, and high LRRK2 expression correlated with poor prognosis in GBM patients. LRRK2 and stemness factors were highly expressed in various patient-derived GBM stem cells, which are responsible for GBM initiation. Canonical serum-induced differentiation decreased the expression of both LRRK2 and stemness factors. Given that LRRK2 is a key regulator of glioma stem cell (GSC) stemness, we developed DNK72, a novel LRRK2 kinase inhibitor that penetrates the blood-brain barrier. DNK72 binds to the phosphorylation sites of active LRRK2 and dramatically reduced cell proliferation and stemness factors expression in in vitro studies. Orthotopic patient-derived xenograft mouse models demonstrated that LRRK2 inhibition with DNK72 effectively reduced tumor growth and increased survival time. We propose that LRRK2 plays a significant role in regulating the stemness of GSCs and that suppression of LRRK2 kinase activity leads to reduced GBM malignancy and proliferation. In the near future, targeting LRRK2 in patients with high LRRK2-expressing GBM could offer a superior therapeutic strategy and potentially replace current clinical treatment methods.

Published
2024
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results