The paper contributes the proof of termination of an experimental supercom-piler HOSC dealing with higher-order functions. В работе приводится доказательство завершаемости экпериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

The paper presents the proof of correctness of an experimental supercompiler HOSC dealing with higher-order functions. В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

Краткое содержание В статье рассматриваются глаголы с общей семантикой обмана, распространенные в тульских говорах. Анализируются оттенки их лексического значения, внутренняя форма, грамматические признаки, которые связываются с особенностями функционирования и употребления в диалектах. Данные глаголы в целом имеют негативную семантику. Глаголы именно с негативной семантикой часто вс...

Краткое содержание В статье рассматриваются глаголы с общей семантикой обмана, распространенные в тульских говорах. Анализируются оттенки их лексического значения, внутренняя форма, грамматические признаки, которые связываются с особенностями функционирования и употребления в диалектах. Данные глаголы в целом имеют негативную семантику. Глаголы именно с негативной семантикой часто встречаютс...

This study is devoted to the problem of parametric synthesis of multi-service telecommunication systems. The main characteristics of telecommunication systems, which are brought to account in an article, are multilayer structure formed by the overlayed networks and presence flows with self-similarity effect. For accounting these features of modern telecommunications systems is proposed to use a...

We present the functional and structural characterization of the first archaeal thermostable NADP-dependent aldehyde dehydrogenase AlDHPyr1147. In vitro, AlDHPyr1147 catalyzes the irreversible oxidation of short aliphatic aldehydes at 60-85°С, and the affinity of AlDHPyr1147 to the NADP+ at 60°С is comparable to that for mesophilic analogues at 25°С. We determined the structures of the apo form...

The conductivity mechanism is studied in the LiCF3SO3-doped polyethylene oxide by monitoring the vibrations of sulfate groups and mobility of Li + ion along the polymeric chain at different EO/Li molar ratios in the temperature range from 16 to 90 °С. At the high EO/Li ratio (i.e., 30), the intensity of bands increases and a triplet appears at 1,045 cm −1 , indicating the presence of free anion...

Цель исследования. Определить роль различных методов поддержки, таких как энтеральное зондовое и полное паренте: ральное питание в разных фазах течения острого панкреатита (ОП). Материал и методы. У 774 больных с ОП (средний возраст — 45,3±4,7 лет) проведен сравнительный анализ влияния различных способов нутритивной поддержки на секре: торную активность поджелудочной железы (ПЖ) и течение ОП. К...