Results 61 to 70 of about 30,066 (292)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Families of children with cancer experience significant financial strain, even with universal healthcare. Indirect costs, such as productivity losses and non‐medical expenses, are rarely included in economic evaluations, and little is known about how effectively financial aid programmes alleviate this burden. Childhood brain tumours
Megumi Lim +8 more
wiley +1 more source
Theatre Academy, 2023 The phenomenological concept of “liveness” has a long-standing relationship with theatre and performance studies. This relationship has primarily been limited to questions of ontology; namely, what constitutes the ephemeral nature of theatre and what ...
Sarah-jane Coyle
doaj
Automatic Completion of Distributed Protocols with Symmetry
, 2015 A distributed protocol is typically modeled as a set of communicating processes, where each process is described as an extended state machine along with fairness assumptions, and its correctness is specified using safety and liveness requirements ...
Alur, Rajeev +4 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The management of clinically apparent single lesions or oligofocal nephroblastomatosis, a facultative precursor of nephroblastoma, remains debated. Methods We retrospectively analyzed 37 patients with clinically apparent single or oligofocal nephroblastomatosis (two to three lesions per kidney) among 2347 patients registered between
Nils Welter +17 more
wiley +1 more source
Methis: Studia Humaniora Estonica, 2018 This article aims to address the impact of new technologies and mediatization of the opera genre in the 2nd decade of the 21st century taking into account the discussion on “liveness” and mediated artistic experiences offered by Philip Auslander and ...
Lauma Mellēna-Bartkeviča
doaj +1 more source
Optimizing Computation of Recovery Plans for BPEL Applications
, 2010 Web service applications are distributed processes that are composed of dynamically bounded services. In our previous work [15], we have described a framework for performing runtime monitoring of web service against behavioural correctness properties ...
Gwen Salaün +5 more
core +3 more sources
Germline TP53 Mutations Causing Diamond–Blackfan Anemia: A French Report
Pediatric Blood &Cancer, EarlyView.ABSTRACT Diamond–Blackfan anemia is a rare congenital erythroblastopenia typically caused by mutations in ribosomal protein genes. Recently, gain‐of‐function mutations in TP53 have been identified as a novel cause of Diamond–Blackfan anemia. We report two French patients who both harbored a heterozygous TP53 deletion (NM_000546.5: c.1077delA; p ...
Rafael Moisan +6 more
wiley +1 more source
Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility
Journal of Applied Mathematics, 2014 Mixed integer programming (MIP) is an important technique to verify the liveness property of sequential flexible manufacturing systems (FMS) modeled by Petri nets. When there are some fully flexible routings in FMS, the existing MIP-based methods are not
Lida Dong +3 more
doaj +1 more source
Refinement Calculus of Reactive Systems
, 2014 Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculus for reactive systems.
Preoteasa, Viorel, Tripakis, Stavros
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +1 more source