Results 51 to 60 of about 10,140 (309)
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
Pediatric Blood &Cancer, EarlyView.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
Satisfiability of ATL with strategy contexts [PDF]
, 2013 Various extensions of the temporal logic ATL have recently been introduced to express rich properties of multi-agent systems. Among these, ATLsc extends ATL with strategy contexts, while Strategy Logic has first-order quantification over strategies ...
François Laroussinie +3 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider +15 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Adolescents with high‐risk cancer face complex developmental, psychosocial, and ethical challenges that extend beyond disease‐directed treatment. Although international recommendations exist for communication, psychosocial care, pediatric palliative care, survivorship, and shared decision‐making, these have largely evolved within ...
Johanna M. C. Blom +15 more
wiley +1 more source
A dependent nominal type theory [PDF]
Logical Methods in Computer Science, 2012 Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and
James Cheney
doaj +1 more source
On the Path-Width of Integer Linear Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it.
Constantin Enea +3 more
doaj +1 more source
Decidability in Algebraic Geometry [PDF]
, 2004 The central theme of our investigation is the concept of Decidability in Algebra/Algebraic Geometry. To the best of our knowledge this seems to be novel in the sense that there is no work known to isolate or to focus on the concept of Decidability in ...
Iskra, John James
core
Decidability problems in Petri nets with names and replication
, 2010 In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T nets extended with replication, for which reachability is undecidable) and ...
Rosa Velardo, Fernando +1 more
core +1 more source
Decidability of Split Equivalence [PDF]
, 2002 We show that the following problem is decidable: given expressions E1 and E2 constructed from variables by the regular operations and shuffle, is the identity E1=E2 true for all instantiations of its variables by strings?
Rabinovich, A., Abramson, Y.
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Rates of cancer among adolescents and young adults (AYA), age 15–39 years, are increasing. Consequently, radiation oncologists are treating more AYAs who have diagnoses spanning both pediatric and adult practices. Compared to pediatric and older adult patients, AYAs face a unique set of challenges.
Hesham Elhalawani +7 more
wiley +1 more source