Collection of Mutually Synchronized Chaotic Systems

A general explicit coupling for mutual synchronization of two arbitrary identical continuous systems is proposed. The synchronization is proved analytically. The coupling is given for all 19 systems from Sprott's collection. For one of the systems the numerical results are shown in detail. The method could be adopted for the teaching of the topic.Comment: Published in Physics Letters A 352 (2006) 222-22

Monte Carlo Methods for Process Algebra

AbstractWe review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open problems in applying Monte Carlo techniques to other process-algebraic problems, such as simulation and bisimulation

Маркеры эндотелиальной дисфункции и воспаления при идиопатическом тромбозе глубоких вен

Idiopathic deep vein thrombosis is a process of venous thrombosis with the absence of challenging factors (thrombophilia, cancer, immobilization, trauma, surgical intervention etc.). In the present study, the admission values of the endothelium dysfunction and inflammation markers have been assayed in 78 patients with idiopathic deep vein thrombosis. The nitric oxide circulating level was reduced by 56.3% that correlated with a flow mediated brachial artery dilation decrease by 47% and with a carotid artery intima-media thickness rise by 77.6%. Likewise, an evident activation of inflammatory response has been attested that was manifested by an increase in serum levels of C reactive protein and IL-6 by 3.14 and 4.7 times. Thus, the shifting markers indicate a pathogenic role of endothelium dysfunction and inflammation in idiopathic deep vein thrombosis evolution, yet, on the other hand, they can be used as diagnostic and prognostic predictors of the malady.Идиопатический тромбоз глубоких вен представляет собой процесс венозного тромбоза в условиях отсутствия провоцирующих факторов (тромбофилия, опухоль, иммобилизация, травма, хирургическое вмешательство и др.). В данном исследовании определялось значение маркеров эндотелиальной дисфункции и воспаления у 78 больных с идиопатическим тромбозе глубоких вен при поступлении. Циркулирующий уровень окиси азота был снижен на 56,3%, что коррелировало с уменьшением показателя расширения плечевой артерии на 47% и с увеличением толщины интимы-медии сонной артерии на 77,6%. Также выявлена выраженная активация воспалительного ответа, что сопровождалось повышением содержания в крови С-реактивного белка и интерлейкина-6. Таким образом, изменение маркеров указывает на патогенетическую роль эндотелиальной дисфункции и воспаления в развитии идиопатического тромбоза глубоких вен, а также на возможность их использования в качестве диагностических и прогностических предикторов болезни

Model Checking Tap Withdrawal in C. Elegans

We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is the use of Fan and Mitra's recently developed technique for automatically computing local discrepancy (convergence and divergence rates) of general nonlinear systems. We show that the results we obtain are in agreement with the experimental results of Wicks et al. (1995). As opposed to the fixed parameters found in most biological models, which can only produce the predominant behavior, our techniques characterize ranges of parameters that produce (and do not produce) all three observed behaviors: reversal of movement, acceleration, and lack of response