Results 41 to 50 of about 546,186 (309)
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
MULTIPLE-MODEL BASED VERIFICATION OF ROAD DATA [PDF]
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
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
Validation and Verification of Data Marketplaces
This paper presents a Validation and Verification (V&V) model of Data Marketplaces. Data is extracted from the sensors embedded within the Smart city, infrastructure, or building via Application Programming Interfaces (APIs) and inserted into a Data Marketplace.
openaire +2 more sources
ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +1 more source
Do Metals Increase or Decrease Nitrous Oxide Emissions and Maize Yields from Upland Soils?
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
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 +7 more
wiley +1 more source
The paper introduces a novel approach to the verification of spatial properties for finite [pi]-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph ...
Gadducci, Fabio +5 more
core +1 more source
Integrating software testing and run-time checking in an assertion verification framework [PDF]
We have designed and implemented a framework that unifies unit testing and run-time verification (as well as static verification and static debugging). A key contribution of our approach is that a unified assertion language is used for all of these tasks.
Edison Mera +5 more
core +1 more source
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 +11 more
wiley +1 more source

