Results 31 to 40 of about 4,940,107 (249)

Safety and efficacy of convalescent plasma for COVID-19: the preliminary results of a clinical trial [PDF]

Клиническая практика, 2020
Background. The lack of effective etiotropic therapy for COVID-19 has prompted researchers around the globe to seekr various methods of SARS-CoV-2 elimination, including the use of convalescent plasma. Aim. The aim of this work was to study the safety
Vladimir P. Baklaushev, Alexander V. Averyanov, Anna G. Sotnikova, Anastasia S. Perkina, Alexander V. Ivanov, Gaukhar M. Yusubalieva, Oksana N. Novikova, Valentina E. Shikina, Nikolay V. Dupik, Anna G. Kedrova, Andrey E. Sanzharov, Elena V. Shirshova, Olga I. Balionis, Vladimir T. Valuev-Elliston, Natalia F. Zakirova, Yaroslav N. Glazov, Irina A. Panukhina, Nikolay A. Soloviev, Alexei G. Vinokurov, Yu. V. Ivanov, Valentin N. Vasilev, Tatyana V. Klypa, Alexander V. Troitsky   +22 more
doaj   +1 more source

Endoscopic submucosal dissection of large leiomyoma of the esophagus with subsequent closure of the defect with a mucosal flap

Вестник хирургии имени И.И. Грекова, 2019
Taking into consideration the results of our clinical observation, we can argue that the technique of endoscopic submucosal dissection of large leiomyoma of the esophagus with subsequent closure of the defect with a mucosal flap is applicable in clinical
A. A. Avanesyan, A. E. Akkalaeva, B. I. Miroshnikov, V. M. Moiseenko   +3 more
doaj   +1 more source

MINIMALLY-INVASIVE SURGERY FOR COLLORECTAL CANCER IN ELDERLY PATIENTS

Сибирский онкологический журнал, 2016
Introduction. The patient’s age is one of the major risk factors of death from colorectal cancer. The role of laparo- scopic radical surgeries in the treatment of colorectal cancer in elderly patients is being studied.
I. L. Chernikovskiy, V. M. Gelfond, A. S. Zagryadskikh, S. A. Savchuk   +3 more
doaj   +1 more source

Type Theory with Opposite Types: A Paraconsistent Type Theory

Logic Journal of the IGPL, 2021
Abstract A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory ($\textsf{PTT} $). The rules for opposite types in $\textsf{PTT} $ are based on the rules of the so-called constructible falsity.
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez   +1 more
openaire   +1 more source

Boerhaave’s syndrome: case report and review

Клиническая практика, 2018
Well-timed diagnostics of a spontaneous nontraumatic rupture of esophagus or Boerhaaves syndrome, presents great difficulties because of his rarity and a variety of clinical implications.
S. A. Andreychenko, M. V. Bychinin, T. V. Klypa, Yu. V. Ivanov, D. V. Sazonov, R. M. Dyminov, O. R. Shablovskiy   +6 more
doaj   +1 more source

Nosocomial Infection in Patients with Severe and Critical COVID-19

Общая реаниматология, 2022
The aim of the study was to determine the etiology and frequency of nosocomial infections in patients with severe and critical COVID-19.Material and methods.
M. V. Bychinin, I. O. Antonov, T. V. Klypa, I. A. Mandel, A. I. Minets, N. A. Kolyshkina, Ya. B. Golobokova   +6 more
doaj   +1 more source

Dynamic Typing with Dependent Types [PDF]

, 2006
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages require programmers to annotate their programs with many typing specifications to help guide the type checker.
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker   +3 more
openaire   +1 more source

Diagnosis and treatment of penetrating abdominal combat wounds

Клиническая практика
BACKGROUND: Currently, any surgeon can encounter a mine blast wound to the abdomen and must be prepared to provide qualified care. The nature of injuries in modern combat trauma has changed compared to previous military conflicts.
Alexander V. Smirnov, Yury V. Ivanov, Ivan L. Anyushin, Aishe A. Keshvedinova, Vladimir R. Stankevich, Vladimir Yu. Gritsun, Sergey V. Deryabin, Evgeny A. Velichko, Nikolay A. Soloviev, Robert I. Khabazov, Aleksandr V. Troitsky   +10 more
doaj   +1 more source

Type inference with constrained types

Theory and Practice of Object Systems, 1999
In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped compositional semantics. We present sufficient conditions on the constraint domain X so that the principal
Martin Odersky, Martin Sulzmann, Martin Wehr   +2 more
openaire   +2 more sources

Duplex scanning as an alternative to computer tomography with contrast enhancement for the control of complications after endovascular aneurysm repair

Клиническая практика, 2018
EVAR (endovascular aneurism repair) is the preferred method for the surgical treatment of ananeurysm. The advantage of this type of surgical intervention is that a smaller number of postoperative complications will occur. The main diagnostic tasks for
D. I. Korshunov, R. I. Khabazov, N. V. Ustiantseva, A. V. Chupin, S. V. Deryabin   +4 more
doaj   +1 more source