Results 31 to 40 of about 2,976 (263)
CoRR, 2021 Optimization is used extensively in engineering, industry, and finance, and various methods are used to transform problems to the point where they are amenable to solution by numerical methods. We describe progress towards developing a framework, based on the Lean interactive proof assistant, for designing and applying such reductions in reliable and ...
Alexander Bentkamp, Jeremy Avigad
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
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
Plaintext-Verifiably-Checkable Encryption and Its Extension in Dual-Server Setting
IEEE Access, 2020 Plaintext-checkable encryption (PCE), first introduced by Canard et al., allows users searching on encrypted data through plaintexts. It provides a useful primitive in the cloud computing security.
Yijian Zhong, Sha Ma, Qiong Huang
doaj +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
Health Literacy, Self‐Efficacy and Knowledge of Sickle Cell Disease Among Caregivers
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Sickle cell disease (SCD) is a hereditary blood disorder in which abnormal haemoglobin leads to severe anaemia, painful crises and organ failure. Caregivers’ health literacy (HL) – their ability to assess, understand and apply information, and interact with healthcare professionals – is crucial for managing children with SCD, yet ...
Melanie Bruinooge +6 more
wiley +1 more source
Advanced Science, EarlyView.Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su +13 more
wiley +1 more source
Advanced Science, EarlyView.A three‐tier livestock multi‐omics framework resolves four typical analytical pitfalls. Moving from statistical association through machine learning preprocessing to triple‐modal causal inference, it converts omics results into genomic selection and gene editing strategies to achieve One Health, underpinned by multi‐omics data, multimodal sequencing ...
Jiying Wen +5 more
wiley +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
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