Learn More
This study aimed to determine the effect of andrographolide (AD) on the growth of H3255 lung cancer cells and its possible impact on the expression and activity of the matrix metalloproteinase (MMP)-9 protein. H3255 cells were cultured in vitro, and treated with AD (1, 5 or 10 μM) for 24, 48 or 72 h. Cell proliferation was detected using an MTT assay and(More)
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of synchronous interpreted system, we extend the temporal logic <i>CTL</i>* by incorporating epistemic modalities and obtain the so-called temporal epistemic logic <i>CTL*K.</i> Though(More)
We present a bounded model checking (BMC) approach to the verification of temporal epistemic properties of multi-agent systems. We extend the temporal logic CTL∗ by incorporating epistemic modalities and obtain a temporal epistemic logic that we call CTL∗K. CTL∗K logic is interpreted under the semantics of synchronous interpreted systems. Though CTL∗K is of(More)
This study was to investigate the effects of Rosa laevigata Michx. (RLM) extract on reactive oxygen species (ROS) production and mitochondrial membrane potential (MMP) in lens epithelial cells (LECs) cultured under high glucose. SRA01/04 cell models of diabetic cataract were established by high glucose culture, and these cells were administrated with RLM(More)
The present study used an in vitro model of cold cardioplegia in isolated working rat hearts to evaluate the possible role of ethyl pyruvate (EP) in promoting cardiac function and preventing apoptosis. Two groups of rats were evaluated; the EP (2 mM EP; n=8) and control (n=8) groups. Isolated rat hearts were perfused with Krebs-Henseleit buffer (KHB) for 30(More)
Leaf angle is an important agronomic trait in rice (Oryza sativa L.). It affects both the efficiency of sunlight capture and nitrogen reservoirs. The erect leaf phenotype is suited for high-density planting and thus increasing crop yields. Many genes regulate leaf angle by affecting leaf structure, such as the lamina joint, mechanical tissues, and the(More)
This study is to determine effect of Andrographolide (AD) on the growth of the non-small cell lung cancer cell line H3255. Expression of vascular endothelial growth factor (VEGF), transforming growth factor β1 (TGF-β1), and the activity of protein kinase C (PKC) were also detected. The H3255 cells were treated with 1.0, 2.5, or 5.0 μM AD for 24 h. MTT assay(More)
We present a new computational model of BDI-agents, called the observation-based BDI-model. The key point of this BDImodel is to express agents’ beliefs, desires and intentions as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent model due to Halpern and his colleagues. Our BDI-model is(More)
We model the Sum and Product Riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method(More)