Results 31 to 40 of about 6,639 (299)
ComputerDecentralized AI agent networks, such as Gaia, allows individuals to run customized LLMs on their own computers and then provide services to the public. However, in order to maintain service quality, the network must verify that individual nodes are running their designated LLMs.
Michael J. Yuan +4 more
openaire +4 more sources
A Secure and Lightweight Fine-Grained Data Sharing Scheme for Mobile Cloud Computing
Sensors, 2020 With the explosion of various mobile devices and the tremendous advancement in cloud computing technology, mobile devices have been seamlessly integrated with the premium powerful cloud computing known as an innovation paradigm named Mobile Cloud ...
Haifeng Li +5 more
doaj +1 more source
A secure method of voting and planning based on quadratic voting [PDF]
AUT Journal of Mathematics and ComputingRecently, an innovative voting method named quadratic voting ($QV$) has been proposed which allows people to vote as much as they want, according to their preferences intensity. Little research has been done on the safe implementation of this method.
Hamid Devisti, Massoud Hadian Dehkordi
doaj +1 more source
ModellingThe k-nearest- neighbor (kNN) algorithm is crucial in data mining and machine learning, yet its deployment on large-scale datasets within cloud environments presents significant security and efficiency challenges. This paper is dedicated to advancing the
Jingyi Li +3 more
doaj +1 more source
Extending the verifiability approach framework: The effect of initial questioning
, 2018 The verifiability approach (VA) is a lie‐detection tool that examines reported checkable details. Across two studies, we attempt to exploit liar's preferred strategy of repeating information by examining the effect of questioning adult interviewees ...
George Sarikas +11 more
core +1 more source
The Reality and the Verifiability of Reincarnation
Religions, 2017 We investigate the topic of reincarnation by revisiting a recent debate from the pages of the journal Philosophy East and West between Whitley Kaufman, who presents five moral objections to karma and reincarnation as an explanation for human suffering ...
Ankur Barua
doaj +1 more source
Verified Bytecode Verifiers [PDF]
, 2001 Using the theorem prover Isabelle/HOL we have formalized and proved correct an executable bytecode verifier in the style of Kildall's algorithm for a significant subset of the Java Virtual Machine. First an abstract framework for proving correctness of data flow based type inference algorithms for assembly languages is formalized.
openaire +1 more source
Training verified learners with learned verifiers
CoRR, 2018 This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train two networks: a predictor network that performs the task at hand,e.g., predicting labels given inputs, and a ...
Krishnamurthy Dvijotham +6 more
openaire +2 more sources
A Verifiable Arbitrated Quantum Signature Scheme Based on Controlled Quantum Teleportation
Entropy, 2022 In this paper, we present a verifiable arbitrated quantum signature scheme based on controlled quantum teleportation. The five-qubit entangled state functions as a quantum channel.
Dianjun Lu +3 more
doaj +1 more source
Verifying the Verifier: eBPF Range Analysis Verification
, 2023 AbstractThis paper proposes an automated method to check the correctness of range analysis used in the Linux kernel ’s eBPF verifier. We provide the specification of soundness for range analysis performed by the eBPF verifier. We automatically generate verification conditions that encode the operation of the eBPF verifier directly from the Linux kernel
Harishankar Vishwanathan +3 more
openaire +2 more sources