A method for determining the robustness of bio-molecular oscillator models (2009)
Ghaemi, Reza, Sun, Jing, Iglesias, Pablo A, Del Vecchio, Domitilla
Abstract Background Quantifying the robustness of biochemical models is important both for determining the validity of a natural system model and for designing reliable and robust synthetic...
Sun, Jing, Fan, Haijian, Che, Yena, Cao, Yunxia, Wu, Xiaoke, Sun, Hai-xiang, ...
Abstract Background I/D polymorphisms of ACE are associated with the plasma ACE concentration. The ACE is associated with the angiogenesis of ovarian endothelium in vitro as well as steroidogenesis...
Formal Specification-based Online Monitoring (2009)
Hui Liang, Jing Sun, Jin Song Dong, Roger Duke, Rudolph E. Seviora
With current trends towards more complex software system and use of higher level languages, a monitoring technique is of increasing importance for the areas such as performance enhancement,...
The Expression and Biological Significance of PD-L1 on Lung Cancer Cell Lines (2009)
Cheng CHEN, Chuanyong MU, Qiuxia QU, Yibei ZHU, Jing SUN, Xueguang ZHANG, ...
Background and objective Tumor-associated PD-L1 expression was recently shown to promote T-cell apoptosis and proposed as a potential mechanism of immune evasion by tumors. On the basis of the...
Wong, Martin C.S., Lee, Albert, Sun, Jing, Stewart, Donald, Cheng, Frances F.K., Kan, Wing, ...
The WHO health promoting school (HPS) approach covers key areas including school-based programmes improving students' psychological health, but there have been few studies evaluating the resilience...
SEPPA: a computational server for spatial epitope prediction of protein antigens (2009)
Sun, Jing, Wu, Di, Xu, Tianlei, Wang, Xiaojing, Xu, Xiaolian, Tao, Lin, ...
In recent years, a lot of efforts have been made in conformational epitope prediction as antigen proteins usually bind antibodies with an assembly of sequentially discontinuous and structurally...
Wong, Martin C.S., Lee, Albert, Sun, Jing, Stewart, Donald Edwin, Cheng, Frances F.K., Kan, Wing, ...
http://dx.doi.org/10.1093/heapro/dap010
Wong, Martin C.S., Lee, Albert, Sun, Jing, Stewart, Donald Edwin, Cheng, Frances F.K., Kan, Wing, ...
http://dx.doi.org/10.1093/heapro/dap010
Formal Semantics and Verification for Feature Modeling (2008)
Research on features has received much attention in the domain engineering community. Feature modeling plays an important role in the design and implementation of complex software systems. However,...
Verifying Semistructured Data Normalization using PVS (2008)
The dramatic expansion of semistructured data has led to the development of database systems for manipulating the data. Despite its huge potential, there is still a lack of formality and verification...
Wang, Xiaojing, Wu, Di, Zheng, Siyuan, Sun, Jing, Tao, Lin, Li, Yixue, ...
Abstract Background In the adaptive immune system, variable regions of immunoglobulin (IG) are encoded by random recombination of variable (V), diversity (D), and joining (J) gene segments in the...
Formal Semantics and Verification for Feature Modeling (2008)
Research on features has received much attention in the domain engineering community. Feature modeling plays an important role in the design and implementation of complex software systems. However,...
Correctness Criteria for Normalization of Semistructured Data (2008)
Jing Sun, Gillian Dobbie, Lindsay Groves
The rapid increase in semistructured data usage has lead to the development of various database systems for semistructured data. Web services and applications that utilize large amounts of...
Generic fault tolerant software architecture reasoning and customization (2008)
Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit
Abstract—This paper proposes a novel heterogeneous software
A Semantic Web Approach to Validating Semistructured Data (2008)
Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai Wang, Jun Sun
Abstract. There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of good semistructured data models is essential. In...
Mechanical Verification of Fault Tolerant Architecture in a Prototype Verification System (2008)
Ling Yuan, Jin Song Dong, Jing Sun
Abstract. In this paper, we present an approach to embed our formal Generic Fault Tolerant Software Architecture (GFTSA) model in the PVS theorem prover to achieve automatic verification support for...
SVG Web Environment for Z Specification Language (2008)
Jing Sun, Sasanka Athauda, Tazkiya Sheik
Abstract. This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first...
Transcription Factors Associated with Tomato Seed Germination (2008)
Seed germination is strictly defined as the physiological events before radicle protrusion through the endosperm cap, the endosperm region adjacent to the radicle tip. There are two opposing forces...
Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit
Abstract — This paper proposes a novel heterogeneous software
Abstract. Genius: Peer-to-Peer Location-Aware Gossip Using Network Coordinates (2008)
Ning Ning, Dongsheng Wang, Yongquan Ma, Jinfeng Hu, Jing Sun, Gao Weiming Zheng
The gossip mechanism could support reliable and scalable communication in large-scale settings. In large-scale peer-to-peer environment, however, each node could only have partial knowledge of the...
Yanhui Xie, Gayathri Seenumani, Jing Sun, Yifei Liu, Zhen Li
Abstract — This paper presents the development of a PC-cluster based real-time simulator for All Electric Ship (AES) Integrated Power System (IPS) analysis and optimization. The system is...
Sensor Network Design: Introducing Active Sensor Process (2008)
Jin Song Dong, Jun Sun, Xian Zhang, Jing Sun
Abstract. Wireless sensor network has shown a wide range of promising applications as well as challenges. In recent years, sensors have been equipped with significant processing, memory, and...
A XML/XSL Approach to Visualize and Animate TCOZ (2008)
Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
The challenge for system speci cation is how to visually and precisely capture static, dynamic and real-time system properties in a highly structured way. Timed Communicating Object-Z (TCOZ) is an...
Lu, Ziyang, Qin, Yaqiong, Fang, Jianyong, Sun, Jing, Li, Jun, Liu, Fengqi, ...
Monodisperse magnetizable silica composite particles were prepared from heteroaggregates of carboxylic polystyrene latex and Fe3O4 nanoparticles. It was found that the heteroaggregation of the...
Yasuhiro Tsume, Balvinder S. Vig, Jing Sun, Christopher P. Landowski, John M. Hilfinger, Chandrasekharan Ramachandran, ...
A series of amino acid monoester prodrugs of floxuridine was synthesized and evaluated for the improvement of oral bioavailability and the feasibility of target drug delivery via oligopeptide...
Wong, Martin C S, Sun, Jing, Lee, Albert, Stewart, Donald Edwin, Cheng, Frances FK, Kan, Wing, ...
Background: The Health Promoting School (HPS) approach provides a strong foundation to improve students' overall health, including psychological well-being, which has its roots in resilience. The...
A comparison of executive function in very preterm and term infants at 8 months corrected age (2008)
Sun, Jing, Mohay, Heather, O'Callaghan, Michael
Background: Executive function (EF) emerges in infancy and continues to develop throughout childhood. Executive dysfunction is believed to contribute to learning and attention problems in children at...
Wong, Martin C S, Sun, Jing, Lee, Albert, Stewart, Donald Edwin, Cheng, Frances FK, Kan, Wing, ...
Background: The Health Promoting School (HPS) approach provides a strong foundation to improve students' overall health, including psychological well-being, which has its roots in resilience. The...
A comparison of executive function in very preterm and term infants at 8 months corrected age (2008)
Sun, Jing, Mohay, Heather, O'Callaghan, Michael
Background: Executive function (EF) emerges in infancy and continues to develop throughout childhood. Executive dysfunction is believed to contribute to learning and attention problems in children at...
Wong, Martin C S, Sun, Jing, Lee, Albert, Stewart, Donald Edwin, Cheng, Frances FK, Kan, Wing, ...
Background: The Health Promoting School (HPS) approach provides a strong foundation to improve students' overall health, including psychological well-being, which has its roots in resilience. The...
A comparison of executive function in very preterm and term infants at 8 months corrected age (2008)
Sun, Jing, Mohay, Heather, O'Callaghan, Michael
Background: Executive function (EF) emerges in infancy and continues to develop throughout childhood. Executive dysfunction is believed to contribute to learning and attention problems in children at...
Kawamoto, Steven A., Sudhahar, Christopher G., Hatfield, Cynthia L., Sun, Jing, Behrman, Edward J., Gopalan, Venkat
Ribonuclease P (RNase P) is a Mg2+-dependent endoribonuclease responsible for the 5′-maturation of transfer RNAs. It is a ribonucleoprotein complex containing an essential RNA and a varying number...
Xia, Hong-Fei, Sun, Jing, Sun, Quan-Hong, Yang, Ying, Peng, Jing-Pian
BACKGROUND In order to study the novel genes related to rat embryonic implantation, a novel implantation-associated gene, Iag-1, was identified and characterized from rat uterus of early pregnancy....
Bmc Bioinformatics, Xiaojing Wang, Di Wu, Siyuan Zheng, Jing Sun, Lin Tao, ...
Ab-origin: an enhanced tool to identify the sourcing gene segments
Encoder For Rotationally-Invariant Turbo TCM (2007)
Jing Sun, Oscar Y. Takeshita, Michael P. Fitz
After turbo code was introduced in 1993 [1], the same idea has been applied to Trellis Coded Modulation (TCM). Many Turbo
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, David Currie
Abstract. This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new...
An Integrated Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin-Song, Sun, Jing, Payne, Terry R., Gibbins, Nick, Li, Yuan-Fang, ...
An Integrated Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin-Song, Sun, Jing, Payne, Terry R., Gibbins, Nick, Li, Yuan-Fang, ...
Sun, Jing, Stewart, Donald Edwin, Katherine Weare
Purpose - The purpose of this paper is to describe a study which investigated the relationship between the 'health promoting school' (HPS) approach and social capital; and tested the proposition that...
Development of population-based resilience measures in the primary school setting (2007)
Sun, Jing, Stewart, Donald Edwin, Katherine Weare
Purpose – The purpose of this population based study is to report on progress in formulating instruments to measure children's resilience and associated protective factors in family, primary school...
Age and Gender Effects on Resilience in Children and Adolescents (2007)
Sun, Jing, Stewart, Donald Edwin, Michael Murray
This cross-sectional, population based study explores the effect of age and gender on resilience and protective factors for mental health in primary school aged children in Brisbane, Australia....
Sun, Jing, Stewart, Donald Edwin
Purpose - The purpose of this paper is to describe a study which investigated the relationship between the 'health promoting school' (HPS) approach and social capital; and tested the proposition that...
Development of population-based resilience measures in the primary school setting (2007)
Sun, Jing, Stewart, Donald Edwin
Purpose – The purpose of this population based study is to report on progress in formulating instruments to measure children's resilience and associated protective factors in family, primary school...
Age and Gender Effects on Resilience in Children and Adolescents (2007)
Sun, Jing, Stewart, Donald Edwin
This cross-sectional, population based study explores the effect of age and gender on resilience and protective factors for mental health in primary school aged children in Brisbane, Australia....
Resilience and Depression in Children: Mental Health Promotion in Primary Schools in China (2007)
Stewart, Donald Edwin, Sun, Jing
This population-based study reports depression rates in primary schools in China and application of a holistic intervention program to promote resilience and prevent depression in primary schools...
Resilience and Depression in Children: Mental Health Promotion in Primary Schools in China (2007)
Stewart, Donald Edwin, Sun, Jing, Michael Murray
This population-based study reports depression rates in primary schools in China and application of a holistic intervention program to promote resilience and prevent depression in primary schools...
Sun, Jing, Stewart, Donald Edwin
Purpose - The purpose of this paper is to describe a study which investigated the relationship between the 'health promoting school' (HPS) approach and social capital; and tested the proposition that...
Development of population-based resilience measures in the primary school setting (2007)
Sun, Jing, Stewart, Donald Edwin
Purpose – The purpose of this population based study is to report on progress in formulating instruments to measure children's resilience and associated protective factors in family, primary school...
Age and Gender Effects on Resilience in Children and Adolescents (2007)
Sun, Jing, Stewart, Donald Edwin
This cross-sectional, population based study explores the effect of age and gender on resilience and protective factors for mental health in primary school aged children in Brisbane, Australia....
Resilience and Depression in Children: Mental Health Promotion in Primary Schools in China (2007)
Stewart, Donald Edwin, Sun, Jing
This population-based study reports depression rates in primary schools in China and application of a holistic intervention program to promote resilience and prevent depression in primary schools...
Verifying feature models using OWL (2007)
Wang, Hai H., Li, Yuan Fang, Sun, Jing, Zhang, Hongyu, Pan, Jeff
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of...
An Integral Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin Song, Sun, Jing, Payne, Terry R., Gibbins, Nicholas, Li, Yuan-Fang, ...
Verifying feature models using OWL (2007)
Wang, Hai H., Li, Yuan Fang, Sun, Jing, Zhang, Hongyu, Pan, Jeff
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of...
An Integral Formal Approach to Semantic Work Environments Design (2007)
Wang, Hai H., Dong, Jin Song, Sun, Jing, Payne, Terry R., Gibbins, Nicholas, Li, Yuan-Fang, ...
Sun, Jing, Stewart, Donald Edwin
Purpose - The purpose of this paper is to describe a study which investigated the relationship between the 'health promoting school' (HPS) approach and social capital; and tested the proposition that...
Development of population-based resilience measures in the primary school setting (2007)
Sun, Jing, Stewart, Donald Edwin
Purpose – The purpose of this population based study is to report on progress in formulating instruments to measure children's resilience and associated protective factors in family, primary school...
Age and Gender Effects on Resilience in Children and Adolescents (2007)
Sun, Jing, Stewart, Donald Edwin
This cross-sectional, population based study explores the effect of age and gender on resilience and protective factors for mental health in primary school aged children in Brisbane, Australia....
Resilience and Depression in Children: Mental Health Promotion in Primary Schools in China (2007)
Stewart, Donald Edwin, Sun, Jing
This population-based study reports depression rates in primary schools in China and application of a holistic intervention program to promote resilience and prevent depression in primary schools...
Lixin Sun, Huiqin Dong, Chongxia Guo, Jin Qian, Jing Sun, Lei Ma, ...
Validating ORA-SS data models using Alloy (2006)
Wang, Lin, Dobbie, Gill, Sun, Jing, Groves, Lindsay
An open access copy of this article is available and complies with the copyright holder/publisher conditions.
Validating Semistructured Data using OWL (2006)
Li, Yuan Fang, Sun, Jing, Dobbie, Gillian, Sun, Jun, Wang. Hai H.
Semistructured data has become prevalent in both web applications and database systems. This rapid growth in use makes the design of good semistructured data essential. Formal semantics and automated...
Validating Semistructured Data using OWL (2006)
Li, Yuan Fang, Sun, Jing, Dobbie, Gillian, Sun, Jun, Wang. Hai H.
Semistructured data has become prevalent in both web applications and database systems. This rapid growth in use makes the design of good semistructured data essential. Formal semantics and automated...
An automated formal approach to managing dynamic reconfiguration (2006)
Ian Warren, Jing Sun, Sanjev Krishnamohan, Thiranjith Weerasinghe
Dynamic reconfiguration is the process of making changes to software at run-time. The motivation for this is typically to facilitate adaptive systems which change their behavior in response to...
PVS Approach to Verifying ORA-SS Data Models (2006)
The rapid growth of the World Wide Web has resulted in a dramatic increase in semistructured data usage. This creates a growing need for ensuring consistency of the data especially when applications...
Validating ORA-SS Data Models using Alloy (2006)
Lin Wang, Gillian Dobbie, Jing Sun
Semistructured data is typically represented using XML. However, little semantic information can be captured using XML. Other data models, such as the Object Relationship Attribute data model for...
Validating ORA-SS Data Models using Alloy (2006)
Lin Wang, Gill Dobbie, Jing Sun, Lindsay Groves, Lin Wang, Gillian Dobbie, ...
Semistructured data is typically represented using XML. However, little semantic information can be captured using XML. Other data models, such as the Object Relationship Attribute data model for...
Jin Song, Roger Duke, Jun Sun, Dong Roger, Duke Jun Sun, Ping Hao, ...
Structures The object references that exist in object-oriented models of abstract recursive structures such as trees or directed acyclic graphs (DAGs) often satisfy the combinatorial properties of...
Automotive Powertrain Control - A Survey (2006)
Jeffrey A. Cook, Jing Sun, Julia H. Buckl, Ilya V. Kolmanovsky, Huei Peng, Jessy W. Grizzle
This paper surveys recent and historical publications on automotive powertrain control. Controloriented models of gasoline and diesel engines and their aftertreatment systems are reviewed, and...
A Z Approach in Validating ORA-SS Data Models (2005)
Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Li, Yuan Fang
he rapid growth of the World Wide Web has resulted in more data being accessed over the Internet. In turn there is an increase in the use of semistructured data, which plays a crucial role in many...
Verify Feature Models using protegeowl (2005)
Wang, Hai, Li, Yuan-Fang, Sun, Jing, Zhang, Hongyu
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a widely-adopted means of precisely representing...
A semantic web approach to feature modeling and verification (2005)
Wang, Hai, Li, Yuan Fang, Sun, Jing, Zhang, Hongyu, Pan, Jeff
Abstract. Feature models are widely used in domain engineering to capture common and variant concepts among systems in a particular domain. However, the lack of a formal semantics of feature models...
Visualizing and Simulating Semantic Web Services Ontologies (2005)
Sun, Jun, Li, Yuan Fang, Wang, Hai, Sun, Jing
The development ofWeb Services has transformed theWorld Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretable and extensible,...
A Z Approach in Validating ORA-SS Data Models (2005)
Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Li, Yuan Fang
he rapid growth of the World Wide Web has resulted in more data being accessed over the Internet. In turn there is an increase in the use of semistructured data, which plays a crucial role in many...
Verify Feature Models using protegeowl (2005)
Wang, Hai, Li, Yuan-Fang, Sun, Jing, Zhang, Hongyu
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a widely-adopted means of precisely representing...
A semantic web approach to feature modeling and verification (2005)
Wang, Hai, Li, Yuan Fang, Sun, Jing, Zhang, Hongyu, Pan, Jeff
Abstract. Feature models are widely used in domain engineering to capture common and variant concepts among systems in a particular domain. However, the lack of a formal semantics of feature models...
A semantic web approach to feature modeling and verification (2005)
Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan
Abstract. Feature models are widely used in domain engineering to capture common and variant concepts among systems in a particular domain. However, the lack of a formal semantics of feature models...
An Architecture for Developing Aspect-Oriented Web Services (2005)
Santokh Singh, John Grundy, John Hosking, Jing Sun
Current web services approaches have many limitations, especially with description, discovery and integration mechanisms. In this paper we present a novel software architecture called aspect-oriented...
Verify Feature Models Using Protégé-OWL (2005)
Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang
Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a widely-adopted means of precisely representing...
An Architecture for Developing Aspect-Oriented Web Services (2005)
Santokh Singh, John Grundy, John Hosking, Jing Sun
Current web services approaches have many limitations, especially with description, discovery and integration mechanisms. In this paper we present a novel software architecture called aspect-oriented...
Stewart, D E., Sun, Jing, Patterson, C R
Funded primarily by Health Promotion Queensland, a consortium led by Queensland University of Technology is trialling a health promoting school-based intervention over four years that reviews the...
Kaufman, David A., Albelda, Steven M., Sun, Jing, Davies, Peter F.
Phosphorylation of tyrosine residues on platelet-endothelial cell adhesion molecule-1 (PECAM-1), followed by signal trans- 13 duction events, has been described in endothelial cells following...
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Aftertreatment control and adaptation for automotive lean burn engines with HEGO sensors (2004)
Sun, Jing, Kim, Yong Wha, Wang, Leyi
Control of aftertreatment systems for lean burn technology engines represents a big challenge, due to the lack of on-board emission measurements and the sensitivity of the hardware components to...
Studies on graph-based coding systems (2004)
Thesis (Ph. D.)--Ohio State University, 2004.
Studies on graph-based coding systems (2004)
To make full use of the valuable radio spectrum, one of the targets of communications system design is to convey as much information as possible through the spectrum (the channel) allocated for the...
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Studies on graph-based coding systems [electronic resource] / (2004)
Abstract: To make full use of the valuable radio spectrum, one of the targets of communications system design is to convey as much information as possible through the spectrum (the channel) allocated...
Studies on graph-based coding systems (2004)
Thesis (Ph. D.)--Ohio State University, 2004.
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Image-based region modelling focusing on template generation of road networks / (2004)
Thesis (M. Phil.)--Hong Kong Polytechnic University, 2004.
Simulation Design for the Composition of Zirconia Composite Ceramic Tool (2004)
Ai, Xing, Huang, Chuanzhen, Liu, Hanlian, Sun, Jing, Wang, Jun
Simulation Design for the Composition of Zirconia Composite Ceramic Tool (2004)
Ai, Xing, Huang, Chuanzhen, Liu, Hanlian, Sun, Jing, Wang, Jun
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Simulation Design for the Composition of Zirconia Composite Ceramic Tool (2004)
Ai, Xing, Huang, Chuanzhen, Liu, Hanlian, Sun, Jing, Wang, Jun
Stewart, Donald E., Sun, Jing, Patterson, Carla M., Lemerle, Kate A., Hardie, Michael W.
This paper reports on the first phase of a multi-strategy health promotion project which uses a whole-school approach to promote resiliency in children of primary school age in school, family and...
Simulation Design for the Composition of Zirconia Composite Ceramic Tool (2004)
Ai, Xing, Huang, Chuanzhen, Liu, Hanlian, Sun, Jing, Wang, Jun
Three-dimensional monolithic MEMS coil (2003)
Thesis (M.S.)--University of Cincinnati, 2003.
THREE-DIMENSIONAL MONOLITHIC MEMS COIL (2003)
In this research, design and processing of multi-stack three-dimensional RF coil has been investigated and developed to meet the needs of small-size high-resistance inductors. Different materials and...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Three-dimensional monolithic MEMS coil [electronic resource] / (2003)
SUN, Jing., OhioLINK Electronic Theses And Dissertations Center.
In this research, design and processing of multi-stack three-dimensional RF coil has been investigated and developed to meet the needs of small-size high-resistance inductors. Different materials and...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Three-dimensional monolithic MEMS coil (2003)
Thesis (M.S.)--University of Cincinnati, 2003.
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early indicators of executive function and attention in preterm and full-term infants (2003)
Presented to the Centre for Innovation in Education, Faculty of Education, Queensland University of Technology. Includes bibliographical references (p. 307-346)
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Checking and Reasoning about Semantic Web through Alloy (2003)
Jin Song Dong, Jing Sun, Hai Wang
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. The Formal Methods...
D.: ZML: XML Support for Standard Z (2003)
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, ...
Abstract. This paper proposes an XML format for standard Z.We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new...
Checking and Reasoning about Semantic Web (2003)
Through Alloy Jin, Jin Song Dong, Jing Sun, Hai Wang
Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. The Formal Methods community...
D.: ZML: XML Support for Standard Z (2003)
Nicholas Daley, Nicholas Daley, Mark Utting, Mark Utting, Mark Utting, Ian Toyn, ...
Abstract. This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
Early Indicators of Executive Function and Attention in Preterm and Full-term Infants (2003)
This study investigated executive function and sustained attention in preterm and full-term infants at 8 months after expected date of delivery and at 10-11 months chronological age. Executive...
ZML:XML support for standard Z. (2002)
Utting, Mark, Toyn, Ian, Sun, Jing, Martin, Andrew, Dong, Jin Song, Daley, Nicholas, ...
This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is...
ZML:XML support for standard Z. (2002)
Utting, Mark, Toyn, Ian, Sun, Jing, Martin, Andrew, Dong, Jin Song, Daley, Nicholas, ...
This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is...
SUN, JING. Optimization of the Neutron Absorption Steady Source Measurement Method --by using an 124Sb-Be Source. (Under the direction of Robin P. Gardner.) In the mineral exploration and oil well...
Jin Song Dong, Jing Sun, Hai Wang
The World Wide Web provides an important infrastructure for a promising environment for formal specification and design activities because it allows sharing of various design models and provides...
Timed Communicating Object Z (TCOZ) semantically and syntactically blends Object-Z with TCSP. TCOZ can capture the data/state and real-time interactions of system components. TCOZ preserves in large...
Semantic-Web for Extending and Linking Formalisms (2002)
Dong Jing SONG, Jing SUN, Hai WANG
The diversity of various formal specification techniques and the need for their effective combinations requires an extensible and integrated supporting environment. The Web provides infrastructure...
Freiburg (Breisgau), Universität, Thesis (doctoral), 2002.
XML-Based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun, Wang, Hai
Timed Communicating Object Z(TCOZ) combinesObject-Z’ s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work on the XML...
XML-Based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun, Wang, Hai
Timed Communicating Object Z(TCOZ) combinesObject-Z’ s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work on the XML...
XML-based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
TCOZ
XML-based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
Abstract. Timed Communicating Object Z(TCOZ) combinesObject-Z’s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work...
Z Approach to Semantic Web (2002)
Jin Song Dong, Jing Sun, Hai Wang
Abstract. The Semantic Web (SW)service is a web application using Semantic Web techniques which usually involve cooperation between several intelligent agents. The design of SW systems requires...
XML-Based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
Timed Communicating Object Z(TCOZ) combinesObject-Z's strengths in modelling complex data and state with TCSP's strengths in modeling real-time concurrency. Based on our previous work on...
Semantic Web for Extending and Linking Formalisms Jin Song Dong, Jing Sun,an Ha Wa8 (2002)
School Ofceooz Bh, Jin Song Dong, Jing Sun, Hai Wang
The diversity of various formal specification techniques and the need for their e#ective combinations requires an extensible and integrated supporting environment. The Webprovides infrastructure for...
Z Approach toSD5R666 Web Jin Song Dong, Jing Sun,an Ha (2002)
School Of Computing, Jin Song Dong, Jing Sun, Hai Wang
TheSemaAflz Web (SW)service isa weba)L1z54)V1 using Sema) tic Web techniques whichusua)K involvecoopera1K] between severa intelligent antell The design of SW systems requires precise modelling...
Idle speed control of a direct injection spark ignition stratified charge engine (2001)
Grizzle, J. W., Buckland, Julia, Sun, Jing
Idle speed control is investigated for a direct injection, spark ignition, stratified charge (DISC) engine equipped with an electronic throttle. Such engines can be operated in multiple combustion...
Object-Z Web Environment and Projections to UML (2001)
Sun, Jing, Song Dong, Jin, Liu, Jing, Wang, Hai
This paper presents the XML/XSL approach to the development of a web environment for the formal specification language Object-Z. The projection techniques and tools from Object-Z (in XML) to UML (in...
Design of CMOS RMS-to-DC converter and timing generator for pin electronics application / (2001)
Thesis (M. Eng.)--Nanyang Technological University, School of Electrical and Electronic Engineering, 2001.
Ying Mu, Hanqi Zhang, Xiaojun Zhao, Daqian Song, Zhen Wang, Jing Sun, ...
A novel optical biosensor based on simultaneous multiwave length detection surface plasmon resonance (SPR) has been developed for immunosensing. The sensor is designed on the basis of fixing angle of...
Development and testing of a real-time DGPS/INS integrated system (1998)
Bibliography: p. 107-118
Development and testing of a real-time DGPS/INS integrated system (1998)
Bibliography: p. 107-118
Multibody interactions in the embedded atom method : applications to surface reconstruction / (1993)
Typescript.
Design of a Web2.0-based Knowledge Management Platform (1970)
Weijun Wang, Rui Xiong, Jing Sun
Knowledge Management Platform plays an important role in helping spread knowledge of individuals or groups across organizations. Many current knowledge management platforms met with deficiencies of...
THREE-DIMENSIONAL MONOLITHIC MEMS COIL
In this research, design and processing of multi-stack three-dimensional RF coil has been investigated and developed to meet the needs of small-size high-resistance inductors. Different materials and...
Studies on graph-based coding systems
To make full use of the valuable radio spectrum, one of the targets of communications system design is to convey as much information as possible through the spectrum (the channel) allocated for the...
Critical roles of c-Rel in autoimmune inflammation and helper T cell differentiation
Hilliard, Brendan A., Mason, Nicola, Xu, Lingyun, Sun, Jing, Lamhamedi-Cherradi, Salah-Eddine, Liou, Hsiou-Chi, ...
Different members of the Rel/NF-κB family may play different roles in immunity and inflammation. We report here that c-Rel–deficient mice are resistant to autoimmune encephalomyelitis and are...
Perchonock, Claire E., Fernando, Melissa C., Quinn, William J., Nguyen, Chau T., Sun, Jing, Shapiro, Michael J., ...
Activation of naïve T cells requires synergistic signals produced by the T-cell receptor (TCR) and by CD28. We previously identified the novel adaptor ALX, which, upon overexpression in Jurkat T...
Critical roles of c-Rel in autoimmune inflammation and helper T cell differentiation
Hilliard, Brendan A., Mason, Nicola, Xu, Lingyun, Sun, Jing, Lamhamedi-Cherradi, Salah-Eddine, Liou, Hsiou-Chi, ...
Different members of the Rel/NF-κB family may play different roles in immunity and inflammation. We report here that c-Rel–deficient mice are resistant to autoimmune encephalomyelitis and are...
Perchonock, Claire E., Fernando, Melissa C., Quinn, William J., Nguyen, Chau T., Sun, Jing, Shapiro, Michael J., ...
Activation of naïve T cells requires synergistic signals produced by the T-cell receptor (TCR) and by CD28. We previously identified the novel adaptor ALX, which, upon overexpression in Jurkat T...
Wang, HongBin, Yang, Chengfeng, Leskow, Federico Coluccio, Sun, Jing, Canagarajah, Bertram, Hurley, James H, ...
Although receptor-mediated regulation of small G-proteins and the cytoskeleton is intensively studied, the mechanisms for attenuation of these signals are poorly understood. In this study, we have...
The zinc-finger antiviral protein recruits the RNA processing exosome to degrade the target mRNA
Guo, Xuemin, Ma, Jing, Sun, Jing, Gao, Guangxia
Zinc-finger antiviral protein (ZAP) is a host antiviral factor that specifically inhibits the replication of Moloney murine leukemia virus (MLV) and Sindbis virus (SIN) by preventing accumulation of...
Studies on the mechanism of inhibition of bacterial ribonuclease P by aminoglycoside derivatives
Kawamoto, Steven A., Sudhahar, Christopher G., Hatfield, Cynthia L., Sun, Jing, Behrman, Edward J., Gopalan, Venkat
Ribonuclease P (RNase P) is a Mg2+-dependent endoribonuclease responsible for the 5′-maturation of transfer RNAs. It is a ribonucleoprotein complex containing an essential RNA and a varying number...
Famiglietti, Julie, Sun, Jing, DeLisser, Horace M., Albelda, Steven M.
Platelet/endothelial cell adhesion molecule (PECAM-1) is a cell adhesion molecule of the immunoglobulin superfamily that plays a role in a number of vascular processes including leukocyte...
Ji, Guangju, O'Brien, Christopher D., Feldman, Morris, Manevich, Yefim, Lim, Poay, Sun, Jing, ...
Hydrogen peroxide (H2O2) released by neutrophils is an important mediator of endothelial cell (EC) injury and vascular inflammation via its effect on EC-free Ca2+, [Ca2+]i. Although the underlying...
Zhang, Keyun, Liu, Hui, Sun, Jie, Liu, Jingrui, Fei, Kan, Zhang, Chongxing, ...
The genetic diversity and phylogeny of 26 isolates of Bursaphelenchus xylophilus from China, Japan, Portugal and North America were investigated based on the D2/3 domain of 28S rDNA, nuclear...
Wang, Xiaojing, Wu, Di, Zheng, Siyuan, Sun, Jing, Tao, Lin, Li, Yixue, ...
Garnacho, Carmen, Shuvaev, Vladimir, Thomas, Anu, McKenna, Lindsay, Sun, Jing, Koval, Michael, ...
Platelet-endothelial cell adhesion molecule-1 (PECAM-1), a transmembrane glycoprotein involved in leukocyte transmigration, represents a good target for endothelial drug delivery (eg, using...
Critical roles of Bim in T cell activation and T cell–mediated autoimmune inflammation in mice
Ludwinski, Maciej W., Sun, Jing, Hilliard, Brendan, Gong, Shunyou, Xue, Fan, Carmody, Ruaidhri J., ...
Bim, the B cell lymphoma 2–interacting (Bcl2-interacting) mediator, maintains immunological tolerance by deleting autoreactive lymphocytes through apoptosis. We report here that Bim is also,...
SEPPA: a computational server for spatial epitope prediction of protein antigens
Sun, Jing, Wu, Di, Xu, Tianlei, Wang, Xiaojing, Xu, Xiaolian, Tao, Lin, ...
In recent years, a lot of efforts have been made in conformational epitope prediction as antigen proteins usually bind antibodies with an assembly of sequentially discontinuous and structurally...