Results 51 to 60 of about 5,530,700 (284)
Parallel Product of Event Structures
DAIMI Report Series, 1989 The parallel product operator may be defined very easily on flow event structures. We show that, for flow event structures satisfying a particular constraint, which is preserved by ususal process operators, this product may be characterised as a categorical product.
Ilaria Castellani, Guo-Qiang Zhang 0001
openaire +4 more sources
On the Algebraic Structure of Conditional Events [PDF]
, 2015 This paper initiates an investigation of conditional measures as simple measures on conditional events. As a first step towards this end we investigate the construction of conditional algebras which allow us to distinguish between the logical properties of conditional events and those of the conditional measures which we can be attached to them.
Tommaso Flaminio +2 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben +4 more
wiley +1 more source
Modelling of Waves for the Design of Offshore Structures
Journal of Marine Science and Engineering, 2020 For the design of structures we need to select design safety levels to ensure structures shall safely operate and not collapse. These levels are given in relevant safety standards.
Ove Tobias Gudmestad
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source
, 2009 Two methods have been identified in the DEPLOY project for Event-B model decomposition: the shared variable decomposition (called A-style decomposition), and the shared event decomposition (or B-style decomposition).
Silva, Renato, Pascal, Carine
core +1 more source
An Alpha-FL Algorithm for Discovering Free Loop Structures From Incomplete Event Logs
IEEE Access, 2018 Discovering loop structures in a process model is an important research topic for business process mining. The event logs generated in a real-life business process may be incomplete because of the missing activities.
Zhaoyang He +4 more
doaj +1 more source
, 2017 InterDisciplines. Journal of History and Sociology, Vol 7, No 2 (2016): Structure and Events - A Dialogue between History and ...
openaire +3 more sources
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source