Results 71 to 80 of about 641,208 (284)

FPGA Implementation of Convolutional Neural Networks with Fixed-Point Calculations

, 2018
Neural network-based methods for image processing are becoming widely used in practical applications. Modern neural networks are computationally expensive and require specialized hardware, such as graphics processing units.
Kalinin, Alexandr A., Kustov, Alexander G., Ruhlov, Vladimir S., Solovyev, Roman A., Telpukhov, Dmitry V.   +4 more
core   +1 more source

Clinical and Biological Features of Response in Resistant Neuroblastoma to 131I‐Metaiodobenzylguanidine Radiotherapy in the Anti‐GD2 Immunotherapy Era

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman, Katherine K. Matthay, Fabienne Hollinger, Catriona Black, Ann A. Lazar, Miguel Pampaloni, Steven G. DuBois, Kieuhoa T. Vo   +7 more
wiley   +1 more source

Highly accelerated simulations of glassy dynamics using GPUs: caveats on limited floating-point precision

, 2011
Modern graphics processing units (GPUs) provide impressive computing resources, which can be accessed conveniently through the CUDA programming interface.
Anderson, Block, Dekker, Felix Höfling, Flenner, Frenkel, Götze, Hansen, Harvey, Knuth, Knuth, Kob, Kob, Kob, Lippert, Liu, Mosayebi, Peter H. Colberg, Plimpton, Preis, Rapaport, Sagan, Stone, van Meel, Voelz, Weeks, Xu, Yang, Zagha   +28 more
core   +1 more source

Hammering Floating-Point Arithmetic

, 2023
AbstractSledgehammer, a component of the interactive proof assistant Isabelle/HOL, aims to increase proof automation by automatically discharging proof goals with the help of external provers. Among these provers are a group of satisfiability modulo theories (SMT) solvers with support for the SMT-LIB input language.
Olle Torstensson, Tjark Weber
openaire   +2 more sources

Hospitalization Through Families’ Eyes: Comparing Inpatient Care Quality for Children With Sickle Cell Disease and Cystic Fibrosis in Canada

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker, Kyle Kemp, Perri Tutelman, Sharon H. J. Hou, Paul Fairie, Maria Santana, Gregory M. T. Guilcher, Taryn Fay‐McClymont, Glenda Bendiak, Wendy Pelletier, Nicola Wright, Fiona Schulte   +11 more
wiley   +1 more source

Performance Analysis of a Floating Wind–Wave Power Generation Platform Based on the Frequency Domain Model

Journal of Marine Science and Engineering
Integrating wave energy converters (WECs) onto floating offshore wind turbine platforms has emerged as a recent focal point of research aiming to achieve synergistic marine energy utilization and enhance the spatial efficiency of renewable energy.
Mingsheng Chen, Jiang Deng, Yi Yang, Hao Zhou, Tao Tao, Shi Liu, Liang Sun, Lin Hua   +7 more
doaj   +1 more source

Assessing Cognitive Functioning in Children With Brain Tumors: Interaction of Neighborhood Social Determinants of Health and Neurological Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background This study investigated how neighborhood‐level social determinants of health (SDOH), including redlining and neurological risk, interact to influence cognitive outcomes in children treated for brain tumors (CTBT). Methods A retrospective chart review of 161 CTBT aged 5–17 was conducted.
Alannah R. Srsich, Manali Zope, Peter M. Fantozzi, Cassie N. Kline, Iris Paltin, Matthew C. Hocking   +5 more
wiley   +1 more source

Certifying floating-point implementations using Gappa [PDF]

, 2008
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, or that the error relative to some ideal value is well bounded.
De Dinechin, Florent, Lauter, Christoph Quirin, Melquiond, Guillaume   +2 more
core  

On Sound Relative Error Bounds for Floating-Point Arithmetic

, 2017
State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the ...
baranowski, brain, darulova, de moura, gao, goubault, graillat, magron, moore, panchekha   +9 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