Results 1 to 10 of about 27,708,603 (346)

Liquid Intersection Types [PDF]

, 2015
We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system.
Alves, Sandra, Florido, Mário, Pereira, Mário   +2 more
core   +9 more sources

Defect Types [PDF]

, 2021
AbstractThis chapter provides an overview of the common types of defects found in various structural materials and joints in aircraft. Materials manufacturing methods (including large-scale production) have been established in the aircraft industry. However, as will be seen in this chapter, manufacturing defects and defects during in-service conditions
Faisal, Nadimul, Cora, �mer Necati, Bekci, Muhammed Latif, ?liwa, Romana Ewa, Sternberg, Yehuda, Pant, Shashank, Degenhardt, Richard, Prathuru, Anil   +7 more
openaire   +3 more sources

SignalP 6.0 predicts all five types of signal peptides using protein language models

Nature Biotechnology, 2022
Signal peptides (SPs) are short amino acid sequences that control protein secretion and translocation in all living organisms. SPs can be predicted from sequence data, but existing algorithms are unable to detect all known types of SPs.
Felix Teufel, J. J. Almagro Armenteros, alexander rosenberg johansen, M. H. Gíslason, Silas Irby Pihl, Konstantinos D. Tsirigos, O. Winther, S. Brunak, G. Heijne, H. Nielsen   +9 more
semanticscholar   +1 more source

Prevalence of iron deficiency anemia in patients with metastatic colorectal cancer

Alʹmanah Kliničeskoj Mediciny, 2022
Background: Iron has dual properties: it may promote both tumor growth and cell apoptosis. Compared to healthy cells, cancer cells are more dependent on the iron levels.
Albina S. Zhabina, Fedor V. Moiseenko, Nikita M. Volkov, Nuriniso Kh. Abduloeva, Vitaliy V. Egorenkov, Natalya V. Levchenko, Elizaveta V. Artemeva, Ekaterina O. Stepanova, Ekaterina O. Nesterova, Vladimir M. Moiseyenko   +9 more
doaj   +1 more source

Type-After-Type [PDF]

Proceedings of the 34th Annual Computer Security Applications Conference, 2018
Temporal memory errors, such as use-after-free bugs, are increasingly popular among attackers and their exploitation is hard to stop efficiently using current techniques. We present a new design, called Type-After-Type, which builds on abstractions in production allocators to provide complete temporal type safety for C/C++ programs-ensuring that memory
van der Kouwe, Erik, Kroes, Taddeus, Ouwehand, Chris, Bos, Herbert, Giuffrida, Cristiano   +4 more
openaire   +3 more sources

Comprehensive Screening for COVID-19 at St. Petersburg Oncology Centre

Креативная хирургия и онкология, 2021
Background. Clinical reports on the coronavirus disease 2019 (COVID-19) suggest its higher incidence and worse outcomes in cancer patients. Considering a rapid pace of the severe acute respiratory syndrome-related coronavirus 2 (SARS-CoV-2) pandemic ...
N. M. Volkov, M. S. Lebedeva, V. V. Egorenkov, F. V. Moiseenko, N. Kh. Abduloeva, A. A. Bogdanov, I. N. Terterov, V. V. Chernobrivceva, N. E. Valeeva, E. B. Myasnikova, A. S. Navatskaya, A. A. Bogdanov, V. M. Moiseyenko   +12 more
doaj   +1 more source

Comparison of the treatment results in patients with inoperable non-small cell lung cancer in clinical trials and in standard clinical practice using the pseudorandomization method

Alʹmanah Kliničeskoj Mediciny, 2022
Rationale: Non-small cell lung cancer (NSCLC) is an aggressive disease with median survival of 1214 months in inoperable patients in the pre-immunotherapy era. Nowadays, under treatment with checkpoint inhibitors median survival is 1922 months.
Fedor V. Moiseenko, Mikhail Yu. Fedyanin, Nikita M. Volkov, Nuriniso Kh. Abduloeva, Natalya V. Levchenko, Vyacheslav A. Chubenko, Albina S. Zhabina, Maria L. Stepanova, Mikhail M. Kramchaninov, Elizaveta V. Artemeva, Vladimir M. Moiseyenko   +10 more
doaj   +1 more source

Endoscopic vacuum therapy for the treatment of suture failure after resection of the esophageal wall for removal of an enterogenic cyst in a 9-year-old child

Вестник хирургии имени И.И. Грекова, 2022
INTRODUCTION. Intrathoracic esophageal postoperative suture’s failure occurs in 8–26 % after distal esophagectomy and 3–12 % after total gastrectomy, also this leads to the development of life-threatening complications and a rather high mortality rate ...
A. A. Avanesyan, A. E. Akkalaeva, M. B. Belogurova, I. E. Stolbovskaya, A. P. Ivanov, V. V. Chernobrivceva, V. V. Egorenkov, V. M. Moiseenko   +7 more
doaj   +1 more source

Complications from the formation of preventive stomas in the surgical treatment of rectal cancer

Сибирский онкологический журнал, 2023
Background. Anastomotic leakage is one of the most severe complications of colorectal cancer surgery. The formation of a preventive stoma can avoid the consequences of this complication.
I. I. Aliev, A. A. Smirnov, R. V. Pavlov, K. N. Komyak, D. A. Ivlev, N. A. Domanskiy, G. A. Sharygin, A. I. Nazmiev   +7 more
doaj   +1 more source

Efficacy of Videoendoscopic Inguinal Femoral Lymphadenectomy for Management of Metastatic Skin Melanoma

Креативная хирургия и онкология, 2021
Aim. Assessment of the utility and advantage of videoendoscopic inguinal femoral lymphadenectomy (VE-LAD) over the standard open technique (OLAD) in patients with malignant skin melanoma and metastatic lesions of regional inguinal and/or femoral lymph ...
V. V. Egorenkov, F. V. Moiseenko, N. M. Volkov, M. S. Molchanov, M. S. Ravkina, N. Kh. Abduloeva, A. V. Linets, V. R. Khairutdinov, A. M. Ibragimov, V. M. Moiseyenko   +9 more
doaj   +1 more source