Results 81 to 90 of about 1,816,745 (277)

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

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

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

IEEE 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, Alex Norta, Alexander Wulf, Benjamin Leiding, Sandeep Saxena, Chibuzor Udokwu   +5 more
doaj   +1 more source

An empirical analysis of smart contracts: platforms, applications, and design patterns

, 2017
Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in many scenarios,
B Marino, D Ron, F Reid, I Bentov, K Baqer, K Delmolino, M Andrychowicz, M Möser, N Atzei, W Banasik, Y Sompolinsky   +10 more
core   +1 more source

VulnHunt-GPT: a Smart Contract vulnerabilities detector based on OpenAI chatGPT

ACM Symposium on Applied Computing
Smart contracts are self-executing programs that can run on a blockchain. Due to the fact of being immutable after their deployment on blockchain, it is crucial to ensure their correctness. For this reason, various approaches for static analysis of smart
Biagio Boi, Christian Esposito, Sokjoon Lee   +2 more
semanticscholar   +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

Smart Contract Security: A Software Lifecycle Perspective

IEEE 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, Yiyang Bian, Renpu Li, J. Leon Zhao, Peizhong Shi   +4 more
doaj   +1 more source

Smart Contract Vulnerability Detection using Graph Neural Network

International Joint Conference on Artificial Intelligence, 2020
The security problems of smart contracts have drawn extensive attention due to the enormous financial losses caused by vulnerabilities. Existing methods on smart contract vulnerability detection heavily rely on fixed expert rules, leading to low ...
Yuan Zhuang, Zhenguang Liu, Peng Qian, Qi Liu, Xiang Wang, Qinming He   +5 more
semanticscholar   +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

Automated Generation of Test Cases for Smart Contract Security Analyzers

IEEE Access, 2020
We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj   +1 more source