Results 21 to 30 of about 2,861,627 (269)

Decidable logics combining heap structures and data

, 2011
We define a new logic, STRAND, that allows reasoning with heap-manipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) formulas express constraints involving heap structures and the data they contain;
Qiu, Xiaokang, Parlato, Gennaro, Xiaokang Qiu, Madhusudan, P., P. Madhusudan, Gennaro Parlato   +5 more
core   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Lock-free Data Structures for Data Stream Processing

, 2019
The ever-growing amounts of data in the digital world require more and more computing power to meet the requirements. Especially in the area of social media, sensor data processing or Internet of Things, the data need to be handled on the fly during its ...
Baumstark, Alexander
core   +1 more source

Experimental data from ice basin tests with vertically sided cylindrical structures

, 2022
Publisher Copyright: © 2022Basin tests were performed at the Aalto Ice Tank to gather data on ice-structure action and interaction from ice failing against a vertically sided cylindrical pile.
van den Berg, M.A. (author), Hendrikse, H. (author), van den Berg, M.A., Hammer, T.C. (author), Ebben, Nick J.J. (author), Hammer, Tim C., Hendrikse, Hayo, Owen, C.C. (author), van den Berg, Marnix, van Beek, Kees, van Beek, C. (author), Puolakka, Otto (author), Owen, C.C., Puolakka, Otto, Polojärvi, Arttu, Polojärvi, Arttu (author), Ebben, Nick J.J., Willems, Tom (author), Hendrikse, H., Willems, Tom, Owen, Cody C., Hammer, T.C., van Beek, C.   +22 more
core   +1 more source

Venous Thromboembolism in Pediatric Bone Sarcoma Patients: A 10‐Year, Single‐Institution Experience Encompassing the COVID‐19 Pandemic

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa, Shou Xu, Mark Zobeck, Sarah E. Sartain, Nino Rainusso, Lisa Wang, Nicole Montgomery, Paige Wheaton, Sarah Whittle   +8 more
wiley   +1 more source

Certificates in Data Structures [PDF]

, 2014
We study certificates in static data structures. In the cell-probe model, certificates are the cell probes which can uniquely identify the answer to the query. As a natural notion of nondeterministic cell probes, lower bounds for certificates in data structures immediately imply deterministic cell-probe lower bounds.
Yaoyu Wang, Yitong Yin
openaire   +2 more sources

Data Quality in Predictive Toxicology: Identification of Chemical Structures and Calculation of Chemical Descriptors

, 2000
Every technique for toxicity prediction and for the detection of structure–activity relationships relies on the accurate estimation and representation of chemical and toxicologic properties.
B Pfahringer, Helma, Christoph, Pfahringer, Bernhard, C Helma, S Kramer, Gottmann, E., Kramer, Stefan, Gottmann, Eva, E Gottmann   +8 more
core   +1 more source

Serological Benefit of SARS‐CoV‐2 Vaccination Relative to Infection in Children With Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with acute lymphoblastic leukemia (ALL) are at risk of severe outcomes from SARS‐CoV‐2 (SCV2). In the post‐pandemic context, where most children have been infected with SCV2, there are limited data on whether vaccination remains beneficial in children with ALL.
Janna R. Shapiro, Freda Qi, Karen Colwill, Alina D. Dorogy, Ying Liu, Michelle Science, Anne‐Claude Gingras, James M. Rini, Sumit Gupta, Sarah Alexander, Shelly Bolotin, Tania H. Watts   +11 more
wiley   +1 more source

Time Toxicity in Wilms Tumor: Quantifying the Burden of Healthcare Interaction in the First Year After Diagnosis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Wilms tumor (WT) treatment imposes a significant time burden on patients and their families. Time toxicity is a patient‐centered metric that quantifies the burden of healthcare interaction. We sought to define time toxicity in the first year after diagnosis of WT and hypothesized that it would increase as tumor stage and treatment ...
Caleb Q. Ashbrook, Veerain Gupta, Nicholas J. Clark, Vijay Rings, Lauren E. Corona, Douglass B. Clayton, Daniel J. Benedetti   +6 more
wiley   +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