Computing Cylindrical Algebraic Decomposition via Triangular Decomposition (2009)
Chen, Changbo, Maza, Marc Moreno, Xia, Bican, Yang, Lu
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches for manipulating...
Sarson Aimie, Wang Ying, Kang Zhumei, Dowd Scot, Lu Yang, Yu Hai, ...
Abstract Background Clostridium perfringens (Cp) is a Gram-positive anaerobic bacterium that causes necrotic enteritis (NE) in poultry when it overgrows in the small intestine. NE disease has...
Lu Yang, Lu Ping, Zhu Zhi, Xu Huimian, Zhu Xike
Abstract Background The aim of this study was to determine the clinicopathological features of gastric cancers with loss of imprinting (LOI) of LIT1. Insulin-like growth factor 2 (IGF2) and H19 in...
Quantifier Elimination for Quartics (2008)
Abstract. Concerning quartics, two particular quantifier elimination (QE) problems of historical interests and practical values are studied. We solve the problems by the theory of complete...
Including three aspects, problem solving, theorem proving and theorem discovering, automated deduction in real geometry essentially depends upon the semi-algebraic system solving. A “semi-algebraic...
Discovering non-linear ranking functions by solving semi-algebraic systems (2008)
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the symbolic...
Increasing Detail Increasing Views (2008)
Volker Stolz, Dang Van Hung, Volker Stolz, Hakim Hannousse, Lu Yang, ...
What is rCOS? 1. model different views of system on different levels of abstraction, 2. provide analysis and verification techniques that assist in showing that models have desired properties, 3....
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invariants represented...
Nigel Gilbert, Matthijs Den Besten, Akos Bontovics, A. E. Eiben, Robert Griffioen, ...
For information about citing this article, click here
Towards a Weighted-Tree Similarity Algorithm for RNA Secondary Structure Comparison (2008)
Council Canada, Jing Jin, Biplab K. Sarker, Virendra C. Bhavsar, Harold Boley, Lu Yang
de l'information
Given the distance between every pair of 3 control points, and given the angle to every pair of the control points from an additional point called the Center of Perspectivity (P), find the lengths of...
Getting away from numbers: Using qualitative observation for agent-based modeling (2008)
Althoughinmanysocial sciences thereis aradical divisionbetweenstudies basedon quantitative(e.g.statistical)andqualitative(e.g.ethnographic)methodologiesandtheir associatedepistemological commitments,...
Zhijie WANG, Jianchun DUAN, Qingzhi GUO, Zhigang WEI, Weicheng XUE, Meina WU, ...
Background and objective Currently, platinum-based regimes are standard first-line chemotherapy for non-small cell lung cancer. The aim of this study is to evaluate the efficacy, influencing factors...
Modeling the selective partitioning of cations into negatively charged nanopores in water (2007)
Partitioning and transport of water and small solutes into and through nanopores is important to a variety of chemical and biological processes and applications. Here we study the partitioning of...
An agent-based computational model, based on longitudinal ethno- graphic data about the dynamics of intra-group behaviour and work group performance, has been developed from observing an...
Lu Yang, Liang Ke, Li Xinqun, Fan Zhen
Abstract Background Searching for novel molecular markers that dependably predict or indicate responses of human cancer cells to epidermal growth factor receptor (EGFR)-targeted therapy is strongly...
Clinical implications of metastatic lymph node ratio in gastric cancer (2007)
Liu Caigang, Lu Ping, Lu Yang, Xu Huimian, Wang Shubao, Chen Junqing
Abstract Background The 5-year survival rate in patients with gastric cancer is still poor, and lymph node metastasis is considered one of the most important prognostic factors. However, there are...
Software Technology Integrating refinement into software development tools (2007)
Lu Yang, Volker Stolz, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems (2006)
Guan, Qiang, Wang, Long, Xia, Bican, Yang, Lu, Yu, Wensheng, Zeng, Zhenbing
The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's technique...
Emerging Artificial Societies Through Learning (2006)
Gilbert, Nigel, Den Besten, Matthijs, Bontovics, Akos, Craenen, Bart G.W., Divina, Federico, Eiben, A.E., ...
The NewTies project is implementing a simulation in which societies of agents are expected to de-velop autonomously as a result of individual, population and social learning. These societies are...
Emerging artificial societies through learning (2006)
Gilbert, Nigel, Den Besten, Matthijs, Bontovics, Akos, Craenen, Bart G.W., Divina, Federico, Eiben, A.E., ...
The NewTies project is implementing a simulation in which societies of agents are expected to de-velop autonomously as a result of individual, population and social learning. These societies are...
Degree granted in Electrical and Computer Engineering.
Harnessing Theories for Tool Support (2006)
Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
Software development tools need to support more and more phases of the entire development process, because applications must be developed more correctly and efficiently. The tools therefore need to...
Harnessing Theories for Tool Support (2006)
Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started
Council Canada, Lu Yang, Marcel Ball, Harold Boley, Virendrakumar C. Bhavsar
de l'information
Environment design for emerging artificial societies (2005)
Nigel Gilbert, Stephan Schuster, Matthijs Besten, Lu Yang
The NewTies project is developing a system in which societies of agents are expected to develop autonomously as a result of individual, population and social learning. These societies are expected to...
Our weighted-tree similarity algorithm matches buyers and sellers in e-Business environments. We use arc-labeled, arc-weighted trees to represent the products (or services) sought/offered by...
Solving parametric semi-algebraic systems (2005)
Let Q be the field of rational numbers and Q[u1,..., ud, x1,..., xs] the ring of polynomials in n indeterminates with coefficients in Q and d + s = n (0 ≤ d < n). The indeterminates are divided...
Range Similarity Measures between Buyers and Sellers in e-Marketplaces (2005)
Council Canada, Lu Yang, Biplab K. Sarker, Virendrakumar C. Bhavsar, Harold Boley
de l'information
A Match-Making System for Learners and Learning Objects (2005)
Council Canada, Yang L, Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, ...
de l'information
Real solution classifications of parametric semi-algebraic systems (2005)
Real solution classification of parametric polynomial systems is a crucial problem in real quantifier elimination which interests Volker Weispfenning and others. In this paper, we present a stepwise...
A WEIGHTED-TREE SIMPLICITY ALGORITHM FOR SIMILARITY MATCHING OF PARTIAL PRODUCT DESCRIPTIONS (2005)
Council Canada, Lu Yang, Harold Boley
de l'information
Range Similarity Measures between Buyers and Sellers in e-Marketplaces (2005)
Lu Yang, Biplab K. Sarker, Virendrakumar C. Bhavsar, Harold Boley
Abstract. Price is the omnipresent factor that determines buyers ’ and sellers’ decision-making when trading products in real and virtual marketplaces. However, since a fixed price can often lead...
Environment design for emerging artificial societies (2005)
Gilbert, Nigel, Schuster, Stephan, Den Besten, Matthijs, Yang, Lu
The NewTies project is developing a system in which societies of agents are expected to develop autonomously as a result of individual, population and social learning. These societies are expected to...
The AgentMatcher architecture applied to power grid transactions (2003)
Riyanarto Sarno, Lu Yang, Virendra C. Bhavsar, Harold Boley
The number of complex transactions in a power grid to determine economical ways of satisfying power demands given a set of power plants has increased significantly. Knowledge-based solution and...
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in e-Business Environments (2003)
Virendra C. Bhavsar, Harold Boley, Lu Yang
A tree similarity algorithm for match-making of agents in e-business environments is presented. Product/service descriptions of seller and buyer agents are represented as nodelabelled, arc-labelled,...
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in e-Business Environments (2003)
Virendrakumar C. Bhavsar, Harold Boley, Lu Yang
A tree similarity algorithm for match-making of agents in e-Business environments is presented. Product/service descriptions of seller and buyer agents are represented as node-labelled, arc-labelled,...
Transition-metal-promoted hydroboration of alkenes: a unique reversal of regioselectivity (2002)
Morrill, Terence, D'Souza, Christopher, Yang, Lu, Sampognaro, Anthony
Archived at: http://pubs3.acs.org/acs/journals/toc.page?incoden=joceah&indecade=0&involume=67&inissue=8
Transition-metal-promoted hydroboration of alkenes: a unique reversal of regioselectivity (2002)
Morrill, Terence, D'Souza, Christopher, Yang, Lu, Sampognaro, Anthony
Article may be found at: http://pubs.acs.org/cgi-bin/abstract.cgi/joceah/2002/67/i08/abs/jo0109321.html
Feng-Yi Wan, Lu Yang, Yi-Gang Zhong, Wen Zhu, Yi-Nan Wang, Guo-Jiang Zhang
The osmotic lysis of photodamaged lysosomes is a critical event for killing tumor cells. How the photodamage increases lysosomal osmotic sensitivity is still unclear. In this work, the effect of the...
Verifying a border array in linear time (2002)
Weilin Lu, P. J. Ryan, W. F. Smyth, Yu Sun, Lu Yang
A border of a string x is a proper (but possibly empty) prefix of x that is also a suffix of x. The border array β = β[1..n] of a string x = x[1..n] is an array of nonnegative integers in which...
Verifying a border array in linear time (2002)
Shudi Gao, Weilin Lu, P. J. Ryan, W. F. Smyth, Yu Sun, Lu Yang
A border of a string x is a proper (but possibly empty) prex of x that is also a sux of x. The border array = [1::n] of a string x = x[1::n] is an array of nonnegative integers in which each element...
An algorithm for isolating the real solutions of semi-algebraic systems (2002)
We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been implemented as a Maple-program realzero. The performance of realzero in solving some examples from...
Yi-gang Zhong, Guo-jiang Zhang, Lu Yang, Yan-Zhen Zheng
Mechanism for the photoinduced increase in the lysosomal K+ permeability is still unknown. In this study, we investigated the effect of photodamage-induced membrane rigidification on the lysosomal K+...
Computing the minimum k-cover of a string / (2000)
Thesis (M. Sc.)--McMaster University, 2000.
An explicit criterion to determine the number of roots of a polynomial on an interval (2000)
Abstract. In a recent article, a complete discrimination system was given for a polynomial with symbolic/literal coefficients. Such a system is a set of explicit expressions in terms of the...
Isospin recoupling and Bose-Einstein pion correlations in $\bar N$N annihilations (1995)
Amado, R.D., Cannata, F., Dedonder, J.P., Locher, M.P., Yang, Lu
Isospin recoupling and Bose-Einstein pion correlations in $\bar N$N annihilations (1995)
Amado, R.D., Cannata, F., Dedonder, J.P., Locher, M.P., Yang, Lu
Bose-Einstein pion correlations in $N\bar N$ annihilations (1994)
Amado, R.D., Cannata, F., Dedonder, J.P., Locher, M.P., Yang, Lu
Bose-Einstein pion correlations in $N\bar N$ annihilations (1994)
Amado, R.D., Cannata, F., Dedonder, J.P., Locher, M.P., Yang, Lu
Algebraic and Geometric Reasoning using Dixon Resultants (1994)
Deepak Kapur And, Deepak Kapur, Tushar Saxena, Lu Yang
Dixon's method for computing multivariate resultants by simultaneously eliminating many variables is reviewed. The method is found to be quite restrictive because often the Dixon matrix is...
Algebraic and Geometric Reasoning using Dixon Resultants (1994)
Deepak Kapur, Tushar Saxena, Lu Yang
Dixon's method for computing multivariate resultants by simultaneously eliminating many variables is reviewed. The method is found to be quite restrictive because often the Dixon matrix is...
A Solution of Rural Information Network Accessing (1970)
Along with the development and permeation of Internet, it has become an important commercial platform to spur economic development. Aimed at practical problems such as laggard network infrastructure,...
Essential role for p38α mitogen-activated protein kinase in placental angiogenesis
Mudgett, John S., Ding, Jixiang, Guh-Siesel, Lucia, Chartrain, Nicole A., Yang, Lu, Gopal, Shobhna, ...
The p38 family of mitogen-activated protein kinases (MAPKs) mediates signaling in response to environmental stresses and inflammatory cytokines, but the requirements for the p38 MAPK pathway in...
Chen, Xin, Yang, Lu, Zhang, Ning, Turpin, Jim A., Buckheit, Robert W., Osterling, Clay, ...
Shikonin is a major component of zicao (purple gromwell, the dried root of Lithospermum erythrorhizon), a Chinese herbal medicine with various biological activities, including inhibition of human...
Hydration of Enzyme in Nonaqueous Media Is Consistent with Solvent Dependence of Its Activity
Yang, Lu, Dordick, Jonathan S., Garde, Shekhar
Water plays an important role in enzyme structure and function in aqueous media. That role becomes even more important when one focuses on enzymes in low water media. Here we present results from...
Emerging Artificial Societies Through Learning
Nigel Gilbert, Matthijs Den Besten, Akos Bontovics, Federico Divina, A.E. Eiben, ...
The NewTies project is implementing a simulation in which societies of agents are expected to de-velop autonomously as a result of individual, population and social learning. These societies are...
Essential role for p38α mitogen-activated protein kinase in placental angiogenesis
Mudgett, John S., Ding, Jixiang, Guh-Siesel, Lucia, Chartrain, Nicole A., Yang, Lu, Gopal, Shobhna, ...
The p38 family of mitogen-activated protein kinases (MAPKs) mediates signaling in response to environmental stresses and inflammatory cytokines, but the requirements for the p38 MAPK pathway in...
Chen, Xin, Yang, Lu, Zhang, Ning, Turpin, Jim A., Buckheit, Robert W., Osterling, Clay, ...
Shikonin is a major component of zicao (purple gromwell, the dried root of Lithospermum erythrorhizon), a Chinese herbal medicine with various biological activities, including inhibition of human...
Hydration of Enzyme in Nonaqueous Media Is Consistent with Solvent Dependence of Its Activity
Yang, Lu, Dordick, Jonathan S., Garde, Shekhar
Water plays an important role in enzyme structure and function in aqueous media. That role becomes even more important when one focuses on enzymes in low water media. Here we present results from...
Tian, Kegong, Yu, Xiuling, Zhao, Tiezhu, Feng, Youjun, Cao, Zhen, Wang, Chuanbin, ...
Porcine reproductive and respiratory syndrome (PRRS) is a severe viral disease in pigs, causing great economic losses worldwide each year. The causative agent of the disease, PRRS virus (PRRSV), is a...
GETTING AWAY FROM NUMBERS: USING QUALITATIVE OBSERVATION FOR AGENT-BASED MODELING
Although in many social sciences there is a radical division between studies based on quantitative (e.g. statistical) and qualitative (e.g. ethnographic) methodologies and their associated...
Zhang, Hai-ju, Sun, Ruo-peng, Lei, Ge-fei, Yang, Lu, Liu, Chun-xi
Objective: To examine modulations caused by cyclooxygenase-2 (COX-2) inhibitors on altered microenvironments and overbalanced neurotransmitters in pilocarpine-induced epileptic status rats and to...
Jiang, Li, Fan, Junmei, Bai, Li, Wang, Yan, Chen, Yu, Yang, Lu, ...
Insulin-stimulated GLUT4 translocation to the plasma membrane constitutes a key process for blood glucose control. However, convenient and robust assays to monitor this dynamic process in real time...
Environment design for emerging artificial societies
Gilbert, Nigel, Schuster, Stephan, Den Besten, Matthijs, Yang, Lu
The NewTies project is developing a system in which societies of agents are expected to develop autonomously as a result of individual, population and social learning. These societies are expected to...
GDI-1 preferably interacts with Rab10 in insulin-stimulated GLUT4 translocation
Chen, Yu, Deng, Yongqiang, Zhang, Jinzhong, Yang, Lu, Xie, Xiangyang, Xu, Tao
Insulin stimulates GLUT4 (glucose transporter 4) translocation in adipocytes and muscles. An emerging picture is that Rab10 could bridge the gap between the insulin signalling cascade and GLUT4...
Podocyte-Specific Overexpression of the Antioxidant Metallothionein Reduces Diabetic Nephropathy
Zheng, Shirong, Carlson, Edward C., Yang, Lu, Kralik, Patricia M., Huang, Yun, Epstein, Paul N.
Podocytes are critical components of the selective filtration barrier of the glomerulus and are susceptible to oxidative damage. For investigation of the role of oxidative stress and podocyte damage...