X.: MetaPRL — A modular logical environment (2009)
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Yegor Bryukhov, Richard Eaton, ...
Abstract. MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative project...
Li, Wei, Liu, Wei, Zhong, Jia, Yu, Xin
Abstract Background Duchenne muscular dystrophy (DMD) is caused by the absence of the cytoskeletal protein, dystrophin. In DMD patients, dilated cardiomyopathy leading to heart failure may occur...
In this paper we show a general Strichartz estimate for certain perturbed wave equation, and here we can drop the nontrapping hypothesis and handle trapping obstacles with some loss of derivatives...
The p53HMM algorithm: using profile hidden markov models to detect p53-responsive genes (2009)
Riley, Todd, Yu, Xin, Sontag, Eduardo, Levine, Arnold
Abstract Background A computational method (called p53HMM) is presented that utilizes Profile Hidden Markov Models (PHMMs) to estimate the relative binding affinities of putative p53 response...
Distributed Cache Updating for the Dynamic Source Routing Protocol (2009)
On-demand routing protocols use route caches to make routing decisions. Due to mobility, cached routes easily become stale. To address the cache staleness issue, prior work in DSR used heuristics...
Li, Wei, Liu, Wei, Zhong, Jia, Yu, Xin
ABSTRACT: BACKGROUND: Duchenne muscular dystrophy (DMD) is caused by the absence of the cytoskeletal protein, dystrophin. In DMD patients, dilated cardiomyopathy leading to heart failure may occur...
be an important problem. Organizations typically have (2008)
L. L. Miller, Xin Yu, Sree Nilakanta
The number of data sources that an organization has to deal with continues to be nontrivial. Integrating this data is a growing problem. A great deal of research has been done to solve the general...
be an important problem. Organizations typically have (2008)
L. L. Miller, Xin Yu, Sree Nilakanta
The number of data sources that an organization has to deal with continues to be nontrivial. Integrating this data is a growing problem. A great deal of research has been done to solve the general...
LFMTP 2006 Practical Reflection for Sequent Logics (2008)
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
It is well-known that adding reflective reasoning can tremendously increase the power of a proof assistant. In order for this theoretical increase of power to become accessible to users in practice,...
This paper reports on the on-going evaluation of a computer-assisted system (CEOTS) for the assessing of spoken English skills among Chinese university students. This system is being developed to...
Chan, Raymond C. K., Wang, Ya, Ma, Zheng, Hong, Xiao-hong, Yuan, Yanbo, Yu, Xin, ...
Yes
Prospective memory in schizophrenia: Further clarification of nature of impairment (2008)
Wang, Ya, Chan, Raymond C. K., Hong, Xiaohong, Ma, Zheng, Yang, Tianxiao, Guo, Lan, ...
Yes
Prospective memory in schizophrenia: Further clarification of nature of impairment (2008)
Wang, Ya, Chan, Raymond C. K., Hong, Xiaohong, Ma, Zheng, Yang, Tianxiao, Guo, Lan, ...
Prospective memory in schizophrenia: Further clarification of nature of impairment (2008)
Wang, Ya, Chan, Raymond C. K., Hong, Xiaohong, Ma, Zheng, Yang, Tianxiao, Guo, Lan, ...
A Listing of MetaPRL Theories 1 (2007)
Jason Hickey, Brian Aydemir, Yegor Bryukhov, Alexei Kopylov, Aleksey Nogin, Xin Yu
This document contains a listing of most of the MetaPRL logical theories. It is generated automatically on a daily basis. To get the latest version, go to
Outbound travel by Chinese residents is growing rapidly and it is predicted that Chinese visitors will become the largest inbound source market to Europe and Australia, possibly in less than a...
Outbound travel by Chinese residents is growing rapidly and it is predicted that Chinese visitors will become the largest inbound source market to Europe and Australia, possibly in less than a...
iii Although I am listed as the author of this thesis, many other people should share the credit for its production. First and foremost I thank my advisor, Professor Jason Hickey, who has provided me...
Outbound travel by Chinese residents is growing rapidly and it is predicted that Chinese visitors will become the largest inbound source market to Europe and Australia, possibly in less than a...
Single-walled carbon nanotube forest based electrochemical immunosensors for rapid, cost-effective, selective and highly sensitive detection of proteins and cancer biomarker proteins in various...
Abstract (2 leaves) bound with copy.
The experiences of Chinese visitors to Victoria Australia (2006)
This paper reports on selected methods and results of a year-long study, which sought to describe and explain the experience of Chinese tourists visiting the state of Victoria in Australia. The aims...
The experiences of Chinese visitors to Victoria Australia (2006)
This paper reports on selected methods and results of a year-long study, which sought to describe and explain the experience of Chinese tourists visiting the state of Victoria in Australia. The aims...
A Listing of MetaPRL Theories 1 (2006)
Jason Hickey, Brian Aydemir, Yegor Bryukhov, Alexei Kopylov, Aleksey Nogin, Xin Yu
This document contains a listing of most of the MetaPRL logical theories. It is generated automatically on a daily basis. To get the latest version, go to
The experiences of Chinese visitors to Victoria Australia (2006)
This paper reports on selected methods and results of a year-long study, which sought to describe and explain the experience of Chinese tourists visiting the state of Victoria in Australia. The aims...
Mobility, route caching, and TCP performance in mobile ad hoc networks / (2005)
Thesis (Ph. D.)--New York University, Graduate School of Arts and Science, 2005.
Zhou, Lufang, Stanley, William C, Saidel, Gerald M, Yu, Xin, Cabrera, Marco E
Ischaemia decreases mitochondrial NADH oxidation, activates glycolysis, increases the NADH/NAD+ ratio, and causes lactate production. The mechanisms that regulate anaerobic glycolysis and the...
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings (2005)
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to reason abstractly...
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings (2005)
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to reason abstractly...
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings (2005)
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to reason abstractly...
A computational approach to reflective meta-reasoning about languages with bindings (2005)
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to reason abstractly...
Yu, Xin, Weiler, Betty, Ham, Sam
This paper addresses the cultural mediating role of tour guides on Chinese group tours in Australia, which emerged as important for this market. Using a case study, the paper reports on an...
Liang, Feng, Matrubutham, Udayakumar, Parvizi, Babak, Yen, Jessica, Duan, Daniel, Mirchandani, Jyotika, ...
The ORFDB (http://orf.invitrogen.com/) represents an ongoing effort at Invitrogen Corporation to integrate relevant scientific data with an evolving collection of human and mouse Open Reading Frame...
The Role of Aquaporin RWC3 in Drought Avoidance in Rice (2004)
Lian, Hong-Li, Yu, Xin, Ye, Qin, Ding, Xiao-Song, Kitagawa, Yoshichika, Kwak, Sang-Soo, ...
Although the discovery of aquaporins in plants has resulted in a paradigm shift in the understanding of plant water relations, the relationship between aquaporins and drought resistance still remains...
Yu, Xin, Weiler, Betty, Ham, Sam
This paper addresses the cultural mediating role of tour guides on Chinese group tours in Australia, which emerged as important for this market. Using a case study, the paper reports on an...
Formalizing Abstract Algebra in Constructive Set Theory (2003)
We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection...
MetaPRL — A Modular Logical Environment (2003)
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Yegor Bryukhov, Richard Eaton, ...
Abstract. MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative project...
MetaPRL — A Modular Logical Environment (2003)
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Yegor Bryukhov, Richard Eaton, ...
Abstract. MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative project...
lymphoma identified by gene expression profiling. Nature, 403:503–511, February 2000. (2003)
Mark L. Adams, Markus Enzelberger, Stephen Quake, Thomas J. Albert, Jason Norton, ...
gration on detector arrays for absorption and fluorescence micro-spectrometers. Sensors and
Formalizing Abstract Algebra in Type Theory with Dependent Records (2003)
Xin Yu, Aleksey Nogin, Alexei Kopylov, Jason Hickey
algebra suitable for a general reasoning. One of the most common ways to formalize abstract algebra is to make use of a module system to specify an algebra as a theory. However, this approach suffers...
"Graduate Program in Biochemistry."
Formalizing abstract algebra in constructive set theory (2002)
Abstract. We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a...
Thesis (M. Phil.)--Chinese University of Hong Kong, 2002.
An, Sungwhan, Chen, Chun-Jen, Yu, Xin, Leibowitz, Julian L., Makino, Shinji
We demonstrated that infection of 17Cl-1 cells with the murine coronavirus mouse hepatitis virus (MHV) induced caspase-dependent apoptosis. MHV-infected DBT cells did not show apoptotic changes,...
Nasr, Samya Z., Gordon, Diane, Sakmar, Ermelinda, Yu, Xin, Christodoulou, Emmanuel, Eckhardt, Boris P., ...
To evaluate the sensitivity of high-resolution computerized tomography (HRCT) of the chest compared to spirometry measures in evaluating the effects of tobramycin solution for inhalation (TSI) in...
Large-scale reorganization of the tonotopic map in mouse auditory midbrain revealed by MRI
Yu, Xin, Sanes, Dan H., Aristizabal, Orlando, Wadghiri, Youssef Zaim, Turnbull, Daniel H.
The cortex is thought to be the primary site of sensory plasticity, particularly during development. Here, we report that large-scale reorganization of the mouse auditory midbrain tonotopic map is...
Rosenwald, Andreas, Wright, George, Leroy, Karen, Yu, Xin, Gaulard, Philippe, Gascoyne, Randy D., ...
Using current diagnostic criteria, primary mediastinal B cell lymphoma (PMBL) cannot be distinguished from other types of diffuse large B cell lymphoma (DLBCL) reliably. We used gene expression...
Rosenwald, Andreas, Alizadeh, Ash A., Widhopf, George, Simon, Richard, Davis, R. Eric, Yu, Xin, ...
The most common human leukemia is B cell chronic lymphocytic leukemia (CLL), a malignancy of mature B cells with a characteristic clinical presentation but a variable clinical course. The rearranged...
An extended dynamical hydration shell around proteins
Ebbinghaus, Simon, Kim, Seung Joong, Heyden, Matthias, Yu, Xin, Heugen, Udo, Gruebele, Martin, ...
The focus in protein folding has been very much on the protein backbone and sidechains. However, hydration waters make comparable contributions to the structure and energy of proteins. The coupling...
Lam, Lloyd T., Davis, R. Eric, Ngo, Vu N., Lenz, Georg, Wright, George, Xu, Weihong, ...
A subtype of diffuse large B-cell lymphoma (DLBCL), termed activated B-cell-like (ABC) DLBCL, depends on constitutive nuclear factor-κB (NF-κB) signaling for survival. Small molecule inhibitors of...
Molecular characterization of a defense-related AMP-binding protein gene, OsBIABP1, from rice*
Zhang, Xin-chun, Yu, Xin, Zhang, Hui-juan, Song, Feng-ming
We cloned and characterized a rice gene OsBIABP1 encoding an AMP-binding protein. The full-length cDNA of OsBIABP1 is 1912-bp long and is predicted to encode a 558-aa protein. OsBIABP1 contains a...