Risso, Carla, Sun, Jun, Zhuang, Kai, Mahadevan, Radhakrishnan, DeBoy, Robert, Ismail, Wael, ...
Abstract Background Rhodoferax ferrireducens is a metabolically versatile, Fe(III)-reducing, subsurface microorganism that is likely to play an important role in the carbon and metal cycles in the...
Sun, Jun, Stetler-Stevenson, William G
Abstract Background Matrix Metalloproteinase functions in the remodeling of the extracellular matrix that is integral for many normal and pathological processes such as morphogenesis, angiogenesis,...
Genome-wide analysis of the RpoN regulon in Geobacter sulfurreducens (2009)
Leang, Ching, Krushkal, Julia, Ueki, Toshiyuki, Puljic, Marko, Sun, Jun, Juárez, Katy, ...
Abstract Background The role of the RNA polymerase sigma factor RpoN in regulation of gene expression in Geobacter sulfurreducens was investigated to better understand transcriptional regulatory...
Spontaneous Emergence of Modularity in a Model of Evolving Individuals and in Real Networks (2009)
He, Jiankui, Sun, Jun, Deem, Michael W.
We investigate the selective forces that promote the emergence of modularity in nature. We demonstrate the spontaneous emergence of modularity in a population of individuals that evolve in a changing...
Machine-Assisted Proof Support for Validation Beyond Simulink (2009)
Chunqing Chen, Jin Song Dong, Jun Sun
Abstract. Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we showed the...
Genome-scale constraint-based modeling of Geobacter metallireducens (2009)
Sun, Jun, Sayyar, Bahareh, Butler, Jessica E, Pharkya, Priti, Fahland, Tom R, Famili, Iman, ...
Abstract Background Geobacter metallireducens was the first organism that can be grown in pure culture to completely oxidize organic compounds with Fe(III) oxide serving as electron acceptor....
Yuan, Wenli, Guo, Jiazhi, Li, Xingguo, Zou, Zhirong, Chen, Guangxue, Sun, Jun, ...
It has been reported that phospholipase C-γ1 (PLC-γ1) plays an important protective role in hydrogen peroxide (H2O2)-induced pheochromocytoma (PC) 12 cells death. However, most studies have used...
Molecular Momentum Transport at Fluid-Solid Interfaces in MEMS/NEMS: A Review (2009)
Bing-Yang Cao, Jun Sun, Min Chen, Zeng-Yuan Guo
This review is focused on molecular momentum transport at fluid-solid interfaces mainly related to microfluidics and nanofluidics in micro-/nano-electro-mechanical systems (MEMS/NEMS). This broad...
Jun Sun, Pan Michaleris, Anshul Gupta, Padma Raghavan, Jun Sun, Pan Michaleris, ...
Summary. Large scale computing is a well-known research topic since it is heavily
Jiang, Huifeng, Zhang, Yue, Sun, Jun, Wang, Wen, Gu, Zhenglong
Abstract Background The filamentous fungus Ashbya gossypii grows into a multicellular mycelium that is distinct from the unicellular morphology of its closely related yeast species. It has been...
Abstract Web technologies based on XML, e.g. Semantic Web and Web Services, facilitate Webautomation and universally accessible content. One of the key factors for the success of XML-based...
Visualizing and Simulating Semantic Web Services Ontologies (2008)
Jun Sun, Yuan Fang, Li Hai, Wang Jing Sun
Abstract. The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretable and...
Reasoning About ORA-SS Data Models Using the Semantic Web (2008)
Yuan Fang Li, Gillian Dobbie, Haih. Wang, Jun Sun
Abstract. There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In...
Realizing Live Sequence Charts in SystemVerilog (2008)
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety...
Realizing Live Sequence Charts in SystemVerilog (2008)
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety...
A Semantic Web Approach to Validating Semistructured Data (2008)
Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai Wang, Jun Sun
Abstract. There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of good semistructured data models is essential. In...
Chunqing Chen, Jin Song Dong, Jun Sun
(TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support, as its verification usually involves...
A Tools Environment for Developing and Reasoning about Ontologies (2008)
Jin Song Dong, Yuzhang Feng, Yuan Fang Li, Jun Sun
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provide basic vocabularies...
Extracting FSMs from Object-Z Specifications with History Invariants (2008)
Object-Z with history invariants can present precise and abstract models for complex systems. The system behavior patterns are often implicitly embedded within various state/operational constraints...
Acoustic emissions from tribological contacts (2008)
Wang, L., Wood, R.J.K., Sun, Jun
This article summarises the results from studies of metal sliding contacts under both dry and oil-lubricated conditions where acoustic emissions have been used to monitor the contact conditions. The...
A Projection Method for Derivation of Non-Shannon-Type Information Inequalities (2008)
Xu, Weidong, Wang, Jia, Sun, Jun
In 1998, Zhang and Yeung found the first unconditional non-Shannon-type information inequality. Recently, Dougherty, Freiling and Zeger gave six new unconditional non-Shannon-type information...
Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many system-on-chip based...
Visualizing and Simulating Semantic Web Services Ontologies (2008)
Jun Sun, Yuan Fang, Li Hai, Wang Jing Sun
Abstract. The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretable and...
Reasoning About Timed CSP Models (2008)
Jin Song Dong, Xian Zhang, Jun Sun, Ping Hao
Abstract. HORAE is an interactive system which supports composing and reasoning of Timed CSP process descriptions. Timed CSP extends CSP by introducing the capability to quantify temporal aspects of...
A Formal Model of Semantic Web Service Ontology (WSMO) Execution (2008)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential....
A Formal Model of Semantic Web Service Ontology (WSMO) Execution (2008)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential....
Ka-Band Link Optimization with Rate Adaptation (2008)
Jun Sun, Jay Gao, Shervin Shambayati, Eytan Modiano
Abstract — On-going development of Ka-band capability for the Deep Space Networks (DSN) will radically increase the bandwidth available to support advanced mission concepts envisioned for future...
Design synthesis from interaction and state-based specifications (2008)
Abstract—Interaction-based and state-based modeling are two complementary approaches of behavior modeling. The former focuses on global interactions between system components. The latter...
Sensor Network Design: Introducing Active Sensor Process (2008)
Jin Song Dong, Jun Sun, Xian Zhang, Jing Sun
Abstract. Wireless sensor network has shown a wide range of promising applications as well as challenges. In recent years, sensors have been equipped with significant processing, memory, and...
Extracting FSMs from Object-Z Specifications with History Invariants (2008)
abstract models for complex systems. The system behavior patterns are often implicitly embedded within various state/operational constraints and history invariants. Without explicit system behavior...
Generating MSCs from an Integrated Formal (2008)
Specification Language Jin, Jin Song Dong, Shengchao Qin, Jun Sun
The requirements capture of complex systems requires powerful mechanisms for specifying system state, structure and interactive behaviors. Integrated formal specification languages are well suited...
PANG, Yuye, SUN, Jun, WANG, Jia, WANG, Peng
In this paper, the statistical characteristic of the Error Detection Delay (EDD) of Finite Precision Binary Arithmetic Codes (FPBAC) is discussed. It is observed that, apart from the probability of...
Achieving Weighted Fairness and Efficient Channel Utilization in IEEE 802.11e WLANs (2008)
ZHANG, Wei, SUN, Jun, WANG, Xinbing
This paper addresses the problem of maximizing the protocol capacity of 802.11e networks, under the assumption that each access category (AC) has the same packet length. We prove that the maximal...
Abstract-- This paper considers the link capacity requirement for a N x N mesh-torus network under a uniform all-to-all tratic model. Both primary capacity and spare capacity for recovering from link...
Spontaneous Emergence of Modularity in a Model of Evolving Individuals (2007)
We investigate the selective forces that promote the emergence of modularity in nature. We demonstrate the spontaneous emergence of modularity in a population of individuals that evolve in a changing...
Condition monitoring by acoustic emission and electrostatic technologies (2007)
The increasing demands made on operational availability and reliability of machinery requires the adoption of innovative methods to assess the machine’s current condition and predict its condition...
Liveness plays an important role in system requirements. Fairness conditions are an effective way of expressing liveness properties. Previous studies on liveness and fairness have been state-based,...
From Live Sequence Charts to Distributed Implementation (2007)
Mechanized generation of prototypes from high-level specifications has long been an ultimate challenge for software engineering. One high-level specification of great interest is scenario-based...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) (2007)
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed, Sun, Jun
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service...
Performance Analysis of IEEE 802.11e EDCA (2007)
ZHANG, Wei, SUN, Jun, LIU, Jing, ZHANG, Haibin
This letter presents a clear and more accurate analytical model to evaluate the IEEE 802.11e enhanced distributed channel access (EDCA) protocol. The proposed model distinguishes internal collision...
Sun, Jun, Boyd, Stephen, Xiao, Lin, Diaconis, Persi
We consider a Markov process on a connected graph, with edges labeled with transition rates between the adjacent vertices. The distribution of the Markov process converges to the uniform distribution...
Reasoning About ORA-SS Data Models Using the Semantic Web (2006)
Li, Yan Fang, Dobbie, Gillian, Wang, Hai H., Sun, Jun
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the...
Validating Semistructured Data using OWL (2006)
Li, Yuan Fang, Sun, Jing, Dobbie, Gillian, Sun, Jun, Wang. Hai H.
Semistructured data has become prevalent in both web applications and database systems. This rapid growth in use makes the design of good semistructured data essential. Formal semantics and automated...
Reasoning About ORA-SS Data Models Using the Semantic Web (2006)
Li, Yan Fang, Dobbie, Gillian, Wang, Hai H., Sun, Jun
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the...
Validating Semistructured Data using OWL (2006)
Li, Yuan Fang, Sun, Jing, Dobbie, Gillian, Sun, Jun, Wang. Hai H.
Semistructured data has become prevalent in both web applications and database systems. This rapid growth in use makes the design of good semistructured data essential. Formal semantics and automated...
Fastest mixing Markov chain on a path (2006)
Stephen Boyd, Persi Diaconis, Jun Sun, Lin Xiao
Simulation using Markov chain Monte Carlo is a mainstay of scientific computing; see, e.g., [4, 5] for pointers to the literature. Thus the analysis and design of fast mixing Markov PSfrag chains,...
Jun Sun, Stephen Boyd, Lin Xiao, Persi Diaconis
Abstract. We consider a Markov process on a connected graph, with edges labeled with transition rates between the adjacent vertices. The distribution of the Markov process converges to the uniform...
Fastest mixing Markov chain on a path (2006)
Stephen Boyd, Persi Diaconis, Jun Sun, Lin Xiao
We consider the problem of assigning transition probabilities to the edges of a path, so the resulting Markov chain or random walk mixes as rapidly as possible. In this note we prove that fastest...
Fastest mixing Markov chain on a path (2006)
Stephen Boyd, Persi Diaconis, Jun Sun, Lin Xiao
Simulation using Markov chain Monte Carlo is a mainstay of scientific computing; see, e.g., [4, 5] for pointers to the literature. Thus the analysis and design of fast mixing Markov PSfrag chains,...
Jin Song, Roger Duke, Jun Sun, Dong Roger, Duke Jun Sun, Ping Hao, ...
Structures The object references that exist in object-oriented models of abstract recursive structures such as trees or directed acyclic graphs (DAGs) often satisfy the combinatorial properties of...
A Reasoning Method for Timed CSP based on Constraint Solving (2006)
Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
Abstract. Timed CSP extends CSP by introducing a capability to quantify temporal aspects of sequencing and synchronization. It is a powerful language to model real time reactive systems. However,...
Verification of Computation Orchestration via Timed Automata (2006)
Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
Abstract. Recently, a promising programming model called Orc has been proposed to support a structured way of orchestrating distributed web services. Orc is intuitive because it offers concise...
A duality view of spectral methods for dimensionality reduction (2006)
Lin Xiao, Jun Sun, Stephen Boyd
We present a unified duality view of several recently emerged spectral methods for nonlinear dimensionality reduction, including Isomap, locally linear embedding, Laplacian eigenmaps, and maximum...
Homogeneity Based Image Objective Quality Metric (2006)
AN, Kebin, SUN, Jun, DU, Weina
A new fast and reliable image objective quality evaluation technique is presented in this paper. The proposed method takes image structure into account and uses a low complexity homogeneity measure...
A Linear Color Correction Method for Compressed Images and Videos (2006)
AN, Kebin, SUN, Jun, ZHOU, Lei
Color correction needs to be performed to improve the quality of image/video production. The typical methods realize the color correction mainly in the spatial domain of RGB color space. In this...
Glassy Dynamics in the Adaptive Immune Response Prevents Autoimmune Disease (2005)
Sun, Jun, Earl, David J., Deem, Michael W.
The immune system normally protects the human host against death by infection. However, when an immune response is mistakenly directed at self antigens, autoimmune disease can occur. We describe a...
Material processing is an important topic in academic research and engineering practices. Its applications, such as welding and laser forming, are widely employed in the fabrication of large...
Criterion-related Validity Analysis of Performance Management in Local Government (2005)
Sun, Jun (John), Xu, Xingqiao (David)
Advocated by the New Public Management movement, performance management has been increasingly adopted in local government agencies, aiming to improve government performance and accountability. The...
Finding Repeating Patterns in Signals (2005)
Finding repeating patterns in a signal is a problem that existing in many domains, such as ECG study and data compression. Existing techniques typically exploit domain knowledge in finding such...
Wear monitoring of bearing steel using electrostatic and acoustic emission techniques (2005)
Sun, Jun, Wood, R.J.K., Wang, L., Care, I., Powrie, H.E.G.
Both acoustic emission (AE) and electrostatic (ES) wear monitoring are emerging as useful real-time condition monitoring techniques. These techniques are believed to be sensitive to different aspects...
Thesis (M.S.)--Pennsylvania State University, 2005.
The full text of the dissertation is available as a Adobe Acrobat .pdf file (172 p.) ; Adobe Acrobat Reader required to view the file.
Thesis (Ph.D.)--Pennsylvania State University, 2005.
A Tools Environment for Developing and Reasoning About Ontologies (2005)
Dong, J. S., Feng, Y., Li, Y. F., Sun, Jun
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provide basic vocabularies...
A Tools Environment for Developing and Reasoning About Ontologies (2005)
Dong, J. S., Feng, Y., Li, Y. F., Sun, Jun
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provide basic vocabularies...
Visualizing and Simulating Semantic Web Services Ontologies (2005)
Sun, Jun, Li, Yuan Fang, Wang, Hai, Sun, Jing
The development ofWeb Services has transformed theWorld Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretable and extensible,...
From Live Sequence Charts to Distributed Implementations (2005)
Jin Song Dong, Jun Sun, Jaffar Joxan, Jun Sun, Jin Song Dong
tutorial article, which has been submitted for publication in a journal or for consideration by the commissioning organization. The report represents the ideas of its author, and should not be taken...
Statistical model, analysis and approximation of rate-distortion function (2005)
Jun Sun, Wen Gao, Debin Zhao, Qingming Huang
Fine-granular scalability (FGS) has been accepted as the streaming profile of MPEG-4 to provide a flexible foundation for scaling the enhancement layer (EL) to accommodate variable network capacity....
Criterion-related Validity Analysis of Performance Management in Local Government (2005)
Sun, Jun (John), Xu, Xingqiao (David)
Advocated by the New Public Management movement, performance management has been increasingly adopted in local government agencies, aiming to improve government performance and accountability. The...
Network TV Broadcasting with Multi-Programs on Application-Oriented QoS (2005)
XIONG, Hongkai, ZOU, Junni, YU, Songyu, SUN, Jun
This paper introduces the design procedure of the contrived network TV broadcasting transcoder/encoder system, especially develops a new variable bit-rate (VBR) coding bit allocation strategy with a...
Criterion-related Validity Analysis of Performance Management in Local Government (2005)
Sun, Jun (John), Xu, Xingqiao (David)
Advocated by the New Public Management movement, performance management has been increasingly adopted in local government agencies, aiming to improve government performance and accountability. The...
Orthogonality Catastrophe in Bose-Einstein Condensates (2004)
Sun, Jun, Rambow, Olen, Si, Qimiao
Orthogonality catastrophe in fermionic systems is well known: in the thermodynamic limit, the overlap between the ground state wavefunctions with and without a single local scattering potential...
Impurity effects in interacting quantum many-body systems (2004)
Impurities have a wide range of effects in interacting quantum many-body systems. They can interplay with interactions and lead to new electronic states of matter. They can also serve as a probe of...
Potential P limitation leads to excess N in the pearl river estuarine coastal plume (2004)
Yin, Kedong, Song, Xiuxian, Sun, Jun, Wu, Madeline C.S.
There is excess nitrate (NO3) in the Pearl River coastal plume in the southern waters of Hong Kong in summer. We hypothesize that phosphorus (P) limitation controls the utilization of excess NO3 due...
Potential P limitation leads to excess N in the pearl river estuarine coastal plume (2004)
Yin, Kedong, Song, Xiuxian, Sun, Jun, Wu, Madeline C.S.
There is excess nitrate (NO3) in the Pearl River coastal plume in the southern waters of Hong Kong in summer. We hypothesize that phosphorus (P) limitation controls the utilization of excess NO3 due...
Jun Sun, Stephen Boyd, Lin Xiao, Persi Diaconis
We consider a Markov process on a connected graph, with edges labeled with transition rates between the adjacent vertices. The distribution of the Markov process converges to the uniform distribution...
Timed Patterns: TCOZ to Timed Automata (2004)
Jin Song Dong, Ping Hao, Sheng Chao Qin, Jun Sun, Wang Yi
The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the...
Potential P limitation leads to excess N in the pearl river estuarine coastal plume (2004)
Yin, Kedong, Song, Xiuxian, Sun, Jun, Wu, Madeline C.S.
There is excess nitrate (NO3) in the Pearl River coastal plume in the southern waters of Hong Kong in summer. We hypothesize that phosphorus (P) limitation controls the utilization of excess NO3 due...
Ni, Yi-Cheng, Zheng, Kai-Er, Ju, Sheng-Hong, Sun, Jun, Ou, Xi-Long, ...
AIM: To evaluate spiral computed tomography (CT) including virtual gastroscopy for diagnosis of gastric carcinoma in comparison with upper gastrointestinal series (UGI), fiberoptic gastroscopy (FG)...
Jin Song DONG, Ping HAO, Sheng Chao QIN, Jun SUN, Yi WANG
The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting more complete and coherent requirement models for complex real-time systems. However,...
Effects of a Collective Spin Resonance Mode on the STM Spectra of D-Wave Superconductors (2003)
Zhu, Jian-Xin, Sun, Jun, Si, Qimiao, Balatsky, A. V.
A high-energy spin resonance mode is known to exist in many high-temperature superconductors. Motivated by recent scanning tunneling microscopy (STM) experiments in superconducting...
Wireless channel allocation using an auction algorithm (2003)
Jun Sun, Eytan Modiano, Senior Member, Lizhong Zheng
Abstract—We develop a novel auction-based algorithm to allow users to fairly compete for a wireless fading channel. We use the second-price auction mechanism whereby user bids for the channel,...
Capacity provisioning and failure recovery for Low Earth Orbit satellite constellation (2003)
This paper considers the link capacity requirement for an LEO satellite constellation. We model the constellation as an N # N mesh-torus topology under a uniform all-to-all tra#c model. Both primary...
Wireless channel allocation using an auction algorithm (2003)
Jun Sun, Lizhong Zheng, Eytan Modiano
We develop a novel auction-based algorithm to allowusers to fairly compete for a wireless fading channel. We use the second-price auction mechanism whereby user bids for the channel, during each...
Geometric models for calculating cell biovolume and surface area for phytoplankton (2003)
Phytoplankton biovolume can be measured or calculated through the calculation of similar geometric models. A set of geometric models is suggested for calculating cell biovolume and surface area for...
The genus Isotachis (Hepaticae; Balantiopsaceae) in China (2002)
Three species of the hepatic genus Isotachis are reported from China. The occurrence of Isotachis japonica in China is confirmed; I. armata is reported as new to China; and I. chinensis Gao, Cao &...
Development of a new microactuator for hard disk drives / (2002)
Thesis (M. Eng.)--Nanyang Technological University, School of Mechanical and Production Engineering, 2001.
Transport equation for disordered interacting electrons in two-dimensional and magnetic metal (2002)
We develop a transport formalism for interacting electrons in the presence of quenched disorder. Quantum effects on transport, due both to quantum interference and interaction effects, are...
XML-Based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun, Wang, Hai
Timed Communicating Object Z(TCOZ) combinesObject-Z’ s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work on the XML...
XML-Based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun, Wang, Hai
Timed Communicating Object Z(TCOZ) combinesObject-Z’ s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work on the XML...
XML-based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
TCOZ
XML-based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
Abstract. Timed Communicating Object Z(TCOZ) combinesObject-Z’s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work...
XML-Based Static Type Checking and Dynamic Visualization for TCOZ (2002)
Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
Timed Communicating Object Z(TCOZ) combinesObject-Z's strengths in modelling complex data and state with TCSP's strengths in modeling real-time concurrency. Based on our previous work on...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Coflocculation of Escherichia coli and Schizosaccharomyces pombe (2001)
Peng, X, Sun, Jun; U0015283, Michiels, Christiaan; U0011241, Iserentant, D, Verachtert, Hubert; U0018103
Several yeasts, such as Candida utilis, Dekkera bruxellensis, Hanseniaspora guilliermondii, Kloeckera apiculata, Saccharomyces cerevisiae and Schizosaccharomyces pombe, were found to coaggregate with...
Peng, X, Sun, Jun; U0015283, Michiels, Christiaan; U0011241, Iserentant, D, Verachtert, Hubert; U0018103
Pediococcus damnosus can coflocculate with Saccharomyces cerevisiae and cause beer acidification that may or may not be desired. Similar coflocculations occur with other yeasts except for...
Flocculation and coflocculation of bacteria by yeasts (2001)
Peng, X, Sun, Jun; U0015283, Iserentant, D, Michiels, Christiaan; U0011241, Verachtert, Hubert; U0018103
Biotransformations in natural environments frequently involve interactions between microorganisms. Although there are many reports on the interactions between bacteria, interactions between yeasts...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimentalstudies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
This paper considers the link capacity requirement for a mesh-torus network under a uniform allto -all traffic model. Both primary capacity and spare capacity for recovering from link failures are...
This paper considers the link capacity requirement for a ### mesh-torus network under a uniform all-to-all traffic model. Both primary capacity and spare capacity for recovering from link failures...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Effects of substrate materials on fracture toughness measurement in adhesive joints (2001)
Yan, Cheng, Mai, Yiu-Wing, Yuan, Qiang, Ye, Lin, Sun, Jun
To understand the eects of substrate materials on the fracture behavior of adhesive joints, experimental studies and 2nite element analyses have both been conducted for double-cantilever-beams (DCB)...
Bibliography: p. 149-165.
"Supervisor: Dr. H.E.D.J. ter Keurs."
"September, 2000."
Bibliography: p. 149-165.
Oxidizing side of the photosystem I / (1999)
Photosynthesis converts solar energy into the biological sources of energy for the life on our planet. Photosystem I (PSI) is one of the two reaction centers of oxygenic photosynthesis. PSI is a...
The Implementation Of A Distributed File System Supporting The Parallel World Model (1999)
Jun Sun, Yasushi Shinjo, Kozo Itano
The parallel world model allows users to create, delete and merge multiple execution environments of processes called "worlds". Its applications include optimistic processing and safe...
Electric and hybrid vehicle :--simulation and control /--by Jun Sun. (1997)
Thesis (M. S.)--University of Hawaii at Manoa, 1997.
Fixed-Priority End-To-End Scheduling In Distributed Real-Time Systems (1997)
In recent years more and more real-time applications run on multiprocessor or distributed systems. In such systems, a task may execute sequentially on many different processors. Such a task can be...
Bounding Completion Times of Jobs With Arbitrary Release Times And Variable Execution Times (1996)
In many real-time systems, the workload can be characterized as a set of jobs with linear precedence constraints among them. Jobs often have variable execution times and arbitrary release times. We...
Synchronization Protocols in Distributed Real-Time Systems (1996)
In many distributed real-time systems, the workload can be modeled as a set of periodic tasks, each of which consists of a chain of subtasks executing on different processors. Synchronization...
Synchronization Protocols in Distributed Real-Time Systems (1996)
In many distributed real-time systems, the workload can be modeled as a set of periodic tasks, each of which consists of a chain of subtasks executing on different processors. Synchronization...
In a distributed real-time system, a task may consist of a chain of subtasks which execute on different processors. In order to guarantee that all timing constraints are met in such a system, it is...
The workload of many real-time systems can be characterized as a set of preemptable jobs with linear precedence constraints. Typically their execution times are only known to lie within a range of...
Bounding Completion Times of Jobs with Arbitrary Release Times and Variable Execution Times (1996)
In many real-time systems, the workload can be characterized as a set of jobs with linear precedence constraints among them. Jobs often have variable execution times and arbitrary release times. We...
An End-to-End Approach to Schedule Tasks with Shared Resources in Multiprocessor Systems (1994)
In this paper we propose an end-to-end approach to scheduling tasks that share resources in a multiprocessor or distributed systems. In our approach, each task is mapped into a chain of subtasks,...
A Linear-Time Optimal Acceptance Test for Scheduling of Hard Real-Time Tasks (1994)
Too-seng Tia, Jun Sun, Liu Jun, Rhan Ha
This paper describes an optimal acceptance test for scheduling sporadic requests together with periodic tasks on an earliest-deadline-first basis. The deadlines of periodic requests must be met....
Sun, Jun, Peng, Xuan, Van Impe, Jan, Vanderleyden, Jos
Azospirillum brasilense Sp7 and its ntrA (rpoN), ntrBC, and ntrC mutants have been evaluated for their capabilities of poly-3-hydroxybutyrate (PHB) accumulation in media with high and low ammonia...
Quantitative Analysis of Bacterial Gene Expression by Using the gusA Reporter Gene System
Sun, Jun, Smets, Ilse, Bernaerts, Kristel, Van Impe, Jan, Vanderleyden, Jos, Marchal, Kathleen
An Azospirillum brasilense Sp7 strain containing a plasmid-borne translational cytN-gusA fusion was grown in a continuous culture to quantitatively evaluate the influence of extracellular signals...
Peng, Xuan, Sun, Jun, Michiels, Chris, Iserentant, Dirk, Verachtert, Hubert
Pediococcus damnosus can coflocculate with Saccharomyces cerevisiae and cause beer acidification that may or may not be desired. Similar coflocculations occur with other yeasts except for...
Marchal, Kathleen, Sun, Jun, Keijers, Veerle, Haaker, Huub, Vanderleyden, Jos
Spectral analysis indicated the presence of a cytochrome cbb3 oxidase under microaerobic conditions in Azospirillum brasilense Sp7 cells. The corresponding genes (cytNOQP) were isolated by using PCR....
Sun, Jun, Dommelen, Anne Van, Impe, Jan Van, Vanderleyden, Jos
The role of three key nitrogen regulatory genes, glnB (encoding the PII protein), glnZ (encoding the Pz protein), and glnD (encoding the GlnD protein), in regulation of poly-3-hydroxybutyrate (PHB)...
Salt Stress in Desulfovibrio vulgaris Hildenborough: an Integrated Genomics Approach
Mukhopadhyay, Aindrila, He, Zhili, Alm, Eric J., Arkin, Adam P., Baidoo, Edward E., Borglin, Sharon C., ...
The ability of Desulfovibrio vulgaris Hildenborough to reduce, and therefore contain, toxic and radioactive metal waste has made all factors that affect the physiology of this organism of great...
Sun, Jun, Peng, Xuan, Van Impe, Jan, Vanderleyden, Jos
Azospirillum brasilense Sp7 and its ntrA (rpoN), ntrBC, and ntrC mutants have been evaluated for their capabilities of poly-3-hydroxybutyrate (PHB) accumulation in media with high and low ammonia...
Quantitative Analysis of Bacterial Gene Expression by Using the gusA Reporter Gene System
Sun, Jun, Smets, Ilse, Bernaerts, Kristel, Van Impe, Jan, Vanderleyden, Jos, Marchal, Kathleen
An Azospirillum brasilense Sp7 strain containing a plasmid-borne translational cytN-gusA fusion was grown in a continuous culture to quantitatively evaluate the influence of extracellular signals...
Peng, Xuan, Sun, Jun, Michiels, Chris, Iserentant, Dirk, Verachtert, Hubert
Pediococcus damnosus can coflocculate with Saccharomyces cerevisiae and cause beer acidification that may or may not be desired. Similar coflocculations occur with other yeasts except for...
Marchal, Kathleen, Sun, Jun, Keijers, Veerle, Haaker, Huub, Vanderleyden, Jos
Spectral analysis indicated the presence of a cytochrome cbb3 oxidase under microaerobic conditions in Azospirillum brasilense Sp7 cells. The corresponding genes (cytNOQP) were isolated by using PCR....
Sun, Jun, Dommelen, Anne Van, Impe, Jan Van, Vanderleyden, Jos
The role of three key nitrogen regulatory genes, glnB (encoding the PII protein), glnZ (encoding the Pz protein), and glnD (encoding the GlnD protein), in regulation of poly-3-hydroxybutyrate (PHB)...
Salt Stress in Desulfovibrio vulgaris Hildenborough: an Integrated Genomics Approach
Mukhopadhyay, Aindrila, He, Zhili, Alm, Eric J., Arkin, Adam P., Baidoo, Edward E., Borglin, Sharon C., ...
The ability of Desulfovibrio vulgaris Hildenborough to reduce, and therefore contain, toxic and radioactive metal waste has made all factors that affect the physiology of this organism of great...
Tang, Delia C., Zhu, Jianqiong, Liu, Wenli, Chin, Kyung, Sun, Jun, Chen, Ling, ...
Hydroxyurea (HU), a drug effective in the treatment of sickle cell disease, is thought to indirectly promote fetal hemoglobin (Hb F) production by perturbing the maturation of erythroid precursors....
Src promotes estrogen-dependent estrogen receptor α proteolysis in human breast cancer
Chu, Isabel, Arnaout, Angel, Loiseau, Sophie, Sun, Jun, Seth, Arun, McMahon, Chris, ...
Estrogen drives both transcriptional activation and proteolysis of estrogen receptor α (ERα; encoded by ESR1). Here we observed variable and overlapping ESR1 mRNA levels in 200 ERα-negative and 50...
Salmonella Effector AvrA Regulation of Colonic Epithelial Cell Inflammation by Deubiquitination
Ye, Zhongde, Petrof, Elaine O., Boone, David, Claud, Erika C., Sun, Jun
AvrA is a newly described bacterial effector existing in Salmonella. Here, we test the hypothesis that AvrA is a deubiquitinase that removes ubiquitin from two inhibitors of the nuclear factor-κB...
Liao, Anne P., Petrof, Elaine O., Kuppireddi, Sumalatha, Zhao, Yun, Xia, Yinglin, Claud, Erika C., ...
Salmonella Typhimurium is a major cause of human gastroenteritis. The Salmonella type III secretory system secretes virulence proteins, called effectors. Effectors are responsible for the alteration...
Identification and Characterization of Novel MicroRNAs from Schistosoma japonicum
Xue, Xiangyang, Sun, Jun, Zhang, Qingfeng, Wang, Zhangxun, Huang, Yufu, Pan, Weiqing
Genome-scale constraint-based modeling of Geobacter metallireducens
Sun, Jun, Sayyar, Bahareh, Butler, Jessica E, Pharkya, Priti, Fahland, Tom R, Famili, Iman, ...
Which physicians have access to electronic prescribing and which ones end up using it?
Pagn, Jos A., Pratt, William R., Sun, Jun
Objectives This study examines the availability of electronic prescription and the utilization of e-prescribing by physicians in the US.Methods Nationally representative data from the 2004-2005...
ANALYSIS OF MUTATION OPERATORS ON QUANTUM-BEHAVED PARTICLE SWARM OPTIMIZATION ALGORITHM
Mutation operator is one of the mechanisms of evolutionary algorithms (EAs) and it can provide diversity in the search and help to explore the undiscovered search place. Quantum-behaved particle...