Gurevich's Abstract State Machines (ASM) constitute a high-level speciication language for a wide range of applications. The existing tool support for ASM|currently including type-checking, simulation and debugging|should be extended to support computer-aided veriication, in particular by model checking. In this paper we introduce an interface from our existing tool environment to the model che...

Acibenzolar-S-methyl (ASM) is a novel fungicide applied for crop protection. A renewable silver amalgam film electrode was used for the determination of ASM in pH 3.4 Britton Robinson buffer using square wave adsorptive stripping voltammetry (SWAdSV). The parameters of the method were optimized. The electroanalytical procedure made possible to determine ASM in the concentration range of 5 10 –3...

Airway inflammation leads to increased intracellular Ca(2+) ([Ca(2+)](i)) levels in airway smooth muscle (ASM) cells. Sarcoplasmic reticulum Ca(2+) release and reuptake are key components of ASM [Ca(2+)](i) regulation. Ca(2+) reuptake occurs via sarcoendoplasmic reticulum Ca(2+) ATPase (SERCA) and is regulated by the inhibitory protein phospholamban (PLB) in many cell types. In human ASM, we te...

Allium sacculiferum Max. (ASM) is a perennial plant of the Liliaceae family and grows over the entire regions of Korea. Obesity is a serious health problem worldwide and has currently become a prevalent chronic disease. Adipocytes produced by preadipocyte differentiation during adipogenesis and adipocytes combined with abnormal accumulation cause obesity. Recently, intracellular reactive oxygen...

In asthma, the airway smooth muscle (ASM) produces CXCL10 which may attract CXCR3(+) mast/T cells to it. Our aim was to investigate the effects of mast cell products on ASM cell CXCL10 production. ASM cells from people with and without asthma were stimulated with IL-1 β , TNF- α , and/or IFN γ and treated with histamine (1-100  μ M) ± chlorpheniramine (H1R antagonist; 1  μ M) or ranitidine (H2R...

Increased airway smooth muscle (ASM) contractility and the development of airway hyperresponsiveness (AHR) are cardinal features of asthma, but the signaling pathways that promote these changes are poorly understood. Tyrosine phosphorylation is tightly regulated by the opposing actions of protein tyrosine kinases and phosphatases, but little is known about whether tyrosine phosphatases influenc...

It is now established that airway smooth muscle (ASM) has roles in determining airway structure and function, well beyond that as the major contractile element. Indeed, changes in ASM function are central to the manifestation of allergic, inflammatory, and fibrotic airway diseases in both children and adults, as well as to airway responses to local and environmental exposures. Emerging evidence...

The putative mannose receptor (MR), previously implicated in mannosyl-rich glycoprotein-induced mitogenesis in bovine airway smooth muscle (ASM) cells, was studied to determine its properties. Specific binding of the mitogenic neoglycoprotein, mannosylated bovine serum albumin (Man-BSA) to ASM cells was saturable, with an apparent Kd = 5.0 x 10(-8) M. Cell-bound ManBSA-colloidal gold conjugate ...

Inbred Fischer 344 rats display airway hyperresponsiveness (AHR) in vivo compared with the normoresponsive Lewis strain. Fischer AHR has been linked with increased airway smooth muscle (ASM) contraction ex vivo and enhanced ASM cell intracellular Ca(2+) mobilization in response to serotonin compared with Lewis. To determine the generality of this association, we tested whether bradykinin (BK) a...

Increased levels of IL-6 are documented in asthma, but its contribution to the pathology is unknown. Asthma is characterized by airway wall thickening due to increased extracellular matrix deposition, inflammation, angiogenesis, and airway smooth muscle (ASM) mass. IL-6 binds to a specific membrane-bound receptor, IL-6 receptor-alpha (mIL-6Ralpha), and subsequently to the signaling protein gp13...