Results 51 to 60 of about 7,198 (311)

Decidability of higher-order matching [PDF]

Logical Methods in Computer Science, 2009
We show that the higher-order matching problem is decidable using a game-theoretic argument.
Colin Stirling
doaj   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
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, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

On the decidability of connectedness constraints in 2D and 3D Euclidean spaces

, 2011
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates as well as Boolean operations on regions, interpreted over low-dimensional Euclidean spaces. We show that the complexity of reasoning varies
Yavor Nenov, Pratt−Hartmann, Ian, Ian Pratt−Hartmann, Roman Kontchakov, Pratt-Hartmann, Ian; id_orcid, Ian Pratt-hartmann, Michael Zakharyaschev, Pratt-Hartmann, I., Nenov, Y., Zakharyaschev, Michael, Nenov, Yavor, Kontchakov, Roman   +11 more
core   +1 more source

Trees over Infinite Structures and Path Logics with Synchronization [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures.
Alex Spelten, Wolfgang Thomas, Sarah Winter   +2 more
doaj   +1 more source

Clinical and Biological Features of Response in Resistant Neuroblastoma to 131I‐Metaiodobenzylguanidine Radiotherapy in the Anti‐GD2 Immunotherapy Era

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman, Katherine K. Matthay, Fabienne Hollinger, Catriona Black, Ann A. Lazar, Miguel Pampaloni, Steven G. DuBois, Kieuhoa T. Vo   +7 more
wiley   +1 more source

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, Frutos Escrig, David De   +1 more
core   +1 more source

On decidability of pure hybrid logic

Lietuvos Matematikos Rinkinys, 2012
In this paper we study a decidable class of pure Hybrid Logic. To prove decidability we use terminating sequent for formulae of H(@) logic.
Stanislovas Norgėla
doaj   +1 more source

Hospitalization Through Families’ Eyes: Comparing Inpatient Care Quality for Children With Sickle Cell Disease and Cystic Fibrosis in Canada

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker, Kyle Kemp, Perri Tutelman, Sharon H. J. Hou, Paul Fairie, Maria Santana, Gregory M. T. Guilcher, Taryn Fay‐McClymont, Glenda Bendiak, Wendy Pelletier, Nicola Wright, Fiona Schulte   +11 more
wiley   +1 more source

To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way

Известия Иркутского государственного университета: Серия "Математика", 2019
The paper is devoted to the scientific and pedagogical activity of A. I. Kokorin, the founder of the Irkutsk algebraic-logical school, whose 90th anniversary is celebrated in November 2019. Five research areas with the most significant contributions made
V. V. Bludov, N.A. Peryazev, S.F. Vinokurov, V.I. Panteleyev   +3 more
doaj   +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