The Vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency

Optimization of surgical treatment of children with plano-valgus feet deformation by applying a combination of subtalar arthrorisis and the author's technique of the muscle-tendon plasty

Plano-valgus deformation foot in children is up to 70% of the entire pathology of orthopedic nature. More than 50% of them note certain secondary deformities of the knee, hip joints and spinal deformities. The aim of this study is to improve the results of surgical treatment of children with flat-valgus deformity of the feet by the use of rammed arthroeresis in combination with the author's technique of tendon-muscle plasty[4]. For the period 2016-2018 this method performed 70 operations, age from 4 to 11 years, including 33 girls. In 63 operations were performed on two feet, in 7 on one foot. 57 patients had a good result, namely the elimination of deformation, reduction or complete disappearance of pain in the feet and ankle joints, increasing the duration of physical activity. The negative results of migration of the implant in 3 children. The data obtained require further analysis and observation.Плоско-вальгусная деформация стоп у детей составляет до 70% из всей патологии ортопедического характера. Более 50% из них отмечают те или иные вторичные деформации коленных, тазобедренных суставов и деформации позвоночника. Целью данного исследования является улучшение результатов хирургического лечения детей с плоско-вальгусной деформацией стоп путем применения подтаранного артроэреза в комбинации с авторской методикой сухожильно-мышечной пластики[4]. За период 2016-2018 год данным методом выполнено 70 операций, возраст от 4 до 11 лет, из них 33 девочки. У 63 операции проводились на двух стопах, у 7 на одной стопе. У 57 пациентов отмечался хороший результат, а именно устранение деформации, уменьшение или полное исчезновение болей в стопах и голеностопных суставах, увеличение продолжительности физической активности. Отрицательные результаты – миграция импланта у 3 детей. Полученные данные требуют дальнейшего анализа и наблюдения

Postoperative prolonged infiltration anesthesia for multimodal perioperative pain management in patients with hip replacement arthroplasty

