Results 61 to 70 of about 828,996 (313)
MasudulHasan/Probabilistic-Integrity-Verification: Probabilistic-Integrity-Verification
, 2020 Repository for Probabilistic Integrity Verification ...
Masudul Hasan
core +1 more source
Procedia CIRP, 2016 Increased competition in the aerospace market has placed additional demands on aerospace manufacturers to reduce costs, increase product flexibility and improve manufacturing efficiency. There is a knowledge gap within the sphere of digital to physical dimensional verification and on how to successfully achieve dimensional specifications within real ...
Francis, Andrew +3 more
openaire +2 more sources
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
ACM SIGMETRICS Performance Evaluation Review, 2005 Some twentyfive years ago, the field of computer-communication system performance evaluation and the field of formal specification and verification were regarded as completely disjunct. The former field focussed on the quantitative aspects of system behaviour, expressed in measures such as delays, throughputs and loss probabilities ...
Boudewijn R. Haverkort +1 more
openaire +1 more source
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
The African Nuclear-Weapon-Free Zone Treaty: A Reflection on the Role of Activism
The ThinkerIt took 45 years between when the First Ordinary Session of the then Organisation of African Unity (OAU) [now the African Union] declared Africa a denuclearized zone in July 1964 and when the African Nuclear-Weapon-Free Zone Treaty (Treaty of Pelindaba)
Noël Stott
doaj +1 more source
Verification by Abstraction [PDF]
, 2003 Verification seeks to prove or refute putative properties of a given program. Deductive verification is carried out by constructing a proof that the program satisfies its specification, whereas model checking uses state exploration to find computations where the property fails.
openaire +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Quality Inspection and Problem Analysis of Satellite Image Data in Land Use Survey [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesIn order to improve the data quality of land use remote sensing monitoring images, this article introduces the process of generating satellite image data, elaborates on the content of satellite image data verification in land use remote sensing ...
S. Dong +9 more
doaj +1 more source
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source