Results 31 to 40 of about 8,123,913 (272)
Locally Nameless Permutation Types
We define "Locally Nameless Permutation Types", which fuse permutation types as used in Nominal Isabelle with the locally nameless representation. We show that this combination is particularly useful when formalizing programming languages where bound names may become free during execution ("extrusion"), common in process calculi.
Edsko de Vries, Vasileios Koutavas
openaire +2 more sources
Primary Cutaneous Large B-Cell Lymphoma, Leg Type, Localized on the Dorsum
Primary cutaneous large B-cell lymphoma, leg-type (PCLBCL-LT), is a large B-cell lymphoma primarily involving the skin. It is distinguished from the other 3 subsets of this lymphoproliferative disorder by its immunohistopathological features, configuring
A. Patrizi +5 more
doaj +1 more source
Tenosynovial giant cell tumor of subtalar joint: A case report with review of literature
Tenosynovial giant cell tumor (TSGCT) are benign neoplasm affecting synovial lining of joints, tendon, and bursae. These tumor have been broadly divided into localized and diffuse type.
Daya Krishna +4 more
doaj +1 more source
Treatment Modalities for Refractory-Recurrent Tenosynovial Giant Cell Tumor (TGCT): An Update
Background and Objectives: Tenosynovial giant cell tumor (TGCT) is a rare, locally aggressive, benign neoplasm arising from the synovium of joints, tendon sheaths, and bursa.
Vasiliki Dania +7 more
doaj +1 more source
Background In clinical practice, a number of delayed diagnoses of localized pneumonic-type lung adenocarcinoma (L-PLADC) mimicking pneumonia have been identified due to the lack of knowledge regarding the radiological findings associated with this ...
Qi Li +5 more
doaj +1 more source
There are currently no effective treatments for advanced‐stage papillary renal cell carcinoma (PRCC). The goal of this study is to define potential DNA methylation‐based markers and treatment targets for advanced‐stage type 2 PRCC.
Man Yang +4 more
doaj +1 more source
Localized nasopharyngeal cancer (NPC) is a highly curable disease, but the prognosis of certain cases is still poor. Distinguishing patients with a poor outcome is necessary when developing therapeutic strategies. The aim of this study was to investigate
Haiyan Chen +8 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
Background Tenosynovial giant cell tumor (TSGCT) is a benign fibrohistiocytic tumor that affects the synovium of joints, bursa, and tendon sheaths and is categorized into localized TSGCT (LTSGCT) and diffuse TSGCT (DTSGCT).
Shintaro Sugita +11 more
doaj +1 more source
Reversible adhesion by type IV pili leads to formation of permanent localized clusters
Summary: The formation of long-lived, multicellular clusters is a fundamental step in the physiopathology of many disease-causing bacteria. Experiments on abiotic surfaces suggest that bacterial colonization, including initial cluster formation, requires
María Victoria Pepe +7 more
doaj +1 more source

