Automatic Construction of Hoare Proofs from Abstract Interpretation Results by Seo, S, Yang, H, Yi, K

Static Insertion of Safe and Effective Memory Reuse Commands into ML−like Programs by Lee, O, Yang, H, Yi, K

Automatic Verification of Pointer Programs Using Grammar−Based Shape Analysis by Lee, O, Yang, H, Yi, K

Goal−directed Weakening of Abstract Interpretation Results by Seo, S, Yang, H, Yi, K, Han, T

Inserting Safe Memory Reuse Commands into ML−like Programs by Lee, O, Yang, H, Yi, K

Learning a strategy for adapting a program analysis via Bayesian optimisation by Oh, H, Yang, H, Yi, K

A basic helix-loop-helix transcription factor controls cell growth and size in root hairs. by Yi, K, Menand, B, Bell, E, Dolan, L

A basic helix-loop-helix transcription factor controls cell growth and size in root hairs by Yi, K, Menand, B, Bell, E, Dolan, L

RSL genes are sufficient for rhizoid system development in early diverging land plants. by Jang, G, Yi, K, Pires, N, Menand, B, Dolan, L

Selective context-sensitivity guided by impact pre-analysis by Oh, H, Lee, W, Heo, K, Yang, H, Yi, K

Selective X-sensitive analysis guided by impact pre-analysis by Yang, H, Oh, H, Lee, W, Heo, K, Yi, K

Recruitment and remodeling of an ancient gene regulatory network during land plant evolution. by Pires, N, Yi, K, Breuninger, H, Catarino, B, Menand, B, Dolan, L

Silencing AREG Enhances Sensitivity to Irradiation by Suppressing the PI3K/AKT Signaling Pathway in Colorectal Cancer Cells by Zhang W, Zhang W, Tang C, Hu Y, Yi K, Xu X, Chen Z

Get full text

An ancient mechanism controls the development of cells with a rooting function in land plants. by Menand, B, Yi, K, Jouannic, S, Hoffmann, L, Ryan, E, Linstead, P, Schaefer, D, Dolan, L

Interventions for prevention and treatment of trastuzumab-induced cardiotoxicity: an umbrella review of systematic reviews and meta-analyses by Wang, Y, Xu, J, Xie, Y, Zhou, D, Guo, M, Qin, Y, Yi, K, Tian, J, You, T

Health screening for new entry medical students at Newcastle University Medicine (NUMed) Malaysia: a 4-year cross-sectional study by Wei P Goh, Gareth Evans, Eliot Hurn, Adrian Leong, Yi K Lim, Yean T Saw, Bhirom Subramaniam, Zhi J Tan, Edmund L C Ong

Get full text

Efficiency and Tolerability of Induction and Consolidation Therapy with Arsenic Trioxide/Bortezomib/Ascorbic Acid/Dexamethasone (ABCD) Regimen Compared to Bortezomib/Dexamethasone... by Qian W, Wang L, Li P, Hu Y, Wang Q, Yi K, Wu M, Xu Y, Song J, Chen P, Zhang H, Ma J, Xie Y

Get full text

The transplant iron score as a predictor of stem cell transplant survival by Keung Yi K, Pomper Gregory, Hurd David, Lewis Zachary T, Connor Rebecca F, Storey Jonathan A, Grover Manisha, Lovato James, Torti Suzy V, Torti Frank M, Molnár István

Get full text

