Results 31 to 40 of about 192,432 (282)
Measurement-only verifiable blind quantum computing with quantum input verification
, 2016 Verifiable blind quantum computing is a secure delegated quantum computing where a client with a limited quantum technology delegates her quantum computing to a server who has a universal quantum computer.
Morimae, Tomoyuki
core +1 more source
Federify: A Verifiable Federated Learning Scheme Based on zkSNARKs and Blockchain
IEEE AccessFederated learning (FL) has emerged as an alternative to traditional machine learning in scenarios where training data is sensitive. In federated learning, training is held at end devices, and thus data does not need to leave users’ devices ...
Ghazaleh Keshavarzkalhori +4 more
doaj +1 more source
Dining Cryptographers with 0.924 Verifiable Collision Resolution [PDF]
, 2014 The dining cryptographers protocol implements a multiple access channel in which senders and recipients are anonymous. A problem is that a malicious participant can disrupt communication by deliberately creating collisions.
Franck, Christian
core +4 more sources
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
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
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2011 The formal verification of programs has progressed tremendously in the last decade. In this talk, I review some of the obstacles that [6, 8, 15, 18] remain to be lifted before source-level verification tools can be taken really seriously in the critical software industry.
openaire +1 more source
Non-concave utility maximisation on the positive real axis in discrete time [PDF]
, 2015 We treat a discrete-time asset allocation problem in an arbitrage-free, generically incomplete financial market, where the investor has a possibly non-concave utility function and wealth is restricted to remain non-negative.
Carassus, Laurence +2 more
core +2 more sources
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
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
Stochastic Equicontinuity in Nonlinear Time Series Models [PDF]
, 2013 In this paper I provide simple and easily verifiable conditions under which a strong form of stochastic equicontinuity holds in a wide variety of modern time series models.
Andreas Hagemann +12 more
core +1 more source