Results 31 to 40 of about 1,407,664 (330)
Circuit lower bounds for nondeterministic quasi-polytime: an easy witness lemma for NP and NQP
Electron. Colloquium Comput. Complex., 2018 We prove that if every problem in NP has nk-size circuits for a fixed constant k, then for every NP-verifier and every yes-instance x of length n for that verifier, the verifier’s search space has an nO(k3)-size witness circuit: a witness for x that can ...
Cody Murray, Richard Ryan Williams
semanticscholar +1 more source
State of the Art in Software Verification and Witness Validation: SV-COMP 2024
International Conference on Tools and Algorithms for Construction and Analysis of Systems. The 13th edition of the Competition on Software Verification (SV-COMP 2024) was the largest competition of its kind so far: A total of 76 tools for verification and witness validation were compared. The competition evaluated 59 verification systems and
Dirk Beyer
semanticscholar +1 more source
Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning [PDF]
IEEE Symposium on Security and Privacy, 2015 The secret keys of critical network authorities -- such as time, name, certificate, and software update services -- represent high-value targets for hackers, criminals, and spy agencies wishing to use these keys secretly to compromise other hosts.
Ewa Syta +8 more
semanticscholar +1 more source
The importance and promise of integrating Indigenous knowledges in nursing education
Witness, 2020 This paper explores the relevance of Indigenous perspectives within the nursing profession, and the importance of weaving these perspectives into nursing education.
Vanessa Van Bewer +3 more
doaj +1 more source
Witness, 2021 The US National Academy of Medicine released its consensus study for the next decade entitled The Future of Nursing 2020-2030: Charting a Path To Achieve Health Equity (National Academies of Sciences, Engineering, and Medicine, 2021). This paper examines
Patrice Nicholas +3 more
doaj +1 more source
Local Proofs Approaching the Witness Length
Electron. Colloquium Comput. Complex.Interactive oracle proofs (IOPs) are a hybrid between interactive proofs and PCPs. In an IOP, the prover is allowed to interact with a verifier (like in an interactive proof) by sending relatively long messages to the verifier, who in turn is only ...
Noga Ron-Zewi, Ron D. Rothblum
semanticscholar +1 more source
Efficient asynchronous accumulators for distributed PKI [PDF]
, 2016 Cryptographic accumulators are a tool for compact set representation and secure set membership proofs. When an element is added to a set by means of an accumulator, a membership witness is generated. This witness can later be used to prove the membership
Yakoubov, Sophia
core +2 more sources
Active Offer: Nurses’ Power and Privilege Influencing Francophone and Acadian Patient Safety
Witness, 2019 Nurses must communicate effectively with patients of a minority language to mitigate the risks of significant and costly patient safety issues. Within Canada’s predominant English healthcare delivery system, inadequate language translation during the ...
Lisa Doucet +2 more
doaj +1 more source
Witness, 2020 In recent decades scholars have begun to question the value of mental health nursing. The term has lost both conceptual and explanatory power in the modern globalized world in which multidisciplinary teams now carry out many functions once unique to the ...
Michelle Danda
doaj +1 more source
Entanglement Witness $2.0$: Compressed Entanglement Witnesses [PDF]
, 2018 An entanglement witness is an observable detecting entanglement for a subset of states. We present a framework that makes an entanglement witness twice as powerful due to the general existence of a second (lower) bound, in addition to the (upper) bound ...
J. Bae, D. Chru'sci'nski, B. Hiesmayr
semanticscholar +1 more source