Study of the energy dependence of the underlying event in proton-antiproton collisions by Aaltonen, T., Albrow, M., Amerio, S., Amidei, D., Anastassov, A., Annovi, A., Antos, J., Apollinari, G., Appel, J. A., Arisawa, T., Artikov, A., Asaadi, J., Ashmanskas, W., Auerbach, B., Aurisano, A., Azfar, F., Badgett, W., Bae, T., Barbaro-Galtieri, A., Barnes, V. E., Barnett, B. A., Barria, P., Bartos, P., Bauce, M., Bedeschi, F., Behari, S., Bellettini, G., Bellinger, J., Benjamin, D., Beretvas, A., Bhatti, A., Bland, K. R., Blumenfeld, B., Bocci, A., Bodek, A., Bortoletto, D., Boudreau, J., Boveia, A., Brigliadori, L., Bromberg, C., Brucken, E., Budagov, J., Budd, H. S., Burkett, K., Busetto, G., Bussey, P., Butti, P., Buzatu, A., Calamba, A., Camarda, S., Campanelli, M., Canelli, F., Carls, B., Carlsmith, D., Carosi, R., Carrillo, S., Casal, B., Casarsa, M., Castro, A., Catastini, P., Cauz, D., Cavaliere, V., Cerri, A., Cerrito, L., Chen, Y. C., Chertok, M., Chiarelli, G., Chlachidze, G., Cho, K., Chokheli, D., Clark, A., Clarke, C., Convery, M. E., Conway, J., Corbo, M., Cordelli, M., Cox, C. A., Cox, D. J., Cremonesi, M., Cruz, D., Cuevas, J., Culbertson, R., d’Ascenzo, N., Datta, M., de Barbaro, P., Demortier, L., Deninno, M., D’Errico, M., Devoto, F., Di Canto, A., Di Ruzza, B., Dittmann, J. R., Donati, S., D’Onofrio, M., Dorigo, M., Driutti, A., Ebina, K., Edgar, R., Elagin, A., Erbacher, R., Errede, S., Esham, B., Farrington, S., Fernández Ramos, J. P., Field, R., Flanagan, G., Forrest, R., Franklin, M., Freeman, J. C., Frisch, H., Funakoshi, Y., Galloni, C., Garfinkel, A. F., Garosi, P., Gerberich, H., Gerchtein, E., Giagu, S., Giakoumopoulou, V., Gibson, K., Ginsburg, C. M., Giokaris, N., Giromini, P., Glagolev, V., Glenzinski, D., Gold, M., Goldin, D., Golossanov, A., Gomez, G., González López, O., Gorelov, I., Goshaw, A. T., Goulianos, K., Gramellini, E., Grosso-Pilcher, C., Group, R. C., Guimaraes da Costa, J., Hahn, S. R., Han, J. Y., Happacher, F., Hara, K., Hare, M., Harr, R. F., Harrington-Taber, T., Hatakeyama, K., Hays, C., Heinrich, J., Herndon, M., Hocker, A., Hong, Z., Hopkins, W., Hou, S., Hughes, R. E., Husemann, U., Hussein, M., Huston, J., Introzzi, G., Iori, M., Ivanov, A., James, E., Jang, D., Jayatilaka, B., Jeon, E. J., Jindariani, S., Jones, M., Joo, K. K., Jun, S. Y., Junk, T. R., Kambeitz, M., Kamon, T., Karchin, P. E., Kasmi, A., Kato, Y., Ketchum, W., Keung, J., Kilminster, B., Kim, D. H., Kim, H. S., Kim, J. E., Kim, M. J., Kim, S. H., Kim, S. B., Kim, Y. J., Kim, Y. K., Kimura, N., Kirby, M., Knoepfel, K., Kondo, K., Kong, D. J., Konigsberg, J., Kotwal, A. V., Kreps, M., Kroll, J., Kruse, M., Kuhr, T., Kurata, M., Laasanen, A. T., Lammel, S., Lancaster, M., Lannon, K., Latino, G., Lee, H. S., Lee, J. S., Leo, S., Leone, S., Lewis, J. D., Limosani, A., Lipeles, E., Lister, A., Liu, H., Liu, Q., Liu, T., Lockwitz, S., Loginov, A., Lucchesi, D., Lucá, A., Lueck, J., Lujan, P., Lukens, P., Lungu, G., Lys, J., Lysak, R., Madrak, R., Maestro, P., Malik, S., Manca, G., Manousakis-Katsikakis, A., Marchese, L., Margaroli, F., Marino, P., Matera, K., Mattson, M. E., Mazzacane, A., Mazzanti, P., McNulty, R., Mehta, A., Mehtala, P., Mesropian, C., Miao, T., Mietlicki, D., Mitra, A., Miyake, H., Moed, S., Moggi, N., Moon, C. S., Moore, R., Morello, M. J., Mukherjee, A., Muller, Th., Murat, P., Mussini, M., Nachtman, J., Nagai, Y., Naganoma, J., Nakano, I., Napier, A., Nett, J., Neu, C., Nigmanov, T., Nodulman, L., Noh, S. Y., Norniella, O., Oakes, L., Oh, S. H., Oh, Y. D., Oksuzian, I., Okusawa, T., Orava, R., Ortolan, L., Pagliarone, C., Palencia, E., Palni, P., Papadimitriou, V., Parker, W., Pauletta, G., Paulini, M., Phillips, T. J., Piacentino, G., Pianori, E., Pilot, J., Pitts, K., Plager, C., Pondrom, L., Poprocki, S., Potamianos, K., Pranko, A., Prokoshin, F., Ptohos, F., Punzi, G., Redondo Fernández, I., Renton, P., Rescigno, M., Rimondi, F., Ristori, L., Robson, A., Rodriguez, T., Rolli, S., Ronzani, M., Roser, R., Rosner, J. L., Ruffini, F., Ruiz, A., Russ, J., Rusu, V., Sakumoto, W. K., Sakurai, Y., Santi, L., Sato, K., Saveliev, V., Savoy-Navarro, A., Schlabach, P., Schmidt, E. E., Schwarz, T., Scodellaro, L., Scuri, F., Seidel, S., Seiya, Y., Semenov, A., Sforza, F., Shalhout, S. Z., Shears, T., Shepard, P. F., Shimojima, M., Shochet, M., Shreyber-Tecker, I., Simonenko, A., Sliwa, K., Smith, J. R., Snider, F. D., Song, H., Sorin, V., St. Denis, R., Stancari, M., Stentz, D., Strologas, J., Sudo, Y., Sukhanov, A., Suslov, I., Takemasa, K., Takeuchi, Y., Tang, J., Tecchio, M., Teng, P. K., Thom, J., Thomson, E., Thukral, V., Toback, D., Tokar, S., Tollefson, K., Tomura, T., Tonelli, D., Torre, S., Torretta, D., Totaro, P., Trovato, M., Ukegawa, F., Uozumi, S., Vázquez, F., Velev, G., Vellidis, C., Vernieri, C., Vidal, M., Vilar, R., Vizán, J., Vogel, M., Volpi, G., Wagner, P., Wallny, R., Wang, S. M., Waters, D., Wester, W. C., Whiteson, D., Wicklund, A. B., Wilbur, S., Williams, H. H., Wilson, J. S., Wilson, P., Winer, B. L., Wittich, P., Wolbers, S., Wolfe, H., Wright, T., Wu, X., Wu, Z., Yamamoto, K., Yamato, D., Yang, T., Yang, U. K., Yang, Y. C., Yao, W.-M., Yeh, G. P., Yi, K., Yoh, J., Yorita, K., Yoshida, T., Yu, G. B., Yu, I., Zanetti, A. M., Zeng, Y., Zhou, C., Zucchelli, S., Gomez-Ceballos, Guillelmo, Goncharov, Maxim, Paus, Christoph M. E.

