Results 81 to 90 of about 6,185 (261)

CONTROL FLOW GRAPH RECOVERY FOR DYNAMICALLY LOADED CODE VIA SYMBOLIC LIBRARY RESOLUTION

Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології
Control Flow Graphs are one of the main data sources for software analysis that use dynamic and static software analysis methods. Protected software and modern malware increasingly depend on dynamic code loading techniques to evade static analysis. Usage
Oleksandr Mostovyi
doaj   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

A 3D Human Bone and Bone Marrow‐on‐a‐Chip Model for In Vitro Bone Remodeling and Immune Cell Maintenance

Advanced Science, EarlyView.
This study presents a human Bone (and Bone Marrow)‐on‐a‐Chip model based on native human bone scaffolds and autologous cells. Dynamic perfusion and sequential cell seeding replicate the physiological bone remodeling process in vitro, enabling the long‐term culture of functional, mature bone marrow immune subpopulations.
Nina Stelzer, Melanie‐Jasmin Ort, Kristian Händler, Emely Bortel, Ioanna Maria Dimitriou, Martin Textor, Georg N. Duda, Janosch Schoon, Uwe Marx, Uwe Kornak, Annika Winter, Bernhard Hesse, Stefanie Donner, Sebastian Hardt, Oliver Klein, Simon Reinke, Malte Spielmann, Sven Geißler   +17 more
wiley   +1 more source

A Comprehensive Review of Static Memory Analysis

IEEE Access
This review aims to evaluate and compare various static analysis tools across multiple programming languages for memory management. The tools and techniques under scrutiny include pattern matching, symbolic execution, CppCheck, SharpChecker, FindBugs ...
Temidayo Akinyemi, Enoch Solomon, Abraham Woubie, Kari Lippert   +3 more
doaj   +1 more source

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Sustainable Materials Design With Multi‐Modal Artificial Intelligence

Advanced Science, EarlyView.
Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu, Tianshuo Wei, Yan Ge, Bo Peng, Yue Li, Maolin Wang, Peng Wen, Chao Yang, Ye Wei   +8 more
wiley   +1 more source

Unifying Composition and Process Design: A Heterogeneous Graph Neural Network for Discovering High‐Performance Cu Alloys

Advanced Science, EarlyView.
By overcoming the fixed‐path limitations of conventional machine learning, a heterogeneous graph neural network fundamentally reconstructs material data representation. Integrating variable processing sequences with intrinsic elemental features, this framework enables exploratory optimization across high‐dimensional spaces.
Jie Yin, Qian Lei, Wei Yan, Yue Li, Tong Xie, Shuang Zhou, Chong Wang, Bram Hoex, Qiang Long, Caoyang Jiang, Min Song, Zhou Li, Zhangwei Wang   +12 more
wiley   +1 more source

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems

IEEE Access, 2018
In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order logic theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the ...
Zheng Yang, Hang Lei
doaj   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

A Periosteum‐Inspired Janus Piezoelectric Scaffold Using Bioenergetic‐Driven H‐Type Vascularization for Diabetic Bone Regeneration

Advanced Science, EarlyView.
A periosteum‐inspired Janus piezoelectric scaffold converts micromechanical forces into electrical signals and synergizes with controlled resveratrol release. This dual action reprograms endothelial metabolism, drives H‑type vessel formation, and restores bone–vessel coupling in diabetic bone defects.
Kai Wang, Kai Jiang
wiley   +1 more source