Results 71 to 80 of about 339,225 (321)

Hierarchically MOF‐Based Porous Monolith Composites for Atmospheric Water Harvesting

Advanced Materials, EarlyView.
This review explores the design of hierarchical porous materials for atmospheric water harvesting, focusing on metal‐organic frameworks (MOFs) and porous monoliths. Emphasis is placed on integrating MOF nanoscale porosity with the microscale channels of monolithic scaffolds to enhance sorption‐desorption performance.
Mahyar Panahi‐Sarmad, Tianyu Guo, Seyyed Alireza Hashemi, Ahmadreza Ghaffarkhah, Stefan Wuttke, Mohammad Arjmand, Orlando J. Rojas, Feng Jiang   +7 more
wiley   +1 more source

Contract text markup language: A regularization method for extracting legal elements towards smart contracts

工程科学学报
The importance of smart contracts at the legal level is increasing. However, the contract is written in natural language, and the computers cannot process it directly.
Yuqing FAN, Di WANG, Hongjie LIN, E CHEN, Xiao HE, Yan ZHU   +5 more
doaj   +1 more source

Smart Contract-Based Data Commodity Transactions for Industrial Internet of Things

IEEE Access, 2019
The evolution of Industrial Internet of things (IIoT) boosts the amount of IIoT data. Machine learning promotes the progress of data analytics services.
Yuna Jiang, Yi Zhong, Xiaohu Ge
doaj   +1 more source

Advancements in Understanding the Physicochemical Properties of Reticular Materials: An In Situ and Operando Spectroscopic Perspective

Advanced Materials, EarlyView.
This review explores how in situ and operando spectroscopic techniques reveal the real‐time behavior of reticular materials, including MOFs and COFs. These methods track material formation and functionalization, structural changes, defect formation, dynamic responses to external triggers, and catalytic processes.
Bettina Baumgartner, Anna Wach, Xinwei Ye, Evelyn Ploetz, Bert M. Weckhuysen   +4 more
wiley   +1 more source

MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck

Applied Sciences, 2023
As is well known, smart contracts on the blockchain store plenty of digital assets, and these contracts deployed on the blockchain are difficult to be modified.
Jiajia Fei, Xiaohan Chen, Xiangfu Zhao
doaj   +1 more source

Harvey: A Greybox Fuzzer for Smart Contracts

, 2019
We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation approach that effectively detects bugs and security vulnerabilities.
Amani Sidney, Bartoletti Massimo, Bhargavan Karthikeyan, Brent Lexi, Böhme Marcel, Böhme Marcel, Cadar Cristian, Cadar Cristian, Cadar Cristian, Cha Sang Kil, Cha Sang Kil, Chen Peng, Chen Ting, Chipounov Vitaly, Choi Jaeseung, Feist Josselin, Fraser Gordon, Fu Zhoulai, Ganesh Vijay, Garg Pranav, Geldenhuys Jaco, Godefroid Patrice, Godefroid Patrice, Hajdu Ákos, Haller István, He Jingxuan, Inkumsah Kobi, Jiang Bo, Kalra Sukrit, Klees George, Krupp Johannes, Lakhotia Kiran, Lakhotia Kiran, Luu Loi, Mossberg Mark, Pacheco Carlos, Pham Van-Thuan, Raval Siraj, Rawat Sanjay, Rebert Alexandre, Sen Koushik, Siegmund Janet, Souza Matheus, Sparks Sherri, Stephens Nick, Swan Melanie, Tapscott Don, Thummalapenta Suresh, Tillmann Nikolai, Tonella Paolo, Tsankov Petar, Wang Yuepeng, Woo Maverick, Wood Gavin, Xie Tao, Zhang Sai   +55 more
core   +1 more source

Behavioral simulation for smart contracts

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020
While smart contracts have the potential to revolutionize many important applications like banking, trade, and supply-chain, their reliable deployment begs for rigorous formal verification. Since most smart contracts are not annotated with formal specifications, general verification of functional properties is impeded.
Beillahi, Sidi Mohamed, Ciocarlie, Gabriela, Emmi, Michael, Enea, Constantin   +3 more
openaire   +3 more sources

State‐of‐the‐Art, Insights, and Perspectives for MOFs‐Nanocomposites and MOF‐Derived (Nano)Materials

Advanced Materials, EarlyView.
Different approaches to MOF‐NP composite formation, such as ship‐in‐a‐bottle, bottle‐around‐the‐ship and in situ one‐step synthesis, are used. Owing to synergistic effects, the advantageous features of the components of the composites are beneficially combined, and their individual drawbacks are mitigated.
Stefanos Mourdikoudis, Subhajit Dutta, Saqib Kamal, Sergio Gómez‐Graña, Isabel Pastoriza‐Santos, Stefan Wuttke, Lakshminarayana Polavarapu   +6 more
wiley   +1 more source

Invited Demand Response Mechanism Based on Smart Contract

Zhejiang 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, YAN Yong, LUO Yangfan, ZHANG Tianhan, ZHANG Zhi, LYU Ting, LIN Zhenzhi   +6 more
doaj   +1 more source

LikeStarter: a Smart-contract based Social DAO for Crowdfunding

, 2019
Crowdfunding has become a popular form of collective funding, in which small donations or investments, made by groups of people, support the development of new projects in exchange of free products or different types of recognition. Social network sites,
Contu, Michele, D'Angelo, Gabriele, Ferretti, Stefano, Zichichi, Mirko   +3 more
core   +1 more source