Results 61 to 70 of about 53,228 (281)
Advanced Materials, EarlyView.This article summarizes significant technological advancements in materials, photonic devices, and bio‐interfaced systems, which demonstrate successful applications for impacting human healthcare via improved therapies, advanced diagnostics, and on‐skin health monitoring.
Seunghyeb Ban +5 more
wiley +1 more source
Testing Smart Contracts Gets Smarter [PDF]
arXiv, 2019 Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockchain, no change is possible on a deployed smart contract or a verified transaction.
arxiv
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts [PDF]
arXiv, 2020 This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified.
arxiv
iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation [PDF]
arXiv, 2021 Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising solution to overcome this issue is to use Model-Driven Engineering (MDE), however, using models ...
arxiv
Advanced Materials, EarlyView.This review explores the integration of responsive materials and soft robotic actuators with implantable electronics to address key challenges in bioelectronic medicine. By enabling shape actuation, these technologies improve deployment, adaptability, and accuracy in minimally invasive procedures.
Chaoqun Dong, George G. Malliaras
wiley +1 more source
AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts [PDF]
arXiv, 2022 In the past few years, several attacks against the vulnerabilities of EOSIO smart contracts have caused severe financial losses to this prevalent blockchain platform. As a lightweight test-generation approach, grey-box fuzzing can open up the possibility of improving the security of EOSIO smart contracts. However, developing a practical grey-box fuzzer
arxiv
Cardiac Organoid Model Inspired Micro‐Robot Smart Patch to Treat Myocardial Infarction
Advanced Materials, EarlyView.The heart organoid model exhibits the acidic microenvironment characteristic of myocardial infarction, which emerges as a pivotal force propelling the movement of micro‐robots. These micro‐robots, administered through microneedles, can penetrate deep into the tissue, effectively delivering therapeutic payloads to facilitate heart repair.
Fangfang Wang +12 more
wiley +1 more source
Advanced Materials, EarlyView.Reversible protonic ceramic electrochemical cells (R‐PCECs) face challenges from sluggish and unstable oxygen reduction and evolution reactions in the air electrode. This review discusses recent progress in triple‐conducting air electrodes, emphasizing mechanisms, performance factors, and design strategies, offering guidance for creating efficient and ...
Xi Chen +8 more
wiley +1 more source
Security, Performance, and Applications of Smart Contracts: A Systematic Survey
IEEE Access, 2019 Blockchain is the promising technology of recent years, which has attracted remarkable attention in both academic studies and practical industrial applications.
Sara Rouhani, Ralph Deters
doaj +1 more source
Recent Advances in Wide‐Bandgap Perovskite Solar Cells
Advanced Materials, EarlyView.Ubiquitous defects predominately account for photo‐instability and open‐circuit voltage losses in wide‐bandgap perovskite solar cells (WBG PSCs). This review comprehensively presents the underlying impact mechanisms, summarizes the advanced optimization strategies across various functional layers and their interfaces to develop efficient and stable WBG
Jianjun Mei, Feng Yan
wiley +1 more source