Results 41 to 50 of about 1,129 (159)

The effects of temperature on mechanical properties of rocks [PDF]

International Journal of Mining and Geo-Engineering, 2020
In a natural condition, temperature variations and phase transition of pore water are the two most effective factors on the mechanical properties of rocks.
Jabbar Ashrafi, Lohrasb Faramarzi, Mohammad Darbor, Mostafa Sharifzadeh, Behnam Ferdosi   +4 more
doaj   +1 more source

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem [PDF]

, 2019
A significant amount of both client and server-side cryptography is implemented in JavaScript. Despite widespread concerns about its security, no other language has been able to match the convenience that comes from its ubiquitous support on the "web ...

core   +2 more sources

Revolutionizing WebAssembly Analysis: Owi - An Efficient Interpreter and Toolkit for Symbolic Program Execution in Wasm

, 2023
<p>Owi serves as an interpreter and toolkit tailored for WebAssembly (Wasm), in particular it can perform symbolic program execution. It builds upon techniques from the WASP engine but offers significant advantages in speed and maintenance.
Santos, José Fragoso, Chambart, Pierre, Andrès, Léo, Marques, Filipe   +3 more
core   +3 more sources

A QUANTITATIVE ANALYSIS OF WEBASSEMBLY INTEGRATION: ARCHITECTURAL PATTERNS, TOOLING, AND PERFORMANCE EVALUATION

Електроніка та інформаційні технології
Background. WebAssembly (Wasm) is a fundamental component for high-performance web applications, valued for strategic integration, not simple JavaScript replacement.
Oleksandr Stepanov, Halyna Klym
doaj   +1 more source

A Li–Li4Ti5O12 Composite Anode for Reducing Interfacial Resistance of Solid‐State Batteries

Small Structures, 2023
The high energy density and stability of solid‐state lithium batteries (SSBs) have garnered attention. Garnet electrolytes are widely explored in SSBs due to their huge electrochemical potential window, high effective ionic conductivity, and reasonable ...
Chencheng Cao, Yijun Zhong, Bingbing Chen, Rui Cai, Zongping Shao   +4 more
doaj   +1 more source

Electric Double Layer Engineering Induces O‐Down Interfacial Water Reorientation for Efficient and Long‐Term Seawater Electrolysis

Advanced Energy Materials, EarlyView.
The additive EDTMPS inhibits hydroxides deposition by chelating with Ca2+/Mg2+. It also disrupts the hydrogen bond network of interfacial water and expands the thickness of electric double layer, promoting more free water to flip into adsorbable O‐down configuration.
Tongzhou Li, Yutong Zhao, Hongjie Zhang, Yangkai Han, Zhiwei Ren, Feng Xie, Zongping Shao, Zhigang Shao   +7 more
wiley   +1 more source

WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts

, 2022
WASAI is a new concolic fuzzer for uncovering vulnerabilities in Wasm smart contract after tackling several challenging ...
Zihan Sun, Weimin Chen
core   +1 more source

Lattice‐Strained Cu2O‐Ni/NiO Heterostructure Enables Selective Electrocatalytic C–C Coupling of Alcohols to Cinnamaldehyde in Aqueous Medium

ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.
This study achieved the selective oxidation C–C coupling of PhCH2OH with EtOH to form cinnamaldehyde (CAL) on a designed Cu2O‐Ni/NiO heterojunction catalyst. By employing a salt precipitation strategy to balance the pH and cation concentration, an 86% conversion rate of PhCH2OH and a 67% high selectivity for CAL were realized.
Tian Cheng, Kaizhi Gu, Jiani Liu, Yujing Liu, Jianlong Wei, Zhaoling Ma, Hengyue Xu, Jia Zhang, Hanwen Liu, Yiqiong Zhang, Shuangyin Wang   +10 more
wiley   +1 more source

A Systematic LLM-Based Procedure for the Deobfuscation of WebAssembly: Benchmark and Security Evaluation

IEEE Access
WebAssembly (Wasm) has emerged as a widely adopted compilation target for systems programming languages, offering near-native performance and portability across platforms.
Sebeom Cheon, Jinho Jung, Sangkyun Lee
doaj   +1 more source

Now, Again and Again: The Metaphysics of Many Presents

Pacific Philosophical Quarterly, EarlyView.
ABSTRACT This paper discusses whether there can be multiple present moments. After presenting some reasons for thinking that the question is worthwhile, I challenge several objections to its possibility: worries about the exclusivity of tense; the nature of change, tense logic and semantics; and the apparent tension between multiple presents and an ...
Nikk Effingham
wiley   +1 more source