[Language Classifications]: Object-oriented languages General Terms Languages, Reliability (2009)
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics that are surprising...
Qi, Xin, Tong, Shilu, Hu, Wenbiao
Abstract Background The seasonality of suicide has long been recognised. However, little is known about the relative importance of socio-environmental factors in the occurrence of suicide in...
Sharing classes between families (2009)
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inheritance, in which an...
Ordinary differential equations (ODEs) are commonly used to model the dynamic behavior of a system. Because many parameters are unknown and have to be estimated from the observed data, there is...
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics that are surprising...
Topological Symmetry And Existence of Partial Synchronization (2008)
Ao, Bin, Qi, Xin, Shao, Zhi-Gang, Yang, Lei
We study the relationship between the partial synchronous (PaS) state and the coupling structure in general dynamical systems. By the exact proof, we find the sufficient and necessary condition of...
Design Languages Performance (2008)
Fan Yang, Nitin Gupta, Nicholas Gerner, Xin Qi, Alan Demers, Johannes Gehrke, ...
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition application functionality...
An Efficient User-Level Shared Memory Mechanism forApplication-Specific Extensions (2008)
Richard West, Jason Gloudon, Xin Qi, Gabriel Parmer
Abstract This paper focuses on an efficient user-level method forthe deployment of application-specific extensions, using
Abstract An Efficient User-Level Shared Memory Mechanism for Application-Specific Extensions (2008)
Richard West, Jason Gloudon, Xin Qi, Gabriel Parmer
This paper focuses on an efficient user-level method for the deployment of application-specific extensions, using commodity operating systems and hardware. A sandboxing technique is described that...
Optical coherence tomography (OCT) is an emerging optical technique based on low-coherence interferometry that provides noninvasive, subsurface, high-resolution imaging of biological microstructure....
Optical coherence tomography (OCT) is an emerging optical technique based on low-coherence interferometry that provides noninvasive, subsurface, high-resolution imaging of biological microstructure....
Secure web applications via automatic partitioning (2007)
Chong, Stephen, Liu, Jed, Myers, Andrew C., Qi, Xin, Vikram, K., Zheng, Lantian, ...
Web applications are now critical infrastructure. To improve the user interface, some application functionality is typically implemented as client-side JavaScript code. Currently there are no good...
Secure web applications via automatic partitioning (2007)
Chong, Stephen, Liu, Jed, Myers, Andrew C., Qi, Xin, Vikram, K., Zheng, Lantian, ...
Web applications are now critical infrastructure. To improve the user interface, some application functionality is typically implemented as client-side JavaScript code. Currently there are no good...
A unified platform for data driven web applictions with automatic client-server partitioning (2007)
Fan Yang, Nitin Gupta, Nicholas Gerner, Xin Qi, Alan Demers, Johannes Gehrke, ...
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition application functionality...
Secure web application via automatic partitioning (2007)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, ...
Swift is a new, principled approach to building web applications that are secure by construction. In modern web applications, some application functionality is usually implemented as client-side code...
Secure web application via automatic partitioning (2007)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, ...
Swift is a new, principled approach to building web applications that are secure by construction. In modern web applications, some application functionality is usually implemented as client-side code...
Bond-orientational Order in Melting of Colloidal Crystals (2006)
Qi, Xin, Chen, Yong, Jin, Yan, Yang, Yao-Hui
Using Brownian dynamics simulation, we study the orientational order in melting transition of colloidal systems with $'$soft$'$ Yukawa potential. The bond-orientational order parameter $\Phi_{6}$ and...
J&: Nested intersection for scalable software composition (2006)
Nathaniel Nystrom, Xin Qi, Andrew C. Myers
This paper introduces a programming language that makes it convenient to compose large software systems, combining their features in a modular way. J & supports nested intersection, building on...
J&: Nested intersection for scalable software composition (2006)
Nathaniel Nystrom, Xin Qi, Andrew C. Myers
This paper introduces a programming language that makes it convenient to compose large software systems, combining their features in a modular way. J & supports nested intersection, building on...
Unnatural amino acid incorporation to rewrite the genetic code and RNA-peptide interactions (2005)
My general research direction is the interface between organic chemistry and biology. Interesting biological systems inspire target-oriented organic synthesis, new methodology development, and...
Unnatural amino acid incorporation to rewrite the genetic code and RNA-peptide interactions (2005)
My general research direction is the interface between organic chemistry and biology. Interesting biological systems inspire target-oriented organic synthesis, new methodology development, and...
Network positioning for online nearest neighbors search / (2005)
Thesis (M.A.)--Boston University, 2005.
An Efficient User-Level Shared Memory Mechanism for Application-Specific Extensions (2005)
Richard West, Jason Gloudon, Xin Qi, Gabriel Parmer
This paper focuses on an efficient user-level method for the deployment of application-specific extensions, using commodity operating systems and hardware. A sandboxing technique is described that...
NETWORK POSITIONING FOR ONLINE NEAREST NEIGHBORS SEARCH (2005)
Most special thanks to my advisor Richard West for all the inspiration and freedom during the past three years of research work. These three years of working together make me more appreciative about...
Xin Qi, Gabriel Parmer, Richard West, Jason Gloudon, Luis Hern
Current low-level networking abstractions on modern operating systems are commonly implemented in the kernel to provide sufficient performance for general purpose applications. However, it is...
A virtual deadline scheduler for window-constrained service guarantees (2004)
Yuting Zhang, Richard West, Xin Qi
This paper presents a new approach to windowconstrained scheduling, suitable for multimedia and weakly-hard real-time systems. We originally developed an algorithm, called Dynamic Window-Constrained...
Xin Qi, Gabriel Parmer, Richard West, Jason Gloudon, Luis Hernandez
Current low-level networking abstractions on modern operating systems are commonly implemented in the kernel to provide sufficient performance for general purpose applications. However, it is...
A virtual deadline scheduler for window-constrained service guarantees (2004)
Yuting Zhang, Richard West, Xin Qi
Abstract This paper presents a new approach to window-constrained scheduling, that is suitable for multimedia and weakly-hard real-time systems. Our algorithm called Vir-tual Deadline Scheduling...
An Internet-wide Distributed System for Data-stream Processing (2004)
Gabriel Parmer, Richard West, Xin Qi, Gerald Fry, Yuting Zhang
The ubiquity of the Internet has stimulated the development of data- rather than processor-intensive applications. Such data-intensive applications include streaming media, interactive distance...
An efficient end-host architecture for cluster communication services (2004)
Xin Qi, Gabriel Parmer, Richard West
Cluster computing environments built from commodity hardware have provided a cost-effective solution for many scientific and high-performance applications. Likewise, middleware techniques have...
Molecular basis for gelatinisation characteristics of cereal starches. (2002)
Thesis (Ph. D.)--Glasgow Caledonian University, 2002.
Dai-shu Zuo, Tao Jiang, Hua-shi Guan, Kui-qi Wang, Xin Qi, Zhan Shi
Dibutyltin (IV) oxide complex reacts with the fluorouracil compounds 5-fluorouracil-1-propanonic or 5-fluorouracil-1-acetic acid (Fu) to give the complexes [(5-Fu)-1-(CH2)nCOOSn(n-Bu)2]4O2 (I, n=2;...
Typescript.
Qi, Xin, Inagaki, Koichi, Sobel, Raymond A., Mochly-Rosen, Daria
Hypertensive encephalopathy is a potentially fatal condition associated with cerebral edema and the breakdown of the blood-brain barrier (BBB). The molecular pathways leading to this condition,...
A Distinct Translation Initiation Mechanism Generates Cryptic Peptides for Immune Surveillance
Starck, Shelley R., Ow, Yongkai, Jiang, Vivian, Tokuyama, Maria, Rivera, Mark, Qi, Xin, ...
MHC class I molecules present a comprehensive mixture of peptides on the cell surface for immune surveillance. The peptides represent the intracellular protein milieu produced by translation of...