On the Spectrum of Middle-Cubes (2009)
Qiu, Ke, Qiu, Rong, Jiang, Yong, Shen, Jian
A middle-cube is an induced subgraph consisting of nodes at the middle two layers of a hypercube. The middle-cubes are related to the well-known Revolving Door (Middle Levels) conjecture. We study...
A bound on the scrambling index of a primitive matrix using Boolean rank (2009)
Akelbek, Mahmud, Fital, Sandra, Shen, Jian
The scrambling index of an $n\times n$ primitive matrix $A$ is the smallest positive integer $k$ such that $A^k(A^{t})^k=J$, where $A^t$ denotes the transpose of $A$ and $J$ denotes the $n\times n$...
On the Borel-Cantelli Lemma and its Generalization (2009)
Feng, Chunrong, Li, Liangpan, Shen, Jian
Let $\{A_n\}_{n=1}^{\infty}$ be a sequence of events on a probability space $(\Omega,\mathcal{F},\mathbf{P})$. We show that if $\lim_{m\to\infty}\sum_{n=1}^{m}w_n\mathbf{P}(A_n)=\infty$ where each...
On the Chudnovsky-Seymour-Sullivan Conjecture on Cycles in Triangle-free Digraphs (2009)
Chen, Kevin, Karson, Sean, Liu, Dan, Shen, Jian
For a simple digraph $G$ without directed triangles or digons, let $\beta(G)$ be the size of the smallest subset $X \subseteq E(G)$ such that $G\setminus X$ has no directed cycles, and let...
Mattei, Josiemer, Parnell, Laurence D, Lai, Chao-Qiang, Garcia-Bailo, Bibiana, Adiconis, Xian, Shen, Jian, ...
Abstract Background Variations in gene allele frequencies can contribute to differences in the prevalence of some common complex diseases among populations. Natural selection modulates the balance in...
The kth Upper Bases of Primitive Non-powerful Signed Digraphs (2009)
Shao, Yanling, Shen, Jian, Gao, Yubin
In this paper, we study the kth upper bases of primitive non-powerful signed digraphs. A bound on the kth upper bases of all primitive non-powerful signed digraphs is obtained, and the equality case...
Zhang, Louxin, Shen, Jian, Yang, Jialiang, Li, Guoliang
Recurrence formulas are presented for studying the accuracy of the Fitch method for reconstructing the ancestral states in a given phylogenetic tree. As their applications, we analyze the convergence...
Graduation date: 2010
A sum-division estimate of reals (2009)
Let $A$ be a finite set of positive real numbers. We present a sum-division estimate: |A+A|^2|A/A|\geq\frac{|A|^4}{4}.
Geometric bionics: Lotus effect helps polystyrene nanotube films get good blood compatibility (2009)
Chun Mao, Wen-Bo Zhao, Wen-Ping Luo, Cun-Xia Liang, Xiao-Mei Hou, Xiao-Hua Huang, ...
Various biomaterials have been widely used for manufacturing biomedical applications including artificial organs, medical devices and disposable clinical apparatus, such as vascular prostheses, blood...
Koroutchev, Kostadin, Shen, Jian, Koroutcheva, Elka, Cebrian, Manuel
In this work, we suggest a parameterized statistical model (the gamma distribution) for the frequency of word occurrences in long strings of English text and use this model to build a corresponding...
Preparation of N-maleoylchitosan nanocapsules for loading and sustained release of felodipine (2009)
Zhu, Aiping, Pan, Yingnan, Dai, Sheng, Li, Fengjuan, Shen, Jian
Copyright © 2009 American Chemical Society
Preparation of N-maleoylchitosan nanocapsules for loading and sustained release of felodipine (2009)
Zhu, Aiping, Pan, Yingnan, Dai, Sheng, Li, Fengjuan, Shen, Jian
Copyright © 2009 American Chemical Society
ON GENERALIZED EXPONENTS OF TOURNAMENTS (2008)
Abstract. We determine two types of generalized exponent sets for tournaments with given order. In the course of proving the main results we find the following result, which may be interesting in its...
Extension of Strongly Regular Graphs (2008)
The Friendship theorem states that if any two people in a party have exactly one common friend, then there exists a politician who is a friend of everybody. In this paper, we generalize the...
r-Indecomposable and r-Nearly Decomposable Matrices ∗ Abstract (2008)
Lihua You, Bolian Liu, Jian Shen
Let n, r be integers with 0 ≤ r ≤ n − 1. An n × n matrix A is called r-partly decomposable if it contains a k×l zero submatrix with k+l = n−r+1. A matrix which is not r-partly decomposable...
Comparison of the CEST and SLOSH Models for Storm Surge Flooding (2008)
Keqi Zhang, Chengyou Xiao, Jian Shen
The Coastal and Estuarine Storm Tide (CEST) model for the boundary-fitted curvilinear grid has been developed recently to simulate a hurricane-induced storm surge. A new wetting-drying algorithm was...
Discretization Schemes on Triangular Grids 1 (2007)
Richard E. Ewing, Ove Saevareid, Jian Shen
Physical applications posed on irregular domains have caused difficulties in the use of many otherwise effective discretization schemes. In two dimensional examples, we consider discretization...
A DISCRETIZATION SCHEME AND ERROR ESTIMATE FOR FIRST-ORDER SYSTEMS AND ELLIPTIC PROBLEMS (2007)
Richard E. Ewing, Jian Shen, Discrete L
A discretization scheme applicable to the direct approximation of the velocity variable for either a first-order system or second-order elliptic equation is proposed in this paper. The scheme is...
System Discontinuous Coecients, Richard E. Ewing, Jian Shen
Lithological discontinuities in a reservoir generate discontinuous coecients for the rst-order system of equations used in the simulation of uid ow in porous media. Systems of conservation laws with...
A digraph G is called primitive if for some positive integer k, there is a walk of length exactly k from each vertex u to each vertex v (possibly u again). If G is primitive, the smallest such k is...
We present a new method for designing a transversal filter bank for parallel processing echo data in real-time active acoustic imaging. The method is based on a discretized linear spatio-temporal...
Received??; Revised?? Editors:?? (2007)
Abstract. Recent studies show that at-speed functional tests are better for finding realistic defects than tests executed at lower speeds. This advantage has led to growing interest in design for...
Functional Self-Test Generation for Superscalar Microprocessors (2007)
Jian Shen, Jacob A. Abraham, Navin Chander
Functional testing of microprocessors has been studied for over two decades. Techniques for generating functional tests for modern microprocessors with cache/MMU and pipelining have been previously...
A note on the number of edges guaranteeing a C 4 in Eulerian bipartite digraphs (2007)
Let G be an Eulerian bipartite digraph with vertex partition sizes m,n.We prove the following Turan-type result: If e(G) > 2mn/3thenG contains a directed cycle of length at most 4. The result is...
Eulerian bipartite digraphs (2007)
Let G be an Eulerian bipartite digraph with vertex partition sizes m;n. We prove the following Turan-type result: If e(G)> 2mn=3 then G contains a directed cycle of length at most 4. The result is...
Density Conditions for Triangles in Multipartite (2007)
Graphs Adrian Bondy, Adrian Bondy, Jian Shen, Carsten Thomassen
We consider the problem of nding a large or dense triangle-free subgraph in a given graph G. In response to a question of P. Erd}os, we prove that, if the minimum degree of G is at least 9jV (G)j=10,...
C. Thach Nguyen, Jian Shen, Minmei Hou, Li Sheng, Webb Miller, Louxin Zhang
Abstract. This paper studies the algorithmic issues of the spanning star forest problem. We prove the following results: (1) There is a polynomial-time approximation scheme for planar graphs; (2)...
Numerical simulation of an estuarine front using an unstructured grid model (2006)
Paper presented at The Seventh International Conference on HydroScience and Engineering (ICHE) hosted by the College of Engineering at Drexel Univeristy on September 10-13, 2006 in Philadelphia,...
Brubaker, John, Friedrichs, Carl, Harris, Courtney, Shen, Jian, Wang, Harry
The effective conduct of many of the U.S. Coast Guard's (USCG) missions is strongly influenced by the availability of accurate information on local environmental conditions. As an example, in search...
Density Conditions for Triangles in Multipartite Graphs (2006)
Bondy, Adrian, Shen, Jian, Thomasse, Stephan, Thomassen, Carsten
We consider the problem of finding a large or dense triangle-free subgraph in a given graph $G$. In response to a question of P. Erd\H{o}s, we prove that, if the minimum degree of $G$ is at least...
Density Conditions for Triangles in Multipartite Graphs (2006)
Bondy, Adrian, Shen, Jian, Thomasse, Stephan, Thomassen, Carsten
We consider the problem of finding a large or dense triangle-free subgraph in a given graph $G$. In response to a question of P. Erd\H{o}s, we prove that, if the minimum degree of $G$ is at least...
Wang, Shou-Lin, He, Xiao-Yang, Shen, Jian, Wang, Jia-Sheng, Hong, Jun-Yan
Cytochrome P450 2A13 (CYP2A13), an enzyme predominantly expressed in human respiratory tissues, is highly efficient for the metabolic activation of two suspected human lung carcinogens...
Wang, Shou-Lin, He, Xiao-Yang, Shen, Jian, Wang, Jia-Sheng, Hong, Jun-Yan
Cytochrome P450 2A13 (CYP2A13), an enzyme predominantly expressed in human respiratory tissues, is highly efficient for the metabolic activation of two suspected human lung carcinogens...
Double gate MOSFETs : process variations and design considerations / (2005)
Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2005.
Double gate MOSFETs : process variations and design considerations / (2005)
Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2005.
Characterizations of 1,k-bar visibility trees (2005)
Guantao Chen, Joan P. Hutchinson, Ken Keating, Jian Shen
A unit bar-visibility graph is a graph whose vertices can be represented in the plane by disjoint horizontal unit-length bars such that two vertices are adjacent if and only if there is a...
Double gate MOSFETs : process variations and design considerations (2005)
Thesis (M.Phil.)--Hong Kong University of Science and Technology, 2005
Thesis (M.S.)--University of Idaho, 2004.
Vehicle following with obstacle avoidance capabilities in natural environments (2004)
Teck Chew Ng, Javier Ibañez-guzmán, Jian Shen, Zhiming Gong
Abstract — A robust vehicle following system with obstacle avoidance capabilities for operation in natural environments is described in this paper. By combining a novel vehicle-tracking and...
In this paper, we show that although minimum-variance hedging unambiguously reduces the standard deviation of portfolio returns, it tends to increase portfolio kurtosis and consequently the...
Second neighborhood via first neighborhood in digraphs (2003)
Guantao Chen, Jian Shen, Raphael Yuster
Let D be a simple digraph without loops or digons. For any v ∈ V (D), the first out-neighborhood N + (v) is the set of all vertices with out-distance 1 from v and the second neighborhood N ++ (v)...
Gai, Zheng, Wu, Biao, Pierce, J. P., Farnan, G. A., Shu, Dajun, Wang, Mu, ...
The self-assembly of iron dots on the insulating surface of NaCl(001) is investigated experimentally and theoretically. Under proper growth conditions, nanometer-scale magnetic iron dots with...
The ars operon of plasmid R773 encodes an As(III)/Sb(III) extrusion pump. The catalytic subunit, ArsA ATPase, has two homologous halves, A1 and A2, each with a consensus nucleotide-binding site. ArsA...
Typescript.
Point-Distributed Algorithms on Locally Refined Grids for Second Order Elliptic Equations (2001)
Richard E. Ewing, Jian Shen, Junping Wang
A discretization scheme, which relates the mixed nite element method with cellcented nite dierence and nite volume element methods, is proposed for second-order elliptic equations on rectangular...
Java-based e-Bank system with multi-tiered distributed Web services /--by Jian Shen. (2000)
Thesis (Applied project, M.S.T.)--Arizona State University, 2000.
On the existence of a sorting sequence of kings in a tournament (2000)
Abstract. A tournament Tn is an orientation of a complete graph on n vertices. A king in a tournament is a vertex from which every other vertex is reachable by a path of length at most 2. A sorted...
Effective techniques for processor validation and test / (1999)
Thesis (Ph. D.)--University of Texas at Austin, 1999.
Effective techniques for processor validation and test / (1999)
Thesis (Ph. D.)--University of Texas at Austin, 1999.
Vita.
Effective techniques for processor validation and test / (1999)
Thesis (Ph. D.)--University of Texas at Austin, 1999.
Functional verification of the equator MAP1000 microprocessor (1999)
Jian Shen, Jacob Abraham, Dave Baker, Tony Hurson, Martin Kinkade
The Advanced VLIW architecture of the Equator MAP1000 processor has many features that present significant verification challenges. We describe a functional verification methodology to address this...
Verification of Processor Microarchitectures (1999)
This paper develops a new abstraction technique for processor microarchitecture validation. An abstract finite-state machine model is derived directly from the processor HDL description. This model,...
Ao and Hanson, and Guiduli, Gy'arf'as, Thomass'e and Weidl independently, proved the following result: For any tournament score sequence S = (s 1 ; s 2 ; : : : ; s n ) with s 1 s 2...
Discrepancy of Matrices of Zeros and Ones (1999)
Let m and n be positive integers, and let R =(r 1 ,...,r m)a ndS = (s 1 ,...,s n ) be non-negative integral vectors. Let A(R, S)bethesetofall m n (0, 1)-matrices with row sum vector R and column...
Discrepancy of Matrices of Zeros and Ones (1999)
Let m and n be positive integers, and let R = (r 1 ; : : : ; r m ) and S = (s 1 ; : : : ; s n ) be non-negative integral vectors. Let A(R;S) be the set of all m \Theta n (0; 1)-matrices with row sum...
Exponents of of 2-regular Digraphs (1999)
A digraph G is called primitive if for some positive integer k, there is a walk of length exactly k from each vertex u to each vertex v (possibly u again). If G is primitive, the smallest such k is...
On the Girth of Digraphs (1998)
It was conjectured by Caccetta and Haggkvist in 1978 that the girth of every digraph with n vertices and minimum outdegree r is at most dn=re. The conjecture was proved for r = 2 by Caccetta and...
Directed Triangles in Digraphs (1998)
Let c be the smallest possible value such that every digraph on n vertices with minimum outdegree at least cn contains a directed triangle. It was conjectured by Caccetta and Haggkvist in 1978 that c...
Some Results on Generalized Exponents (1998)
A digraph G = (V; E) is primitive if, for some positive integer k, there is a u ! v walk of length k for every pair u; v of vertices of V . The minimum such k is called the exponent of G, denoted...
Local Exponents of Primitive Digraphs (1998)
A digraph G = (V; E) is primitive if, for some positive integer k, there is a u ! v walk of length k for every pair u; v of vertices of V . The minimum such k is called the exponent of G, denoted...
New methodologies based on functional testing and built-in self-test can narrow the gap between necessary solutions and existing techniques for processor validation and testing. We presentaversatile...
Linkage between nature, city and people : Minneapolis Bridge Complex / (1997)
Thesis (M.A.)--University of Minnesota, 1997.
Abstract. Design validation is becoming more and more a bottleneck in the microprocessor design process. The difficulty of validation stems from the complexity of the design, which requires searching...
On combining formal and informal verification (1997)
Jian Shen, Jacob Abraham, Adnan Aziz
Abstract. We propose algorithms which combine simulation with symbolic methods for the verification of invariants. The motivation is twofold. First, there are designs which are too complex to be...
On the Caccetta-Häggkvist Conjecture (1997)
It was conjectured by Caccetta and Haggkvist in 1978 that every digraph G with n vertices and minimum outdegree at least r contains a directed cycle of length at most dn=re. By refining an argument...
On Combining Formal and Informal Verification (1997)
Jun Yuan, Jian Shen, Jacob Abraham, Adnan Aziz
. We propose algorithms which combine simulation with symbolic methods for the verification of invariants. The motivation is two-fold. First, there are designs which are too complex to be formally...
A filter-based approach to real-time 3D pulse-echo imaging using ultrasound arrays. (1997)
Dissertation (Ph.D.)--University of Michigan
A C++ framework for managing distributed persistent objects /--by Jian Shen. (1996)
Thesis (M.S.)--University of Alabama at Birmingham, 1996.
Halle, Universiẗat, Diss., 1996.
Exponents of Vertex-transitive Digraphs (1996)
A digraph D is primitive if, for some positive integer r, there is a u ! v walk of length r for every pair u; v of vertices of D. The minimum such r is called the exponent of D, denoted exp(D). We...
Exponents of vertex-transitive digraphs (1996)
A digraph D is primitive if, for some positive integer r, there is a u! v walk of length r for every pair u; v of vertices of D. The minimum such r is called the exponent ofD, denoted exp(D). We...
Thesis (M. Tech.)--Massey University, 1994.
The analysis of multigrid algorithms for cell centered finite difference methods (1994)
James H. Bramble, Richard E. Ewing, Joseph E. Pasciak, Jian Shen
Abstract. In this paper, we examine multigrid algorithms for cell centered finite difference approximations of second order elliptic boundary value problems. The cell centered application gives rise...
The analysis of multigrid algorithms for cell centered finite difference methods (1994)
James H. Bramble, Richard E. Ewing, Joseph E. Pasciak, Jian Shen
Abstract. In this paper, we examine multigrid algorithms for cell centered finite difference approximations of second order elliptic boundary value problems. The cell centered application gives rise...
Mixed Finite Element Methods On Distorted Rectangular Grids (1994)
Jian Shen, R. D. Lazarov, J. M. Thomas
A new mixed finite element method on totally distorted rectangular meshes is introduced with optimal error estimates for both pressure and velocity. This new mixed discretization fits the geometric...
Shen, Jian, Gimbrone, Michael A. Jr., Luscinskas, Francis W., Dewey, C. Forbes Jr.
Biophysical Journal, 1993
Shen, Jian, Gimbrone, Michael A. Jr., Luscinskas, Francis W., Dewey, C. Forbes Jr.
Biophysical Journal, 1993
GTO Pulsed Width Modulated (PWM) converter for railway traction applications. (1993)
Thesis (Ph. D.)--University of Salford, 1993.
Point-distributed algorithms for second-order elliptic equations in mixed form (1993)
Richard E. Ewing, Jian Shen, Junping Wang
Abstract: A discretization scheme, which relates the mixed finite element method with cell-cented finite difference and finite volume element methods, is proposed for second-order elliptic equations...
A Multigrid Algorithm For The Cell-Centered Finite Difference Scheme (1993)
this article, we discuss a non-variational V -cycle multigrid algorithm based on the cell-centered finite difference scheme for solving a second-order elliptic problem with discontinuous...
Mixed finite element methods : analysis and computational aspects / (1992)
Thesis (M.A.)--University of Wyoming, 1992.
Short cycles in digraphs with local average outdegree at least two (1992)
Suppose G is a strongly connected digraph with order n girth g and diameter d. We prove that d + g ≤ n if G contains no arcs (u, v) withdeg + (u) =1and deg + (v) ≤ 2. Caccetta and Häggkvist...
Short cycles in digraphs with local average outdegree at least two (1992)
Suppose G is a strongly connected digraph with order n girth g and diameter d. We prove that d + g n if G contains no arcs (u; v) with deg
Degree granted by Dept. of Chemistry.
Thesis (M.S.)--University of Wyoming, 1988.
Pathways of As(III) detoxification in Saccharomyces cerevisiae
Ghosh, Mallika, Shen, Jian, Rosen, Barry P.
Saccharomyces cerevisiae has two independent transport systems for the removal of arsenite from the cytosol. Acr3p is a plasma membrane transporter that confers resistance to arsenite, presumably by...
Arsenite transport by mammalian aquaglyceroporins AQP7 and AQP9
Liu, Zijuan, Shen, Jian, Carbrey, Jennifer M., Mukhopadhyay, Rita, Agre, Peter, Rosen, Barry P.
Much is known about the transport of arsenite and antimonite into microbes, but the identities of mammalian transport proteins are unknown. The Saccharomyces cerevisiae FPS1 gene encodes a membrane...
Shen, Jian, Zhang, Baorang, Wei, Guifang, Pang, Xiaoyan, Wei, Hua, Li, Min, ...
A group-specific PCR-based denaturing gradient gel electrophoresis (DGGE) method was developed and combined with group-specific clone library analysis to investigate the diversity of the Clostridium...
Pathways of As(III) detoxification in Saccharomyces cerevisiae
Ghosh, Mallika, Shen, Jian, Rosen, Barry P.
Saccharomyces cerevisiae has two independent transport systems for the removal of arsenite from the cytosol. Acr3p is a plasma membrane transporter that confers resistance to arsenite, presumably by...
Arsenite transport by mammalian aquaglyceroporins AQP7 and AQP9
Liu, Zijuan, Shen, Jian, Carbrey, Jennifer M., Mukhopadhyay, Rita, Agre, Peter, Rosen, Barry P.
Much is known about the transport of arsenite and antimonite into microbes, but the identities of mammalian transport proteins are unknown. The Saccharomyces cerevisiae FPS1 gene encodes a membrane...
Shen, Jian, Zhang, Baorang, Wei, Guifang, Pang, Xiaoyan, Wei, Hua, Li, Min, ...
A group-specific PCR-based denaturing gradient gel electrophoresis (DGGE) method was developed and combined with group-specific clone library analysis to investigate the diversity of the Clostridium...
Wu, Min, Bellas, Robert E., Shen, Jian, Sonenshein, Gail E.
Treatment of WEHI 231 immature B lymphoma cells with an antibody against their surface immunoglobulin M (anti-IgM) induces apoptosis and has been studied extensively as a model of self-induced B cell...
Symbiotic gut microbes modulate human metabolic phenotypes
Li, Min, Wang, Baohong, Zhang, Menghui, Rantalainen, Mattias, Wang, Shengyue, Zhou, Haokui, ...
Humans have evolved intimate symbiotic relationships with a consortium of gut microbes (microbiome) and individual variations in the microbiome influence host health, may be implicated in disease...
Genome-Wide Association Study of Plasma Polyunsaturated Fatty Acids in the InCHIANTI Study
Tanaka, Toshiko, Shen, Jian, Abecasis, Gonçalo R., Kisialiou, Aliaksei, Ordovas, Jose M., Guralnik, Jack M., ...
Polyunsaturated fatty acids (PUFA) have a role in many physiological processes, including energy production, modulation of inflammation, and maintenance of cell membrane integrity. High plasma PUFA...
The effect of IL6-174C/G polymorphism on postprandial triglyceride metabolism in the GOLDN study*
Shen, Jian, Arnett, Donna K., Pérez-Martínez, Pablo, Parnell, Laurence D., Lai, Chao-Qiang, Peacock, James M., ...
Chronically elevated interleukin-6 (IL-6) affects lipid and lipoprotein metabolism. Individuals genetically predisposed to higher IL-6 secretion may be at risk of dyslipidemia, especially during the...