Results 51 to 60 of about 28,341 (293)
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi [PDF]
, 2022 Tiziano Dalmonte, Marianna Girlando
openalex +1 more source
Pathogenic Germline PALB2 and RAD50 Variants in Patients With Relapsed Ewing Sarcoma
Pediatric Blood &Cancer, EarlyView.ABSTRACT Approximately 10% of patients with Ewing sarcoma (EwS) have pathogenic germline variants. Here, we report two cases: first, a novel germline pathogenic variant in partner and localizer of BRCA2 (PALB2) in a patient with a late EwS relapse. Its impact on homologous recombination is demonstrated, and breast cancer risk is discussed.
Molly Mack +12 more
wiley +1 more source
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems [PDF]
Logical Methods in Computer Science, 2011 Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defining
Stéphane Jean Eric Lengrand +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Despite their increased risk for functional impairment resulting from cancer and its treatments, few adolescents and young adults (AYAs) with a hematological malignancy receive the recommended or therapeutic dose of exercise per week during inpatient hospitalizations.
Jennifer A. Kelleher +8 more
wiley +1 more source
Mathematical Text Processing in EA-style: a Sequent Aspect
Journal of Formalized Reasoning, 2016 The paper is devoted to the study of one of the aspects of the so-called Evidence Algorithm programme advanced by Academician V.M.~Glushkov and connected with the problem of automated theorem-proving search in the signature of first-order theories that ...
Alexander Lyaletski
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background B‐cell lymphoblastic lymphoma (B‐LBL) represents a rare variety of non‐Hodgkin lymphoma, with limited research on its biology, progression, and management. Methods A retrospective analysis was performed on the clinical characteristics of 256 patients aged ≤18 years who received treatment under the China Net Childhood Lymphoma (CNCL)‐
Zhijuan Liu +20 more
wiley +1 more source
Urban Science, 2019 This paper is aimed at investigating the applicability of the notion of Sequent Occupance to the Singapore context. Sequent Occupance as a phenomenon in Human Geography was first theorized by Derwent Whittlesey in 1929 in order to describe the current ...
Francesco Cavallaro +2 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background The delipid extracorporeal lipoprotein filter from plasma (DELP) treatment can effectively reduce blood lipid, increase blood flow, and improve neurological deficits in patients with acute ischemic stroke (AIS). However, its effect on vision and retinal microcirculation in stroke patients has never been reported.
Ning Li +9 more
wiley +1 more source
B-f jump characteristics in smooth sloping beds [PDF]
مهندسی منابع آب, 2019 Beacause of the hydraulic jump unstable behavior in adverse-slope stilling basins downstream of sloping beds, the jump toe is transmitted on sloping bed. Therefore, formation of the B-F jump is common in practice.
منوچهر شکریان +1 more
doaj
Grafting hypersequents onto nested sequents [PDF]
Logic Journal of IGPL, 2016 We introduce a new Gentzen-style framework of grafted hypersequents that combines the formalism of nested sequents with that of hypersequents. To illustrate the potential of the framework, we present novel calculi for the modal logics $\mathsf{K5}$ and $\mathsf{KD5}$, as well as for extensions of the modal logics $\mathsf{K}$ and $\mathsf{KD}$ with the
Kuznets, Roman, Lellmann, Björn
openaire +3 more sources