Results 31 to 40 of about 61,255 (268)
Model Checking For Fault Explanation [PDF]
Proceedings of the 45th IEEE Conference on Decision and Control, 2006 Model checking is very effective at finding out even subtle faults in system designs. A counterexample is usually generated by model checking algorithms when a system does not satisfy the given specification. However, a counterexample is not always helpful in explaining and isolating faults in a system when the counterexample is very long, which is ...
Shengbing Jiang +2 more
openaire +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi +5 more
wiley +1 more source
Study of Data-driven Self-adaptive Fault-tolerant Technology [PDF]
Jisuanji gongcheng, 2018 Establishing a hierarchical failure model based on system fault data helps to optimize checkpoints,and improves system availability,and addresses the reliability challenges of future Exascale computing.Taking Sunway TaihuLight as the research subject,the
LIU Ruitao,CHEN Zuoning
doaj +1 more source
Sensors, 2023 To improve the accuracy of shallow neural networks in processing complex signals and cable fault diagnosis, and to overcome the shortage of manual dependency and cable fault feature extraction, a deep learning method is introduced, and a time−frequency ...
Qingzhu Wan +4 more
doaj +1 more source
Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley +1 more source
Container cascade fault detection based on spatial–temporal correlation in cloud environment
Journal of Cloud Computing: Advances, Systems and Applications, 2023 Containers are light, numerous, and interdependent, which are prone to cascading fault, increasing the probability of fault and the difficulty of detection.
Ningjiang Chen +5 more
doaj +1 more source
Applied Sciences, 2021 Safety is the most important aspect of railway transportation. To ensure the safety of high-speed trains, various train components are equipped with sensor devices for real-time monitoring.
Kunlin Zhang +5 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Patients requiring long‐term continuous renal replacement therapy (CRRT) generally have poor prognoses. This study evaluated whether adding continuous intravenous sodium infusion (cIVNa) is associated with improved hemodynamics and outcomes in patients undergoing long‐term CRRT for ≥ 7 days.
Akinori Yamaguchi +6 more
wiley +1 more source
工程科学与技术, 2016 :In order to achieve the parameter identification and reduce the diagnosis cost of analog circuit, Unlike the methods based on digital signal processing (DSP) or artificial intelligence, a new method based on matrix perturbation theory for analog circuit
zhouqizhong
doaj
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source