Results 31 to 40 of about 9,195,846 (282)
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 +22 more
doaj +1 more source
Type-level programming with match types [PDF]
Proceedings of the ACM on Programming Languages, 2022 Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types , a type-level equivalent of pattern matching.
Olivier Blanvillain +3 more
openaire +1 more source
LIPIcs, Volume 239, TYPES 2021, Complete Volume
, 2022 LIPIcs, Volume 239, TYPES 2021, Complete ...
Cockx, Jesper +2 more
core +1 more source
, 2021 There are many different types of exams and exam questions that you may need to prepare for at university. Each type of exam has different considerations and preparation, in addition to knowing the course material.
Bartlett, Cristy +2 more
core +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 +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 +1 more
openaire +2 more sources
Isomorphism of "Functional" Intersection Types [PDF]
, 2014 Type isomorphism for intersection types is quite odd, since it is not a congruence and it does not extend type equality in the standard interpretation of types.
Dezani, Mariangiola +9 more
core +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 +10 more
doaj +1 more source
Internal fixation of instability pelvic fracture
Клиническая практика, 2018 Over the past 3 years, an analysis of surgical treatment of 48 patients with unstable fractures of pelvic bones has been performed. The study group included patients with type B3, C2, and C3 fractures according to AO classification. The average follow-up
A. P. Khapilin +9 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 +6 more
doaj +1 more source