Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Kwon, Hyung-Joon"'
Autor:
Choi, Woo Seon1 (AUTHOR), Kwon, Hyung‐Joon1 (AUTHOR), Yi, Eunbi1 (AUTHOR), Lee, Haeun1 (AUTHOR), Kim, Jung Min1 (AUTHOR), Park, Hyo Jin1 (AUTHOR), Choi, Eun Ji2 (AUTHOR), Choi, Myoung Eun2 (AUTHOR), Sung, Young Hoon3 (AUTHOR), Won, Chong Hyun2 (AUTHOR), Sung, Chang Ohk4 (AUTHOR) co.sung@amc.seoul.kr, Kim, Hun Sik1 (AUTHOR) hunkim@amc.seoul.kr
Publikováno v:
Advanced Science. 8/7/2024, Vol. 11 Issue 29, p1-23. 23p.
Autor:
Kwon, Keehang, Kwon, Hyung Joon
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 lead
Externí odkaz:
http://arxiv.org/abs/2201.12572
Autor:
Kim, Kyung-Hee, Migliozzi, Simona, Koo, Harim, Hong, Jun-Hee, Park, Seung Min, Kim, Sooheon, Kwon, Hyung Joon, Ha, Seokjun, Garofano, Luciano, Oh, Young Taek, D'Angelo, Fulvio, Kim, Chan Il, Kim, Seongsoo, Lee, Ji Yoon, Kim, Jiwon, Hong, Jisoo, Jang, Eun-Hae, Mathon, Bertrand, Di Stefano, Anna-Luisa, Bielle, Franck, Laurenge, Alice, Nesvizhskii, Alexey I., Hur, Eun-Mi, Yin, Jinlong, Shi, Bingyang, Kim, Youngwook, Moon, Kyung-Sub, Kwon, Jeong Taik, Lee, Shin Heon, Lee, Seung Hoon, Gwak, Ho Shin, Lasorella, Anna, Yoo, Heon, Sanson, Marc, Sa, Jason K., Park, Chul-Kee, Nam, Do-Hyun, Iavarone, Antonio, Park, Jong Bae
Publikováno v:
In Cancer Cell 11 March 2024 42(3):358-377
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
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., Xie, Hang
Publikováno v:
In iScience 22 December 2022 25(12)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kim, Chan Il, Kim, Sooheon, Park, Seong‐Min, Kim, Sung Soo, Kwon, Hyung Joon, Lin, Weiwei, Park, Saewhan, Ha, Seokjun, Ha, Kyung Hee, Park, Sanha, Park, Seung Min, Kim, Tae Hoon, Kim, Kyung‐Hee, Kim, Yun‐Hee, Kim, Jong Heon, Park, Jong Bae
Publikováno v:
Advanced Therapeutics; Feb2024, Vol. 7 Issue 2, p1-11, 11p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.