The computation of the simulation models is complex and the behavior sequence must be updated dynamically in AUV simulation system. The simulation system composability development framework is provided to solve these problems. The π calculus is extended to describe the time properties of models in the framework. And simulation models are formal described by the extended π calculus. Then the behavior composability is validated by reduction and bisimulation of π calculus. The framework is validated by the simulation composition example and the construction of AUV simulation test system. The framework can complete the description and the dynamical composability of various models in the distributed real time simulation system.

has shown that they can be divided into multiple antigenically distinct subpopulations that differ in their cell cycle kinetics, with each subpopulation changing in a characteristic manner during development (Hartfuss et al., 2001). While these results support models proposing 1230 York Avenue that the heterogeneity of mRNA and protein expression

With the flourish of the Web, online review is becoming a more and more useful and important information resource for people. As a result, automatic review mining and summarization has become a hot research topic recently. Different from traditional text summarization, review mining and summarization aims at extracting the features on which the reviewers express their opinions and determining whether the opinions are positive or negative. In this paper, we focus on a specific domain – movie review. A multi-knowledge based approach is proposed, which integrates WordNet, statistical analysis and movie knowledge. The experimental results show the effectiveness of the proposed approach in movie review mining and summarization.

permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The Feng Gou Zhen (sharp-hook acupuncture) as a traditional form of ancient acupuncture is said to be particularly effective for managing periarthritis of shoulder. We conducted

This e-book is devoted to Global Optimization algorithms, which are methods for finding solutions of high quality for an incredible wide range of problems. We introduce the basic concepts of optimization and discuss features which make optimization problems difficult and thus, should be considered when trying to solve them. In this book, we focus on

Restricted and regulated expression in mice of VP16-CREB, a constitutively active form of CREB, in hippo-campal CA1 neurons lowers the threshold for elicit-ing a persistent late phase of long-term potentiation (L-LTP) in the Schaffer collateral pathway. This L-LTP has unusual properties in that its induction is not de-pendent on transcription. Pharmacological and two-pathway experiments suggest a model in which VP16-CREB activates the transcription of CRE-driven genes and leads to a cell-wide distribution of proteins that prime the synapses for subsequent synapse-specific capture of L-LTP by a weak stimulus. Our analysis indicates that synaptic capture of CRE-driven gene products may be sufficient for consolidation of LTP and provides insight into the molecular mechanisms of synaptic tagging and synapse-specific potentiation.

Copyright © 2014 Yong-Zhuo Liang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This study attempted to explore the effects

This copy is for your personal, non-commercial use only. If you wish to distribute this article to others, you can order high-quality copies for your colleagues, clients, or customers by clicking here. Permission to republish or repurpose articles or portions of articles can be obtained by following the guidelines here. The following resources related to this article are available online at www.sciencemag.org (this infomation is current as of March 21, 2011): Updated information and services, including high-resolution figures, can be found in the online version of this article at:

Copyright © 2015 Chung-Feng Hwang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Objectives. This study analyzed the long

Abstract not found