Results 31 to 40 of about 1,549,240 (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
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 Background Pediatric patients with extracranial solid tumors (ST) receiving chemotherapy are at an increased risk for Pneumocystis jirovecii pneumonia (PJP). However, evidence guiding prophylaxis practices in this population is limited. A PJP‐related fatality at our institution highlighted inconsistent prescribing approaches and concerns about
Kriti Kumar +8 more
wiley +1 more source
Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis +9 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background While Wilms tumor (WT) typically has a favorable prognosis, relapsed cases—especially those with high‐risk histology—remain therapeutically challenging after intensive frontline therapy. The combination of vincristine and irinotecan has demonstrated activity in pediatric solid tumors, and pazopanib, a multi‐targeted tyrosine kinase ...
Maria Debora De Pasquale +6 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein +3 more
wiley +1 more source
VP_TT: A value propagation based equivalence checker for testability transformations
IET Software, 2021 Testability transformation (TT) is a source‐to‐source programme transformation that aims to improve the ability of a given test generation method to generate test data for the original programme.
Ramanuj Chouksey +2 more
doaj +1 more source