Results 41 to 50 of about 37,961 (305)
Verifiable postal voting [PDF]
, 2013 peer reviewedThis proposal aims to combine the best properties of paper-based and end-to-end verifiable remote voting systems. Ballots are delivered electronically to voters, who return their votes on paper together with some cryptographic information ...
Peter Y. A. Ryan +5 more
core +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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Plausibility: A Verbal Cue to Veracity worth Examining?
European Journal of Psychology Applied to Legal Context, 2021 Truth tellers sound more plausible than lie tellers. Plausibility ratings do not require much time or cognitive resources, but a disadvantage is that it is measured subjectively on Likert scales.
Aldert Vrij +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +1 more source
When Is an Election Verifiable?
, 2017 Verifiable elections currently require voter-verifiable paper ballots, demonstrably adequate custody of those ballots, and well-designed audits of the results based on manual inspection of those ...
Ronald L. Rivest +3 more
core +1 more source
Incentivizing Verifiable Privacy-Protection Mechanisms for Offline Crowdsensing Applications
Sensors, 2017 Incentive mechanisms of crowdsensing have recently been intensively explored. Most of these mechanisms mainly focus on the standard economical goals like truthfulness and utility maximization.
Jiajun Sun, Ningzhong Liu
doaj +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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman +7 more
wiley +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