Verifying functional properties of smart contracts using symbolic model-checking [PDF]
, 2018 Evgeniy Shishkin
openalex +1 more source
Toward Wireless Implantable Robotic Systems Driven by Magnetic Field for Personalized Therapy
Advanced Robotics Research, EarlyView.Robotic materials are playing an increasingly vital role in enabling sensing and actuation at small scales. This perspective highlights recent advances in magnetic materials and magnetically actuated devices for wireless sensing, actuation, and energy harvesting toward implantable robotic systems for closed‐loop therapy.
Yusheng Wang, Ruijian Ge, Xiaoguang Dong
wiley +1 more source
Ethical AI in Healthcare: Integrating Zero-Knowledge Proofs and Smart Contracts for Transparent Data Governance. [PDF]
Bioengineering (Basel)Ezz M, Alaerjan AS, Mostafa AM.
europepmc +1 more source
SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions [PDF]
, 2019 Pengcheng Zhang, Feng Xiao, Xiapu Luo
openalex +1 more source
Advanced Robotics Research, EarlyView.To address challenges in high‐throughput intestinal sampling with sealed containment and target drug delivery, we developed a dual‐functional ingestible passive capsule with a dual‐triggered control system based on pH‐response and mechanical actuation.
Libing Huang +9 more
wiley +1 more source
A blockchain framework using proof of authority and smart contracts for ethical and secure healthcare asset management. [PDF]
Front Public HealthShaikh MF +4 more
europepmc +1 more source
Soft Actuators Integrated with Control and Power Units: Approaching Wireless Autonomous Soft Robots
Advanced Robotics Research, EarlyView.Soft robots exhibit significant development potential in various applications. However, there are still key technical challenges regarding material improvement, structure design and components integration. This review focuses on the development and challenge of soft actuators, power components, and control components in untethered intelligent soft ...
Renwu Shi, Feifei Pan, Xiaobin Ji
wiley +1 more source
Smart traceable framework for transportation of transplantable organs using IPFS, iot, and smart contracts. [PDF]
Sci RepBawa G +4 more
europepmc +1 more source
SRE_BBC: A Self-Adaptive Security Enabled Requirements Engineering Approach for SLA Smart Contracts in Blockchain-Based Cloud Systems. [PDF]
Sensors (Basel), 2022 Singh I, Lee SW.
europepmc +1 more source