Results 101 to 110 of about 54,744 (297)
A blockchain-based trust management framework with verifiable interactions
, 2021 A blockchain-based trust management framework with verifiable ...
M Hitchens (15413186) +3 more
core
Journal of Symbolic Computation, 1987 This paper describes a new procedure, based on string rewriting rules, for verifying that a finitely presented group G is nilpotent. If G is not nilpotent, the procedure may not terminate. A preliminary computer implementation of the procedure has been used to prove a theorem about minimal presentations of free nilpotent groups of class 3.
openaire +2 more sources
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Publicly Verifiable Secret Sharing
, 1996 A secret sharing scheme allows to share a secret among several participants such that only certain groups of them can recover it. Verifiable secret sharing has been proposed to achieve security against cheating participants. Its first realization had the
Markus Stadler
core
Verifiable data streaming [PDF]
, 2012 In a {verifiable data streaming} protocol, the client streams a long string to the server who stores it in its database. The stream is verifiable in the sense that the server can neither change the order of the elements nor manipulate them.
Schröder, Dominique +4 more
core +1 more source
Blockchain-based and verifiable multidimensional data aggregation and sharing scheme for smart grid
Tongxin xuebaoAiming at the problem that how to support lightweight multi-dimensional data aggregation, achieve double-end integrity verification of multi-dimensional data in the overall process of the system, and deal with the centralization of cloud servers, a ...
Jianwei CHEN +3 more
doaj
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
CCA-secure verifiable Mix-Net protocol
Tongxin xuebao, 2015 A CCA-secure verifiable Mix-Net protocol with provable security was proposed.The protocol was based on Wikström’s Mix-Net and improves its security by introducing an improved key generation algorithm and a new method for constructing proof of secret ...
Long-hai LI +3 more
doaj +2 more sources
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Equivocally Verifiable Encryptions and Its Applications
, 1997 In this paper we introduce the new notion of "equivocally verifiable encryptions (EVE)", with which one can prove indirectly that a trusted third party has a certain future-ability, (for example, assure Judge can trace the suspicious ...
Sangjoon Parkz +5 more
core