Get full text
Get full text

Measurement of the single top quark production cross section and |V[subscript tb]| in 1.96 TeV p[bar over p] collisions with missing transverse energy and jets and final CDF combin... by Aaltonen, T., Amerio, S., Amidei, D., Anastassov, A., Annovi, A., Antos, J., Apollinari, G., Appel, J. A., Arisawa, T., Artikov, A., Asaadi, J., Ashmanskas, W., Auerbach, B., Aurisano, A., Azfar, F., Badgett, W., Bae, T., Barbaro-Galtieri, A., Barnes, V. E., Barnett, B. A., Barria, P., Bartos, P., Bauce, M., Bedeschi, F., Behari, S., Bellettini, G., Bellinger, J., Benjamin, D., Beretvas, A., Bhatti, A., Bland, K. R., Blumenfeld, B., Bocci, A., Bodek, A., Bortoletto, D., Boudreau, J., Boveia, A., Brigliadori, L., Bromberg, C., Brucken, E., Budagov, J., Budd, H. S., Burkett, K., Busetto, G., Bussey, P., Butti, P., Buzatu, A., Calamba, A., Camarda, S., Campanelli, M., Canelli, F., Carls, B., Carlsmith, D., Carosi, R., Carrillo, S., Casal, B., Casarsa, M., Castro, A., Catastini, P., Cauz, D., Cavaliere, V., Cerri, A., Cerrito, L., Chen, Y. C., Chertok, M., Chiarelli, G., Chlachidze, G., Cho, K., Chokheli, D., Clark, A., Clarke, C., Convery, M. E., Conway, J., Corbo, M., Cordelli, M., Cox, C. A., Cox, D. J., Cremonesi, M., Cruz, D., Cuevas, J., Culbertson, R., d’Ascenzo, N., Datta, M., de Barbaro, P., Demortier, L., Deninno, M., D’Errico, M., Devoto, F., Di Canto, A., Di Ruzza, B., Dittmann, J. R., Donati, S., D’Onofrio, M., Dorigo, M., Driutti, A., Ebina, K., Edgar, R., Elagin, A., Erbacher, R., Errede, S., Esham, B., Farrington, S., Fernández Ramos, J. P., Field, R., Flanagan, G., Forrest, R., Franklin, M., Freeman, J. C., Frisch, H., Funakoshi, Y., Galloni, C., Garfinkel, A. F., Garosi, P., Gerberich, H., Gerchtein, E., Giagu, S., Giakoumopoulou, V., Gibson, K., Ginsburg, C. M., Giokaris, N., Giromini, P., Glagolev, V., Glenzinski, D., Gold, M., Goldin, D., Golossanov, A., Gomez, G., Gomez-Ceballos, G., González López, O., Gorelov, I., Goshaw, A. T., Goulianos, K., Gramellini, E., Grosso-Pilcher, C., Group, R. C., Guimaraes da Costa, J., Hahn, S. R., Han, J. Y., Happacher, F., Hara, K., Hare, M., Harr, R. F., Harrington-Taber, T., Hatakeyama, K., Hays, C., Heinrich, J., Herndon, M., Hocker, A., Hong, Z., Hopkins, W., Hou, S., Hughes, R. E., Husemann, U., Hussein, M., Huston, J., Introzzi, G., Iori, M., Ivanov, A., James, E., Jang, D., Jayatilaka, B., Jeon, E. J., Jindariani, S., Jones, M., Joo, K. K., Jun, S. Y., Junk, T. R., Kambeitz, M., Kamon, T., Karchin, P. E., Kasmi, A., Kato, Y., Ketchum, W., Keung, J., Kilminster, B., Kim, D. H., Kim, H. S., Kim, J. E., Kim, M. J., Kim, S. H., Kim, S. B., Kim, Y. J., Kim, Y. K., Kimura, N., Kirby, M., Knoepfel, K., Kondo, K., Kong, D. J., Konigsberg, J., Kotwal, A. V., Kreps, M., Kroll, J., Kruse, M., Kuhr, T., Kurata, M., Laasanen, A. T., Lammel, S., Lancaster, M., Lannon, K., Latino, G., Lee, H. S., Lee, J. S., Leo, S., Leone, S., Lewis, J. D., Limosani, A., Lipeles, E., Lister, A., Liu, H., Liu, Q., Liu, T., Lockwitz, S., Loginov, A., Lucchesi, D., Lucà, A., Lueck, J., Lujan, P., Lukens, P., Lungu, G., Lys, J., Lysak, R., Madrak, R., Maestro, P., Malik, S., Manca, G., Manousakis-Katsikakis, A., Marchese, L., Margaroli, F., Marino, P., Matera, K., Mattson, M. E., Mazzacane, A., Mazzanti, P., McNulty, R., Mehta, A., Mehtala, P., Mesropian, C., Miao, T., Mietlicki, D., Mitra, A., Miyake, H., Moed, S., Moggi, N., Moon, C. S., Moore, R., Morello, M. J., Mukherjee, A., Muller, Th., Murat, P., Mussini, M., Nachtman, J., Nagai, Y., Naganoma, J., Nakano, I., Napier, A., Nett, J., Neu, C., Nigmanov, T., Nodulman, L., Noh, S. Y., Norniella, O., Oakes, L., Oh, S. H., Oh, Y. D., Oksuzian, I., Okusawa, T., Orava, R., Ortolan, L., Pagliarone, C., Palencia, E., Palni, P., Papadimitriou, V., Parker, W., Pauletta, G., Paulini, M., Phillips, T. J., Pianori, E., Pilot, J., Pitts, K., Plager, C., Pondrom, L., Poprocki, S., Potamianos, K., Pranko, A., Prokoshin, F., Ptohos, F., Punzi, G., Redondo Fernández, I., Renton, P., Rescigno, M., Rimondi, F., Ristori, L., Robson, A., Rodriguez, T., Rolli, S., Ronzani, M., Roser, R., Rosner, J. L., Ruffini, F., Ruiz, A., Russ, J., Rusu, V., Sakumoto, W. K., Sakurai, Y., Santi, L., Sato, K., Saveliev, V., Savoy-Navarro, A., Schlabach, P., Schmidt, E. E., Schwarz, T., Scodellaro, L., Scuri, F., Seidel, S., Seiya, Y., Semenov, A., Sforza, F., Shalhout, S. Z., Shears, T., Shepard, P. F., Shimojima, M., Shochet, M., Shreyber-Tecker, I., Simonenko, A., Sliwa, K., Smith, J. R., Snider, F. D., Song, H., Sorin, V., St. Denis, R., Stancari, M., Stentz, D., Strologas, J., Sudo, Y., Sukhanov, A., Suslov, I., Takemasa, K., Takeuchi, Y., Tang, J., Tecchio, M., Teng, P. K., Thom, J., Thomson, E., Thukral, V., Toback, D., Tokar, S., Tollefson, K., Tomura, T., Tonelli, D., Torre, S., Torretta, D., Totaro, P., Trovato, M., Ukegawa, F., Uozumi, S., Vázquez, F., Velev, G., Vellidis, C., Vernieri, C., Vidal, M., Vilar, R., Vizán, J., Vogel, M., Volpi, G., Wagner, P., Wallny, R., Wang, S. M., Waters, D., Wester, W. C., Whiteson, D., Wicklund, A. B., Wilbur, S., Williams, H. H., Wilson, J. S., Wilson, P., Winer, B. L., Wittich, P., Wolbers, S., Wolfe, H., Wright, T., Wu, X., Wu, Z., Yamamoto, K., Yamato, D., Yang, T., Yang, U. K., Yang, Y. C., Yao, W.-M., Yeh, G. P., Yi, K., Yoh, J., Yorita, K., Yoshida, T., Yu, G. B., Yu, I., Zanetti, A. M., Zeng, Y., Zhou, C., Zucchelli, S., Gomez-Ceballos, Guillelmo, Goncharov, Maxim, Paus, Christoph M. E.

Get full text
Get full text