CTL Model Update for System Modifications (2009)
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update towards the...
Tariff and Equilibrium Indeterminacy - A Global Analysis (2009)
Zhang (2009) shows that endogenous tariffs and endogenous labor income taxes (Schmitt-Grohe and Uribe, 1997) are equivalent in generating local indeterminacy. Using the method developed by Stockman...
Endogenous income taxes and indeterminacy in dynamic models: When Diamond meets Ramsey again. (2009)
This paper introduces fiscal increasing returns, through endogenous labor income tax rates as in Schmitt-Grohe and Uribe (1997), into the overlapping generations model with endogenous labor,...
The Knuth-Yao Quadrangle-Inequality Speedup is a Consequence of Total-Monotonicity ∗ (2009)
There exist several general techniques in the literature for speeding up naive implementations of dynamic programming. Two of the best known are the Knuth-Yao quadrangle inequality speedup and the...
Online Dynamic Programming Speedups ∗ (2009)
Amotz Bar-noy, Mordecai J. Golin, Yan Zhang
Consider the dynamic program h(n) = min1≤j≤n a(n, j), where a(n, j) is some formula that may (online) or may not (offline) depend on the previously computed h(i), for i < n. The goal is to...
Ji, Yixin, Zhang, Yan, Xu, Songtao, Zhu, Zhen, Zuo, Shuyan, Jiang, Xiaohong, ...
Abstract Measles morbidity and mortality decreased significantly after measles vaccine was introduced into China in 1965. From 1995 to 2004, average annual measles incidence decreased to 5.6 cases...
Sensitivity-Based Optimization of Disk Architecture (2009)
Sriram Sankar, Yan Zhang, Sudhanva Gurumurthi, Mircea R. Stan, Senior Member
Abstract—Many applications, especially those that run on servers, are I/O intensive and therefore require high-performance storage systems. These high-end storage systems consume a large amount of...
Endogenous income taxes in OLG economies: A clarification (2009)
This paper introduces endogenous capital income tax rates as in Schmitt-Grohe and Uribe (1997), into the overlapping generations model with endogenous labor and consumption in both periods of life...
Cloning of Cashmere Goat Scp3 Gene and Determining the First Round Meiosis in the Testes (2009)
HOU, Yue, WU, Ying-ji, LUO, Fen-hua, SU, Hui-min, ZHANG, Xue-ming, ZHANG, Yan, ...
The synaptonemal complex protein 3 (Scp3) plays a crucial role in synaptonemal complex formation and male germ cells meiosis. Until now, no studies on goat Scp3 have been reported. In present study,...
Endogenous income taxes in OLG economies (2009)
This paper introduces fiscal increasing returns, through endogenous labor income tax rates as in Schmitt-Grohe and Uribe (1997), into the overlapping generations model with endogenous labor and...
Dynamic effects of government expenditure in a finance constrained economy: A Note (2009)
Gokan [Dynamic effects of government expenditure in a finance constrained economy, J. Econ. Theory 127 (2006) 323-333] introduces constant government expenditure (financed by labor income taxes) in...
Zhang, Yan, Wang, Linpeng, Liu, Huilin, Li, Nan, Li, Jingdao, Yi, Jinghong
Abstract Background Many studies have already reported encouraging results in the prophylactic therapy of migraine by acupuncture, but there seems to be a lack of high quality randomized controlled...
Chen, Xi, Li, Chun-Fang, Wei, Rong-Rong, Zhang, Yan
We have investigated that the Goos-H\"anchen (GH) shifts in frustrated total internal reflection (FTIR) studied with wave packet propagation. In the first-order approximation of the transmission...
Gene expression in primate liver during viral hemorrhagic fever (2009)
Djavani, Mahmoud, Crasta, Oswald R, Zhang, Yan, Zapata, Juan, Sobral, Bruno, Lechner, Melissa G, ...
Abstract Background Rhesus macaques infected with lymphocytic choriomeningitis virus (LCMV) provide a model for human Lassa fever. Disease begins with flu-like symptoms and progresses rapidly with...
Comparative genomic analyses of nickel, cobalt and vitamin B12 utilization (2009)
Zhang, Yan, Rodionov, Dmitry A, Gelfand, Mikhail S, Gladyshev, Vadim N
Abstract Background Nickel (Ni) and cobalt (Co) are trace elements required for a variety of biological processes. Ni is directly coordinated by proteins, whereas Co is mainly used as a component of...
Logical Properties of Belief-Revision-Based Bargaining Solution ⋆ (2009)
Abstract. This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief...
Comparing Industry Benchmarks for J2EE Application Server: (2009)
As the Internet and enterprise wide distributed systems become more prevalent in business IT systems, numerous advanced COTS (commercial off-the-shelf) middleware technologies have appeared on the...
The Two-Median Problem on Manhattan Meshes (2009)
We investigate the two-median problem on a mesh with M columns and N rows (M ≥ N), under the Manhattan (L1) metric. We derive exact algorithms with respect to m, n, and r, the number of columns,...
Hypertrophic Cardiomyopathy, Jeanne James, Yan Zhang, Hanna Osinska, Atsushi Sanbe, Raisa Klevitsky, ...
Reprints: Information about reprints can be found online at
Tariff and Equilibrium Indeterminacy (2009)
We study the effect of tariffs in a one-sector small open economy that imports oil. We find that (1) the model may exhibit local indeterminacy and sunspots when tariff rates are endogenously...
Young, Hwa, Zhang, Yan, Cheon Lee, Byung, Kim, Jae-Ryong, Gladyshev, Vadim N.
Selenocysteine (Sec) is incorporated into proteins in response to UGA codons. This residue is frequently found at the catalytic sites of oxidoreductases. In this study, we characterized the...
Comparative Genomic Analyses of Nickel, Cobalt and Vitamin B12 Utilization (2009)
Zhang, Yan, Rodionov, Dmitry, Gelfand, Mikhail, Gladyshev, Vadim N.
Background: Nickel (Ni) and cobalt (Co) are trace elements required for a variety of biological processes. Ni is directly coordinated by proteins, whereas Co is mainly used as a component of vitamin...
Service Differentiation in OFDM-Based IEEE 802.16 Networks (2009)
Yi Zhou, Kai Chen, Jianhua He, Haibin Guan, Yan Zhang, Alei Liang
IEEE 802.16 network is widely viewed as a strong candidate solution for broadband wireless access systems. Various flexible mechanisms related to QoS provisioning have been specified for uplink...
catena-Poly[[bis(4-methylbenzenethiolato)cadium(II)]-μ-1,3-di-4-pyridylpropane] (2009)
In the title compound, [Cd(C7H7S)2(C13H14N2)]n, the unique CdII ion, located on a twofold rotation axis, is coordinated by two S atoms and two N atoms in a slightly distorted tetrahedral environment....
Aymeric Histace, Bogdan Matuszewski, Yan Zhang
The noninvasive assessment of cardiac function is of first importance for the diagnosis of cardiovascular diseases. Among all medical scanners only a few enables radiologists to evaluate the local...
WiMAX network planning and optimization (2009)
This book offers a comprehensive explanation on how to dimension, plan, and optimize WiMAX networks. The first part of the text introduces WiMAX networks architecture, physical layer, standard,...
Security in RFID and sensor networks (2009)
In the past several years, there has been an increasing trend in the use of Radio Frequency Identification (RFID) and Wireless Sensor Networks (WSNs) as well as in the integration of both systems due...
OFDMA Architectures, Protocols, and Applications (2009)
Alister G. Burr, Lingyang Song, Yan Zhang, Thomas Michael Bohnert
Updating Epistemic Logic Programs (2009)
We consider the problem of updating non-monotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and belief can be explicitly...
Service Differentiation in OFDM-Based IEEE 802.16 Networks (2009)
Yi Zhou, Kai Chen, Jianhua He, Haibin Guan, Yan Zhang, Alei Liang
IEEE 802.16 network is widely viewed as a strong candidate solution for broadband wireless access systems. Various flexible mechanisms related to QoS provisioning have been specified for uplink...
Aymeric Histace, Bogdan Matuszewski, Yan Zhang
The noninvasive assessment of cardiac function is of first importance for the diagnosis of cardiovascular diseases. Among all medical scanners only a few enables radiologists to evaluate the local...
OFDMA Architectures, Protocols, and Applications (2009)
Alister G. Burr, Lingyang Song, Yan Zhang, Thomas Michael Bohnert
Wang, Angela Yee-Moon, Lam, Christopher Wai-Kei, Wang, Mei, Chan, Iris Hiu-Shuen, Lui, Siu-Fai, Zhang, Yan, ...
Background. N-terminal-pro-brain natriuretic peptide, cardiac troponin T (cTnT) and high sensitivity C-reactive protein (hs-CRP) have been shown to predict mortality and cardiovascular outcomes in...
A Subgrid Model for the Time-Dependent Navier-Stokes Equations (2009)
We propose a stabilized subgrid finite-element method for the two-dimensional (2D) nonstationary incompressible Naver-Stokes equation (NSE). This method yields a subgrid eddy viscosity which does not...
AMPK and TNF-{alpha} at the crossroad of cell survival and death in ischaemic heart (2009)
Peng, Wei, Zhang, Yan, Zhu, Weizhong, Cao, Chun-Mei, Xiao, Rui-Ping
Yan Zhang, FengXia Wang, Li Fang, Shuo Wang, GuoZhen Fang
To determine ractopamine residues in animal food products (chicken muscle, pettitoes, pig muscle, and pig liver), we established a rapid direct competitive enzyme-linked immunosorbent assay (ELISA)...
Mahmoud Djavani, Oswald R Crasta, Yan Zhang, Juan Carlos Zapata, Bruno Sobral, Melissa G Lechner, ...
PDF corresponds to the article as it appeared upon acceptance. Fully formatted PDF and full text (HTML) versions will be made available soon. Gene expression in primate liver during viral hemorrhagic...
Survey of Learners ’ Knowledge Structures: Rationales, Methods and Instruments (2008)
Peiling Wang, Stephen Bales, Jason Rieger, Yan Zhang
How human beings organize knowledge and to what extend individuals ’ organizational structures overlap are important research questions in cognitive science (Lakoff, 1987) as well as in information...
SODA: Sensitivity Based Optimization of Disk Architecture (2008)
Storage plays a pivotal role in the performance of many applications. Optimizing disk architectures is a design-time as well as a run-time issue and requires balancing between performance, power and...
Categories and Subject Descriptors (2008)
Fabian Kuhn, Roger Wattenhofer, Yan Zhang, Aaron Zollinger
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc routing. In particular we...
Effectively Maintaining Single View Consistency in Web Warehouses (2008)
Web warehouse provides high availability and efficiency by utilizing materialized webviews, which should be refreshed in time to keep freshness. During the refreshing, the consistency between a...
A Flexible, Technology Adaptive Memory Generation Tool (2008)
Adam C. Cabe, Zhenyu Qi, Wei Huang, Yan Zhang, Mircea R. Stan, Garrett S. Rose
Memories are by far the most dominating circuit structure found in modern day application specific integrated circuits (ASIC) and system-on-chips (SoC). When considering efficiency, it is not deemed...
Abstract. Digital libraries are structured collections that can offer intellectual access and ensure the persistence over time of collections of digital works. They provide a good approach to...
Measuring mental models: Rationales and instruments (2008)
The purpose of this study is to develop and test an instrument for measuring users ’ mental models of Web search engines. Mental models play an important role in users ’ interactions with a...
Manual for QMMM Version 1.3 Manual QMMM–version 1.3 (2008)
Hai Lin, Yan Zhang, Donald G. Truhlar
Abstract: QMMM is a computer program for performing geometry optimizations and calculating single-point energies, gradients, and/or Hessians using combined quantum mechanics (QM) and molecular...
Fujise M. Security management in the next generation wireless networks (2008)
Yan Zhang, Masayuki Fujise, Corresponding Yan Zhang
In this paper, we make an introduction to the security management in the next generation wireless mobile networks, including the access security mechanisms in the circuited-switched domain,...
Are Progressive Income Taxes Stabilizing? : A Reply (2008)
Dromel and Pintus [Are Progressive Income Taxes Stabilizing?, Journal of Public Economic Theory 10, (2008) 329-349] have shown that labor-income tax progressivity reduces the likelihood of local...
Tariff and Equilibrium Indeterminacy (2008)
We examine the role of tariffs levied on the imported production factor in a one-sector small open economy real business cycle model. We show that under perfect competition and constant...
Tariff Policy, Increasing Returns and Endogenous Fluctuations (2008)
We study the effects of government tariff policy in a one-sector small open economy RBC model with a productive externality that generates social increasing returns to scale. Various forms of...
Use of Electronic Science Journals in the Undergraduate Curriculum: An Observational Study 1 (2008)
Carol Tenopir, Peiling Wang, Richard Pollard, Yan Zhang, Beverly Simmons
Phase 2 of a 2-phase project funded by the NSF-
Peter Murphy, Tracy Harrison-hill, Lindsay Turner, Yan Zhang, Prof Terry, De Lacy, ...
The technical report series present data and its analysis, meta-studies and conceptual studies and are considered to be of value to industry, government and researchers. Unlike the Sustainable...
The acquisition of grammar from a corpus is a challenging task in the preparation of a knowledge bank. In this paper, we discuss the extraction of Chinese grammar oriented to a restricted corpus....
Ensemble simulations of smoke aerosol radiative effects with a regional climate model in the Amazon has been conducted to investigate the radiative effects of aerosols on clouds, rainfall, and...
Tariff and Equilibrium Indeterminacy--(II) (2008)
We establish conditions under which indeterminacy can occur in a small open economy oil-in the production RBC model with lump sum tariff revenue transfers. The indeterminacy would require that the...
Tariff and Equilibrium Indeterminacy--A Note (2008)
We explore the equivalence between the factor income taxes (in Schmitt-Grohe and Uribe 1997) in the closed economy and the tariff in the open economy, in the sense that they share similar propagation...
Does the utility function form matter for indeterminacy in a two sector small open economy? (2008)
In his paper "Does utility curvature matter for indeterminacy", Kim (2005) analyzed the relationship among the utility function form, curvature and indeterminacy, concluding that the relationship...
Online Dynamic Programming Speedups ⋆ (2008)
Amotz Bar-noy, Mordecai J. Golin, Yan Zhang
Abstract. Consider the Dynamic Program h(n) = min1≤j≤n a(n, j) for n =1, 2,...,N. For arbitrary values of a(n, j), calculating all the h(n) requires Θ(N 2) time. It is well known that, if the...
Abstract Knowledge updates: Semantics and complexity issues ⋆ (2008)
We consider the problem of updating of an agent’s knowledge. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our method, an update is specified...
Submitted for 40 TH DAC Student Design Contest 1 Analog Turbo Decoder Implemented in SiGe (2008)
Bicmos Technology, Wei Huang, Vinay Igure, Garrett Rose, Yan Zhang, Mircea Stan
Abstract—Error correcting decoder’s performance is crucial for communication systems. Since the performance of Turbo codes is close to the Shannon limit, ultra high-speed turbo decoder is...
The Knuth-Yao Quadrangle-Inequality Speedup is a Consequence of Total-Monotonicity ∗ (2008)
There exist several general techniques in the literature for speeding up naive implementations of dynamic programming. Two of the best known are the Knuth-Yao quadrangle inequality speedup and the...
A HIERARCHICAL TIME MANAGEMENT MECHANISM FOR HLA-BASED DISTRIBUTED VIRTUAL ENVIRONMENT (2008)
Time management is a key group of services in HLA (High Level Architecture) which has prevailed in distributed simulation and distributed virtual environment. Different from the traditional...
Education Curriculum Vitae (2008)
Highly scalable VLSI physical design algorithms, especially multilevel full-chip routing Design tools for emerging IC manufacturing and integration technologies, such as 3D ICs, nano technologies,...
Logical Properties of Belief-Revision-Based Bargaining Solution (2008)
Abstract. This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized belief...
Yun Bai, Yan Zhang, Vijay Varadharajan
Abstract In [2,3], we proposed a model-based approach to specify the transformation of authorizations based on the principle of minimal change [10] and its application in database systems....
Efficient Execution of Multiple Queries on Deep Memory Hierarchy (2008)
Yan Zhang, Zhifeng Chen, Yuanyuan Zhou
Recent studies proposed several cache-conscious data layout schemes to improve the data spatial locality for single queries. While these approaches effectively reduce the number of memory accesses,...
State Transfer Graph: An Efficient Tool for Webview Maintenance (2008)
Abstract. When the web becomes more and more whirling with tremendous data, traditional maintenance approaches for web warehouses exhibit poor performance. In this paper, we first demonstrate the...
Effectively Maintaining Multiple View Consistency in Web Warehouses (2008)
To make a web warehouse reflect the real web accurately, we should keep timeliness, freshness and consistency for the webviews. This paper fouses on one important part of webview maintenance –...
MiniTasking: Improving Cache Performance for Multiple Query Workloads (2008)
Yan Zhang, Zhifeng Chen, Yuanyuan Zhou
Abstract. This paper proposes a novel idea, called MiniTasking to reduce the number of cache misses by improving the data temporal locality for multiple concurrent queries. Our idea is based on the...
Yizhen Zhu, Mingda Wu, Yan Zhang, Xiaoming Li
Abstract. Recent studies show that the link-structure-based measures of Web page popularity prolong the procedure of new pages reaching their deserved ranking. In this paper we propose a promotional...
ABSTRACT WEB SERVER AUTHORISATION WITH THE POLICYUPDATER ACCESS CONTROL SYSTEM (2008)
Vino Fernando Crescini, Yan Zhang, Weiyuan Wang
The PolicyUpdater 1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based language to...
A Logic Based Approach for Dynamic Access Control (2008)
Vino Fern, O Crescini, Yan Zhang
Abstract. The PolicyUpdater 1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use of a...
Tariff and Equilibrium Indeterminacy--(I) (2008)
Schmitt-Grohe and Uribe (1997, henceforth SGU) prove that in a standard neoclassical growth model the fiscal increasing returns induced by the endogenous factor income tax rate (assuming that the...
Multiscale Optimization in VLSI Physical Design Automation (2008)
Tony F. Chan, Jason Cong, Joseph R. Shinnerl, Kenton Sze, Min Xie, Yan Zhang
Summary. The enormous size and complexity of current and future integrated circuits (IC’s) presents a host of challenging global, combinatorial optimization problems. As IC’s enter the nanometer...
Simple Continued Fractions and Their Convergents (2008)
Summary. The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is...
suppression in a MIMO MC-CDMA system (2008)
Yan Zhang, Student Member, Laurence B. Milstein, Paul H. Siegel
The tradeoff between diversity gain and interference
Difference and Difference Quotient (2008)
Bo Li, Xiquan Liang, Yan Zhang
Summary. In this article, we give the definitions of forward difference, backward difference, central difference and difference quotient, and some of their important properties.
Several Differentiable Formulas of Special Functions (2008)
Summary. In this article, we give several differentiable formulas of special functions. There are some specific composite functions consisting of rational functions, irrational functions,...
Several Differentiable Formulas of Special Functions. Part II (2008)
Yan Zhang, Xiquan Liang, Bo Li
Summary. In this article, we give several other differentiable formulas of special functions.
Several Differentiation Formulas of Special Functions. Part III (2008)
Bo Li, Xiquan Liang, Yan Zhang
Summary. In this article, we give several differentiation formulas of special and composite functions including trigonometric function, inverse trigonometric function, polynomial function and...
Simple Continued Fractions and Their Convergents (2008)
Summary. The article introduces simple continued fractions. They are defined as an infinite sequence of integers. The characterization of rational numbers in terms of simple continued fractions is...
and Design]: Real-time systems and embedded systems (2008)
Yan Zhang, Zhijian Lu, John Lach, Kevin Skadron, Mircea R. Stan
This paper presents an optimal procrastinating voltage scheduling (OP-DVS) for hard real-time systems using stochastic workload information. Algorithms are presented for both single-task and...
Nonnumerical Algorithms and Problems—geometrical (2008)
Fabian Kuhn, Roger Wattenhofer, Yan Zhang, Aaron Zollinger
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc routing. In particular we...
Zhang, Yan, Zhou, You, Schweizer, Ulrich, Savaskan, Nicolai E., Hua, Deame, Kipnis, Jonathan, ...
Although dietary selenium (Se) deficiency results in phenotypes associated with selenoprotein depletion in various organs, the brain is protected from Se loss. To address the basis for the critical...
Zhang, Yan, Turanov, Anton, Hatfield, Dolph, Gladyshev, Vadim N.
Background: Selenium (Se) is a trace element that occurs in proteins in the form of selenocysteine (Sec) and in tRNAs in the form of selenouridine (SeU). Selenophosphate synthetase (SelD) is required...
Functional Characterization of Alternatively Spliced Human SECISBP2 Transcript Variants (2008)
Papp, Laura V., Wang, Junning, Kennedy, Derek, Boucher, Didier, Zhang, Yan, Gladyshev, Vadim N., ...
Synthesis of selenoproteins depends on decoding of the UGA stop codon as the amino acid selenocysteine (Sec). This process requires the presence of a Sec insertion sequence element (SECIS) in the...
Zhang, Yan, Gladyshev, Vadim N.
Selenium is an important trace element that occurs in proteins in the form of selenocysteine (Sec) and in tRNAs in the form of selenouridine. Recent large-scale metagenomics projects provide an...
Reduction of B cell turnover in chronic lymphocytic leukaemia. (2008)
Defoiche, Julien, Debacq, Christophe, Asquith, Becca, Zhang, Yan, Burny, Arsene, Bron, Dominique, ...
Whether chronic lymphocytic leukaemia (CLL) is a latent or a proliferating disease has been intensively debated. Whilst the dogma that CLL results from accumulation of dormant lymphocytes is...
Functional characterization of alternatively spliced human SECISBP2 transcript variants (2008)
Papp, Laura V., Wang, Junning, Kennedy, Derek, Boucher, Didier, Zhang, Yan, Gladyshev, Vadim N., ...
Synthesis of selenoproteins depends on decoding of the UGA stop codon as the amino acid selenocysteine (Sec). This process requires the presence of a Sec insertion sequence element (SECIS) in the...
Functional characterization of alternatively spliced human SECISBP2 transcript variants (2008)
Papp, Laura V., Wang, Junning, Kennedy, Derek, Boucher, Didier, Zhang, Yan, Gladyshev, Vadim N., ...
Synthesis of selenoproteins depends on decoding of the UGA stop codon as the amino acid selenocysteine (Sec). This process requires the presence of a Sec insertion sequence element (SECIS) in the...
A Case Study of College-level Students' Needs for English Writing Instruction (2008)
This thesis reports on a case study concerning Chinese student’s needs for English writing instruction at Beijing Jiaotong University. Through survey and interviews, the study investigates the...
Functional characterization of alternatively spliced human SECISBP2 transcript variants (2008)
Papp, Laura V., Wang, Junning, Kennedy, Derek, Boucher, Didier, Zhang, Yan, Gladyshev, Vadim N., ...
Synthesis of selenoproteins depends on decoding of the UGA stop codon as the amino acid selenocysteine (Sec). This process requires the presence of a Sec insertion sequence element (SECIS) in the...
(Trifolium repens L.) using FIASCO and phpSSRMiner (2008)
Yan Zhang, Ji He, Patrick X Zhao, Joseph H Bouton, Maria J Monteros, Joseph H Bouton, ...
Genome-wide identification of microsatellites in white clover
Wickett, Norman J., Zhang, Yan, Hansen, S. Kellon, Roper, Jessie M., Kuehl, Jennifer V., Plock, Sheila A., ...
Aneura mirabilis is a parasitic liverwort that exploits an existing mycorrhizal association between a basidiomycete and a host tree. This unusual liverwort is the only known parasitic seedless land...
Transforming growth factor-{beta}-regulated miR-24 promotes skeletal muscle differentiation (2008)
Sun, Qiang, Zhang, Yan, Yang, Guang, Chen, Xiaoping, Zhang, Yingai, Cao, Guojun, ...
MicroRNAs (miRNAs) have recently been proposed as a versatile class of molecules involved in regulation of a variety of biological processes. However, the role of miRNAs in TGF-β-regulated...
Transcriptional Regulation of the Human PNRC Promoter by NFY in HepG2 Cells (2008)
Zhang, Yan, Chen, Bin, Li, Yuping, Chen, Jian, Lou, Guiyu, Chen, Min, ...
PNRC (proline-rich nuclear receptor co-activator) was previously identified using bovine SF-1 (steroidogenic factor 1) as the bait in a yeast two-hybrid screening of a human mammary gland cDNA...
A High-Throughput Random Access Protocol for Multiuser MIMO Systems (2008)
Haiyou Guo, Honglin Hu, Yan Zhang
We propose a high-throughput random access protocol for 2×2 multiuser multiple-input multiple-output (MIMO) systems. The cross-layer mechanism utilizes the packets combining technique to exploit the...
ZHANG, Yan, UCHIDA, Masato, TSURU, Masato, OIE, Yuji
We present a TCP flow level performance evaluation on error rate aware scheduling algorithms in Evolved UTRA and UTRAN networks. With the introduction of the error rate, which is the probability of...
A NEW APPROACH TO REASONING ABOUT ACCOUNTABILITY IN E-COMMERCE PROTOCOLS (2007)
Hongxue Wang, Vijay Varadharajan, Yan Zhang
Abstract This paper presents a generic belief logic and demonstrates how it can be used to reason about accountability in cryptographic protocols for electronic commerce. First, we explain why the...
Properties of Prioritized Logic Programs (2007)
Abstract. Prioritized logic programming has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, some important aspects of prioritized logic...
On the Computational Aspect of Rule Based Database Updates (2007)
Abstract. We develop a general framework of rule based database update on the basis of prioritized logic programs. This approach has advantages in representing and handling information conflict in...
Inductive Properties of States (2007)
Norman Foo, Pavlos Peppas, Yan Zhang
In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It...
Constraints, Causal Rules and Minimal Change in Model-based Update (2007)
. We consider knowledge base update while the domain constraints are explicitly taken into account. We argue that the traditional constraint form is problematic to capture the causality of the...
Representing Defeasible Constraints and Observations in Action Theories (2007)
. We propose a general formulation of reasoning about action based on prioritized logic programming, where defeasibility handling is explicitly taken into account. In particular, we consider two...
Mongi Abidi, Faysal Boughorbel, Faysal Boughorbel, Yan Zhang, Yan Zhang, Sangkyu Kang, ...
This paper describes an imaging system that was developed to aid industrial bin picking tasks. The purpose of this system was to provide accurate 3D models of parts and objects in the bin, so that...
Power Issues Related to Branch Prediction — University Of Virginia Tech.Report CS-2001-25 — (2007)
Dharmesh Parikh, Kevin Skadron, Yan Zhang, Marco Barcella, Mircea R. Stan
dharmesh,skadron¤ This paper explores the role of branch predictor organization in power/energy/performance tradeoffs for processor design. We find that as a general rule, to reduce overall energy...
Encoding solutions of the frame problem in dynamic (2007)
Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
logic
Encoding solutions of the frame problem in dynamic (2007)
Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo
logic
Representing defeasibility is an important issue in commonsense reasoning. In reasoning about action and change, this issue becomes more difficult because domain and action related defeasible...
Representing Actions over Dynamic Domains (2007)
Yan Zhang And, Yan Zhang, Norman Y. Foo
Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot...
Fabian Kuhn, Roger Wattenhofer, Yan Zhang, Aaron Zollinger
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc routing. In particular we...
Zhang, Yan, Gladyshev, Vadim N.
Selenocysteine (Sec) and pyrrolysine (Pyl) are rare amino acids that are cotranslationally inserted into proteins and known as the 21st and 22nd amino acids in the genetic code. Sec and Pyl are...
Hu, Li-Li, Wang, Xiao-Xiao, Chen, Xiaochao, Chang, Jianhua, Li, Caixia, Zhang, Yan, ...
To date, the biological significance of breast cancer resistance protein (BCRP) G34A and C421A polymorphisms is largely unknown. Analysis of these two polymorphisms in 156 diffuse large B-cell...
Zhang, Yan, Luoh, Shiuh-Ming, Hon, Lawrence S., Baertsch, Robert, Wood, William I., Zhang, Zemin
GeneHub-GEPIS is a web application that performs digital expression analysis in human and mouse tissues based on an integrated gene database. Using aggregated expressed sequence tag (EST) library...
CanPredict: a computational tool for predicting cancer-associated missense mutations (2007)
Kaminker, Joshua S., Zhang, Yan, Watanabe, Colin, Zhang, Zemin
Various cancer genome projects are underway to identify novel mutations that drive tumorigenesis. While these screens will generate large data sets, the majority of identified missense changes are...
A quasi-PTAS for profit-maximizing pricing on line graphs (2007)
Khaled Elbassioni, René Sitters, Yan Zhang
Abstract. We consider the problem of pricing items so as to maximize the profit made from selling these items. An instance is given by a set E of n items and a set of m clients, where each client is...
Handling Distributed Authorization with Delegation through Answer Set Programming (2007)
Distributed authorization is an essential issue in computer security. Recent research shows that trust management is a promising approach for the authorization in distributed environments. There are...
A Quasi-PTAS for Profit-Maximizing Pricing on Line Graphs (2007)
Elbassioni, Khaled, Sitters, Rene, Zhang, Yan
We consider the problem of pricing items so as to maximize the profit made from selling these items. An instance is given by a set $E$ of $n$ items and a set of $m$ clients, where each client is...
Zhao, Guilong, Zhang, Yan, Wang, Jianwu
A novel catalyst for O-isopropylidenation of carbohydrates, a mixture of toluenesulfonic acid and iodine, was developed.
Peng, Tianqing, Shen, E, Fan, Jue, Zhang, Yan, Arnold, Malcolm, Feng, Qingping
Aim Lipopolysaccharide (LPS) induces tumor necrosis factor-α (TNF-α) expression in cardiomyocytes, which contributes to myocardial dysfunction during sepsis. The purpose of this study was to...
Patch Antenna for 1420MHz Radio Telescope (2007)
Patch antenna is one of the most rapidly popular topics in the antenna field in the past twenty years. In high-performance aircraft, spacecraft, satellite and missile applications, where size,...
Copper catalyzing growth of single-walled carbon nanotubes on substrates (2006)
Zhou, Weiwei, Han, Zuoyan, Wang, Jinyong, Zhang, Yan, Jin, Zhong, Sun, Xiao, ...
Metallic copper, which is normally considered as a contaminant in the growth of single-walled carbon nanotubes (SWNTs), was found to be an efficient catalyst to grow SWNTs under suitable conditions....
Protease-modulated cellular uptake of quantum dots (2006)
Zhang, Yan, So, Min Kyung, Rao, Jianghong
Quantum dots ( QDs) are often cell-impermeable and require transporters to facilitate crossing over cell membranes. Here we present a simple and versatile method that utilizes enzymes, matrix...
Procrastinating voltage scheduling with discrete frequency sets (2006)
Zhijian Lu, Yan Zhang, Mircea Stan, John Lach, Kevin Skadron
This paper presents an efficient method to find the optimal intra-task voltage/frequency scheduling for single tasks in practical real-time systems using statistical workload information. Our method...
Procrastinating voltage scheduling with discrete frequency sets (2006)
Zhijian Lu, Yan Zhang, Mircea Stan, John Lach, Kevin Skadron
This paper presents an efficient method to find the optimal intra-task voltage/frequency scheduling for single tasks in practical real-time systems using statistical workload information. Our method...
RELATIVE EFFECTS OF WATER CHEMISTRY ON ASPECTS OF IRON CORROSION (2005)
The net present replacement value of all publicly and privately owned potable water pipes in the U.S. is on the order of $2.4 trillion dollars, and costs associated with deteriorating iron pipes is...
A method to predict reverberation time in concert hall preliminary design stage (2005)
A historical review is performed to study the impact of acoustical knowledge on concert hall developments. It shows that although acoustics developed from myth to real science, there is still a gap...
Influence of biomass burning aerosol on land-atmosphere interactions over Amazonia (2005)
The impacts of biomass burning smoke on local rainfall and the structure of the atmospheric boundary layer have been actively studied in recent years. However, whether the large-scale biomass burning...
Solving logic program conflicts through strong and weak forgettings (2005)
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from this program in some...
The Effect of Unreliable Wireless Channel on the Call Performance in Mobile Network (2005)
In this paper, we propose a model to study the call performance in mobile network taking into account the inherent time varying wireless channel. The performance metrics call complete probability and...
Handoff Dwell Time Distribution Effect on Mobile Network Performance (2005)
In this paper, the sensitivity of handoff dwell time (HDT) model on the wireless mobile networks performance is studied. We present an approach on the basis of the universal approximation property of...
Thermal-Driven Multilevel Routing for 3-D ICs (2005)
3-D IC has a great potential for improving circuit performance and degree of integration. It is also an attractive platform for system-on-chip or system-in-package solutions. A critical issue in 3-D...
MARS–A Multilevel Full-Chip Gridless Routing System (2005)
Jason Cong, Jie Fang, Min Xie, Yan Zhang, Student Member, Student Member
Abstract—This paper presents MARS, a novel multilevel full-chip gridless routing system. The multilevel framework with recursive coarsening and refinement allows for scaling of our gridless routing...
Nested epistemic logic programs (2005)
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this...
A unified framework for representing logic program updates (2005)
As a promising formulation to represent and reason about agents ’ dynamic behavious, logic program updates have been considerably studied recently. While similarities and differences between...
Empirical Evaluation of Multi-level Buffer Cache Collaboration for Storage Systems (2005)
Zhifeng Chen, Yan Zhang, Yuanyuan Zhou
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow disk accesses. These...
On Power Bases in Number Fields (2005)
We survey the problem of existence and computation of power bases in number fields. 1 Preliminaries A number field K has a power basis (or in some literature, a power integral basis) if its ring of...
Deriving Available Behavior All Out from Incompatible Component Compositions ⋆ Abstract (2005)
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Ong Li, Guoliang Zheng
In component-based software development, an important problem is behavioral incompatibility in component compositions. That two components are behaviorally incompatible means that they cannot work...
Solving logic program conflicts through strong and weak forgettings (2005)
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from this program in some...
A historical review is performed to study the impact of acoustical knowledge on concert hall developments. It shows that although acoustics developed from myth to real science, there is still a gap...
Solving logic program conflicts through strong and weak forgettings (2005)
Zhang, Yan, Foo, Norman, Wang, Kewen
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from this program in some...
Nested epistemic logic programs (2005)
Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we...
Differential gene expression in Festuca under heat stress conditions (2005)
Zhang, Yan, Rouf Mian, M.A., Chekhovskiy, Konstantin, So, Sunkyoung, Kupfer, Doris, Lai, Hongshing, ...
Fescues (Festuca sp.) are major cool-season forage and turf grass species around the world. Heat stress is one of the limiting factors in the production of fescues as forage in the southern Great...
Zhang, Yan, Wang, Lei, Schultz, Peter G., Wilson, Ian A.
The Methanococcus jannaschii tRNATyr/TyrRS pair has been engineered to incorporate unnatural amino acids into proteins in E. coli. To reveal the structural basis for the altered specificity of mutant...
Differential gene expression in Festuca under heat stress conditions (2005)
Zhang, Yan, Mian, M. A. Rouf, Chekhovskiy, Konstantin, So, Sunkyoung, Kupfer, Doris, Lai, Hongshing, ...
Fescues (Festuca sp.) are major cool-season forage and turf grass species around the world. Heat stress is one of the limiting factors in the production of fescues as forage in the southern Great...
Uncertainty Analysis in Using Markov Chain Model to Predict Roof Life Cycle Performance (2005)
Zhang, Yan, Vidakovic, Brani, Augenbroe, Godfried
Presented at the 10DBMC International Conférence On Durability of Building Materials and Components, Lyon, France, 17-20 April 2005
Zhang, Yan, Gladyshev, Vadim N.
Motivation: Incorporation of selenocysteine (Sec) into proteins in response to UGA codons requires a cis-acting RNA structure, Sec insertion sequence (SECIS) element. Whereas SECIS elements in...
Differential gene expression in Festuca under heat stress conditions (2005)
Zhang, Yan, Rouf Mian, M.A., Chekhovskiy, Konstantin, So, Sunkyoung, Kupfer, Doris, Lai, Hongshing, ...
Fescues (Festuca sp.) are major cool-season forage and turf grass species around the world. Heat stress is one of the limiting factors in the production of fescues as forage in the southern Great...
superquadric representation of scenes from multi-view range data (2004)
I would like to thank the people who have helped and supported me in completing this work. First of all I would like to thank my supervisor Dr. Mongi Abidi for his support, patience, and guidance...
Power-Aware Branch Prediction: Characterization and Design (2004)
Dharmesh Parikh, Kevin Skadron, Yan Zhang, Mircea Stan
This paper uses Wattch and the SPEC 2000 integer and floating-point benchmarks to explore the role of branch predictor organization in power/energy/performance tradeoffs for processor design. Even...
Online Maintenance of KMedians and K-Covers on a Line (2004)
Rudolf Fleischer, Mordecai J. Golin, Yan Zhang
The standard dynamic programming solution to finding k-medians on a line with n nodes requires O(kn 2) time. Dynamic programming speedup techniques, e.g., use of the quadrangle inequality or...
Online Maintenance of KMedians and K-Covers on a Line (2004)
Rudolf Fleischer, Mordecai J. Golin, Yan Zhang
The standard dynamic programming solution to finding k-medians on a line with n nodes requires O(kn 2) time. Dynamic programming speedup techniques, e.g., use of the quadrangle inequality or...
Software architecture design of an autonomic system (2004)
Autonomic Computing is an exciting research direction that aims to provide self-configuration, selfoptimization, self-healing and self-protection capabilities to computer systems. Currently,...
State-Preserving vs. Non-State-Preserving Leakage Control in Caches (2004)
Dharmesh Parikh, Yan Zhang, Karthik Sankaranarayanan, Kevin Skadron, Mircea Stan
This paper compares the effectiveness of statepreserving and non-state-preserving techniques for leakage control in caches by comparing drowsy cache and gated-V¦§ ¦ for data caches using 70nm...
The Effect of Handoff Dwell Time on the Mobile Network Performance (2004)
In this paper, we have studied the impact of the handoff dwell time (HDT) on the channel holding time (CHT) modeling and examined how it affects the mobile network performance evaluation. Realistic...
Power-Aware Branch Prediction: Characterization and Design (2004)
Dharmesh Parikh, Kevin Skadron, Yan Zhang, Student Member, Mircea Stan, Senior Member
Abstract—This paper uses Wattch and the SPEC 2000 integer and floating-point benchmarks to explore the role of branch predictor organization in power/energy/performance trade offs for processor...
State-Preserving vs. Non-State-Preserving Leakage Control in Caches (2004)
Yingmin Li, Dharmesh Parikh, Yan Zhang, Karthik Sankaranarayanan, Mircea Stan
yingmin,dharmesh,karthick,skadron¥ This paper compares the effectiveness of statepreserving and non-state-preserving techniques for leakage control in caches by comparing drowsy cache and gated-V ¦...
State-Preserving vs. Non-State-Preserving Leakage Control in Caches (2004)
Yingmin Li, Dharmesh Parikh, Yan Zhang, Karthik Sankaranarayanan, Mircea Stan, Kevin Skadron
yingmin,dharmesh,karthick,skadron¥ This paper compares the effectiveness of statepreserving and non-state-preserving techniques for leakage control in caches by comparing drowsy cache and...
State-Preserving vs. Non-State-Preserving Leakage Control in Caches (2004)
Dharmesh Parikh, Yan Zhang, Karthik Sankaranarayanan, Kevin Skadron, Mircea Stan
This paper compares the effectiveness of state-preserving and non-state-preserving techniques for leakage control in caches by comparing drowsy cache and gated-V§¨ § for data caches using 70nm...
Monopulse radar based on spatiotemporal correlation of stochastic signals / (2004)
Thesis (Ph. D.)--University of Nebraska--Lincoln, 2004.
Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2004
Reasoning about Knowledge by Variable Forgetting (2004)
Su, Kaile, Lv, Guanfen, Zhang, Yan
In this paper, we investigate knowledge reasoning within a simple framework called {\it knowledge structure}. We use {\it variable forgetting} as a basic operation for one agent to reason about its...
GEPIS--quantitative gene expression profiling in normal and cancer tissues (2004)
Zhang, Yan, Eberhard, David A., Frantz, Gretchen D., Dowd, Patrick, Wu, Thomas D., Zhou, Yan, ...
Motivation: Expression profiling in diverse tissues is fundamental to understanding gene function as well as therapeutic target identification. The vast collection of expressed sequence tags (EST)...
GEPIS--quantitative gene expression profiling in normal and cancer tissues (2004)
Zhang, Yan, Eberhard, David A., Frantz, Gretchen D., Dowd, Patrick, Wu, Thomas D., Zhou, Yan, ...
Motivation: Expression profiling in diverse tissues is fundamental to understanding gene function as well as therapeutic target identification. The vast collection of expressed sequence tags (EST)...
Superquadrics based 3d object representation of automotive parts utilizing part decomposition (2003)
Yan Zhang, Andreas Koschan, Mongi Abidi
We present a new superquadrics based object representation strategy for automotive parts in this paper. Starting from a 3D watertight surface model, a part decomposition step is first performed to...
Time Delay Neural Networks: Memory and Discrimination for the Input Signal (2003)
Liangming He, Yan Zhang, Yinghai Wang
We have investigated the role that different square wave signals play in the dynamics of a time delay network of McCulloch-Pitts elements by computer simulations. The different cycle (positive and...
Geometric Ad-Hoc Routing: Of Theory and Practice (2003)
Fabian Kuhn, Roger Wattenhofer, Yan Zhang, Aaron Zollinger
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc routing. In particular we...
Laser Ranging and Video Imaging for Bin Picking (2003)
Faysal Boughorbel, Yan Zhang, Sangkyu Kang, Umayal Chidambaram, Andreas Koschan, Mongi Abidi
This paper describes an imaging system that was developed to aid industrial bin-picking tasks. The purpose of this system was to provide accurate 3D models of parts and objects in the bin, so that...
Superquadrics based 3d object representation of automotive parts utilizing part decomposition (2003)
Yan Zhang, Andreas Koschan, Mongi Abidi
We present a new superquadrics based object representation strategy for automotive parts in this paper. Starting from a 3D watertight surface model, a part decomposition step is first performed to...
Geometric Ad-Hoc Routing: Of Theory and Practice (2003)
Fabian Kuhn, Roger Wattenhofer, Yan Zhang, Computer Science
ABSTRACT All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc routing. In...
HotLeakage: A Temperature-Aware Model of Subthreshold and Gate Leakage for Architects (2003)
Yan Zhang, Dharmesh Parikh, Karthik Sankaranarayanan, Kevin Skadron, Mircea Stan
This report introduces HotLeakage, an architectural model for subthreshold and gate leakage that we have developed here at the University of Virginia. The most important features of HotLeakage are...
HotLeakage: A Temperature-Aware Model of Subthreshold and Gate Leakage for Architects (2003)
Yan Zhang, Dharmesh Parikh, Karthik Sankaranarayanan, Kevin Skadron, Mircea Stan
This report introduces HotLeakage, an architectural model for subthreshold and gate leakage that we have developed here at the University of Virginia. The most important features of HotLeakage are...
Superquadrics based 3D object representation of automotive parts utilizing part decomposition (2003)
Yan Zhang, Andreas Koschan, Mongi Abidi
this paper, we propose an efficient strategy to represent multi-part objects with superquadrics utilizing part decomposition as a preprocessing step. We also present a novel 3D part decomposition...
NASA/CR-2003-212673 Spectral Characteristics of Wake Vortex Sound During Roll-Up (2003)
Yan Zhang, Frank Y. Wang, Jay C. Hardin
Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA...
Delegatable Authorization Program and Its Application (2003)
Chun Ruan, Chun Ruan, Vijay Varadharajan, Yan Zhang
Data protection is a significant issue in any secure information systems. In this paper, we present a decentrailzed authorization delegation model in which users can be delegated, granted or...
A logic model for temporal authorization delegation with negation (2003)
Chun Ruan, Chun Ruan, Vijay Varadharajan, Yan Zhang
In this paper, we present a logic based approach to temporal decentralized authorization administration that supports time constrained authorization delegations, both positive and negative...
A Rule Based Knowledge Transaction Model in Mobile Environments (2003)
Abstract. In this paper, we propose a rule based knowledge transaction model for mobile environments. Our model integrates the features of both mobile environment and intelligent agents. We use logic...
Recurring Recurrences in Counting Permutations (2003)
We present a combinatorial proof of a recurrence that occurs in the sequence enumerating square permutations. We then generalize this result to a class of sequences, which we classify with. Finally,...
Hotleakage: A temperature-aware model of subthreshold and gate leakage for architects (2003)
Yan Zhang, Dharmesh Parikh, Karthik Sankaranarayanan, Kevin Skadron, Mircea Stan
This report introduces HotLeakage, an architectural model for subthreshold and gate leakage that we have developed here at the University of Virginia. The most important features of HotLeakage are...
Odd/even bus invert with two-phase transfer for buses with coupling (2002)
Yan Zhang, John Lach, Kevin Skadron, Mircea R. Stan
The coupling capacitances between on-chip bus lines become dominant in deep-submicron technologies. Coding to reduce the switching activity of the individual lines was enough to reduce power on buses...
Cache-Conscious Allocation of Pointer-Based Data Structures Revisited with (2002)
Josefin Hallberg, Tuva Palm, Mats Brorsson, Dharmesh Parikh, Yan Zhang, ...
As memory access times continue to be a bottleneck, differential research is required for better understanding of memory access performance. Studies of cache-conscious allocation and software...
Knowledge Updates: Semantics and Complexity Issues (2002)
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our method, an update is...
Power Issues Related to Branch Prediction (2002)
Dharmesh Parikh, Kevin Skadron, Yan Zhang, Marco Barcella, Mircea R. Stan
dharmesh,skadron£ This paper explores the role of branch predictor organization in power/energy/performance tradeoffs for processor design. We find that as a general rule, to reduce overall energy...
Abstract Abduction and Update in Logic Programs (2002)
Sai Kiran Lakkaraju, Yan Zhang, Sai Kiran Lakkaraju, Yan Zhang
Logic programming is one of the most popular and widely used knowledge representation tools. In very large scale dynamic domains where there is a constant change in knowledge, sourcing the existing...
The Complexity of Model Checking for Knowledge Update (2002)
Chitta Baral Dept, Chitta Baral, Yan Zhang
The authors have recently proposed a formal theory of knowledge update based on the semantics of modal logic S5 (Baral & Zhang 2001). In that system, an agent's knowledge set is represented...
A Cross-sectional Study of Health-related Behaviors in Rural Eastern China (2002)
Shi, Xiaoming, Sun, Yehuan, Tong, Shilu, Wei, Li, Yu, Taksun, Zhang, Yan
A Cross-sectional Study of Health-related Behaviors in Rural Eastern China (2002)
Shi, Xiaoming, Sun, Yehuan, Tong, Shilu, Wei, Li, Yu, Taksun, Zhang, Yan
A Cross-sectional Study of Health-related Behaviors in Rural Eastern China (2002)
Shi, Xiaoming, Sun, Yehuan, Tong, Shilu, Wei, Li, Yu, Taksun, Zhang, Yan
Harata, Masahiko, Zhang, Yan, Stillman, David J., Matsui, Daisuke, Oma, Yukako, Nishimori, Katsuhiko, ...
Actin-related proteins (Arps), which share a basal structure with actin but have distinct functions, have been found in a wide variety of organisms. While their functions are not yet clear, some Arps...
Hagiwara, Hiroko, Kunihiro, Sumiko, Nakajima, Keiichi, Sano, Motoaki, Masaki, Haruhiko, Yamamoto, Midori, ...
Phage display is a useful means of identifying and selecting proteins of interest that bind specific targets. In order to examine the potential of phage display for the genomewide screening of...
Zhang, Liang, Zhang, Yan, Zhou, Yiming, An, Shuang, Zhou, Yuxiang, Cheng, Jing
The response of the yeast Saccharomyces cerevisiae to two polyene antibiotics, amphotericin B and nystatin, was studied by genomic expression profiling. The two agents produced highly similar...
A Cross-sectional Study of Health-related Behaviors in Rural Eastern China (2002)
Shi, Xiaoming, Sun, Yehuan, Tong, Shilu, Wei, Li, Yu, Taksun, Zhang, Yan
Leslie M. Collins, Yan Zhang, Jing Li, Student Member, Hua Wang, Lawrence Carin, ...
Abstract—In most field environments, unexploded ordnance (UXO) items are found among extensive surface and subsurface clutter and shrapnel from ordnance. Traditional algorithms for UXO remediation...
On the semantics of knowledge update (2001)
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our method, an update is...
V.: A logic for modeling the dynamics of beliefs in cryptographic protocols (2001)
We present a logic of modeling the dynamics of beliefs in cryptographic protocols. Differently from previous proposals, our logic is situation based in which a protocol is viewed as a finite sequence...
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols (2001)
We present a logic of modeling the dynamics of beliefs in cryptographic protocols. Differently from previous proposals, our logic is situation based in which a protocol is viewed as a finite sequence...
Cell proliferation and pattern formation in Drosophila oogenesis (2001)
Department: Biological Sciences.
Impact of Intensity Edge Map on Segmentation of Noisy Range Images (2000)
Yan Zhang, Yiyong Sun, Hamed Sari-sarraf, Mongi A. Abidi
In this paper, we investigate the impact of intensity edge maps (IEMs) on the segmentation of noisy range images. Two edgebased segmentation algorithms are considered. The first is a watershed-based...
Impact of Intensity Edge Map on Segmentation of Noisy Range Images (2000)
Yan Zhang, Yiyong Sun, Hamed Sari-sarraf, Mongi A. Abidi
In this paper, we investigate the impact of intensity edge maps (IEMs) on the segmentation of noisy range images. Two edgebased segmentation algorithms are considered. The first is a watershed-based...
Updates with disjunctive information: From syntactical and semantical perspectives (2000)
The possible models approach (PMA) is a classical minimal change semantics for knowledge base updates, which provides an exclusive interpretation for disjunctive information in updateis. It has been...
Sai Kiran Lakkaraju, Yan Zhang
Abstract. This paper introduces a procedural approach to perform rule based abduction in a knowledge base. In this context a knowledge base is realised as a normal abductive logic program, and an...
Data Exchange in Bauhaus (2000)
Jörg Czeranski, Thomas Eisenbarth, Holger M. Kienle, Rainer Koschke, Erhard Plödereder, Daniel Simon, ...
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent information that has...
Logic Program Based Updates (2000)
We investigate two types of logic program based updates: simple fact updates and program updates. In the simple fact update, a knowledge base is specified as a set of facts and can be updated by a...
Logic program based updates (2000)
In logic program-based updates, contradictory information elimination, conflict resolution, and syntactic representation are three major issues that interfere with each other and significantly...
Trace Element Levels in Drinking Water and Cognitive Function among Elderly Chinese (2000)
Emsley, Christine L., Gao, Sujuan, Li, Yiming, Liang, Chaoke, Ji, Rongcli, Hall, Kathleen S., ...
The relation between trace element levels in drinking water and cognitive function was investigated in a population-based study of elderly residents (n = 1, 016) in rural China in 1996–1997....
Multiple Actin-Related Proteins of Saccharomyces cerevisiae Are Present in the Nucleus (2000)
Harata, Masahiko, Oma, Yukako, Tabuchi, Teruko, Zhang, Yan, Stillman, David J., Mizuno, Shigeki
An increasing number of actin-related proteins (Arps), which share the basal structure with skeletal actin but possess distinct functions, have been found in a wide variety of organisms. Individual...
Affinity Selection of DNA-Binding Proteins Displayed on Bacteriophage {lambda} (2000)
Zhang, Yan, Pak, Jeong Won, Maruyama, Ichiro N., Machida, Masayuki
Two transcription factors, human ATF1, its DNA-binding domain (ATF1BD), and the DNA-binding domain (GAL4BD) of the yeast GAL4 protein, were displayed on the surface of bacteriophage λ vectors and...
Implementing Prioritized Logic Programming (1999)
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to introduce priorities in the underlying reasoning mechanism....
Monotonicity in Rule Based Update (1999)
An important characteristic for many formulations of knowledge representation and reasoning is that they are nonmonotonic. It has been, however, illustrated that under certain conditions, a...
Implementing Prioritized Logic Programming (1999)
. Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to introduce priorities in the underlying reasoning...
Updating logic programs (1998)
Norman Foo, Thomas Meyer, Yan Zhang, Dongmo Zhang
Negotiation between two agents is modelled as a one-time encounter between two extended logic programs. Each offers an answer set. Their mutual deal can be regarded as a trade on their answer sets....
Updating logic programs (1998)
Abstract. It is well known that rule-based knowledge bases are usually realized by logic programs. An update has to be performed to the current knowledge base if some new information occurs. In many...
Specifying causality in action theories: A default logic approach (1998)
Recent research on reasoning about action has shown that the traditional logic form of domain constraints is problematic to represent ramifications of actions that are related to causality of...
Updating Logic Programs (1998)
. It is well known that rule-based knowledge bases are usually realized by logic programs. An update has to be performed to the current knowledge base if some new information occurs. In many...
Updating Logic Programs (1998)
. It is well known that rule-based knowledge bases are usually realized by logic programs. An update has to be performed to the current knowledge base if some new information occurs. In many...
Three dimensional graphics algorithms on the Micro-Grain Array Processor-II (1997)
Benjamin Bishop, Yan Zhang, Kevin Acken, Mary Jane, Irwin Robert, M. Owens
Three-dimensional graphics processors play a central role in many modern computer systems due to the large demand for entertainment, visualization tools, architectural CAD tools, and physical...
Action Localness, Genericity and Invariants in STRIPS (1997)
Norman Foo, Abhaya Nayak, Maurice Pagnucco, Yan Zhang
The STRIPS specification for actions, despite criticisms of its shortcomings, remains popular in implementations because of its simplicity and intuitive appeal. Lifschitz showed in his logical...
Action Localness, Genericity and Invariants in STRIPS (1997)
Norman Foo, Abhaya Nayak, Maurice Pagnucco, Yan Zhang
The STRIPS specification for actions, despite criticisms of its shortcomings, remains popular in implementations because of its simplicity and intuitive appeal. Lifschitz showed in his logical...
Inductive Properties of States (1997)
. In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents....
Answer Sets for Prioritized Logic Programs (1997)
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to add preferences in the underlying reasoning mechanism. This...
Answer Sets for Prioritized Logic Programs (1997)
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to add preferences in the underlying reasoning mechanism. This...
Towards Generalized Rule-based Updates (1997)
Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [ Marek and Truszcz'nski, 1994; Baral, 1994; Przymusinski and Turner, 1995 ] . In this...
Disjunctive Update, Minimal Change, and Default Reasoning (1997)
. It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA [9], are...
Towards Generalized Rule-based Updates (1997)
Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [Marek and Truszcznski, 1994; Baral, 1994; Przymusinski and Turner, 1995]. In this paper, we...
Towards Generalized Rule-based Updates (1997)
Recent work on rule-based updates provided new frameworks for updates in more general knowledge domains [Marek and Truszczriski, 1994; Baral, 1994; Przymusinski and Turner, 1995]. In this paper, we...
Updating Knowledge Bases with Disjunctive Information (1996)
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that the conventional minimal change methods, eg. the PMA [11], were...
Exploring the Common Ground between Action Theories and Planning - Research Interest (1996)
Introduction Since it was first pointed out by McCarthy and Hayes [1] that the frame problem was an obstacle to the formalization of dynamic world modelling, reasoning about action has been widely...
Update with Disjunctive Information: From Syntactical and Semantical Perspectives (1996)
The possible models approach (PMA) is a classical minimal change semantics for knowledge base update, which provides an exclusive interpretation for disjunctive information in update. It has been...
Updating Knowledge Bases with Disjunctive Information (1996)
It is well known that the minimal change principle was widely used in knowledge base updates. However, recent research has shown that conventional minimal change methods, eg. the PMA (Winslett 1988),...
Compiling Causality into Action Theories (1996)
This paper is concerned with the problem of representing the effects of actions. We argue that the traditional minimal change principle is problematic to represent ramifications of actions that are...
Deriving Invariants and Constraints from Action Theories (1996)
. Recent work on reasoning about action has shown that there exists an interesting connection between action specifications and state constraints --- it is possible to extract state constraints from...
Compiling Causality into Action Theories (1996)
This paper is concerned with the problem of representing the effects of actions. We argue that the traditional minimal change principle is problematic to represent ramifications of actions that are...
Update with Disjunctive Information: From Syntactical and Semantical Perspectives (1996)
The possible models approach (PMA) is a classical minimal change semantics for knowledge base update, which provides an exclusive interpretation for disjunctive information in update. It has been...
Semantical Considerations for Knowledge Base Updates (1996)
. Recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive effects. In this paper we propose a...
Applying the Persistent Set Approach in Temporal Reasoning (1995)
this paper, we extend our previous work to deal with temporal reasoning. Different from those minimality-based approaches, we propose a persistence-based formalization of actions within the situation...
On Propositional Knowledge Base Updates (1995)
It is well known that the minimal change principle was widely used in propositional knowledge base updates. However, recent research has shown that under some circumstances, the conventional minimal...
Infection ofanimal cells by a number ofviruses generally results in an array ofmetabolic defects, including inhibition ofhostDNA,RNA, and protein synthesis, and morphological alterations known as...
Updating Knowledge Bases Using A Persistent Set Approach (1994)
Propositional knowledge base updates have been widely studied recently. Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal...
Constraints And Updates (1994)
Certain kinds of constraints that are really definitions in disguise should be omitted in computing state updates. If they are included problems may arise in the updates by the admission of...
Reasoning about Persistence: A Unified Principle for State Change (1994)
Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig
Many AI systems involve state change: dynamic planning systems need to predict resulting states after state transitions in terms of relevant events or actions; robots need to change their current...
Persistence, Invariants, and Constraints (1994)
Recent work on reasoning about action has shown that there exist interesting connections among frame axioms, action invariants, state constraints and action specifications. In this paper, we address...
On Persistent Semantics for Knowledge Base Update (1993)
Katsuno and Mendelzon suggested eight postulates for characterizing the semantics of update where the principle of minimal change is embedded [ Katsuno and Mendelzon, 1991a ] . In this paper we...
Possible Worlds Semantics For Events (1993)
Norman Foo And, Norman Y. Foo, Yan Zhang
Various theories of events or actions have been proposed to account for commonsence conclusions. The typical way in which this proceeds is for a scenario to be invented and a logic tried against it....
Possible Worlds Semantics For Events (1993)
Norman Y Foo, Norman Y. Foo, Yan Zhang, Yan Zhang
Various theories of events or actions have been proposed to account for commonsence conclusions. The typical way in which this proceeds is for a scenario to be invented and a logic tried against it....
Yan Zhang, Norman Y. Foo, Since Hanks, Mcdermott Revealed
the problem of temporal projection (e.g., the Yale shooting problem) and showed that classical nonmonotonic logics failed to solve it, many solutions have been proposed to the problem. However, as...
Beiträge zum Entwurf von optimalen Beobachtungsplänen für tektonische Überwachungsnetze / (1987)
Zugl.: München, Hochsch. d. Bundeswehr, Diss., 1987.
An Algebraic Characterization of Security of Cryptographic Protocols
Abstract. Several of the basic cryptographic constructs have associated algebraic structures. Formal models proposed by Dolev and Yao to study the (unconditional) security of public key protocols...
Gene expression in primate liver during viral hemorrhagic fever
Djavani, Mahmoud, Crasta, Oswald R, Zhang, Yan, Zapata, Juan Carlos, Sobral, Bruno, Lechner, Melissa G, ...
Comparative genomic analyses of nickel, cobalt and vitamin B12 utilization
Zhang, Yan, Rodionov, Dmitry A, Gelfand, Mikhail S, Gladyshev, Vadim N
Zhang, Zhongyi, Zhang, Yan, Ning, Gang, Deb, Dilip K., Kong, Juan, Li, Yan Chun
The renin–angiotensin system (RAS) plays a critical role in the development of diabetic nephropathy, and blockade of the RAS is currently used for treatment of diabetic nephropathy. One major...
Zhang, Yan, Wu, Yong-Kang, Ciorba, Matthew A, Ouyang, Qin
AIM: To test the clinical significance of antineutrophil cytoplasmic antibody (ANCA) in evaluation of adult Henoch-Schönlein purpura (HSP) patients presenting mainly with abdominal symptoms.
A Rice Kinase-Protein Interaction Map1[W][OA]
Ding, Xiaodong, Richter, Todd, Chen, Mei, Fujii, Hiroaki, Seo, Young Su, Xie, Mingtang, ...
Plants uniquely contain large numbers of protein kinases, and for the vast majority of the 1,429 kinases predicted in the rice (Oryza sativa) genome, little is known of their functions. Genetic...
In Vivo Generation of Neurotoxic Prion Protein: Role for Hsp70 in Accumulation of Misfolded Isoforms
Fernandez-Funez, Pedro, Casas-Tinto, Sergio, Zhang, Yan, Gómez-Velazquez, Melisa, Morales-Garza, Marco A., Cepeda-Nieto, Ana C., ...
Prion diseases are incurable neurodegenerative disorders in which the normal cellular prion protein (PrPC) converts into a misfolded isoform (PrPSc) with unique biochemical and structural properties...
Generation of a functional and durable vascular niche by the adenoviral E4ORF1 gene
Seandel, Marco, Butler, Jason M., Kobayashi, Hideki, Hooper, Andrea T., White, Ian A., Zhang, Fan, ...
Vascular cells contribute to organogenesis and tumorigenesis by producing unknown factors. Primary endothelial cells (PECs) provide an instructive platform for identifying factors that support stem...
Regulation of pollen tube polarity: Feedback loops rule
Targeted delivery of immotile sperm through growing pollen tubes is a crucial step in achieving sexual reproduction in angiosperms. Unlike diffuse-growing cells, the growth of a pollen tube is...
Dynamic effects of government expenditure in a finance constrained economy: A Note
Gokan [Dynamic effects of government expenditure in a finance constrained economy, J. Econ. Theory 127 (2006) 323-333] introduces constant government expenditure (financed by labor income taxes) in...
Histace, Aymeric, Matuszewski, Bogdan, Zhang, Yan
The noninvasive assessment of cardiac function is of first importance for the diagnosis of cardiovascular diseases. Among all medical scanners only a few enables radiologists to evaluate the local...
Effect of 5-LOX/COX-2 common inhibitor DHDMBF30 on pancreatic cancer cell Capan2
Zhang, Bo, Wang, Chang-Liang, Zhao, Wen-Hua, Lv, Ming, Wang, Chun-Ying, Zhong, Wei-Xia, ...
AIM: To study the effect of 5-lipoxygenase/cyclooxy-genase-2 (5-LOX/COX-2) dual inhibitor 7-tert-butyl-2, 3-dihydro-3, 3-dimethyl substituted dihydrofuran 30 (DHDMBF30) on proliferation and apoptosis...
Endogenous income taxes in OLG economies
This paper introduces fiscal increasing returns, through endogenous labor income tax rates as in Schmitt-Grohe and Uribe (1997), into the overlapping generations model with endogenous labor and...
Gajiwala, Ketan S., Wu, Joe C., Christensen, James, Deshmukh, Gayatri D., Diehl, Wade, DiNitto, Jonathan P., ...
Most gastrointestinal stromal tumors (GISTs) exhibit aberrant activation of the receptor tyrosine kinase (RTK) KIT. The efficacy of the inhibitors imatinib mesylate and sunitinib malate in GIST...
Zhang, Yan, Jiang, Xue-Hua, Hu, Yu-Qin, Li, Zhi-Ru, Su, Lan, Wang, Zhan-Guo, ...
WHAT IS ALREADY KNOWN ABOUT THIS SUBJECTThe absorption of valacyclovir presents a highly negative correlation with the level of P-glycoprotein expression.It has been confirmed that a polymorphism of...
Binary Time Series Modeling With Application to Adhesion Frequency Experiments
Hung, Ying, Zarnitsyna, Veronika, Zhang, Yan, Zhu, Cheng, Wu, C. F. Jeff
Endogenous income taxes in OLG economies: A clarification
This paper introduces endogenous capital income tax rates as in Schmitt-Grohe and Uribe (1997), into the overlapping generations model with endogenous labor and consumption in both periods of life...
Zhang, Meng, Zhang, Yan, Giblin, E. Michael, Taylor, David C
In S. cerevisiae neither disruption of the phospholipase B triple knockout mutant (plb1plb2plb3; plb123) nor over-expression of phospholipase Bs (PLBs) result in a phenotype different from wild type....
Zhang, Qun-Ye, Mao, Jian-Hua, Liu, Ping, Huang, Qiu-Hua, Lu, Jing, Xie, Yin-Yin, ...
In this study, we show that combined use of Imatinib (IM) and arsenic sulfide [As4S4 (AS)] exerts more profound therapeutic effects in a BCR/ABL-positive mouse model of chronic myeloid leukemia (CML)...
Ye, Bang-Ce, Zhang, Yan, Yu, Hui, Yu, Wen-Bang, Liu, Bao-Hong, Yin, Bin-Cheng, ...
Microorganisms can restructure their transcriptional output to adapt to environmental conditions by sensing endogenous metabolite pools. In this paper, an Agilent customized microarray representing...
Endogenous income taxes and indeterminacy in dynamic models: When Diamond meets Ramsey again.
This paper introduces fiscal increasing returns, through endogenous labor income tax rates as in Schmitt-Grohe and Uribe (1997), into the overlapping generations model with endogenous labor,...
Measles Resurgence Associated with Continued Circulation of Genotype H1 Viruses in China, 2005
Ji, Yixin, Zhang, Yan, Xu, Songtao, Zhu, Zhen, Zuo, Shuyan, Jiang, Xiaohong, ...
Measles morbidity and mortality decreased significantly after measles vaccine was introduced into China in 1965. From 1995 to 2004, average annual measles incidence decreased to 5.6 cases per 100,000...
Zhang, Yan, Wang, FengXia, Fang, Li, Wang, Shuo, Fang, GuoZhen
To determine ractopamine residues in animal food products (chicken muscle, pettitoes, pig muscle, and pig liver), we established a rapid direct competitive enzyme-linked immunosorbent assay (ELISA)...