Results 31 to 40 of about 1,559,860 (292)
GPUVerify: A Verifier for GPU Kernels [PDF]
, 2012 We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in mainstream ker-nel programming languages such as OpenCL and CUDA.
Adam Betts +13 more
core +2 more sources
The verification of ethnographic data [PDF]
Ethnography, 2017 Anthropologists are increasingly required to account for the data on which they base their interpretations and to make it available for public scrutiny and re-analysis. While this may seem straightforward (why not place our data in online repositories?), it is not.
openaire +3 more sources
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2012 This paper describes a semi-automatic system for road verification based on high resolution imagery and 3D surface models. Potential update regions are identified by an object-wise verification of all existing database records.
M. Ziems +3 more
doaj +1 more source
Do Metals Increase or Decrease Nitrous Oxide Emissions and Maize Yields from Upland Soils?
Agriculture, 2022 Metals, including copper (Cu), iron (Fe), and zinc (Zn), are associated with nitrous oxide (N2O) production processes, such as nitrification and denitrification.
Ye Lim Park +4 more
doaj +1 more source
ADVANCED SYSTEMS FOR RELIABLE STORAGE OF BIOMEDICAL INFORMATION
Автоматизация технологических и бизнес-процессов. This article examines state-of-the-art systems and emerging technologies designed to ensure the reliable, long-term, and secure storage of biomedical information, especially in the context of the rapidly growing volume of healthcare-related data.
H. Hristov, P. Batalov
doaj +1 more source
ACM SIGPLAN Notices, 2014 Geographically distributed systems often rely on replicated eventually consistent data stores to achieve availability and performance. To resolve conflicting updates at different replicas, researchers and practitioners have proposed specialized consistency protocols, called replicated data types, that implement objects such as registers, counters, sets
Burckhardt, Sebastian +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Primary lung carcinomas and bronchial carcinoid tumors (BC) are very rare malignancies in childhood. While typical BC and mucoepidermoid carcinomas are mostly low‐grade, localized tumors with a more favorable prognosis than in adults, necessitating avoidance of overtreatment, adenocarcinomas of the lung are often diagnosed at advanced disease ...
Michael Abele +19 more
wiley +1 more source
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 +23 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Parents of children treated for acute lymphoblastic leukemia (ALL) often experience significant caregiver burden and disruption to their well‐being. While parent quality of life (QoL) during treatment is well characterized, little is known about outcomes during early survivorship.
Sara Dal Pra +3 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT A second allogeneic (allo‐)hematopoietic stem cell transplantation (HSCT2) is a potential curative option for pediatric patients with acute lymphoblastic leukemia (ALL) following relapse after first allogeneic transplantation (HSCT1), but its efficacy is limited by high relapse rates and transplant‐related toxicity in highly pretreated ...
Ava Momm +10 more
wiley +1 more source