Impairments in cell migration processes may cause various diseases, among which cancer cell metastasis, tumor angiogenesis, and the disability of immune cells to infiltrate into tumors are prominent ones. Mathematical modeling has been widely used to analyze the cell migration process. Cell migration is a complicated process and requires statistical methods such as random walk for proper analys...

Machine Notation (AMN) [1], this means that safety requirements expressed as module invariants can be shown to be preserved by each low-level controller action (under the assumption that higher level controllers invoke low-level controller actions within their preconditions), and that these invariants are preserved in the re nement process towards an executable implementation. The combination o...

We address the problem of checking key constraints in XML. Key constraints have been recently considered in the literature and some of their aspects are adopted in XMLSchema. However, only few works have appeared concerning the verification of such constraints. Unranked deterministic bottom-up tree automata can be used to validate XML documents against a schema. These automata work over (unrank...

[1] Recent papers show that deep ocean temperatures have increased somewhat since 1950, and that the increase is compatible with the predictions of coupled GCMs. The inference presented is that this degree of compatibility constitutes a significant test of the models. The present paper assumes that the measurements and their analysis are correct, and uses a highly simplified coupled model (i.e....

In 2003, Kuan, Charnley, and co-workers reported the detection of interstellar glycine (NH2CH2COOH) based on observations of 27 lines in 19 different spectral bands in one or more of the sources Sgr B2(N-LMH), Orion KL, and W51 e1/e2. They supported their detection report with rotational temperature diagrams for all three sources. In this paper, we present essential criteria which can be used i...

Software verification is an established method to ensure software safety. Nevertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory, or the technique is not mature enough to verify the property. Often then discarding the partial verification, the validation process proceeds with techniques like testing. To enable standard testing to profit...

In natural language processing up to now mainly rule-based systems have been used. The rulebased approach has been successful for limited domains, where the manual construction of the rules is feasible. In recent studies, however, a need for automatic generation of the rules has been seen. On the other hand, when children learn their mother tongue no explicit rules seem to be needed. Therefore,...

The aim of this study was to verify whether Lycium barbarum polysaccharides inhibits proliferation and migration of BIU87 cells through Pi3K/AKT pathway. Different concentrations of Lycium barbarum polysaccharides were used to incubate with BIU87cells. LY-294002 and IGF-1 were used to inhibit and activate Pi3K/AKT pathway respectively. MTT were used to investigate the proliferation of BIU87cell...

The main memory has become a power bottleneck for computer systems. To reduce the energy dissipation of main memory, the non-volatile phase-change RAM (PRAM) has emerged as one of the promising memories due to its high density and low standby power. But PRAM has its intrinsic disadvantages of long write latency and high write energy. Hence, the hybrid DRAM/PRAM main memory is proposed to provid...

BACKGROUND Ca2+ entry plays an important role in modulating endothelial cell migration and tube formation. Transient receptor potential cation channel subfamily V member 4 (TRPV4) is a Ca2+-permeable channel that is widely expressed in endothelial cells. It has been reported that TRPV4 is expressed in HRCECs and regulates Ca2+ entry. However, the function of TRPV4 in human retinal capillary end...