Results 1 to 10 of about 3,255,827 (300)

POET (v0.1): speedup of many-core parallel reactive transport simulations with fast DHT lookups [PDF]

open access: yesGeoscientific Model Development, 2021
Coupled reactive transport simulations are extremely demanding in terms of required computational power, which hampers their application and leads to coarsened and oversimplified domains.
M. De Lucia   +6 more
doaj   +1 more source

Determination of Cycle to Cycle Battery Cell Degradation with High-Precision Measurements

open access: yesApplied Sciences, 2022
Due to the long life of lithium ion cells, it is difficult to measure their low capacity degradation from cycle to cycle. In order to accelerate the measurements, cells are often exposed to extreme stress conditions, which usually means elevated ...
Daniel Schürholz   +3 more
doaj   +1 more source

A Model-Based Analysis of Capacitive Flow Metering for Pneumatic Conveying Systems: A Comparison between Calibration-Based and Tomographic Approaches

open access: yesSensors, 2022
Pneumatic conveying is a standard transportation technique for bulk materials in various industrial fields. Flow metering is crucial for the efficient and reliable operation of such systems and for process control.
Thomas Suppan   +4 more
doaj   +1 more source

Analysis and Evaluation of Information Redundancy Mitigation for V2X Collective Perception

open access: yesIEEE Access, 2022
Sensor data sharing enables vehicles to exchange locally perceived sensor data among each other and with the roadside infrastructure to increase their environmental awareness.
Quentin Delooz   +6 more
doaj   +1 more source

Investigating Impacts of Telemedicine on Emergency Department Through Decreasing Non-Urgent Patients in Spain

open access: yesIEEE Access, 2020
In this paper, a new method is presented to study the impacts of telemedicine on the performance of an emergency department in Spain. Spain's Demographics indicate that this country is experiencing population aging, resulting in overcrowding of emergency
Elham Shojaei   +4 more
doaj   +1 more source

Operating System Verification [PDF]

open access: yesJournal of Automated Reasoning, 2009
When one is interested in assuring the safety, security, or functional correctness of a computing system, the formal verification of its operating system (OS) is one of the obvious places to start. The operating system has privileged access to hardware and is therefore able to undermine any assurance that might have been derived independently for other
Gerwin Klein   +2 more
openaire   +1 more source

The serverkernel operating system [PDF]

open access: yesProceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking, 2020
With the idea of exploiting all the computational resources that an IoT environment with multiple interconnected devices offers, serverkernel is presented as a new operating system architecture that blends ideas from distributed operating systems, Unikernel, and LWK.
Jon Larrea, Antonio Barbalace
openaire   +1 more source

IaaS Cloud as a virtual environment for experimentation in checkpoint analysis

open access: yesJournal of Computer Science and Technology, 2019
Cloud Computing offers the possibility of computing resources, allowing remote access to software, storage and data processing through the Internet.
Betzabeth León   +4 more
doaj   +1 more source

An Intelligent Scheduling of Non-Critical Patients Admission for Emergency Department

open access: yesIEEE Access, 2020
The combination of the progressive growth of an aging population, increased life expectancy and a greater number of chronic diseases all contribute significantly to the growing demand for emergency medical care, and thus, causing saturation in Emergency ...
Eva Bruballa   +3 more
doaj   +1 more source

Home - About - Disclaimer - Privacy