Results 61 to 70 of about 590,012 (309)

Heterogeneity in the Global Practice of Central Nervous System Staging in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) involvement in childhood acute lymphoblastic leukemia (ALL) is assessed by cell counting and cytomorphology from cerebrospinal fluid (CSF) and is used for treatment stratification worldwide. The ratio of “CNS2” patients in clinical trials ranges from 3% to 40%, with unclear prognostic significance ...
Laura Almási, Bernadett Borbála Huszti, Gábor Barna, Marko Kavcic, Janez Jazbec, Lennart Lenk, Vera Münch, Sophia Polychronopoulou, Ágnes Márk, Maria Thastrup, Lüder H. Meyer, Kjeld Schmiegelow, Cornelia Eckert, Christina Halsey, Dániel J. Erdélyi   +14 more
wiley   +1 more source

Abstract Interpretation as Automated Deduction [PDF]

Journal of Automated Reasoning, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vijay D'Silva, Caterina Urban
openaire   +2 more sources

Therapeutic Apheresis for Intravenous Methylprednisolone‐Refractory Neuromyelitis Optica Spectrum Disorder: Clinical and Radiological Outcomes in a Single‐Center Case Series

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi, Daisuke Katagiri, Takeyuki Watadani, Shunichi Matsuda, Hiroshi Kaneko, Noritoshi Arai   +5 more
wiley   +1 more source

Data dependencies and program slicing: from syntax to abstract semantics

, 2008
We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program ...
Damiano Zanardini, MASTROENI, Isabella, Isabella Mastroeni, Mastroieni, Isabella, Zanardini, Damiano   +4 more
core   +1 more source

IDC: quantitative evaluation benchmark of interpretation methods for deep text classification models

Journal of Big Data, 2022
Recent advances in deep neural networks have achieved outstanding success in natural language processing tasks. Interpretation methods that provide insight into the decision-making process of these models have received an influx of research attention ...
Mohammed Khaleel, Lei Qi, Wallapak Tavanapong, Johnny Wong, Adisak Sukul, David A. M. Peterson   +5 more
doaj   +1 more source

Sweeping in Abstract Interpretation

Electronic Notes in Theoretical Computer Science, 2012
AbstractIn this paper we present how sweeping line techniques, which are very popular in computational geometry, can be adapted for static analysis of computer software by abstract interpretation. We expose how concept of the sweeping line can be used to represent elements of a numerical abstract domain of boxes, which is a disjunctive refinement of a ...
openaire   +1 more source

Effects of the Fluid Replacement Method During Online Hemodiafiltration on the Solute Removal Performance and Biocompatibility Using the Asymmetric Cellulose Triacetate Membrane

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai, Yoshitaka Kurihara, Fumi Yamauchi, Hiromi Hosoya, Takeshi Saito   +4 more
wiley   +1 more source

Is there a semantic system for abstract words?

, 2013
Two views on the semantics of concrete words are that their core mental representations are feature-based or are reconstructions of sensory experience. We argue that neither of these approaches is capable of representing the semantics of abstract words ...
Richard P. Cooper, Shallice, T., Tim Shallice, Cooper, Richard P.   +3 more
core   +1 more source

Interpolant Tree Automata and their Application in Horn Clause Verification [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
This paper investigates the combination of abstract interpretation over the domain of convex polyhedra with interpolant tree automata, in an abstraction-refinement scheme for Horn clause verification.
Bishoksan Kafle, John P. Gallagher
doaj   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source