Received Day Month Year Revised Day Month Year (2009)
Ruili Wang, Mingzhe Liu, Ray Kemp, Min Zhou
Traffic flow on straight roads is the most common traffic phenomenon in urban road traffic networks. In this paper, a realistic cellular automaton (CA) model is proposed to investigate driver...
Shen, Jianping, Wang, Yaofei, Zhou, Min, Li, Wenzhong
Background: Leprosy is at a low endemic situation in China, the value of house contact survey in case detection of leprosy becoming a dispute. Aims: To evaluate the value of household contact survey...
Multi-Tasking vs. Screening: A Model of Academic Tenure (2009)
The paper develops a model of academic tenure based on multi-tasking and screening. A professor has two tasks, researching and teaching. We assume that researching performance is easy to measure but...
Monitoring Off-the-Shelf Components ⋆ (2009)
A. Prasad Sistla, Min Zhou, Lenore D. Zuck
Abstract. Software is being developed from off-the-shelf third party components. The interface specification of such a component may be under specified or may not fully match the user requirement. In...
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions ⋆ (2008)
Abstract. The two main hindrances for a wider application of the model checking approach for verification of concurrent and distributed systems are the state explosion problem and its limitation in...
Chinese Americans and the Politics of Race and Culture (review) (2008)
Journal of Chinese Overseas - Volume 4, Number 2, November 2008
Lei, Mingming, Peng, Xia, Zhou, Min, Luo, Chenglong, Nie, Qinghua, Zhang, Xiquan
Abstract Background The insulin-like growth factor I receptor (IGF1R) has an important effect on growth, carcass, and meat quality traits in many species. However, few studies on associations of the...
An Evolutionary Expressed Sequence Tag Analysis of Drosophila Spermatheca Genes (2008)
Adrianne Prokupek, Federico Hoffmann, Seong-il Eyun, Etsuko Moriyama, Min Zhou, Lawrence Harshman
This study investigates genes enriched for expression in the spermatheca, the long-term sperm storage organ (SSO) of female Drosophila. SSO genes are likely to play an important role in processes of...
An Evolutionary Expressed Sequence Tag Analysis of Drosophila Spermatheca Genes (2008)
Prokupek, Adrianne, Hoffmann, Federico G., Eyun, Seong-il, Moriyama, Etsuko, Zhou, Min, Harshman, Lawrence G.
This study investigates genes enriched for expression in the spermatheca, the long-term sperm storage organ (SSO) of female Drosophila. SSO genes are likely to play an important role in processes of...
Outline Symmetry based methods COUNT CTL(CCTL) Logic Algorithms Experiment Result (2008)
A. Prasad Sistla, Xiaodong Wang, Min Zhou, Presented Min Zhou, Sefm Talk P
allow us to contain the state explosion problem SEFM04 talk – p. 3/2 Symmetry Based Methods allow us to contain the state explosion problem use a symmetry introduced equivalence relation on states...
The PIT1gene polymorphisms were associated with chicken growth traits (2008)
Nie, Qinghua, Fang, Meixia, Xie, Liang, Zhou, Min, Liang, Zhangmin, Luo, Ziping, ...
Abstract Background With crucial roles on the differentiation of anterior pituitary and the regulation of the prolactin ( PRL ), growth hormone ( GH ) and thyroid-stimulating hormone-β ( TSH-β )...
Teaching Chinese Language and Culture through Chinese Commercials (2008)
In an era of global competition, it has become increasingly important for people in international business to be well versed in both global economics and intercultural communications. This has...
An improved trust model in agent-mediated E-commerce (2008)
Zhang, Zili, Zhou, Min, Wang, Ping
Trust is a fundamental issue in multiagent systems, especially in agent-mediated e-commence. The trust model plays an important role in determining who and how to interact in open and dynamic...
Incorporating track records of agents into matchmaking in middle agents (2008)
Middle agents play a very important role in multiagent systems used in open and dynamic environments. The performance of middle agents relies heavily on the matchmaking algorithms used. The actual...
Speeding up SAT Based ATPG for Logic Verification by Recursive Learning (2007)
Min Zhou, Yuji Kukimoto, Huey-yih Wang
Recursive Learning (RL) is a circuit-structure-based method for computing all necessary assignments. Recursive learning technique can be combined with different CAD algorithms and techniques in...
Universal Directory Service Through Scalable Mechanisms: Referral Whois Protocol (2007)
In the early ARPANET development, a centralized "Whois " database was established by SRI-NIC to provide host and network information about the hosts connected to the network and the...
Improving the Reachability Analysis Technique by Circuit (2007)
Implicit reachable state computation can be applied to a wide range of sequential formal verification and logic synthesis problems. Symbolic manipulation with BDDs is one of the most efficient...
Exploiting commutativity and symmetry in model checking / (2007)
Thesis (Ph.D. in Computer Science)--University of Illinois at Chicago, 2007.
MULTISCALE MODELING OF THE DEFORMATION OF SEMI-CRYSTALLINE POLYMERS Approved by: (2006)
Ellison Shepherd, L. Mcdowell, I. Jacob, Dr. Min Zhou
To my wife, Melinda, and my children, Leah and Scott.
Model checking of systems employing commutative functions (2005)
A. Prasad Sistla, Min Zhou, Xiaodong Wang
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed methods work for the class...
Model checking of systems employing commutative functions (2005)
A. Prasad Sistla, Min Zhou, Xiaodong Wang
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed methods work for the class...
Model checking of systems employing commutative functions (2005)
A. Prasad Sistla, Min Zhou, Xiaodong Wang
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bisimulation reductions. The proposed methods work for the class...
Thesis (Ph. D.)--Dept. of Geology and Geophysics, University of Utah, 2005.
En route vers les sommets : nouvelles perspectives sur la question des minorités ethniques (2004)
L'expérience récente de plusieurs groupes immigrants aux États-Unis échappe aux théories en vigueur, qu'elles soient structuralistes ou fonctionnalistes, économi-ques ou sociologique. Trop...
Dissertation (Ph.D.)--University of Michigan.
Este artículo presenta una visión general de las tendencias contemporáneas de inmigración a los Estados Unidos, y un análisis descriptivo por género de patrones de la incorporación económica...
Experiences and lessons learned with a portable interface to hardware performance counters (2003)
Jack Dongarra, Kevin London, Shirley Moore, Philip Mucci, Daniel Terpstra, Haihang You, ...
The PAPI project has defined and implemented a crossplatform interface to the hardware counters available on most modern microprocessors. The interface has gained widespread use and acceptance from...
Experiences and Lessons Learned with a (2003)
Portable Interface To, Jack Dongarra, Kevin London, Shirley Moore, Philip Mucci, Daniel Terpstra, ...
The PAPI project has defined and implemented a crossplatform interface to the hardware counters available on most modern microprocessors. The interface has gained widespread use and acceptance from...
Development and characterization of PZT thin films / (2002)
Thesis (M.Sc. (Prec. Eng.))--Nanyang Technological University, School of Mechanical and Production Engineering, 2002.
Time-Resolved Analysis of the Dynamic Behavior of Granular Materials. (2000)
The objective of this research is to obtain response and constitutive characterization for Concrete and mortar at strain rates up to 105/s, to analyze the evolution of load-carrying and energy...
Thesis (Ph. D.)--Boston University, 2000.
Vita.
Novel plasma depasited coatings containing silver/--by Min Zhou. (1999)
Thesis (M.S.)--University of Texas at Arlington, 1999.
Characterisation of ADAM expression in human myeloma cells. (1999)
Thesis (Ph. D.)--University of Sheffield, 1999.
Dynamic Failure Behavior of Naval Structural Steels (1998)
The objective of this two year research is to: (1) characterize the dynamic constitutive behavior of structural metals including HY-80, HY-100, HSLA-80, HSLA-100, 4340 and Ti-6A1-4V; (2) evaluate the...
A Two-Dimensional Laser Interferometer System for Dynamic Response Characterization (1998)
The objective of this AFOSR DURIP (Defense University Research Instrumentation Program) grant was to establish experimental capabilities for quantifying material responses under highly dynamic...
AASERT: Constitutive and Failure Behavior of Granular Materials (1998)
This project provides support for graduate and undergraduate students to conduct research on the dynamic behavior of concrete and mortar over a range of loading rates and under multiaxial states of...
Microstructure and Dynamic Behavior Correlation in Two-Phase TiB2+Al2O3 Ceramic (1998)
Thadhani, Naresh N., Zhou, Min
The high-strain-rate deformation and damage response of four types of microstructurally-biased two-phase (nominally 30:70) TiB2+Al2O3 ceramics, produced by SHS or mechanical milling techniques, have...
Jena, Univ., Diss., 1998.
Authentication and Security in WebFS (1997)
Eshwar Belani, Alex Thornton, Min Zhou
In this paper we present a framework for security and authentication which integrates cleanly into WebFS. We believe that such a framework is integral to the viability of WebFS as a solution for...
Typescript.
Mobility patterns of the next generation of older persons / (1994)
Thesis (M.S.)--Michigan State University. Dept. of Civil and Environmental Engineering, 1994.
Mobility patterns of the next generation of older persons--[microform] /--by Min Zhou. (1994)
Thesis (M.S.)--Michigan State University. Dept. of Civil and Environmental Engineering, 1994.
Linear-time approximation algorithms for the max cut problem (1993)
Wilsin Gosti, Giao Nguyen, Marlene Wan, Min Zhou
In this project, we investigated several approximation algorithms for the Max-Cut problem. Our main approach to this problem is a semidefinite program (GW) based algorithm that has a performance...
Divergent Destinies:Immigration, Poverty, and Entrepreneurship in the United States (1992)
Contemporary immigration to the United States is seldom associated with the traumas of poverty in the specialized literature. This is not due to the absence of objective indicators of poverty, such...
Thesis (Ph. D.)--The University at Albany, State University of New York, Dept. of Sociology, 1989.
The enclave economy and immigrant incorporation in New York City's Chinatown /--by Min Zhou. (1989)
Thesis (Ph. D.)--State University of New York at Albany, 1989.
Tuo, Jingsheng, Ning, Baitang, Bojanowski, Christine M., Lin, Zhong-Ning, Ross, Robert J., Reed, George F., ...
This study investigates age-related macular degeneration (AMD) genetic risk factors through identification of a functional single-nucleotide polymorphism (SNP) and its disease association. We chose...
Tuo, Jingsheng, Ning, Baitang, Bojanowski, Christine M., Lin, Zhong-Ning, Ross, Robert J., Reed, George F., ...
This study investigates age-related macular degeneration (AMD) genetic risk factors through identification of a functional single-nucleotide polymorphism (SNP) and its disease association. We chose...
Zhou, Min, Xu, Honglin, Wei, Xiaoli, Ye, Zhiqiang, Wei, Liping, Gong, Weimin, ...
5-Enolpyruvylshikimate 3-phosphate synthase (EPSPS) is a key enzyme in the shikimate pathway and is targeted by the wide-spectrum herbicide glyphosate. Here, we describe the use of a selection system...
Divergent Destinies:Immigration, Poverty, and Entrepreneurship in the United States
Contemporary immigration to the United States is seldom associated with the traumas of poverty in the specialized literature. This is not due to the absence of objective indicators of poverty, such...
Karadag, Abdullah, Zhou, Min, Croucher, Peter I.
ADAM-9, a member of the a disintegrin and metalloproteinase family, contains both metalloproteinase and disintegrin domains. Myeloma cell lines express ADAM-9; however, its function and role in the...
The PIT1 gene polymorphisms were associated with chicken growth traits
Nie, Qinghua, Fang, Meixia, Xie, Liang, Zhou, Min, Liang, Zhangmin, Luo, Ziping, ...
HUMAN HtrA1 IN THE ARCHIVED EYES WITH AGE-RELATED MACULAR DEGENERATION
Chan, Chi-Chao, Shen, Defen, Zhou, Min, Ross, Robert J., Ding, Xiaoyan, Zhang, Kang, ...
Molecular architecture of the human GINS complex
Boskovic, Jasminka, Coloma, Javier, Aparicio, Tomás, Zhou, Min, Robinson, Carol V, Méndez, Juan, ...
Chromosomal DNA replication is strictly regulated through a sequence of steps that involve many macromolecular protein complexes. One of these is the GINS complex, which is required for initiation...
In vitro reconstitution of the human RISC-loading complex
MacRae, Ian J., Ma, Enbo, Zhou, Min, Robinson, Carol V., Doudna, Jennifer A.
Targeted gene silencing by RNAi requires the RNA-induced silencing complex (RISC), whose core component is the protein Argonaute (Ago) bound to a microRNA (miRNA) or an siRNA. In humans, Ago2 is...
A Parasite Cysteine Protease Is Key to Host Protein Degradation and Iron Acquisition*S⃞
O'Brien, Theresa C., Mackey, Zachary B., Fetter, Richard D., Choe, Youngchool, O'Donoghue, Anthony J., Zhou, Min, ...
Cysteine proteases of the Clan CA (papain) family are the predominant protease group in primitive invertebrates. Cysteine protease inhibitors arrest infection by the protozoan parasite, Trypanosoma...
Polymorphisms of the IGF1R gene and their genetic effects on chicken early growth and carcass traits
Lei, Mingming, Peng, Xia, Zhou, Min, Luo, Chenglong, Nie, Qinghua, Zhang, Xiquan
Zhou, Min, Sandercock, Alan M., Fraser, Christopher S., Ridlova, Gabriela, Stephens, Elaine, Schenauer, Matthew R., ...
The eukaryotic initiation factor 3 (eIF3) plays an important role in translation initiation, acting as a docking site for several eIFs that assemble on the 40S ribosomal subunit. Here, we use mass...
Wang, Zhi, Jiang, Lu, Huang, Canhua, Li, Zhengyu, Chen, Lijuan, Gou, Lantu, ...
This work demonstrates that a comprehensive strategy of proteomics identification combined with further validation and detailed functional analysis should be adopted in the field of cancer biomarker...
Multi-Tasking vs. Screening: A Model of Academic Tenure
The paper develops a model of academic tenure based on multi-tasking and screening. A professor has two tasks, researching and teaching. We assume that researching performance is easy to measure but...
Inhibition of a Secreted Glutamic Peptidase Prevents Growth of the Fungus Talaromyces emersonii*
O'Donoghue, Anthony J., Mahon, Cathal S., Goetz, David H., O'Malley, James M., Gallagher, Denise M., Zhou, Min, ...
The thermophilic filamentous fungus Talaromyces emersonii secretes a variety of hydrolytic enzymes that are of interest for processing of biomass into fuel. Many carbohydrases have been isolated and...
Carulla, Natàlia, Zhou, Min, Arimon, Muriel, Gairí, Margarida, Giralt, Ernest, Robinson, Carol V., ...
Recent experimental evidence points to intermediates populated during the process of amyloid fibril formation as the toxic moieties primarily responsible for the development of increasingly common...