n- исчисление – реалистичная формализация класса переписывающих систем

Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные неконфлюэнтные множества правил переписывания и взаимодействие с программным окружением, что позволяет расширить возможности программирования динамических приложений

Decomposition cross-correlation for analysis of collagen matrix deformation by single smooth muscle cells

Microvascular remodeling is known to depend on cellular interactions with matrix tissue. However, it is difficult to study the role of specific cells or matrix elements in an in vivo setting. The aim of this study is to develop an automated technique that can be employed to obtain and analyze local collagen matrix remodeling by single smooth muscle cells. We combined a motorized microscopic setup and time-lapse video microscopy with a new cross-correlation based image analysis algorithm to enable automated recording of cell-induced matrix reorganization. This method rendered 60–90 single cell studies per experiment, for which collagen deformation over time could be automatically derived. Thus, the current setup offers a tool to systematically study different components active in matrix remodeling

The Redox State of Transglutaminase 2 Controls Arterial Remodeling

While inward remodeling of small arteries in response to low blood flow, hypertension, and chronic vasoconstriction depends on type 2 transglutaminase (TG2), the mechanisms of action have remained unresolved. We studied the regulation of TG2 activity, its (sub) cellular localization, substrates, and its specific mode of action during small artery inward remodeling. We found that inward remodeling of isolated mouse mesenteric arteries by exogenous TG2 required the presence of a reducing agent. The effect of TG2 depended on its cross-linking activity, as indicated by the lack of effect of mutant TG2. The cell-permeable reducing agent DTT, but not the cell-impermeable reducing agent TCEP, induced translocation of endogenous TG2 and high membrane-bound transglutaminase activity. This coincided with inward remodeling, characterized by a stiffening of the artery. The remodeling could be inhibited by a TG2 inhibitor and by the nitric oxide donor, SNAP. Using a pull-down assay and mass spectrometry, 21 proteins were identified as TG2 cross-linking substrates, including fibronectin, collagen and nidogen. Inward remodeling induced by low blood flow was associated with the upregulation of several anti-oxidant proteins, notably glutathione-S-transferase, and selenoprotein P. In conclusion, these results show that a reduced state induces smooth muscle membrane-bound TG2 activity. Inward remodeling results from the cross-linking of vicinal matrix proteins, causing a stiffening of the arterial wall

Heme oxygenase-1 regulates cell proliferation via carbon monoxide-mediated inhibition of T-type Ca2+ channels

Induction of the antioxidant enzyme heme oxygenase-1 (HO-1) affords cellular protection and suppresses proliferation of vascular smooth muscle cells (VSMCs) associated with a variety of pathological cardiovascular conditions including myocardial infarction and vascular injury. However, the underlying mechanisms are not fully understood. Over-expression of Cav3.2 T-type Ca2+ channels in HEK293 cells raised basal [Ca2+]i and increased proliferation as compared with non-transfected cells. Proliferation and [Ca2+]i levels were reduced to levels seen in non-transfected cells either by induction of HO-1 or exposure of cells to the HO-1 product, carbon monoxide (CO) (applied as the CO releasing molecule, CORM-3). In the aortic VSMC line A7r5, proliferation was also inhibited by induction of HO-1 or by exposure of cells to CO, and patch-clamp recordings indicated that CO inhibited T-type (as well as L-type) Ca2+ currents in these cells. Finally, in human saphenous vein smooth muscle cells, proliferation was reduced by T-type channel inhibition or by HO-1 induction or CO exposure. The effects of T-type channel blockade and HO-1 induction were non-additive. Collectively, these data indicate that HO-1 regulates proliferation via CO-mediated inhibition of T-type Ca2+ channels. This signalling pathway provides a novel means by which proliferation of VSMCs (and other cells) may be regulated therapeutically

Effects of shear stress on endothelial cells: possible relevance for ultrasound applications

This review forms part of a series of papers resulting from a workshop on safety of ultrasound applications. The physical effects of ultrasound include generation of steady streaming in large fluid volumes, and micro-streaming around contrast bubbles. Such streaming induces shear stress acting on the vascular endothelium. This review provides a discussion on the levels of endothelial shear stress associated with diagnostic ultrasound applications, and on the biological effects of shear stress acting on the endothelial cells. Depending on vessel size and ultrasound characteristics, shear stresses associated with streaming and micro-streaming may exceed the physiological levels associated with the flow of blood by many orders of magnitude. The resulting biological effects could range anywhere from activation of normal shear stress sensors such as ion channels, damage of the endothelial surface layer, reversible perforation of the membrane, to cell detachment and lysis. The possible presence of such biological effects does not necessarily mean that the effects are harmful for the individual. However, considering the ever-increasing use of ultrasound, a further investigation into these shear stress-related effects, using both experiments and modelling, is desired. Apart from safety concerns, such effects may provide a base for strategies aimed at targeted delivery of drug