An Improved Lower Bound for the Complementation of Rabin Automata (2009)
Yang Cai, Ting Zhang, Haifeng Luo
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation ofωautomata is a crucial instrument...
Towards Combining Dense Linear Order with Random Graph (2009)
Abstract. In this paper we present our work in progress towards obtaining a Nelson-Oppen style combination for combining quantified theories, where each individual component theory admits quantifier...
Wang, Zhe, Shi, Wu, Xie, Hang, Zhang, Ting, Wang, Ning, Tang, Zikang, ...
We report superconducting resistive transition characteristics for array(s) of coupled 4-Angstrom single wall carbon nanotubes embedded in aluminophosphate-five (AFI) zeolite. The transition was...
Katsuyuki Hamada, Ting Zhang, Junzo Desaki, Koh-ichi Nakashiro, Hiroshi Ito, Kenzaburo Tani, ...
The squamous cell carcinoma antigen (SCCA) serves as a serological marker for squamous cell carcinomas. Molecular cloning of the SCCA genomic region has revealed the presence of two tandemly arrayed...
We prove the global existence and uniqueness of the classical (weak) solution for the 2D or 3D compressible Navier-Stokes equations with a density-dependent viscosity coefficient...
The Decidability of the First-order Theory ofKnuth-Bendix Order (2009)
Ting Zhang, Henny B. Sipma, Zohar Manna
1
The Decidability of the First-order Theory ofKnuth-Bendix Order (2009)
Ting Zhang, Henny B. Sipma, Zohar Manna
1
The Decidability of the First-order Theory ofKnuth-Bendix Order (2009)
Ting Zhang, Henny B. Sipma, Zohar Manna
1
Compressible flows with a density-dependent viscosity coefficient (2009)
We prove the global existence of weak solutions for the 2-D compressible Navier-Stokes equations with a density-dependent viscosity coefficient ($\lambda=\lambda(\rho)$). Initial data and solutions...
Huo, Fu-Quan, Chen, Tao, Lv, Bo-Chang, Wang, Jing, Zhang, Ting, Qu, Chao-Ling, ...
The ventrolateral orbital cortex (VLO) is part of an endogenous analgesic system, consisting of the spinal cord–thalamic nucleus submedius–VLO periaqueductal gray (PAG)–spinal cord loop. The...
Peng, Tianqing, Zhang, Ting, Lu, Xiangru, Feng, Qingping
Aims Myocardial tumour necrosis factor-alpha (TNF-α) production plays an important role in cardiac dysfunction during sepsis. The aim of this study was to investigate the role of c-Jun NH2-terminal...
Zhang, Ting, Chen, Zhenyong, Ouyang, Yuanxin, Hao, Jiuyue, Xiong, Zhang
The location awareness is a crucial foundation for perceptions of the surroundings in the smart environment. Radio frequency identification (RFID), as one of the most promising technologies, plays a...
Arithmetic Integration of Decision Procedures (2008)
Decision procedures are algorithms that can determine whether a formula in a given logical theory is valid or satisfiable. An important distinction between
The Decidability of the First-order Theory of Knuth-Bendix Order (2008)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to prove the...
The Decidability of the First-order Theory of Knuth-Bendix Order (2008)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to prove the...
Arithmetic Integration of Decision Procedures? (2008)
fficiency and increase the analysis accu-racy.
A Tight Lower Bound for the Complementation of Rabin Automata (2008)
Yang Cai, Ting Zhang, Haifeng Luo
Abstract. Complementingω-automata is a crucial instrument for solving theω-language containment problem, and therefore it has numerous applications in formal language theory, program analysis and...
The Decidability of the First-order Theory of Knuth-Bendix Order (2008)
Ting Zhang, Henny B. Sipma, Zohar Manna
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to prove the...
Moh, Mei Chung, Zhang, Ting, Lee, Lay Hoon, Shen, Shali
Previously, we reported the identification of a novel immunoglobulin-like cell adhesion molecule hepaCAM that is frequently downregulated and inhibits cell growth in hepatocellular carcinoma. In this...
Traceable Air Baggage Handling System Based on RFID Tags in the Airport (2008)
Ting Zhang, Yuanxin Ouyang, Yang He
www.jtaer.com
In this note, by constructing suitable approximate solutions, we prove the existence of global weak solutions to the compressible Navier-Stokes equations with density-dependent viscosity coefficients...
Global wellposed problem for the 3-D incompressible anisotropic Navier-Stokes equations (2007)
In this paper, we consider a global wellposed problem for the 3-D incompressible anisotropic Navier-Stokes equations (\textit{ANS}). In order to do so, we first introduce the scaling invariant...
Palladium nanoparticles decorated single-walled carbon nanotube hydrogen sensor (2007)
Mubeen, Syed, Zhang, Ting, Yoo, Bongyoung, Deshusses, Marc A., Myung, Nosang V.
We developed a simple and cost-effective fabrication technique to construct a hydrogen nanosensor by decorating single-walled carbon nanotubes with Pd nanoparticles. By varying the sensor's synthesis...
Fang, Daoyuan, Xu, Jiang, Zhang, Ting
In this paper, the global well-posedness and stability of classical solutions to the multidimensional hydrodynamic model for semiconductors on the framework of Besov space are considered. We weaken...
Wei, Mingjun, Zhang, Ting, Fang, Daoyuan
In this paper, we study a free boundary problem for compressible spherically symmetric Navier-Stokes equations with a gravitational force and degenerate viscosity coefficients. Under certain...
Existence and uniqueness results for viscous, heat-conducting 3-D fluid with vacuum (2007)
We consider the 3-D full Navier-Stokes equations whose the viscosity coefficients and the thermal conductivity coefficient depend on the density and the temperature. We prove the local existence and...
In this paper, we study a free boundary problem for compressible spherically symmetric Navier-Stokes equations without a solid core. Under certain assumptions imposed on the initial data, we obtain...
Local solutions of the multidimensional Navier-Stokes equations for isentropic compressible flow are constructed with spherically symmetric initial data between a solid core and a free boundary...
The Determinants of New-firm Survival across Regional Economies (2007)
Acs, Zoltan J., Armington, Catherine, Zhang, Ting
Motivated by differences in new-firm survival across regions, this paper explores the impact of regional human capital on new-firm survival rates. New-firm survival is interpreted through formation...
Verifying Balanced Trees (2007)
Zohar Manna, Henny B. Sipma, Ting Zhang
Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However,...
Verifying Balanced Trees (2007)
Zohar Manna, Henny B. Sipma, Ting Zhang
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability comes at a price;...
Verifying Balanced Trees (2007)
Zohar Manna, Henny B. Sipma, Ting Zhang
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability comes at a price;...
Arithmetic integration of decision procedures / (2006)
Zhang, Ting., Manna, Zohar Advisor
Submitted to the Department of Computer Science.
Cholesterol Oxidation in Roasted Salmon Fish with Different Cooking Oils (2005)
The effects of plant source cooking oils on cholesterol oxidation during heating in cholesterol standard and salmon meat model were investigated. A GC-MS system was used to identify and quantify of...
Cholesterol Oxidation in Roasted Salmon Fish with Different Cooking Oils (2005)
The effects of plant source cooking oils on cholesterol oxidation during heating in cholesterol standard and salmon meat model were investigated. A GC-MS system was used to identify and quantify of...
Decision procedures for queues with integerconstraints (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. Queues are a widely used data structure in programming lan-guages. They also provide an important synchronization mechanism in modeling distributed protocols. In this paper we extend the...
A proof of topological completeness of S4 on (0,1 (2005)
Summary. The completeness of the modal logic S4 for all topological spaces as well as for the real line R, the n-dimensional Euclidean space R n and the segment (0, 1) etc. (with ✷ interpreted as...
Decision procedures for queues with integer constraints (2005)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. Queues are a widely used data structure in programming languages. They also provide an important synchronization mechanism in modeling distributed protocols. In this paper we extend the...
Exploratory spatial data analysis for the identification of risk factors to birth defects (2004)
Wu, Jilei, Wang, Jinfeng, Meng, Bin, Chen, Gong, Pang, Lihua, Song, Xinming, ...
Abstract Background Birth defects, which are the major cause of infant mortality and a leading cause of disability, refer to "Any anomaly, functional or structural, that presents in infancy or later...
Decision procedures for recursive data structures with integer constraints (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus providing a...
Term algebras with length function and bounded quantifier alternation (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
.)L: TA! Z. Formulae are formed from term literals and integerliterals using logical connectives and quantifications. Term literals are exactly
Term algebras with length function and bounded quantifier alternation (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. Term algebras have wide applicability in computer science. Unfortunately, the decision problem for term algebras has a nonelementary lower bound, which makes the theory and any extension of...
Decision procedures for term algebras with integer constraints (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term algebras can model recursive data structures which are widely used in programming languages. To verify programs we must be able to reason about these structures. However, as programming...
Decision procedures for term algebras with integer constraints (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term algebras can model recursive data structures which are widely used in programming languages. To verify programs we must be able to reason about these structures. However, as programming...
Term Algebras with Length Function and Bounded Quantifier Alternation (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term algebras have wide applicability in computer science. Unfortunately, the decision problem for term algebras has a nonelementary lower bound, which makes the theory and any extension of it...
Term Algebras with Length Function and Bounded Quantifier Alternation (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Term algebras have wide applicability in computer science. Unfortunately, the decision problem for term algebras has a nonelementary lower bound, which makes the theory and any extension of it...
Term algebras with length function and bounded quantifier alternation (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. Term algebras have wide applicability in computer science. Unfortunately, the decision problem for term algebras has a nonelementary lower bound, which makes the theory and any extension of...
Decision procedures for recursive data structures with integer constraints (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus providing a...
Decision procedures for recursive data structures with integer constraints (2004)
Ting Zhang, Henny B. Sipma, Zohar Manna
Abstract. This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus providing a...
Improvement of Kenaf Yarn for Apparel Applications (2003)
The objectives of the research are to determine the impact of the retting methods and blending percentage on the properties of kenaf fiber as well as the yarns and fabrics that contain kenaf, and to...
Improvement of Kenaf Yarn for Apparel Applications (2003)
The objectives of the research are to determine the impact of the retting methods and blending percentage on the properties of kenaf fiber as well as the yarns and fabrics that contain kenaf, and to...
Thesis (M. Sc.)--University of Oxford, 2003.
Event correlation: Language and semantics (2003)
Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, Zohar Manna
Event correlation: Language and semantics (2003)
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, Zohar Manna
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than individual events....
Decidability of integer multiplication and ordinal addition Two applications of the Feferman-Vaught theory
Event correlation: Language and semantics (2003)
Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, Zohar Manna
Theory Qualifying Exam 2 (2003)
Algebraic Systems, Ting Zhang, Quantifier Elimination
• A first-order theory T is said to have quantifier elimination if for any formula ϕ(¯x) there is a quantifier free formula ψ(¯x) such that T | = ∀¯x(ϕ(¯x) ↔ ψ(¯x)) • Assume that L...
Event correlation: Language and semantics (2003)
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, Zohar Manna
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than individual events....
Online plan of study for MSIS students / (2003)
Master's project (M.S.)--Dakota State University, 2003.
Event correlation: Language and semantics (2003)
Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, Zohar Manna
Component selection and matching for IP-based design (2001)
Intellectual Property (IP) reuse is one of the most promising techniques addressing the design complexity problem. IP reuse assumes that pre-designed components can be integrated into the design...
Component selection and matching for IP-based design (2001)
Intellectual Property (IP) reuse is one of the most promising techniques addressing the design complexity problem. IP reuse assumes that pre-designed components can be integrated into the design...
Includes abstract.
Exploratory spatial data analysis for the identification of risk factors to birth defects
Wu, Jilei, Wang, Jinfeng, Meng, Bin, Chen, Gong, Pang, Lihua, Song, Xinming, ...
Exploratory spatial data analysis for the identification of risk factors to birth defects
Wu, Jilei, Wang, Jinfeng, Meng, Bin, Chen, Gong, Pang, Lihua, Song, Xinming, ...
Morphine Withdrawal Enhances Hepatitis C Virus Replicon Expression
Wang, Chuan-Qing, Li, Yuan, Douglas, Steven D., Wang, Xu, Metzger, David S., Zhang, Ting, ...
We previously demonstrated that morphine enhances hepatitis C virus (HCV) replication in human hepatic cells. Here we describe the impact of morphine withdrawal (MW), a recurrent event during the...
Morphine Enhances Hepatitis C Virus (HCV) Replicon Expression
Li, Yuan, Zhang, Ting, Douglas, Steven D., Lai, Jian-Ping, Xiao, Wei-Dong, Pleasure, David E., ...
Little information is available regarding whether substance abuse enhances hepatitis C virus (HCV) replication and promotes HCV disease progression. We investigated whether morphine alters HCV mRNA...
Zoltan J. Acs, Catherine Armington, Ting Zhang
Motivated by differences in new-firm survival across regions, this paper explores the impact of regional human capital on new-firm survival rates. New-firm survival is interpreted through formation...
The Determinants of New-firm Survival across Regional Economies
Zoltan J. Acs, Catherine Armington, Ting Zhang
Motivated by differences in new-firm survival across regions, this paper explores the impact of regional human capital on new-firm survival rates. New-firm survival is interpreted through formation...
Hydrogen Peroxide Promotes Aβ Production through JNK-dependent Activation of γ-Secretase*S⃞
Shen, Chengyong, Chen, Yongfeng, Liu, Huaqing, Zhang, Kejing, Zhang, Ting, Lin, Anning, ...
Accumulation of senile plaques composed of amyloid β-peptide (Aβ) is a pathological hallmark of Alzheimer disease (AD), and Aβ is generated through the sequential cleavage of amyloid precursor...
Zhang, Nian Zhi, Zhang, Li Feng, Jiang, Yi Nan, Zhang, Ting, Xia, Chun
Spring viraemia of carp (SVC) is a fatal viral disease for cyprinid fish, which is caused by spring viraemia of carp virus (SVCV). To date, no SVC outbreak has been reported in China. Between 1998...
Wei, Youheng, Xiao, Qianghai, Zhang, Ting, Mou, Zongchun, You, Jia, Ma, Wei-Jun
The tight regulation of transiently expressed antimicrobial peptides (AMPs) with a distinct antimicrobial spectrum and different expression kinetics contributes greatly to the properly regulated...