This article is devoted to the history of one of the oldest Siberian health resorts known as "The Karachi Lake". It describes the stages of its development, the scientific component of the system of ...spa-and-resort therapy and medico-social rehabilitation of the patients. The detailed analysis of the mechanisms underlying the beneficial action of the natural therapeutic factors, cooperation with the leading research institutions, and the formation of the modern scientific and technical basis have strengthened the position of the resort on the market of the medical, health-promoting, and recreational services due to the development of the new activities in this field.
The results of research the cytokine-secretion activity of mononuclear leukocytes, apoptosis and proliferation of lymphocytes for patients with infiltrative pulmonary tuberculosis has been presented ...in this article. It has been showed that patients with drug-resistant pulmonary tuberculosis had more evident of damages, particularly significant depression of proliferation of lymphocytes, decreased number of cells expressing CD95-receptor as well as disturbance the secretion of immunoregulatory cytokines.
To simplify modeling and verification of communication protocols presented in the SDL language, the so-called hierarchical typed timed Petri nets (HTT nets), which are substantial modifications of ...colored Petri nets, are introduced. A method of translation of the SDL language into HTT nets is described. A program complex SPV (SDL Protocol Verifier), which includes a translator from SDL into HTT nets and means for editing, simulation, visualization, and verification of these net models, is presented. For the verification, a model checking method for properties presented by μ-calculus formulas is used. Experiments on application of the SPV complex for modeling and verifying two ring protocols (RE and ATMR protocols), an optimized version of the sliding window protocol (i-protocol), and a dynamic version of the InRes protocol are described
Aim. To evaluate the efficacy and tolerability of candesartan cilexetil 32 mg in combination with hydrochlorothiazide
(HCT) 12.5 mg or 25 mg in hypertensive patients not optimally controlled with ...candesartan monotherapy. Patients and
methods. A total of 3521 patients with treated or untreated hypertension and sitting diastolic blood pressure (DBP) 90-
114 mmHg, entered a single-blind run-in phase with candesartan (16 mg for 2 weeks, followed by 32 mg for 6 weeks). At
the end of the run-in phase, 1975 patients who still had DBP 90-114 mmHg were randomized to 8 weeks' double-blind
treatment with either candesartan 32 mg (n=654), or candesartan-HCT 32/12.5 mg (n=656), or candesartan-HCT 32/
25 mg (n=665). Principal results. At randomization, the mean blood pressure was similar in the three treatment groups
(approximately 153/97 mmHg). It was reduced during the double-blind treatment phase by 6.1/5.6 mmHg in the
candesartan 32 mg group, by 13.0/8.8 mmHg in the candesartan-HCT 32/12.5 mg group, and by 15.5/10.0 mmHg in the
candesartan-HCT 32/25 mg group (p<0.01 for all between treatment comparisons). All study treatments were generally
well tolerated. Conclusion. Candesartan-HCT 32/12.5 mg and candesartan-HCT 32/25 mg are highly effective and provide
improved blood pressure reduction and blood pressure control relative to candesartan 32 mg monotherapy, with
maintained tolerability, in hypertensive patients whose blood pressure is not optimally controlled with candesartan
monotherapy. Furthermore, candesartan-HCT 32/25 mg is more effective than candesartan-HCT 32/12.5 mg in this
population.
Celotno besedilo
Dostopno za:
DOBA, IZUM, KILJ, NUK, PILJ, PNG, SAZU, UILJ, UKNU, UL, UM, UPUK
In order to simplify simulation and verification of SDL specified communication protocols, we introduce modified coloured Petri nets called hierarchical timed typed nets (HTT-nets). A method for ...translation from SDL into HTT-nets is presented. A tool SPV (SDL protocol verifier) including a translator from SDL into HTT-nets, as well as means for editing, simulating, visualizing and verifying the net models, is described. For verification, the tool SPV uses a model-checking method. As case studies, we apply the tool SPV to RE-protocol 4, ATMR protocol 10 and i-protocol 5.
PDF