ТАЗОБЕДРЕННЫЙ СУСТАВ /ХИРТОТАЛЬНОЕ ЭНДОПРОТЕЗИРОВАНИЕАНЕСТЕЗИЯ ЭПИДУРАЛЬНАЯАНЕСТЕЗИЯ МЕСТНАЯАНЕСТЕЗИЯ ИНФИЛЬТРАЦИОННАЯРОПИВАКАИНА ГИДРОХЛОРИДМИКРОИНФУЗИОННАЯ ПОМПАЦель. Улучшить эффективность мультимодального периоперационного обезболивания у пациентов при тотальном эндопротезировании тазобедренного сустава за счет применения послеоперационной пролонгированной инфильтрационной анестезии области оперативного вмешательства. Материал и методы. Проведен проспективный сравнительный анализ результатов лечения 78 пациентов, которым было выполнено первичное тотальное эндопротезирование тазобедренного сустава. Пациенты были разделены на две группы: в первой группе в послеоперационном периоде использовали продленную эпидуральную анальгезию, во второй группе применяли пролонгированную 24-часовую инфильтрационную анестезию области операции введением 0,2% раствора ропивакаина гидрохлорида с помощью микроинфузионной помпы с постоянной скоростью 8 мл/час. У всех пациентов анализировали выраженность болевого синдрома, уровень плазменной концентрации кортизола, уровень гликемии. Также оценивали расход тримеперидина и время начала активизации пациентов. Оценку проводили за 24 часа до операции, а также через 6 и 24 часа после нее. Результаты. Через 24 часа после операции в первой и второй группах выраженность боли по шкале ВАШ составила 2,2±0,35 и 1,5±0,42 балла соответственно; уровень плазменного кортизола составил 768,5±45,8 нмоль/л и 584,6±54,2 нмоль/л соответственно; уровень концентрации глюкозы в крови составил 7,03±0,34 ммоль/л и 5,91±0,27 ммоль/л соответственно. Количество использованного тримеперидина за первые 24 часа после операции в первой и второй группах составило 38,6±2,95 мг и 21,3±3,17 мг соответственно. Первое присаживание и вертикализацию пациентов в первой группе осуществляли через 24,8±2,4 и 28±1,4 часа, во второй клинической группе – через 4,5±0,5 и 6,3±0,7 часа соответственно. Заключение. Применение пролонгированной инфильтрационной анестезии позволило на 46,7% эффективнее купировать болевой синдром, на 55,2% снизить количество требуемого тримеперидина в течение первых суток после операции и на 20,3±1,4 часа раньше начать активизацию пациентов по сравнению с продленной эпидуральной анестезией.Objective. To improve the efficiency of multimodal perioperative pain management in patients in case of the hip replacement arthroplasty using postoperative prolonged infiltration anesthesia in the area of surgical intervention. Methods. A prospective comparative analysis of the treatment results of 78 patients underwent the primary hip replacement arthroplasty was performed. The patients were divided into two groups: (1) the first group of patients was treated with prolonged epidural analgesia in the postoperative period, while (2) in the second group, the patients were treated with prolonged 24-hour infiltration anesthesia at the area of the surgical intervention by 0.2% of the ropivacaine hydrochloride solution, administered using microinfusion pump with a constant rate of 8 ml per hour. All patients were assessed for intensity of the pain syndrome, plasma concentrations of the cortisol and blood glucose levels. Also, trimeperidine consumption rate and the start of patient’s activity were assessed. The evaluation was conducted 24 hours prior to the surgical intervention, as well as 6 and 24 hours after. Results. 24 hours after the surgery, the pain intensity scores assessed by the VAS were 2.2±0.35 and 1.5±0.42 points in the first and second clinical groups, respectively; the cortisol plasma levels 24 hours after the surgical intervention were 768.5±45.8 nmol/l and 584.6±54.2 nmol/l in the first and second clinical groups, respectively; the blood glucose levels after the surgical intervention were 7.03±0.34 mmol/l and 5.91±0.27 mmol/l in the first and second clinical groups, respectively. Trimeperidine consumption rates for the first 24 hours after the surgical intervention were 38.6±2.95 mg and 21.3±3.17 mg in the first and second clinical groups, respectively. The first sitting and complete verticalization of patients in the first group were performed in 24.8±2.4 and 28±1.4 hours, while in the second clinical group, these activities were performed in 4.5±0.5 and 6.3±0.7 hours respectively. Conclusions. The use of the prolonged infiltration anesthesia allowed by 46.7% more effectively arresting pain syndrome, by 55.2% reducing trimeperidine consumption rate for the first 24 hours after the surgical intervention and by 20.3±1.4 hours earlier starting activation of patients if compared to the prolonged epidural analgesia

A Study of Muon Neutrino Disappearance Using the Fermilab Main Injector Neutrino Beam

We report the results of a search for muon-neutrino disappearance by the Main Injector Neutrino Oscillation Search. The experiment uses two detectors separated by 734 km to observe a beam of neutrinos created by the Neutrinos at the Main Injector facility at Fermi National Accelerator Laboratory. The data were collected in the first 282 days of beam operations and correspond to an exposure of 1.27e20 protons on target. Based on measurements in the Near Detector, in the absence of neutrino oscillations we expected 336 +/- 14 muon-neutrino charged-current interactions at the Far Detector but observed 215. This deficit of events corresponds to a significance of 5.2 standard deviations. The deficit is energy dependent and is consistent with two-flavor neutrino oscillations according to delta m-squared = 2.74e-3 +0.44/-0.26e-3 eV^2 and sin^2(2 theta) > 0.87 at 68% confidence level.Comment: In submission to Phys. Rev.

Application of arthroscopy of the knee joint in children

this article touches upon the question of possibility and expediency of application of arthroscopic technologies in surgical treatment of knee joint pathology. The statistical data of treatment of patients on the basis of children's traumatological and orthopedic Department of Clinics are given. On the basis of statistical analysis of clinical examples we conclude about the positive aspects of the use of arthroscopic techniques in pediatric orthopedic practice.В данной статье затрагивается вопрос возможности и целесообразности применения артроскопических технологий при оперативном лечении патологии коленного сустава. Приводятся статистические данные лечения пациентов на базе детского травматолого-ортопедического отделения Клиник СамГМУ. На основания статистического анализа клинических примеров делаем вывод о положительных моментах применения артроскопической методики в детской ортопедической практике

