Results 41 to 50 of about 9,195,846 (282)
Dynamic Typing with Dependent Types [PDF]
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 +3 more
openaire +2 more sources
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 +4 more
doaj +1 more source
The article systematizes information on the diagnosis and treatment of anxiety disorders, the frequency of which has increased significantly at the present time, in connection with the COVID-19 pandemic.
P. V. Aronov +2 more
doaj +1 more source
Association of polymorphisms of the ADIPOQ, ADIPOR1 and ADIPOR2 genes with type 2 diabetes mellitus
The study of hereditary predisposition to multifactorial diseases is essential for diagnosis and selection of the optimal treatment. The study of polymorphisms of candidate genes whose products are involved in the pathogenesis of multifactorial diseases ...
Dmitry Sergeevich Khodyrev +9 more
doaj +1 more source
The use of guselkumab in psoriatic arthritis: evidence from real clinical practice
Psoriatic arthritis (PsA) is a chronic inflammatory disease of the joints, spine and enthesis from the group of spondyloarthritis that develops in patients with psoriasis.
N. V. Nekrasova +3 more
doaj +1 more source
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Is there a place for multivisceral resections in the treatment of gastric cancer?
It is known that multivisceral resections (MVR) are associated with significant numbers of post-operative complications. However, the effectiveness of MVR in increasing the patients' life expectancy remains a matter of debate.
A. V. Smirnov +2 more
doaj +1 more source
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan +18 more
wiley +1 more source
Probiotics in the treatment of atopic dermatitis in children. Clinical experience
Relevance. The article is devoted to a topical problem - treatment and prevention of atopic dermatitis in children, which occurs most often in the practice of pediatricians and dermatologists, taking leading positions among the diseases of childhood. The
N. V. Nekrasova +2 more
doaj +1 more source
Background. Opsoclonus-myoclonus-ataxia syndrome (OMAS) in adults is an extremely rare condition, often leading to rapidly deteriorated neurological performance.
K. A. Rumiantseva +4 more
doaj +1 more source

