Results 111 to 120 of about 793,519 (318)
Abstraction in directed model checking [PDF]
, 2004 ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Edelkamp, Stefan +1 more
core
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
Empiricism without Magic: Transformational Abstraction in Deep Convolutional Neural Networks [PDF]
, 2018 In artificial intelligence, recent research has demonstrated the remarkable potential of Deep Convolutional Neural Networks (DCNNs), which seem to exceed state-of-the-art performance in new domains weekly, especially on the sorts of very difficult ...
Buckner, Cameron
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
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Patients with ovarian cancer often present with massive ascites, leading to significant protein loss during surgical procedures. Although cell‐free concentrated ascites reinfusion therapy (CART) is used in palliative settings to mitigate protein loss, its application in intraoperative settings remains unexplored.
Yutaka Yoneoka +7 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Secondary hyperparathyroidism (SHPT) is a common complication in patients receiving maintenance dialysis, driven by calcium and phosphate metabolism disturbances. Calcimimetics are central to the management of SHPT by enhancing calcium‐sensing receptor sensitivity and reducing parathyroid hormone secretion.
Fumihiko Koiwa +3 more
wiley +1 more source
Full abstraction for probabilistic PCF [PDF]
, 2015 We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation
Ehrhard, Thomas +2 more
core +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Adult‐onset Still's disease (AOSD) complicated by macrophage activation syndrome (MAS) carries substantial mortality. The role of therapeutic plasma exchange (TPE) remains uncertain. Methods We retrospectively analyzed patients with AOSD‐MAS treated with TPE at a single‐center.
Masataka Ueda +15 more
wiley +1 more source
Building and Refining Abstract Planning Cases by Change of Representation Language
, 1995 ion is one of the most promising approaches to improve the performance of problem solvers. In several domains abstraction by dropping sentences of a domain description -- as used in most hierarchical planners -- has proven useful.
Bergmann, R., Wilke, W.
core +2 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source