Differential (2+1) Jet Event Rates and Determination of alpha_s in Deep Inelastic Scattering at HERA

Events with a (2+1) jet topology in deep-inelastic scattering at HERA are studied in the kinematic range 200 < Q^2< 10,000 GeV^2. The rate of (2+1) jet events has been determined with the modified JADE jet algorithm as a function of the jet resolution parameter and is compared with the predictions of Monte Carlo models. In addition, the event rate is corrected for both hadronization and detector effects and is compared with next-to-leading order QCD calculations. A value of the strong coupling constant of alpha_s(M_Z^2)= 0.118+- 0.002 (stat.)^(+0.007)_(-0.008) (syst.)^(+0.007)_(-0.006) (theory) is extracted. The systematic error includes uncertainties in the calorimeter energy calibration, in the description of the data by current Monte Carlo models, and in the knowledge of the parton densities. The theoretical error is dominated by the renormalization scale ambiguity.Comment: 25 pages, 6 figures, 3 tables, submitted to Eur. Phys.

Measurements of Transverse Energy Flow in Deep-Inelastic Scattering at HERA

Measurements of transverse energy flow are presented for neutral current deep-inelastic scattering events produced in positron-proton collisions at HERA. The kinematic range covers squared momentum transfers Q^2 from 3.2 to 2,200 GeV^2, the Bjorken scaling variable x from 8.10^{-5} to 0.11 and the hadronic mass W from 66 to 233 GeV. The transverse energy flow is measured in the hadronic centre of mass frame and is studied as a function of Q^2, x, W and pseudorapidity. A comparison is made with QCD based models. The behaviour of the mean transverse energy in the central pseudorapidity region and an interval corresponding to the photon fragmentation region are analysed as a function of Q^2 and W.Comment: 26 pages, 8 figures, submitted to Eur. Phys.

Multiplicity Structure of the Hadronic Final State in Diffractive Deep-Inelastic Scattering at HERA

The multiplicity structure of the hadronic system X produced in deep-inelastic processes at HERA of the type ep -> eXY, where Y is a hadronic system with mass M_Y< 1.6 GeV and where the squared momentum transfer at the pY vertex, t, is limited to |t|<1 GeV^2, is studied as a function of the invariant mass M_X of the system X. Results are presented on multiplicity distributions and multiplicity moments, rapidity spectra and forward-backward correlations in the centre-of-mass system of X. The data are compared to results in e+e- annihilation, fixed-target lepton-nucleon collisions, hadro-produced diffractive final states and to non-diffractive hadron-hadron collisions. The comparison suggests a production mechanism of virtual photon dissociation which involves a mixture of partonic states and a significant gluon content. The data are well described by a model, based on a QCD-Regge analysis of the diffractive structure function, which assumes a large hard gluonic component of the colourless exchange at low Q^2. A model with soft colour interactions is also successful.Comment: 22 pages, 4 figures, submitted to Eur. Phys. J., error in first submission - omitted bibliograph

Application of arthroscopy of the knee joint in children

This article touches upon the question of possibility and expediency of application of arthroscopic technologies in surgical treatment of knee joint pathology. The statistical data of treatment of patients on the basis of children's traumatological and orthopedic Department of Clinics are given. On the basis of statistical analysis of clinical examples we conclude about the positive aspects of the use of arthroscopic techniques in pediatric orthopedic practice.В данной статье затрагивается вопрос возможности и целесообразности применения артроскопических технологий при оперативном лечении патологии коленного сустава. Приводятся статистические данные лечения пациентов на базе детского травматолого-ортопедического отделения Клиник СамГМУ. На основания статистического анализа клинических примеров делаем вывод о положительных моментах применения артроскопической методики в детской ортопедической практике