Results 41 to 50 of about 14,914,060 (244)
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2018 [PDF]
, 2018 October 30 – November 2, 2018 in Austin, Texas, USATable of Contents: INVITED PAPERS -- Formal Verification of Deep Neural Networks / by Nina Narodytska (p. 1) -- Formal Verification of Unsatisfiability Results / by Marijn Heule (p.
Formal Methods in Computer Aided Design
core
The Age-of-Information Distribution in Slotted ALOHA
IEEE AccessAge-of-Information (AoI) is a new performance metric for critical networked cyber-physical systems (CPS), where performance depends on how quickly fresh data is received in update packets.
Dieter Fiems, Alexey Vinel
doaj +1 more source
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?
IEEE Access, 2023 Formal method tools are used in the initial stages of the software development cycle and have advanced to deal with the design difficulties related to ensuring strong cybersecurity and reliability in high-assurance systems.
Mina Soltani Siapoush, Jim Alves-Foss
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Numerous international studies have reported declines in new cancer diagnoses, delayed diagnoses and disruptions in cancer treatment following the implementation of COVID‐19 pandemic public health measures, raising concerns that these effects may ultimately contribute to increased cancer mortality.
Friederike Erdmann +8 more
wiley +1 more source
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019 [PDF]
, 2019 Table of Contents: Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties / by Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier (p.
Formal Methods in Computer Aided Design
core
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola +4 more
wiley +1 more source
Scientific ReportsThe rapid growth of the global economy and rising energy costs have underscored the need for efficient energy utilization across various sectors. To address this, we developed a novel data-informed digital shadow framework, enhancing energy management ...
Behrouz Adibimanesh +4 more
doaj +1 more source
Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesThe FAO WaPOR (Water Productivity Open Access Portal) is a significant initiative developed by the Food and Agriculture Organization of the United Nations (FAO). It provides extensive datasets derived from remote sensing, specifically aimed at monitoring
A. Dhonthi +5 more
doaj +1 more source
IEEE Access, 2021 Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their potential ...
Mohamed Abdelghany, Sofiene Tahar
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source