Results 71 to 80 of about 6,635,632 (368)
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection [PDF]
arXiv, 2022 Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-physical systems have interaction failures, attack surfaces, and attack vectors resulting in unanticipated hazards and loss scenarios.
arxiv
Development of Smart Healthcare Monitoring System in IoT Environment
SN Computer Science, 2020 Healthcare monitoring system in hospitals and many other health centers has experienced significant growth, and portable healthcare monitoring systems with emerging technologies are becoming of great concern to many countries worldwide nowadays.
Md. Milon Islam +2 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.The number of circulating tumor cells obtained from prostate cancer patients was increased approximately 5‐fold compared to regular CellSearch when processing 2 mL diagnostic leukapheresis material aliquots and increased by 44‐fold when processing 20 mL DLA aliquots using the flow enrichment target capture Halbach‐array.
Michiel Stevens +8 more
wiley +1 more source
Molecular Oncology, EarlyView.Urine is a rich source of biomarkers for cancer detection. Tumor‐derived material is released into the bloodstream and transported to the urine. Urine can easily be collected from individuals, allowing non‐invasive cancer detection. This review discusses the rationale behind urine‐based cancer detection and its potential for cancer diagnostics ...
Birgit M. M. Wever +1 more
wiley +1 more source
An Operational Guide to Monitorability [PDF]
arXiv, 2019 Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification.
arxiv
, 2018 We study selective monitors for labelled Markov chains. Monitors observe the outputs that are generated by a Markov chain during its run, with the goal of identifying runs as correct or faulty. A monitor is selective if it skips observations in order to reduce monitoring overhead.
arxiv +1 more source
Subpar reporting of pre‐analytical variables in RNA‐focused blood plasma studies
Molecular Oncology, EarlyView.Pre‐analytical variables strongly influence the analysis of extracellular RNA (cell‐free RNA; exRNA) derived from blood plasma. Their reporting is essential to allow interpretation and replication of results. By evaluating 200 exRNA studies, we pinpoint a lack of reporting pre‐analytical variables associated with blood collection, plasma preparation ...
Céleste Van Der Schueren +16 more
wiley +1 more source
Effect of pH on Determination of Various Arsenic Species in Water by HPLC-ICP-MS
Yankuang ceshi, 2019 BACKGROUND Previous studies have focused on the effect of pH on separability, choosing an optimal pH by comparing the degree of separation in the determination of different arsenic species by high-performance liquid chromatography-inductively coupled ...
DONG Hui-jun +4 more
doaj +1 more source
A Low-overhead Kernel Object Monitoring Approach for Virtual Machine Introspection [PDF]
arXiv, 2019 Monitoring kernel object modification of virtual machine is widely used by virtual-machine-introspection-based security monitors to protect virtual machines in cloud computing, such as monitoring dentry objects to intercept file operations, etc.
arxiv
Molecular Oncology, EarlyView.Cancer‐associated fibroblasts (CAFs) promote cancer growth, invasion (metastasis), and drug resistance. Here, we identified functional and diverse circulating CAFs (cCAFs) in patients with metastatic prostate cancer (mPCa). cCAFs were found in higher numbers and were functional and diverse in mPCa patients versus healthy individuals, suggesting their ...
Richell Booijink +6 more
wiley +1 more source