Results 51 to 60 of about 441,498 (266)
Enhanced Security and Efficiency in Blockchain With Aggregated Zero-Knowledge Proof Mechanisms
Blockchain technology has emerged as a revolutionary tool in ensuring data integrity and security in digital transactions. However, the current approaches to data verification in blockchain systems, particularly in Ethereum, face challenges in terms of ...
Oleksandr Kuznetsov +5 more
doaj +1 more source
ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita +5 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
Verification of Concurrent Design Patterns with Data [PDF]
We provide a solution for the design of safe concurrent systems by compositional application of verified design patterns-called ar-chitectures-to a small set of functional components. To this end, we extend the theory of architectures developed previously for the BIP framework with the elements necessary for handling data: definition and operations on ...
Bliudze, Simon +2 more
openaire +2 more sources
Early Impact of Childhood Opportunity on Neurocognitive Outcomes in Sickle Cell Disease
ABSTRACT Introduction Neurocognitive impairment is a well‐recognized complication of sickle cell disease (SCD) that begins early in childhood and persists across development. While cerebrovascular injury contributes substantially to risk, neurocognitive deficits are also observed in children without overt or silent cerebral infarctions, suggesting ...
Julia E. LaMotte +5 more
wiley +1 more source
Analyzing Disease and Pest Dynamics in Steppe Crop Using Structured Data
In this study, an analysis of the spectral brightness coefficients (SBC) of agricultural crops in the steppe regions of Kazakhstan was carried out using remote field and space measurements during the growing season.
Jamalbek Tussupov +6 more
doaj +1 more source
ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek +14 more
wiley +1 more source
Distant verification of the autonomous agent’s parameters in the dialog mode is a difficult multi-parametric task if the large-scale scene of action is characterized by a large number of collaborative and rival robots.
Alexey Bykovsky
doaj +1 more source
ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens +4 more
wiley +1 more source
Blockchain Based Data Integrity Verification for Large-Scale IoT Data
Achieving data integrity verification for large-scale IoT data in cloud storage safely and efficiently has become one of the hot topics with further applications of Internet of Things.
Haiyan Wang, Jiawei Zhang
doaj +1 more source

