Results 41 to 50 of about 6,639 (299)
Modelling of Reliability Indicators of a Mining Plant
MathematicsThe evaluation and prediction of reliability and testability of mining machinery and equipment are crucial, as advancements in mining technology have increased the importance of ensuring the safety of both the technological process and human life.
Boris V. Malozyomov +6 more
doaj +1 more source
A Verified Runtime for a Verified Theorem Prover [PDF]
, 2011 Theorem provers, such as ACL2, HOL, Isabelle and Coq, rely on the correctness of runtime systems for programming languages like ML, OCaml or Common Lisp. These runtime systems are complex and critical to the integrity of the theorem provers. In this paper, we present a new Lisp runtime which has been formally verified and can run the Milawa theorem ...
Magnus O. Myreen, Jared Davis
openaire +1 more source
Advanced Materials, EarlyView.This review summarizes the principles and challenges of nonaqueous lithium‐oxygen batteries and recent advances in cathode catalysts, including carbon‐based materials, metals, oxides, sulfides, nitrides, carbides, and redox mediators. It highlights emerging design strategies and artificial intelligence‐driven approaches, emphasizing data‐assisted ...
Yuqing Yao +8 more
wiley +1 more source
Review and Critique of the Book “Logical Philosophy” [PDF]
پژوهشنامۀ انتقادی متون و برنامههای علوم انسانی, 2017 The logical positivism was the name of radical empiricism that was formed in Viena by the inspiration of persons like Hume, Russell, Witgenstein and others in 1920 and then entered into England by Ayer via his The language, True and Logic book.The main
Mohammad shokry
doaj
Advanced Science, EarlyView.TarPass provides a rigorous benchmark for target‐aware de novo molecular generation by jointly evaluating protein‐ligand interactions, molecular plausibility, and drug‐likeness on 18 well‐studied targets. Results show that current models often fail to consistently surpass random baseline in target‐specific enrichment, while post hoc multi‐tier virtual ...
Rui Qin +11 more
wiley +1 more source
Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers
CoRRFact verification is essential for ensuring the reliability of LLM applications. In this study, we evaluate 12 pre-trained LLMs and one specialized fact-verifier, including frontier LLMs and open-weight reasoning LLMs, using a collection of examples from 14 fact-checking benchmarks.
Wooseok Seo +8 more
openaire +2 more sources
Advanced Science, EarlyView.PhosSight is a unified deep‐learning framework for phosphoproteome identification, featured by a phosphorylation‐aware detectability predictor. It improves identification sensitivity in DDA through deep re‐localization and rescoring, accelerates DIA searches by detectability‐guided spectral library pruning, and expands phosphoproteome coverage to ...
Ben Wang +10 more
wiley +1 more source
Publicly Verifiable and Efficient Fine-Grained Data Deletion Scheme in Cloud Computing
IEEE Access, 2020 Cloud storage, one of the most attractive services offered by cloud computing, can provide users with boundless storage capacity. Thus, users can outsource their data to the cloud server for greatly saving local storage overhead.
Changsong Yang +3 more
doaj +1 more source
PVPBC: Privacy and Verifiability Preserving E-Voting Based on Permissioned Blockchain
Future Internet, 2023 Privacy and verifiability are crucial security requirements in e-voting systems and combining them is considered to be a challenge given that they seem to be contradictory.
Muntadher Sallal +2 more
doaj +1 more source
VeriFi: Towards Verifiable Federated Unlearning
IEEE Transactions on Dependable and Secure ComputingFederated learning (FL) is a collaborative learning paradigm where participants jointly train a powerful model without sharing their private data. One desirable property for FL is the implementation of the right to be forgotten (RTBF), i.e., a leaving participant has the right to request to delete its private data from the global model.
Xiangshan Gao +7 more
openaire +2 more sources