Results 41 to 50 of about 2,115,111 (294)
Event-triggered variable structure control [PDF]
International Journal of Control, 2019 This paper presents a novel variable structure control (VSC) algorithm of event-triggered (ET) type, capable of dealing with a class of nonlinear uncertain systems. By virtue of its ET nature, the algorithm can be used as the kernel of a robust networked control system.
Cucuzzella, Michele +2 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Cognitive and psychological difficulties could negatively interfere with treatment adherence and quality of life before and after hematopoietic stem cell transplant (HSCT). Methods to mitigate these changes may have positive effects on treatment success.
Kristen L. Votruba +11 more
wiley +1 more source
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
Journal of Applied Mathematics, 2014 Nonclassical slicing and symmetry reduction can act as efficient structural abstract methods for pruning state space when dealing with verification problems.
Xinyan Gao +6 more
doaj +1 more source
Contract agreements via logic [PDF]
, 2013 We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability in ...
Bartoletti, Massimo +3 more
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background L‐asparaginase is a critical component in treatment protocols for pediatric acute lymphoblastic leukemia. Acute pancreatitis reactions can necessitate delays and, in some cases, discontinuation of L‐asparaginase, which compromises outcomes.
Edward J. Raack +39 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
Language and tool support for event refinement structures in Event-B
, 2015 Event-B is a formal method for modelling and verifying the consistency of chains of model refinements. The event refinement structure (ERS) approach augments Event-B with a graphical notation which is capable of explicit representation of control flows ...
Butler, Michael +2 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Malignant rhabdoid tumor of the kidney (MRTK) is a rare, aggressive tumor seen in young children. The optimal timing of resection for locally advanced tumors is not well‐defined. The purpose of this study is to evaluate modern oncologic outcomes and the impact of surgical timing. Methods A multicenter retrospective review was performed
Hannah N. Rinehardt +76 more
wiley +1 more source
Dynamic Causality in Event Structures [PDF]
Logical Methods in Computer Science, 2015 Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e., they cannot change during a system run. Thus, the common ESs only model a static view on systems. We make causality dynamic by allowing causal
Arbach, Youssef +3 more
openaire +7 more sources
MYCN Amplification in RB1‐Inactivated Retinoblastoma: Association With High‐Risk Features
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background MYCN amplification occurs in a subset of retinoblastoma cases, both with and without RB1 inactivation. It has been suggested that retinoblastomas with MYCN amplification represent a distinct entity with more aggressive clinical behavior.
Kyriaki Papaioannou +9 more
wiley +1 more source