Results 81 to 90 of about 15,719 (288)
Advanced Materials Technologies, EarlyView.We introduce an additively manufactured bioreactor with a perfusion flow system and integrated temperature and pH sensors for skeletal muscle tissue biofabrication. The bioreactor's performance was evaluated by assessing the viability, spreading of the myoblast cells in a printed scaffold, and contraction of the isolated murine musculi interossei ...
Lys Sprenger +9 more
wiley +1 more source
Efficient Zero-Knowledge Proofs and Applications [PDF]
, 2014 Zero-knowledge proofs provide a means for a prover to convince a verifier that some claim is true and nothing more. The ability to prove statements while conveying zero information beyond their veracity has profound implications for cryptography and ...
Henry, Ryan
core
Enhancing Small Molecule Sensing With Aptameric Functionalized Nano Devices
Advanced Materials Technologies, EarlyView.Unveiling an ultra‐sensitive, non‐invasive neurotransmitter sensor. For the first time, a nanoscale sensor for detecting an important neurotransmitter was demonstrated using micro‐electromechanical systems (MEMS) technology. Our approach utilized field‐effect transistor (FET)‐based readout to enable pico‐molar detection of biomarkers in sweat.
Thi Thanh Ha Nguyen +11 more
wiley +1 more source
Bio-Rollup: a new privacy protection solution for biometrics based on two-layer scalability-focused blockchain [PDF]
PeerJ Computer ScienceThe increased use of artificial intelligence generated content (AIGC) among vast user populations has heightened the risk of private data leaks. Effective auditing and regulation remain challenging, further compounding the risks associated with the leaks
Jian Yun +3 more
doaj +2 more sources
Hard‐Magnetic Soft Millirobots in Underactuated Systems
Advanced Robotics Research, EarlyView.This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang +4 more
wiley +1 more source
Zero-Knowledge Sets with Short Proofs [PDF]
, 2008 Zero Knowledge Sets, introduced by Micali, Rabin and Kilian in [17], allow a prover to commit to a secret set S in a way such that it can later prove, non interactively, statements of the form x ∈ S (or x ∉ S), without revealing any further information (on top of what explicitly revealed by the inclusion/exclusion statements above) on S, not even its ...
CATALANO, Dario +2 more
openaire +2 more sources
Zero-Knowledge Multi-Prover Interactive Proofs [PDF]
, 2013 Single-prover interactive proofs can recognize PSPACE; if certain complexity assumptions are made, they can do so in zero-knowledge. Generalizing to multiple non-communicating provers extends this class to NEXP, and at the same time removes the ...
Yang, Nan
core
Deriving Safety Cases from Automatically Constructed Proofs
, 2009 Formal proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because the formalism in which they are constructed and ...
Fischer, Bernd +5 more
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
A physical zero-knowledge object-comparison system for nuclear warhead verification
Nature Communications, 2016 Zero-knowledge proofs can be used to prove that a statement is true without revealing why it is. Here the authors demonstrate a non-electronic fast neutron radiography technique to confirm that two objects are identical without revealing any details ...
Sébastien Philippe +3 more
doaj +1 more source