CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Yu-Xin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2019 | 2015 | 2006 | 2005 | 2003 | 1999 | 1998
Number of items: 9.

2019

Xue, Jian and Yu, Xin and Yuan, Zibing et al. (2019) Efficient control of atmospheric sulfate production based on three formation regimes. Nature Geoscience, 12 (12). pp. 977-982. ISSN 1752-0894. https://resolver.caltech.edu/CaltechAUTHORS:20191118-100315290

Sirlanci, Melike and Luczak, Susan E. and Fairbairn, Catharine E. et al. (2019) Estimating the distribution of random parameters in a diffusion equation forward model for a transdermal alcohol biosensor. Automatica, 106 . pp. 101-109. ISSN 0005-1098. https://resolver.caltech.edu/CaltechAUTHORS:20190520-141811771

2015

Yu, Xin and Arbabi, Ehsan and Goddard, Lynford L. et al. (2015) Demonstration of the first monolithically integrated self-rolled-up tube based vertical photonic coupler. In: 2015 Conference on Lasers and Electro-Optics (CLEO). IEEE , Piscataway, NJ, Art. No. SF1H.8. ISBN 978-1-55752-968-8. https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970

2006

Hickey, Jason and Nogin, Aleksey and Yu, Xin et al. (2006) Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ACM SIGPLAN Notices, 41 (9). pp. 172-183. ISSN 0362-1340. https://resolver.caltech.edu/CaltechAUTHORS:20161103-125705148

Hickey, Jason and Nogin, Aleksey and Yu, Xin et al. (2006) Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. In: ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming. ACM , New York, NY, pp. 172-183. ISBN 1-59593-309-3. https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823

2005

Nogin, Aleksey and Kopylov, Alexei and Yu, Xin et al. (2005) A computational approach to reflective meta-reasoning about languages with bindings. In: MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. ACM , New York, NY, pp. 2-12. ISBN 1-59593-072-8. https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536

2003

Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. 2003.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94T6GB8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.004

1999

An, Sungwhan and Chen, Chun-Jen and Yu, Xin et al. (1999) Induction of Apoptosis in Murine Coronavirus-Infected Cultured Cells and Demonstration of E Protein as an Apoptosis Inducer. Journal of Virology, 73 (9). pp. 7853-7859. ISSN 0022-538X. PMCID PMC104316. https://resolver.caltech.edu/CaltechAUTHORS:ANSjvir99

1998

Zabludoff, Sonya D. and Csete, Marie and Wagner, Roger et al. (1998) p27^(Kip1) is expressed transiently in developing myotomes and enhances myogenesis. Cell Growth and Differentiation, 9 (1). pp. 1-11. ISSN 1044-9523. https://resolver.caltech.edu/CaltechAUTHORS:20190508-072837226

This list was generated on Tue Aug 11 18:45:21 2020 PDT.