Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Kwon, Hyung-Joon"'
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:
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:
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
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.
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.
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