Results 51 to 60 of about 19,667 (260)

Programmable Soft Actuator with Multi‐Responsiveness Based on Conductive MOF‐Liquid Crystal Polymer Composite

open access: yesAdvanced Functional Materials, EarlyView.
A sequential dual‐alignment strategy independently programs the orientation of conductive metal‐organic framework (c‐MOF) microrods and liquid crystals within a composite film. This approach creates an asymmetric bilayer structure that enables precise, multi‐responsive actuation.
Taegyun Hong   +5 more
wiley   +1 more source

A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

open access: yesIEEE Access, 2021
Blockchain- and smart-contract technology enhance the effectiveness and automation of business processes. The rising interest in the development of decentralized autonomous organizations (DAO) shows that blockchain technology has the potential to reform ...
Vimal Dwivedi   +5 more
doaj   +1 more source

Genetically Programmed Shape‐Morphing of Engineered Living Materials

open access: yesAdvanced Functional Materials, EarlyView.
Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker   +7 more
wiley   +1 more source

Auditing with Smart Contracts

open access: yesThe International Journal of Digital Accounting Research, 2018
Los contratos inteligentes que usan el blockchain están emergiendo como una fuerza disruptiva que pude cambiar la manera en que se llevan a cabo y se entregan las auditorías de estados financieros. Con su habilidad potencial de ejecutar procedimientos de auditoría para el auditor de forma autónoma y divulgar los resultados de estos procedimientos, los ...
Rozairo, Andrea M., Vasarhely, Miklos A.
openaire   +2 more sources

Smart Contract Interactions in Coq [PDF]

open access: yes, 2020
We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire   +4 more sources

Out‐of‐Plane Strain‐Decoupled Architecture for High‐Fill‐Factor Stretchable OLED Displays

open access: yesAdvanced Functional Materials, EarlyView.
A vertically decoupled multilayer SOLED architecture separates emissive pixel islands from deformable interconnects, allowing low‐modulus elastomeric layers to accommodate applied strain and suppress strain transfer to the OLED region. This design, combined with transparent hybrid encapsulation, enables a high fill factor (∼75%), stretchability ...
Young Hyun Son   +2 more
wiley   +1 more source

Smart Contract Security: A Software Lifecycle Perspective

open access: yesIEEE Access, 2019
Smart contract security is an emerging research area that deals with security issues arising from the execution of smart contracts in a blockchain system. Generally, a smart contract is a piece of executable code that automatically runs on the blockchain
Yongfeng Huang   +4 more
doaj   +1 more source

Biodegradable 3D‐Printable and Coatable Antifouling Composites for Marine Applications

open access: yesAdvanced Functional Materials, EarlyView.
Marine biofouling damages submerged surfaces and raises greenhouse gas emissions. Biodegradable antifouling biocomposites were developed by hot‐mixing beeswax, Tween 80, and calcium stearate or stearic acid. Adjusting the component ratio enables processing via hot‐pressing, 3D‐printing, or dip‐coating.
Gabriele Corigliano   +17 more
wiley   +1 more source

Invited Demand Response Mechanism Based on Smart Contract

open access: yesZhejiang dianli, 2022
Demand response is an important way to balance the power supply and demand, and to wake up user-side resources. In view of data trust, privacy protection, transaction efficiency and other issues of current demand response business, a solution based on ...
LI Lei   +6 more
doaj   +1 more source

The Smart Contract Model

open access: yesCoRR
Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the similarities and the differences between classical and blockchain-based models of distributed computing.
Yackolley Amoussou-Guenou   +4 more
openaire   +3 more sources

Home - About - Disclaimer - Privacy