Results 91 to 100 of about 1,414,439 (309)

Belief game: Verifying smart contract functionality in player dynamic interactions

Engineering Science and Technology, an International Journal
Smart contracts, being security-critical code, facilitate consensus among players and ensure secure and accurate value transfer, and formal verification is necessary to guarantee functional correctness of contracts. Game theory serves as one of the tools
Xu Liu, Junwu Zhu
doaj   +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

Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models

IEEE Access, 2020
In the last decade, smart contract security issues lead to tremendous losses, which has attracted increasing public attention both in industry and in academia.
Peng Qian, Zhenguang Liu, Qinming He, Roger Zimmermann, Xun Wang   +4 more
doaj   +1 more source

Spatially Tailorable Liquid Crystalline Elastomer Alignment During Digital Light Process 3D Printing

Advanced Functional Materials, EarlyView.
Here, we report the fabrication of 3D printable liquid crystalline elastomer (LCE) structures with spatially tailorable alignment domains within the same layer. This work addresses the long‐standing challenge of preparing complex 3D LCE architectures with patterned functional domains to achieve nonlinear deformations. Fabrication of multi‐domains in 3D
Adam Bischoff, Saman Jamshididana, Zach Miller, Kassandra Hernandez, Nicolas Gonsalves, Andre Olarra, Elliot Yoo, Jeremy A. Herman, Devin J. Roach   +8 more
wiley   +1 more source

A TECHNICAL REVIEW ON SMART CONTRACT PLATFORMS, LANGUAGES AND APPLICATIONS IN BLOCKCHAIN [PDF]

Proceedings on Engineering Sciences
Blockchain is the technology which greatly attracted the industries as well as the academics of the educational system because of its variety of applications and innovations around the globe.
Gopal Krishan Prajapat , Shekhawat Pradeep , Dharmendra Yadav   +2 more
doaj   +1 more source

Encoding Magnetic Anisotropies in Digital Light Processing 3D Printing

Advanced Functional Materials, EarlyView.
A hybrid magnetic device—combining a coaxial coil within a nested Halbach array—is presented, integrated into a DLP 3D printer to enable spatially resolved magnetic field control. This system enables complex, multimodal responses by programming liquid crystal elastomer resins for magnetic and thermal actuation, and by inducing electrically conductive ...
Eléonore Aïdonidis, Andrea Cosola, Pierre Bourdon, Hichem Dammak, Marco Sangermano, Frédéric Demoly, Marco Faustini, Amélie Pérot, Didier Lairez, Rakine Mouhoubi, Sébastien Blanquer, Giancarlo Rizza   +11 more
wiley   +1 more source

Frontier Advances of Emerging High‐Entropy Anodes in Alkali Metal‐Ion Batteries

Advanced Functional Materials, EarlyView.
Recent advances in microscopic morphology control of high‐entropy anode materials for alkali metal‐ion batteries. Abstract With the growing demand for sustainable energy, portable energy storage systems have become increasingly critical. Among them, the development of rechargeable batteries is primarily driven by breakthroughs in electrode materials ...
Liang Du, Kaidi Zhang, Liang Wang, Di Zhao, Mengqing Hu, Mingli Li, Ming Zhou, Zhenzhen Wu, Mengyang Dong, Bo Fu, Porun Liu, Yun Wang, Hongxia Wang, Yuantong Gu, Lei Zhang   +14 more
wiley   +1 more source

Two‐Way Shape Memory Alloy and Polymer Composite Hybrid Smart Actuator With High Speed, Accuracy, and Reversible Deformation

Advanced Functional Materials, EarlyView.
Tailored thermo‐mechanical properties of shape memory polymer composites enable large reversible deformation as well as high actuation speed. Moreover, a structural design with curvature in the transverse direction achieves sub‐second actuation on heating and a larger recovery ratio on cooling. Finally, these newly developed smart two‐way actuators can
Dajeong Kang, Seong Yeon Park, Yitro Samuel Aditya, Ha Eun Lee, Wonvin Kim, Sangyoon Bae, Seong Su Kim   +6 more
wiley   +1 more source

Novel Functional Materials via 3D Printing by Vat Photopolymerization

Advanced Functional Materials, EarlyView.
This Perspective systematically analyzes strategies for incorporating functionalities into 3D‐printed materials via Vat Photopolymerization (VP). It explores the spectrum of achievable functionalities in recently reported novel materials—such as conductive, energy‐storing, biodegradable, stimuli‐responsive, self‐healing, shape‐memory, biomaterials, and
Sergey S. Nechausov, Patrick Fesser, Boris A. Bulgakov, Ulrich S. Schubert   +3 more
wiley   +1 more source

A Human Kidney Tubuloid Model of Repeated Cisplatin‐Induced Cellular Senescence and Fibrosis for Drug Screening

Advanced Healthcare Materials, EarlyView.
Replicating aging and senescence‐related pathophysiological responses in kidney organoids remains a significant challenge. Human adult renal tubular organoid, tubuloids, are successfully developed recapitulating cellular senescence that is the central pathophysiological mechanism of chronic kidney disease (CKD).
Yuki Nakao, Makiko Mori, Yuta Sekiguchi, Iori Morita, Ryota Shindoh, Shintaro Mandai, Tamami Fujiki, Hiroaki Kikuchi, Fumiaki Ando, Koichiro Susa, Takayasu Mori, Ayumi Suzuki, Yuji Nashimoto, Hirokazu Kaji, Yuma Waseda, Soichiro Yoshida, Yasuhisa Fujii, Eisei Sohara, Shinichi Uchida, Kensuke Miyake, Yutaro Mori   +20 more
wiley   +1 more source